a friend pointed me towards an Isabelle contest where they prove theorems online. I don't think it'd be quite as fun without boisterous commentary, beer and head-to-head racing, but on the other hand, it might actually be useful for proving things http://www21.in.tum.de/~haslbema/documents/provingcontests_draft18.pdf …
-
-
এই থ্রেডটি দেখান
-
Also, –sorry to keep droning on about this– we need to classify lemmas according to their difficulty and make sure they're not too hard for stress-blind competitors to solve. If you're interested in reviewing some competition lemmas, let me know!
এই থ্রেডটি দেখান -
It's easy and stress-free: you just prove the lemma and time how long it takes. There's no pressure: it's not a race. We just need someone other than the author to make sure it's not too hard for the competition.
এই থ্রেডটি দেখান
কথা-বার্তা শেষ
নতুন কথা-বার্তা -
-
-
Will there be a live stream?
-
nah, I doubt it. personally, the knowledge that I'm being filmed makes me feel self-conscious. so I worry that we'd lose some of the spontaneity from the commentary if everybody knew there was a live-stream
কথা-বার্তা শেষ
নতুন কথা-বার্তা -
-
-
Wish I could
-
one year we'll have to see if we can colocate it with ICFP…!
কথা-বার্তা শেষ
নতুন কথা-বার্তা -
লোড হতে বেশ কিছুক্ষণ সময় নিচ্ছে।
টুইটার তার ক্ষমতার বাইরে চলে গেছে বা কোনো সাময়িক সমস্যার সম্মুখীন হয়েছে আবার চেষ্টা করুন বা আরও তথ্যের জন্য টুইটারের স্থিতি দেখুন।