Lean, Mean Computing Machine | Hacker News - But Better

Lean, Mean Computing Machine wsj.com

1 points•digital55•about 9 hours ago•0 comments•

#computing #mean #lean #machine #mean computing #computing machine #mean computing machine

0 comments

No comments yet.

Related stories

Lobsters Interview with Susam
Lobsters · 86 points · about 1 year ago
Personal Computing 2.0: It's time for a personal computing revolutionideas.imbue.com
Hacker News · 6 points · 1 day ago
Lean Golf – Code golf but you're proving theorems in Leanlean.golf
Hacker News · 1 points · 8 days ago
Machine-Generated, Machine-Checked Proofs for a Verified Compiler (ICFP'26) [video]youtube.com
Hacker News · 1 points · 4 days ago
Complete Production Webapp in Leangithub.com
Hacker News · 1 points · 12 days ago
Show HN: La Machine – a useless box running Erlang on an ESP32 via AtomVMgithub.com
Hacker News · 2 points · 9 days ago