Logic for Programmers
(news.ycombinator.com)
1.
2.
Logic for Programmers by Hillel Wayne
(news.ycombinator.com)
3.
"Software Engineering" Is Not Engineering (2005)
(news.ycombinator.com)
4.
"Software Engineering" Is Not Engineering
(news.ycombinator.com)
5.
A case against Boolean logic
(news.ycombinator.com)
6.
The case against boolean logic
(news.ycombinator.com)
7.
I keep tripping over "true, false, true"
(news.ycombinator.com)
8.
A Canonical Generalization of OBDD
(news.ycombinator.com)
9.
C++26: Std:Is_within_lifetime
(news.ycombinator.com)
10.
The Little Bool of Doom (2025)
(news.ycombinator.com)
11.
Proving Bounds for the Randomized MaxCut Approximation Algorithm in Lean4
(news.ycombinator.com)
12.
Performance Hints – Jeff Dean and Sanjay Ghemawat
(news.ycombinator.com)
13.
Performance Hints (2023)
(news.ycombinator.com)
15.
JermCAD: Browser-Based CAD Software
(news.ycombinator.com)
16.
Oracle has adopted BOOLEAN in 23ai and PostgreSQL had it forever
(news.ycombinator.com)
17.
That boolean should probably be something else
(news.ycombinator.com)
18.
Writing memory efficient C structs
(news.ycombinator.com)
Today's top topics:
apple
android
app store
telegram
iphone
microsoft
universal clipboard
openai
android authority