Posts

New best story on Hacker News: Rob Pike's Rules of Programming (1989)

Rob Pike's Rules of Programming (1989) 682 by vismit2000 | 361 comments on Hacker News.
Post a Comment
Read more

New best story on Hacker News: A Decade of Slug

A Decade of Slug 647 by mwkaufma | 63 comments on Hacker News. https://ift.tt/hK9McQP....
Post a Comment
Read more

New best story on Hacker News: Microsoft's 'unhackable' Xbox One has been hacked by 'Bliss'

Microsoft's 'unhackable' Xbox One has been hacked by 'Bliss' 528 by crtasm | 202 comments on Hacker News.
Post a Comment
Read more

New best story on Hacker News: The “small web” is bigger than you might think

The “small web” is bigger than you might think 526 by speckx | 217 comments on Hacker News.
Post a Comment
Read more

New best story on Hacker News: Kagi Small Web

Kagi Small Web 624 by trueduke | 175 comments on Hacker News.
Post a Comment
Read more

New best story on Hacker News: Leanstral: Open-source agent for trustworthy coding and formal proof engineering

Leanstral: Open-source agent for trustworthy coding and formal proof engineering 588 by Poudlardo | 127 comments on Hacker News. Lean 4 paper (2021): https://ift.tt/a5v97qA
Post a Comment
Read more

New best story on Hacker News: Kagi Translate now supports LinkedIn Speak as an output language

Kagi Translate now supports LinkedIn Speak as an output language 594 by smitec | 155 comments on Hacker News.
Post a Comment
Read more