Formally verifying a floating-point division routine with Gappa – part 1
(news.ycombinator.com)
121.
122.
Yet Another TypeSafe and Generic Programming Candidate for C
(news.ycombinator.com)
123.
Svix (webhooks as a service) is hiring for a founding marketing lead
(news.ycombinator.com)
125.
How to Give a Good Talk
(news.ycombinator.com)
126.
A review of Nim 2: The good and bad with example code
(news.ycombinator.com)
127.
A Review of Nim 2: The Good and Bad with Example Code
(news.ycombinator.com)
128.
An eyecare foundation model for clinical assistance
(news.ycombinator.com)
130.
Speed-coding for the 6502 – a simple example
(news.ycombinator.com)
131.
To Infinity but Not Beyond
(news.ycombinator.com)
132.
A Lisp in 99LOC
(news.ycombinator.com)
133.
Bezos-backed Perplexity AI makes surprise bid for Google Chrome
(feeds.bbci.co.uk)
134.
FFmpeg 8.0 adds Whisper support
(news.ycombinator.com)
135.
Generic Containers in C: Safe Division Using Maybe
(news.ycombinator.com)
136.
Technical issues of separation in function cells and value cells (1988)
(news.ycombinator.com)
137.
138.
How to sell if your user is not the buyer
(news.ycombinator.com)
139.
How to Sell if Your User is not the Buyer
(news.ycombinator.com)
140.
Baltimore Assessments Accidentally Subsidize Blight–and How We Can Fix It
(news.ycombinator.com)
141.
Infinite Pixels
(news.ycombinator.com)
142.
Compressing Icelandic name declension patterns into a 3.27 kB trie
(news.ycombinator.com)
143.
Do PE firms create value? How?
(news.ycombinator.com)
144.
The Useless UseCallback
(news.ycombinator.com)
145.
SDR42E1 modulates Vitamin D absorption and cancer pathogenesis
(news.ycombinator.com)
146.
Unexpected inconsistency in records
(news.ycombinator.com)
147.
Unexpected inconsistency in records – Jon Skeet's coding blog
(news.ycombinator.com)
148.
Show HN: Pogocache – Fast caching software
(news.ycombinator.com)
149.
AI’s fourth wave is here — are enterprises ready for what’s next?
(venturebeat.com)
150.
Weekly subscriptions dominate iOS app revenue, report finds
(techcrunch.com)