Top stories for one week

How to Program Computers (KOS)

Making AI models leaner and faster without sacrificing accuracy

A Very Small SAT Solver (From Haskell) Now in Dafny, Proved Correct with LLMs

Counter-Strike Bench: GPT 5.3 Codex vs. Claude Opus 4.6

Caught Trojan Malware in VSCode Extension with 1.3M Downloads

Show HN: Obooko – Free ebooks with an open-source web reader

A 'crazy' dice proof leads to new understanding of a fundamental law of physics

Paramount shuts down TV network available in major US cities without warning

Ask HN: Those holding large amounts of software stock, how much have you lost?

10-Part Series on Breadth-First Traversals in Haskell

Musk Predicts SpaceX Will Launch More AI Compute / Year Than Everything on Earth

Pandoc in the browser

My Issues with ProtonMail

Martin Luther (German)

Infrastructure configuration can swing coding evals by several % points

We are QA Engineers now

IP Based Geolocation by Apple

Sopro v1.5: A 135M TTS model trained for ~$100, runs 20× real-time on CPU

Meteor 3.4: 4x faster builds, 8x smaller bundles

Personality should be an Option that you can set to None

97
98
99
100
101
102
103
104
105
106