Login
故事
< prev
page 30
more >
Loading...
140
50 years of proof assistants
(lawrencecpaulson.github.io)
by
baruchel
5 days ago |
30 comments
28
Show HN: Picknplace.js, an Alternative to Drag and Drop
(jgthms.com)
by
bbx
a day ago |
14 comments
349
I tried Gleam for Advent of Code
(blog.tymscar.com)
by
tymscar
4 days ago |
208 comments
121
Fedora: Open-source repository for long-term digital preservation
(fedorarepository.org)
by
cernocky
5 days ago |
54 comments
15
Taiwan's Receipt Lottery: The Genius Tax Trick on Desperation
(pablomusumeci.com)
by
prawn
a day ago |
2 comments
209
CM0 – A new Raspberry Pi you can't buy
(jeffgeerling.com)
by
speckx
5 days ago |
60 comments
17
Ask HN: What are your predictions for 2026?
by
mfrw
19 hours ago |
10 comments
ask
134
From text to token: How tokenization pipelines work
(paradedb.com)
by
philippemnoel
6 days ago |
21 comments
262
Shai-Hulud compromised a dev machine and raided GitHub org access: a post-mortem
(trigger.dev)
by
nkko
3 days ago |
182 comments
36
Joseph Gordon-Levitt wonders why AI companies don't have to 'follow any laws'
(fortune.com)
by
alexgotoi
a day ago |
13 comments
21
QStudio SQL Analysis tool now open source
(timestored.com)
by
RyanHamilton
2 days ago |
2 comments
10
Show HN: Ducktape – a tiny HTTP/2 wrapper around DuckDB's Appender API
(github.com)
by
williamhaw
a day ago |
discuss
54
Generative Optogenetics
(darpa.mil)
by
birriel
3 days ago |
18 comments
134
Async DNS
(flak.tedunangst.com)
by
todsacerdoti
5 days ago |
48 comments
233
Kimi K2 1T model runs on 2 512GB M3 Ultras
(twitter.com)
by
jeudesprits
3 days ago |
120 comments
66
Illuminating the processor core with LLVM-mca
(abseil.io)
by
ckennelly
3 days ago |
5 comments
3
Tesla Faces California Sales Halt Unless It Alters Marketing
(bloomberg.com)
by
toomanyrichies
13 hours ago |
discuss
11
MIT [nuclear science] professor shot and killed in his Brookline home
(boston.com)
by
dctoedt
a day ago |
1 comments
6
Lua PageMaker: A Lua-driven multi-column layout engine for LaTeX
(github.com)
by
sylvainhalle
a day ago |
1 comments
278
Computer animator and Amiga fanatic Dick van Dyke turns 100
by
ggm
5 days ago |
92 comments
181
Guarding My Git Forge Against AI Scrapers
(vulpinecitrus.info)
by
todsacerdoti
6 days ago |
131 comments
3
A tagging system for documentation review comments
(blog.techdocs.studio)
by
dgarcia360
a day ago |
discuss
91
Capsudo: Rethinking sudo with object capabilities
(ariadne.space)
by
fanf2
5 days ago |
58 comments
132
Compiler Engineering in Practice
(chisophugis.github.io)
by
dhruv3006
4 days ago |
30 comments
104
A Lisp Interpreter Implemented in Conway's Game of Life (2021)
(woodrush.github.io)
by
pabs3
5 days ago |
7 comments
375
SQLite JSON at full index speed using generated columns
(dbpro.app)
by
upmostly
5 days ago |
113 comments
3
Obfuscated information verification protocol sketch
(github.com)
by
boredthoughts
a day ago |
discuss
7
Montreal's New Rail Line Is the Future – Macleans.ca
(macleans.ca)
by
MaysonL
19 hours ago |
2 comments
423
Rats Play DOOM
(ratsplaydoom.com)
by
ano-ther
5 days ago |
159 comments
476
Nokia N900 Necromancy
(yaky.dev)
by
yaky
6 days ago |
190 comments