1.
2.
30 Years Ago, Robots Learned to Walk Without Falling
(spectrum.ieee.org)
3.
Blame Game: Why Public Cyber Attribution Carries Risks
(darkreading.com)
4.
Zero-Cost POSIX Compliance: Encoding the Socket State Machine in Lean's Types
(news.ycombinator.com)
6.
A case against currying
(news.ycombinator.com)
7.
We rewrote our Rust WASM parser in TypeScript and it got faster
(news.ycombinator.com)
8.
We rewrote our Rust WASM Parser in TypeScript – and it got 3x Faster
(news.ycombinator.com)
9.
Discontinuation and reinitiation of dual-labeled GLP-1 receptor agonists
(news.ycombinator.com)
10.
Heart Attack and Stroke Risk Jumps When People Stop Taking GLP-1s
(news.ycombinator.com)
11.
The day I discovered type design
(news.ycombinator.com)
12.
Monuses and Heaps
(news.ycombinator.com)
13.
14.
Review of Microsoft's ClearType Font Collection (2005)
(news.ycombinator.com)
16.
Show HN: Crust – A CLI framework for TypeScript and Bun
(news.ycombinator.com)
17.
Comparing Python Type Checkers: Typing Spec Conformance
(news.ycombinator.com)
18.
Font Smuggler – Copy hidden brand fonts into Google Docs
(news.ycombinator.com)
19.
Font Smuggler – copy hidden brand fonts into Google Docs
(news.ycombinator.com)
20.
Show HN: Algorithms and Data Structures in TypeScript – Free Book (~400 Pages)
(news.ycombinator.com)
21.
Emacs internals: Tagged pointers vs. C++ std:variant and LLVM (Part 3)
(news.ycombinator.com)
22.
Zig – Type Resolution Redesign and Language Changes
(news.ycombinator.com)
23.
Throwing away 18 months of code and starting over
(news.ycombinator.com)
24.
25.
26.
Removing recursion via explicit callstack simulation
(news.ycombinator.com)
27.
Notes on writing Rust-based Wasm
(news.ycombinator.com)
28.
TypeScript 6.0 RC
(news.ycombinator.com)
29.
It took four years until 2011’s iOS 5 gave everyone an emoji keyboard
(news.ycombinator.com)
30.
"I'm obviously taking a risk here by advertising emoji directly."
(news.ycombinator.com)