Lambda Calculus Diagrams (2015)
(tromp.github.io)
October 2020 Archive
781.
782.
A New Back End for Cranelift
(hacks.mozilla.org)
783.
Lessons learned from onboarding emails with no HTML styling
(blog.palabra.io)
785.
786.
AMD Is in Advanced Talks to Buy Xilinx
(wsj.com)
787.
Software Freedom Conservancy: New Strategy for GPL Enforcement
(sfconservancy.org)
788.
Toward an API for the Real Numbers
(blog.acolyer.org)
789.
790.
Central Bank Digital Currencies are coming
(twitter.com)
791.
Is This the End of the Repairable iPhone?
(ifixit.com)
792.
Emacs Survey
(emacssurvey.org)
793.
Crowdsec: A Fail2Ban alternative written in Go
(github.com)
794.
Acoustic Kitty
(en.wikipedia.org)
795.
Re-Thinking the Desktop OS
(twitter.com)
796.
797.
799.
State sanctioned secrecy: NSA's criminality shield
(thehill.com)
800.
India's new paper Covid-19 test
(bbc.com)
801.
Publication of Cryptocurrency Enforcement Framework
(justice.gov)
802.
Amazon’s $23M book about flies (2011)
(michaeleisen.org)
803.
804.
Benchmarking static website hosting providers
(savjee.be)
805.
Plug’nPwn – Connect to Jailbreak
(blog.t8012.dev)
806.
Remote learning isn’t new: Radio instruction in the 1937 polio epidemic
(theconversation.com)
807.
iPhone 12 Pro Camera Review
(austinmann.com)
808.
Why I'm Tcl-Ish
(colin-macleod.blogspot.com)
809.
810.
Diolkos
(en.wikipedia.org)