❓
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
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
Top Open Source Authorization Libraries (2024)
(permify.co)
18 points
·
6 comments
·
5½ days ago 
by mooreds
⏱️ 7 minutes
canadax27s carney called out for x27utilizingx27 british spelling
Canada's Carney called out for 'utilizing' British spelling
(bbc.com)
89 points
·
234 comments
·
5½ days ago 
by haunter
⏱️ 1 minute
aix27s unpaid debt how llm scrapers destroy the social contract of open source
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
show hn local wysiwyg markdown mockup data model editor powered by claude code
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
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 securebydefault introducing worktree trust
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
arkhammirror airgapped investigation platform with ciastyle hypothesis testing
⬤
 Python
 98.8%
⬤
 Other
 1.2%
ArkhamMirror: Airgapped investigation platform with CIA-​style hypothesis testing
(github.com)
Ⓒ
·
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
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 gpt52 in 45h
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.