Login
故事
< prev
page 1
more >
Loading...
288
AI will make formal verification go mainstream
(martin.kleppmann.com)
by
evankhoury
4 hours ago |
153 comments
606
alpr.watch
(alpr.watch)
by
theamk
8 hours ago |
304 comments
396
No Graphics API
(sebastianaaltonen.com)
by
ryandrake
6 hours ago |
70 comments
283
Announcing the Beta release of ty
(astral.sh)
by
gavide
4 hours ago |
56 comments
300
GPT Image 1.5
(openai.com)
by
charlierguo
7 hours ago |
160 comments
Sei AI (YC W22) Is Hiring
(ycombinator.com)
Sei AI (YC W22) Is Hiring
job
50
I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours
(simonwillison.net)
by
pbowyer
2 hours ago |
14 comments
47
Midjourney is alemwjsl
(aadillpickle.com)
by
aadillpickle
6 days ago |
18 comments
474
Pricing Changes for GitHub Actions
(resources.github.com)
by
kevin-david
8 hours ago |
557 comments
70
No AI* Here – A Response to Mozilla's Next Chapter
(waterfox.com)
by
MrAlex94
3 hours ago |
39 comments
388
40 percent of fMRI signals do not correspond to actual brain activity
(tum.de)
by
geox
11 hours ago |
169 comments
410
Mozilla appoints new CEO Anthony Enzor-Demeo
(blog.mozilla.org)
by
recvonline
11 hours ago |
632 comments
20
Dafny: Verification-Aware Programming Language
(dafny.org)
by
handfuloflight
2 hours ago |
6 comments
47
Chat-tails: Throwback terminal chat, built on Tailscale
(tailscale.com)
by
nulbyte
4 hours ago |
10 comments
301
Thin desires are eating life
(joanwestenberg.com)
by
mitchbob
a day ago |
124 comments
163
MIT professor shot at his Massachusetts home dies
(bbc.com)
by
mosura
3 hours ago |
70 comments
20
Can I use HTTPS RRs?
(netmeister.org)
by
zdw
4 days ago |
6 comments
78
Writing a blatant Telegram clone using Qt, QML and Rust. And C++
(kemble.net)
by
tempodox
10 hours ago |
48 comments
107
Japan to revise romanization rules for first time in 70 years
(japantimes.co.jp)
by
rgovostes
16 hours ago |
88 comments
4
Show HN: TheAuditor v2.0 – A ”Flight Computer“ for AI Coding Agents
(github.com)
by
ThailandJohn
11 hours ago |
discuss
83
The World Happiness Report is beset with methodological problems
(yaschamounk.substack.com)
by
thatoneengineer
a day ago |
102 comments
215
Sega Channel: VGHF Recovers over 100 Sega Channel ROMs (and More)
(gamehistory.org)
by
wicket
12 hours ago |
33 comments
110
FVWM-95 (2001)
(fvwm95.sourceforge.net)
by
mghackerlady
8 hours ago |
81 comments
52
Letta Code
(letta.com)
by
ascorbic
4 hours ago |
25 comments
135
Nvidia Nemotron 3 Family of Models
(research.nvidia.com)
by
ewt-nv
a day ago |
25 comments
53
Meta's new A.I. superstars are chafing against the rest of the company
(nytimes.com)
by
furcyd
6 days ago |
60 comments
114
Show HN: Sqlit – A lazygit-style TUI for SQL databases
(github.com)
by
MaxTeabag
a day ago |
15 comments
3
WikiFlix shows us what Netflix would have been like 100 years ago
(wikiflix.toolforge.org)
by
jnord
an hour ago |
discuss
166
Rust GCC backend: Why and how
(blog.guillaume-gomez.fr)
by
ahlCVA
12 hours ago |
89 comments
14
Windows 11 will ask consent before sharing personal files with AI after outrage
(windowslatest.com)
by
jinxmeta
an hour ago |
5 comments