271.
272.
OpenSCAD is kinda neat
(news.ycombinator.com)
273.
Proving Bounds for the Randomized MaxCut Approximation Algorithm in Lean4
(news.ycombinator.com)
274.
Property-Based Testing Caught a Security Bug I Never Would Have Found
(news.ycombinator.com)
275.
Spatiotemporal cellular map of the developing human reproductive tract
(feeds.nature.com)
276.
Virology’s most wanted: the influenza virus
(feeds.nature.com)
277.
Announcing the Beta release of ty
(news.ycombinator.com)
278.
Ty: A fast Python type checker and LSP
(news.ycombinator.com)
279.
Talking techie typeface with Fast Company’s creative director
(feeds.feedburner.com)
280.
281.
JSDoc is TypeScript
(news.ycombinator.com)
283.
Fedora: Open-source repository for long-term digital preservation
(news.ycombinator.com)
285.
The goverment is vibe coding now
(feeds.feedburner.com)
286.
Trump allows Nvidia to sell H200 AI chips to China
(feeds.feedburner.com)
287.
The best thing I bought this year: the Remarkable Paper Pro
(theverge.com)
288.
Here’s how Google and Apple could improve Android-iPhone data transfers (APK teardown)
(androidauthority.com)
289.
Manual: Spaces
(news.ycombinator.com)
290.
Apple’s new holiday ad is a wonderland of puppets and practical effects
(feeds.feedburner.com)
291.
Locks in PostgreSQL
(news.ycombinator.com)
292.
What is better: a lookup table or an enum type?
(news.ycombinator.com)
293.
The new flex: Fatherhood
(feeds.feedburner.com)
294.
Progress on TypeScript 7 – December 2025
(news.ycombinator.com)
295.
296.
How to tell your boss you’re a night owl
(feeds.feedburner.com)
298.
Baboon: Data Modeling with Automatic Evolutions and tagless binary codecs
(news.ycombinator.com)
299.
Forward compatibility and fault tolerance in TypeScript API Clients/SDKs
(news.ycombinator.com)
Today's top topics:
anthropic
apple
mythos 5
claude
cybersecurity
fable 5
amazon prime day
zdnet
openai
kindle