Login
故事
< prev
page 1
more >
Loading...
220
AI will make formal verification go mainstream
(martin.kleppmann.com)
by
evankhoury
3 hours ago |
118 comments
574
alpr.watch
(alpr.watch)
by
theamk
7 hours ago |
289 comments
340
No Graphics API
(sebastianaaltonen.com)
by
ryandrake
5 hours ago |
59 comments
209
Ty: A fast Python type checker and LSP
(astral.sh)
by
gavide
3 hours ago |
42 comments
279
GPT Image 1.5
(openai.com)
by
charlierguo
6 hours ago |
140 comments
29
No AI* Here – A Response to Mozilla's Next Chapter
(waterfox.com)
by
MrAlex94
2 hours ago |
20 comments
380
40 percent of fMRI signals do not correspond to actual brain activity
(tum.de)
by
geox
10 hours ago |
161 comments
396
Mozilla appoints new CEO Anthony Enzor-Demeo
(blog.mozilla.org)
by
recvonline
10 hours ago |
600 comments
128
MIT professor shot at his Massachusetts home dies
(bbc.com)
by
mosura
2 hours ago |
60 comments
7
Americans overestimate how many social media users post harmful content
(academic.oup.com)
by
bikenaga
32 minutes ago |
5 comments
8
Midjourney is alemwjsl
(aadillpickle.com)
by
aadillpickle
6 days ago |
1 comments
37
Chat-tails: Throwback terminal chat, built on Tailscale
(tailscale.com)
by
nulbyte
3 hours ago |
9 comments
280
Thin desires are eating life
(joanwestenberg.com)
by
mitchbob
a day ago |
110 comments
74
Writing a blatant Telegram clone using Qt, QML and Rust. And C++
(kemble.net)
by
tempodox
8 hours ago |
39 comments
81
The World Happiness Report is beset with methodological problems
(yaschamounk.substack.com)
by
thatoneengineer
a day ago |
96 comments
96
Japan to revise romanization rules for first time in 70 years
(japantimes.co.jp)
by
rgovostes
15 hours ago |
70 comments
9
I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours
(simonwillison.net)
by
pbowyer
an hour ago |
discuss
42
Letta Code
(letta.com)
by
ascorbic
3 hours ago |
20 comments
209
Sega Channel: VGHF Recovers over 100 Sega Channel ROMs (and More)
(gamehistory.org)
by
wicket
11 hours ago |
32 comments
Artie (YC S23) Is Hiring Senior Enterprise AES
(ycombinator.com)
Artie (YC S23) Is Hiring Senior Enterprise AES
job
439
GitHub will begin charging for self-hosted action runners on March 2026
(github.blog)
by
nklow
6 hours ago |
206 comments
128
Nvidia Nemotron 3 Family of Models
(research.nvidia.com)
by
ewt-nv
a day ago |
21 comments
109
Show HN: Sqlit – A lazygit-style TUI for SQL databases
(github.com)
by
MaxTeabag
a day ago |
13 comments
6
Dafny: Verification-Aware Programming Language
(dafny.org)
by
handfuloflight
an hour ago |
discuss
55
Creating custom yellow handshake emojis with zero-width joiners
(blog.alexbeals.com)
by
dado3212
a day ago |
3 comments
160
Rust GCC backend: Why and how
(blog.guillaume-gomez.fr)
by
ahlCVA
10 hours ago |
84 comments
17
Reverse-Engineering the RK3588 NPU: Hacking Limits to Run Vision Transformers
(amohan.dev)
by
rcarmo
3 hours ago |
2 comments
141
30 years of <br> tags
(artmann.co)
by
FragrantRiver
3 days ago |
40 comments
52
How geometry is fundamental for chess
(lichess.org)
by
fzliu
5 days ago |
19 comments
66
Pizlix: Memory Safe Linux from Scratch
(fil-c.org)
by
nullbyte808
3 days ago |
19 comments