Continue Reading Post >

Latest Tweets

The stretch of the SB #coq from south of #Merritt to north of #Hope is sketchy AF. Worst I've ever had the privileg… https://t.co/5D56AEGaq9
23rd January, 2018
Sequences, yet functions: the dual nature of data-stream processing. ~ S. Herbst, J. Tenschert, A.M. Wahl, K. Meyer… https://t.co/00Ork9FH8F
22nd January, 2018
Verification of a concurrent garbage collector. ~ Yannick Zakowski https://t.co/3IUxVv8HVa #PhDThesis #ITP #Coq
21st January, 2018
"Randomized property-based testing plugin for Coq" / “GitHub - QuickChick/QuickChick: Ra…” https://t.co/y7o2K3hNV7 #coq #quickcheck #testing
20th January, 2018
This is an awesome article detailing some science behind intermittent fasting and it’s benefits. Who thought mitoch… https://t.co/w5wT10P3OY
19th January, 2018
Formalizing data management systems: a case study of Syndicate protocol. ~ C.K. Wang, H. Xu https://t.co/VZkvV80xZr #ITP #Coq
18th January, 2018
the real question is, which programing language where (a ==1 && a== 2 && a==3) eval to true is impossible? (variab… https://t.co/LQtz7AOkG5
17th January, 2018