Making Google Sans Flex

• 💬 HN Comments

From Zero to QED: An informal introduction to formality with Lean 4

• 💬 HN Comments

Getting bitten by Intel’s poor naming scenes

• 💬 HN Comments

2026 Apple introducing more ads to increase opportunity in search results

• 💬 HN Comments

Prompt caching: 10x cheaper LLM tokens, but how?

• 💬 HN Comments

The state of the kernel Rust experiment

• 💬 HN Comments

Reconstructed Commander Keen 1-3 Source Code

• 💬 HN Comments

Lite^3, a JSON-Compatible Zero-Copy Serialization Format

• 💬 HN Comments

Telegraph chess: A 19th century tech marvel

• 💬 HN Comments

Noclip.website – A digital museum of video game levels

• 💬 HN Comments

Show HN: Bithoven – A high-level, imperative language for Bitcoin Smart Contract

• 💬 HN Comments

The Code That Revolutionized Orbital Simulation [video]

• 💬 HN Comments

Show HN: Learning a Language Using Only Words You Know

• 💬 HN Comments

Trained LLMs exclusively on pre-1913 texts

• 💬 HN Comments

Synit: A Reactive Operating System

• 💬 HN Comments

Great Ideas in Theoretical Computer Science

• 💬 HN Comments

1.5 TB of VRAM on Mac Studio – RDMA over Thunderbolt 5

• 💬 HN Comments

AI vending machine was tricked into giving away everything

• 💬 HN Comments

Two kinds of vibe coding

• 💬 HN Comments

Local WYSIWYG Markdown, mockup, data model editor powered by Claude Code

• 💬 HN Comments