2 / 50

Proof of Corn(proofofcorn.com)

431 points

by rocauc

286 comments

about 22 hours ago

summarize

6 Years Building Video Players. 9B Requests. Starting Over(www.mux.com)

9 points

by bolp

0 comments

4 days ago

summarize

80386 Multiplication and Division(nand2mario.github.io)

74 points

by nand2mario

21 comments

about 10 hours ago

summarize

Extracting verified C++ from the Rocq theorem prover at Bloomberg(bloomberg.github.io)

89 points

by clarus

9 comments

4 days ago

summarize

“Let people help” – Advice that made a big difference to a grieving widow(www.npr.org)

109 points

by NaOH

23 comments

about 13 hours ago

summarize

Management Time: Who's Got the Monkey? [pdf](www.med.unc.edu)

29 points

by rintrah

6 comments

4 days ago

summarize

Some C habits I employ for the modern day(www.unix.dog)

193 points

by signa11

117 comments

5 days ago

summarize

Modetc: Move your dotfiles from kernel space(maxwell.eurofusion.eu)

34 points

by todsacerdoti

19 comments

about 8 hours ago

summarize

Gas Town's agent patterns, design bottlenecks, and vibecoding at scale(maggieappleton.com)

363 points

by pavel_lishin

381 comments

about 24 hours ago

summarize

Traintrackr – Live LED Maps(www.traintrackr.co.uk)

75 points

by recursion

24 comments

5 days ago

summarize