GoKawiil
Tech News
clear
Topic Analysis:
Today
This Week
This Month
This Year
1.
Xr0 verifier, guarantee the safety of C programs at compile time
(news.ycombinator.com)
2026-01-03 |
related products
| tags:
annotations
,
function
,
malloc
2.
Show HN: I wrote a minimal memory allocator in C
(news.ycombinator.com)
2025-11-23 |
related products
| tags:
allocator
,
include
,
malloc
3.
Contracts for C
(news.ycombinator.com)
2025-10-31 | by Jens Gustedt |
related products
| tags:
checked
,
function
,
inline
4.
Jemalloc Postmortem
(news.ycombinator.com)
2025-10-31 |
related products
| tags:
allocator
,
development
,
facebook
Today's top topics:
amazon
billion
linux
model
bose
sonos
operating
software
anthropic
zdnet
View all today's topics →