Cedille v1.0 – theorem-prover and dependently typed programming languagecedille.github.io·3 pts·agumonkey·0
Forrest Man – Jadav Payeng hand planted forest to save Majuli Island ecosystemyoutube.com·2 pts·agumonkey·0
Robert Colwell – Our Computer Systems Are Not Good Enough – Berkeley 2015youtube.com·2 pts·agumonkey·0
Nicolas Schabanel – Turing complete molecular machines through DNA Foldingirem.univ-paris-diderot.fr·1 pts·agumonkey·1
Rejuvenating the Thymus to Prevent Age-Related Diseases – Dr. Greg Fahyleafscience.org·1 pts·agumonkey·0
Rat: Compose shell commands to build interactive terminal applicationsgithub.com·120 pts·agumonkey·13
SBCL 1.3.19 on #PocketCHIP, Running Zork/CL Z-Machine Wrote for Symbolics Generatwitter.com·3 pts·agumonkey·0
Pharo MOOC second run – October 2017 on FUN platform (registration until nov)fun-mooc.fr·1 pts·agumonkey·0
Computing exponentially faster: a non-deterministic UTM using DNA – 2017rsif.royalsocietypublishing.org·2 pts·agumonkey·1