GoKawiil
Tech News
clear
Topic Analysis:
Today
This Week
This Month
This Year
1.
Proving Bounds for the Randomized MaxCut Approximation Algorithm in Lean4
(news.ycombinator.com)
2025-12-20 |
related products
| tags:
assignment
,
bool
,
decidableeq
2.
Performance Hints – Jeff Dean and Sanjay Ghemawat
(news.ycombinator.com)
2025-12-19 |
related products
| tags:
absl
,
bool
,
code
3.
Performance Hints (2023)
(news.ycombinator.com)
2025-12-19 |
related products
| tags:
absl
,
bool
,
code
4.
India is reportedly considering another draconian smartphone surveillance plan
(engadget.com)
2025-12-05 |
related products
| tags:
india
,
location
,
maqbool
5.
JermCAD: Browser-Based CAD Software
(news.ycombinator.com)
2025-11-07 |
related products
| tags:
boolean
,
center
,
diameter
6.
Oracle has adopted BOOLEAN in 23ai and PostgreSQL had it forever
(news.ycombinator.com)
2025-10-31 | by Pavan Chary |
related products
| tags:
boolean
,
is_active
,
is_verified
7.
That boolean should probably be something else
(news.ycombinator.com)
2025-10-31 |
related products
| tags:
boolean
,
data
,
enum
8.
Writing memory efficient C structs
(news.ycombinator.com)
2025-10-31 | by Tom Scheers |
related products
| tags:
bool
,
bytes
,
health
Today's top topics:
google
linux
global
billion
microsoft
center
stt gdc
android
camera
affect
View all today's topics →