❓
Timbo’s “Hacker News” Reader
thnr.net
page 14 of top
light mode
The Polyglot NixOS
(x86.lol)
3 points
·
0 comments
·
1 day ago
by
todsacerdoti
⏱️ 1 minute
Dafny: Verification-​Aware Programming Language
(dafny.org)
Ⓒ
·
108 points
·
33 comments
·
4½ days ago
by
handfuloflight
Judge hints Vizio TV buyers may have rights to source code licensed under GPL
(theregister.com)
Ⓒ
·
197 points
·
33 comments
·
3½ days ago
by
pabs3
⏱️ 2 minutes
Local WYSIWYG Markdown, mockup, data model editor powered by Claude Code
(nimbalyst.com)
27 points
·
5 comments
·
2½ days ago
by
wek
Writing a blatant Telegram clone using Qt, QML and Rust. And C++
(kemble.net)
136 points
·
90 comments
·
4½ days ago
by
tempodox
⏱️ 9 minutes
Zed Moves Toward Secure-​by-​Default: Introducing Worktree Trust
(zed.dev)
34 points
·
1 comment
·
2½ days ago
by
recov
⏱️ 5 minutes
Canada's Carney called out for 'utilizing' British spelling
(bbc.com)
89 points
·
234 comments
·
5½ days ago
by
haunter
⏱️ 1 minute
Online Textbook for Braid groups and knots and tangles
(matthematics.com)
Ⓒ
·
50 points
·
5 comments
·
3 days ago
by
marysminefnuf
Unix v4 tape raw binary image recovered
(elk.zone)
Ⓑ
·
37 points
·
3 comments
·
1½ days ago
by
sedatk
SHARP, an approach to photorealistic view synthesis from a single image
(apple.github.io)
Ⓒ
·
509 points
·
108 comments
·
5½ days ago
by
dvrp
⬤
Python
98.8%
⬤
Other
1.2%
ArkhamMirror: Airgapped investigation platform with CIA-​style hypothesis testing
(github.com)
👤
mantisfury
Ⓒ
·
166 points
·
56 comments
·
5 days ago
by
ArkhamMirror
Interactive Fluid Typography
(electricma​gicfactory​.com)
33 points
·
7 comments
·
2½ days ago
by
list
⏱️ 3 minutes
It's all about momentum
(combo.cc)
Ⓒ
·
111 points
·
34 comments
·
3 days ago
by
sph
⏱️ 2 minutes
PLISS 2026: Programming Language Implementation Summer School
(pliss.org)
8 points
·
0 comments
·
1 day ago
by
azhenley
I ported JustHTML from Python to JavaScript with Codex CLI and GPT-​5.2 in hours
(simonwillison.net)
Ⓒ
·
274 points
·
142 comments
·
4½ days ago
by
pbowyer
⏱️ 4 minutes
Chat-​tails: Throwback terminal chat, built on Tailscale
(tailscale.com)
Ⓒ
·
103 points
·
22 comments
·
4½ days ago
by
nulbyte
⏱️ 3 minutes
Why U.S. sports tickets have gotten so expensive
(nytimes.com)
Ⓑ
Ⓐ
·
13 points
·
4 comments
·
21½ hours ago
by
ilamont
⏱️ 9 minutes
AI capability isn't humanness
(roundtable.ai)
Ⓒ
·
50 points
·
53 comments
·
3½ days ago
by
mdahardy
⏱️ 6 minutes
Overconsumption is a spiritual problem
(sherryning.com)
141 points
·
103 comments
·
4½ days ago
by
speckx
⏱️ 6 minutes
Penny Farthing Race at 1928 Olympics
(twitter.com)
@
JamesMelville
Ⓐ
·
8 points
·
2 comments
·
19¾ hours ago
by
keepamovin
page 15
new
best
active
classic
This page was generated in 3.527 seconds at 2025-12-21T10:32:23Z
.