lelf

26 ms·

331.
Weave: A state-of-the-art multithreading runtime(github.com)
2 points by lelf 6y ago|0 comments
332.
Russian Espionage and Electromagnetic Fields: The Story of the Theremin (2017)(daily.redbullmusicacademy.com)
111 points by lelf 6y ago|24 comments
333.
Towel Day(en.wikipedia.org)
1 points by lelf 6y ago|0 comments
334.
Quines: self-replicating programs (2005)(madore.org)
71 points by lelf 6y ago|28 comments
335.
Can't Unsee(cantunsee.space)
2 points by lelf 6y ago|0 comments
336.
Life Is Short(shorterlife.github.io)
3 points by lelf 6y ago|0 comments
337.
ESO Telescope Sees Signs of Planet Birth(eso.org)
37 points by lelf 6y ago|0 comments
338.
Happy 10th Birthday RISC-V(riscv.org)
2 points by lelf 6y ago|0 comments
339.
WorldBrain's Memex: Bookmarking for the power users of the web(getmemex.com)
396 points by lelf 6y ago|207 comments
340.
Hannes Mehnert on MirageOS and OCaml(evrone.com)
5 points by lelf 6y ago|1 comments
341.
The State of the Self-Driving Car Race 2020(bloomberg.com)
1 points by lelf 6y ago|0 comments
342.
Goes to Eleven (Pt. 4/∞) – Decimating Array.Sort with AVX2(bits.houmus.org)
2 points by lelf 6y ago|0 comments
343.
Goes to Eleven (Pt. 4/∞)(bits.houmus.org)
1 points by lelf 6y ago|0 comments
344.
by lelf 6y ago
See also: http://blog.erlang.org/OTP-23-Highlights/
345.
Erlang/OTP 23(github.com)
1 points by lelf 6y ago|0 comments
346.
Learn Prolog Now(learnprolognow.org)
2 points by lelf 6y ago|0 comments
347.
The Power of Prolog [video](youtube.com)
131 points by lelf 6y ago|19 comments
348.
MS Flight Simulator 2020 vs. Real life(imgur.com)
703 points by lelf 6y ago|272 comments
349.
Discover CERN Online(visit.cern)
2 points by lelf 6y ago|0 comments
350.
If Planet Nine Is a Tiny Black Hole, This Is How to Find It(discovermagazine.com)
92 points by lelf 6y ago|84 comments
351.
Doesn’t Everyone Remember Goodyear’s Illuminated Tires? They Were Awesome(historygarage.com)
1 points by lelf 6y ago|0 comments
352.
Six Proofs that there are Infinitely Many Primes(medium.com)
3 points by lelf 6y ago|0 comments
353.
Vulkan Tutorial(vulkan-tutorial.com)
2 points by lelf 6y ago|0 comments
354.
Rust Verification Tools(alastairreid.github.io)
3 points by lelf 6y ago|0 comments
355.
Bison 3.6 Released(lists.gnu.org)
3 points by lelf 6y ago|0 comments
356.
MNT Reform: The Campaign Is Live(crowdsupply.com)
117 points by lelf 6y ago|45 comments
357.
Matheminecraft: When Mathematics Merge with Minecraft(actu.epfl.ch)
6 points by lelf 6y ago|0 comments
358.
People of Programming Languages(blog.sigplan.org)
2 points by lelf 6y ago|0 comments
359.
Chalmers Seminars on Functional Programming(chalmersfp.org)
2 points by lelf 6y ago|0 comments
360.
Clash: A modern, functional, hardware description language(clash-lang.org)
96 points by lelf 6y ago|40 comments

More ›