lelf

56 ms·

601.
When bacteria kill us, it’s more accident than assassination(aeon.co)
4 points by lelf 7y ago|0 comments
602.
A game in a pure language (part 1): introduction and problems with Idris(flowing.systems)
2 points by lelf 7y ago|0 comments
603.
Ruins of forgotten empires: APL languages (2013)(scottlocklin.wordpress.com)
31 points by lelf 7y ago|8 comments
604.
Build a 3D Printed Curta Calculator(instructables.com)
1 points by lelf 7y ago|0 comments
605.
Finally, the Nikon Z 24-70mm f/2.8 S Lens Teardown(lensrentals.com)
1 points by lelf 7y ago|0 comments
606.
by lelf 7y ago
10 LIST
607.
The Original Macintosh Anecdotes(folklore.org)
2 points by lelf 7y ago|0 comments
608.
KreMLin: A tool for extracting low-level F* programs to readable C code(fstarlang.github.io)
6 points by lelf 7y ago|1 comments
609.
The Typed Racket Optimizer vs. Transient(prl.ccs.neu.edu)
31 points by lelf 7y ago|11 comments
610.
Carcinisation(en.wikipedia.org)
2 points by lelf 7y ago|0 comments
611.
Generating Sequences of Primes in Conway's Game of Life (2009)(nathanieljohnston.com)
1 points by lelf 7y ago|0 comments
612.
Primer(conwaylife.com)
1 points by lelf 7y ago|0 comments
613.
Supercharging tomorrow: Australia first to test new lithium batteries(monash.edu)
1 points by lelf 7y ago|0 comments
614.
Repology, the Packaging Hub(repology.org)
2 points by lelf 7y ago|0 comments
615.
A Different Way to Solve Quadratic Equations (2019)(youtube.com)
5 points by lelf 7y ago|0 comments
616.
GNU Guile 3.0.0(lists.gnu.org)
61 points by lelf 7y ago|5 comments
617.
How Swedes were fooled by the book “Surrounded by Idiots”(medium.com)
396 points by lelf 7y ago|323 comments
618.
Bluespec, Inc. To Open Source Its Proven BSV High-Level HDL Tools(bluespec.com)
2 points by lelf 7y ago|0 comments
619.
K (2005)(archive.vector.org.uk)
52 points by lelf 7y ago|60 comments
620.
OR1K Marocchino in Action(stffrdhrn.github.io)
10 points by lelf 7y ago|0 comments
621.
Quine(rosettacode.org)
35 points by lelf 7y ago|19 comments
622.
Drinking 1% rather than 2% milk accounts for 4.5 years of less aging in adults(medicalxpress.com)
49 points by lelf 7y ago|122 comments
623.
riscv-pk: RISC-V Proxy Kernel and Boot Loader(github.com)
2 points by lelf 7y ago|0 comments
624.
The story of ispc: all the links (2018)(pharr.org)
42 points by lelf 7y ago|4 comments
625.
Ways of Implementing a System Call(x86.lol)
250 points by lelf 7y ago|56 comments
626.
Google claims its weather predictions are more accurate than advanced models(techxplore.com)
4 points by lelf 7y ago|0 comments
627.
by lelf 7y ago
Agree about ligatures too. Many of those are pretty unpleasing to read (AKA typographically wrong), e. g. /=.
628.
Spotify: Pet Playlists(pets.byspotify.com)
1 points by lelf 7y ago|0 comments
629.
For Entrepreneurs, 45 Is the New 25 (2019)(forbes.com)
1 points by lelf 7y ago|0 comments
630.
QMK Firmware – An open source firmware for AVR and ARM based keyboards(qmk.fm)
18 points by lelf 7y ago|1 comments

More ›