Emmett Cooper

Computer Scientist,
Programmer,
Tinkerer,
Megalomaniacal DM

[IEEE Education Soc. @IEEE_EdSoc]

Quantifying How Students Use an Online Learning System: by Erica L. Snow, Educational Data Mining
The current... https://t.co/fBl0rxaglt

[Yutaka Ishii / 石井雄隆 @yishii_0207]

去年のEducational data miningのbest paperが学習曲線の混合モデルの話だった。

Mixture Modeling of Individual Learning Curves
https://t.co/FJb7iw8Ztf [pdf] #jset32

[The 🐠 BblFish @bblfish]

Great talk on the relation of formal logic to programming, with a valuable tour through the proof assistant #coq & application to #scala https://t.co/uZIbhg2kja

[Cyrus Omar (now mainly on bsky) @neurocy]

Guy Steele in a keynote saying that we really need proof assistants like Coq to be as ubiquitous as parser generators! #splash16

[Slava Egorov @mraleph]

V8 joins esteemed company of GCC, LLVM, Z3, Coq, GHC and Jikes as a recipient of SIGPLAN Programming Languages Software Award \o/

[Nicolas Seriot @nst021]

I published: Parsing JSON is a Minefield 💣 https://t.co/0fL7lWlM88 in which I could not find two parsers that exhibited the same behaviour

[Picard Tips @PicardTips]

Picard programming tip: A computer is like a mischievous genie. It will give you exactly what you ask for, but not always what you want.

[José A. Alonso @Jose_A_Alonso]

Tutorial on reasoning in expressive non-classical logics with Isabelle/HOL. ~ A. Steen et als. https://t.co/VywRICBuIH #IsabelleHOL #Logic

[Thomas Lancaster @DrLancaster]

Delighted to be delivering the Keynote Address at the WA Forum on #contractcheating at @CurtinUni on October 13 https://t.co/lKxpr5WXDK

[Pandelis @PandelisZ]

Congrats to those getting their place @MyBCU if youre a cs student make sure to join @HaCSBCU 🙌💻💽💾

[Jeff Atwood @codinghorror]

If you want a community, build a community -- don't just slap comments at the bottom of every webpage and expect a community to materialize.

[Programming Wisdom @CodeWisdom]

“Something else that made an impression on me was the realisation that real users work differently than programmers.” - Dan Bricklin

[CERN @CERN]

This year marks the 10,000th teacher to visit CERN since its first teacher programme in 1998! Find out more: https://t.co/HBU5sunfZ4

[New Scientist @newscientist]

TOMORROW. The entire New Scientist archive will be FREELY AVAILABLE for one week only. Watch this space for details. #Whoop

[Thomas Lancaster @DrLancaster]

"The hackathon was amazing!" - thanks to @PandelisZ for sharing his enthusiastic thoughts on @MyBCU #BCUHack - https://t.co/xEgeg7VdFn

[John Carmack @ID_AA_Carmack]

It is sort of sneaking up on us, but it isn't hard to predict a world where more total gpu cycles get spent on vision and ai than gfx.

[Ashley Bass @Ashes1Away]

We're also running a terrible Puns Tally:
Thomas 0
Ashley 2
Oliver 8
Andrew 2
Emmett 15
#BCUHack
#eversopuny

[Ashley Bass @Ashes1Away]

7 #BCUHack