❓
Timbo’s “Hacker News” Reader
thnr.net
page 14 of top
dark mode
Dafny: Verification-​Aware Programming Language
(dafny.org)
Ⓒ
·
108 points
·
33 comments
·
4½ days ago
by
handfuloflight
Impact of Plant-​Based Dietary Fibers on Metabolic Homeostasis in High-​Fat Diet
(sciencedirect.com)
Ⓝ
·
5 points
·
0 comments
·
14½ hours ago
by
QueensGambit
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
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
Top Open Source Authorization Libraries (2024)
(permify.co)
18 points
·
6 comments
·
5½ days ago
by
mooreds
⏱️ 7 minutes
Canada's Carney called out for 'utilizing' British spelling
(bbc.com)
89 points
·
234 comments
·
5½ days ago
by
haunter
⏱️ 1 minute
AI's Unpaid Debt: How LLM Scrapers Destroy the Social Contract of Open Source
(quippd.com)
Ⓑ
·
62 points
·
17 comments
·
1½ days ago
by
birdculture
⏱️ 4 minutes
Local WYSIWYG Markdown, mockup, data model editor powered by Claude Code
(nimbalyst.com)
27 points
·
5 comments
·
2½ days ago
by
wek
SHARP, an approach to photorealistic view synthesis from a single image
(apple.github.io)
Ⓒ
·
509 points
·
108 comments
·
5½ days ago
by
dvrp
PBS News Hour West to go dark after ASU discontinues contract
(statepress.com)
Ⓑ
Ⓐ
Ⓒ
·
149 points
·
75 comments
·
1½ days ago
by
heavyset_go
⏱️ 2 minutes
U.S. Seizes Second Oil Tanker Near Venezuela
(wsj.com)
Ⓝ
Ⓑ
Ⓐ
·
25 points
·
6 comments
·
17¼ hours ago
by
JumpCrisscross
Zed Moves Toward Secure-​by-​Default: Introducing Worktree Trust
(zed.dev)
34 points
·
1 comment
·
2½ days ago
by
recov
⏱️ 5 minutes
Online Textbook for Braid groups and knots and tangles
(matthematics.com)
Ⓒ
·
50 points
·
5 comments
·
3 days ago
by
marysminefnuf
⬤
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
The Polyglot NixOS
(x86.lol)
3 points
·
0 comments
·
1 day ago
by
todsacerdoti
⏱️ 1 minute
It's all about momentum
(combo.cc)
Ⓒ
·
111 points
·
34 comments
·
3 days ago
by
sph
⏱️ 2 minutes
Interactive Fluid Typography
(electricma​gicfactory​.com)
33 points
·
7 comments
·
2½ days ago
by
list
⏱️ 3 minutes
London 1600s (AI Reconstruction) [video]
(youtube.com)
Ⓝ
Ⓑ
Ⓐ
·
9 points
·
2 comments
·
12½ hours ago
by
mkl95
Nvidia Is the Only AI Model Maker That Can Afford to Give It Away
(nextplatform.com)
Ⓝ
·
6 points
·
1 comment
·
17¾ hours ago
by
nabla9
⏱️ 6 minutes
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
page 15
new
best
active
classic
This page was generated in 3.631 seconds at 2025-12-21T12:30:01Z
.