Login
故事
< prev
page 2
more >
Loading...
55
Proving Bounds for the Randomized MaxCut Approximation Algorithm in Lean4
(abhamra.com)
by
todsacerdoti
4 days ago |
3 comments
52
Show HN: Tonbo – an embedded database for serverless and edge runtimes
(github.com)
by
ethegwo
7 days ago |
11 comments
68
Learn Lisp/Fennel Programming Against Neovim
(github.com)
by
veqq
7 days ago |
9 comments
115
Volvo Centum is Dalton Maag's new typeface for Volvo
(wallpaper.com)
by
ohjeez
a day ago |
137 comments
193
Fifty problems with standard web APIs in 2025
(zerotrickpony.com)
by
dhruv3006
7 days ago |
91 comments
55
Donald E. Knuth and Peter van Emde Boas on priority deques (1977) [pdf]
(staff.fnwi.uva.nl)
by
vismit2000
16 hours ago |
5 comments
112
Help My c64 caught on fire
(c0de517e.com)
by
ibobev
a day ago |
36 comments
144
Google 2025 recap: Research breakthroughs of the year
(blog.google)
by
Anon84
9 hours ago |
108 comments
494
We replaced H.264 streaming with JPEG screenshots (and it worked better)
(blog.helix.ml)
by
quesobob
a day ago |
298 comments
216
Toad is a unified experience for AI in the terminal
(willmcgugan.github.io)
by
nikolatt
2 days ago |
75 comments
5
My HTML Web Component boilerplate for 2026
(gomakethings.com)
by
eustoria
2 hours ago |
discuss
34
Custom Cross Compiler with Nix
(hobson.space)
by
todsacerdoti
13 hours ago |
1 comments
1590
Inside CECOT – 60 Minutes [video]
(archive.org)
by
lawlessone
2 days ago |
519 comments
47
Tell HN: Merry Christmas
by
franze
8 hours ago |
24 comments
63
'Dracula's Chivito': Hubble reveals largest birthplace of planets ever observed
(phys.org)
by
wglb
17 hours ago |
12 comments
54
Your Inbox Is a Bandit
(parentheticallyspeaking.org)
by
zdw
3 days ago |
49 comments
58
Map: Operator[] Should Be Nodiscard
(quuxplusone.github.io)
by
jandeboevrie
5 days ago |
45 comments
118
Executorch: On-device AI across mobile, embedded and edge for PyTorch
(github.com)
by
klaussilveira
6 days ago |
18 comments
89
Towards a secure peer-to-peer app platform for Clan
(clan.lol)
by
throawayonthe
a day ago |
23 comments
93
Go-boot: bare metal Go UEFI boot manager
(github.com)
by
nateb2022
7 days ago |
34 comments
121
Autonomously navigating the real world: lessons from the PG&E outage
(waymo.com)
by
scoofy
16 hours ago |
101 comments
372
What makes you senior
(terriblesoftware.org)
by
mooreds
5 days ago |
183 comments
244
How did DOGE disrupt so much while saving so little?
(nytimes.com)
by
JumpCrisscross
a day ago |
162 comments
4
The Future of Veritasium [video]
(youtube.com)
by
quick_brown_fox
2 hours ago |
2 comments
8
Older Americans quit weight loss drugs in droves
(seattletimes.com)
by
paulpauper
2 hours ago |
7 comments
95
Terrence Malick's Disciples
(yalereview.org)
by
prismatic
a day ago |
25 comments
431
Adobe Photoshop 1.0 Source Code (1990)
(computerhistory.org)
by
tosh
6 days ago |
148 comments
26
Name That Part: 3D Part Segmentation and Naming
(name-that-part.github.io)
by
unisub_guy
16 hours ago |
2 comments
322
Show HN: CineCLI – Browse and torrent movies directly from your terminal
(github.com)
by
samsep10l
2 days ago |
111 comments
13
Britain Just Had Its Sunniest Year on Record
(e360.yale.edu)
by
Brajeshwar
3 hours ago |
2 comments