Login
故事
< prev
page 1
more >
Loading...
367
AI will make formal verification go mainstream
(martin.kleppmann.com)
by
evankhoury
6 hours ago |
189 comments
648
alpr.watch
(alpr.watch)
by
theamk
10 hours ago |
325 comments
446
No Graphics API
(sebastianaaltonen.com)
by
ryandrake
8 hours ago |
81 comments
363
Announcing the Beta release of ty
(astral.sh)
by
gavide
6 hours ago |
74 comments
136
No AI* Here – A Response to Mozilla's Next Chapter
(waterfox.com)
by
MrAlex94
5 hours ago |
80 comments
87
Midjourney is alemwjsl
(aadillpickle.com)
by
aadillpickle
6 days ago |
35 comments
335
GPT Image 1.5
(openai.com)
by
charlierguo
9 hours ago |
175 comments
510
Pricing Changes for GitHub Actions
(resources.github.com)
by
kevin-david
10 hours ago |
591 comments
79
I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours
(simonwillison.net)
by
pbowyer
4 hours ago |
46 comments
Sei AI (YC W22) Is Hiring
(ycombinator.com)
Sei AI (YC W22) Is Hiring
job
18
CS 4973: Introduction to Software Development Tooling – Northeastern Univ (2024)
(bernsteinbear.com)
by
vismit2000
2 hours ago |
discuss
400
40 percent of fMRI signals do not correspond to actual brain activity
(tum.de)
by
geox
13 hours ago |
176 comments
31
More than 100 rally against data centers at Michigan Capitol
(lansingstatejournal.com)
by
rmason
4 hours ago |
17 comments
435
Mozilla appoints new CEO Anthony Enzor-Demeo
(blog.mozilla.org)
by
recvonline
13 hours ago |
676 comments
34
Dafny: Verification-Aware Programming Language
(dafny.org)
by
handfuloflight
4 hours ago |
14 comments
15
Testing a cheaper laminar flow hood
(chillphysicsenjoyer.substack.com)
by
surprisetalk
4 days ago |
3 comments
337
Thin desires are eating life
(joanwestenberg.com)
by
mitchbob
a day ago |
137 comments
129
Japan to revise romanization rules for first time in 70 years
(japantimes.co.jp)
by
rgovostes
18 hours ago |
107 comments
12
Show HN: TheAuditor v2.0 – A ”Flight Computer“ for AI Coding Agents
(github.com)
by
ThailandJohn
13 hours ago |
4 comments
227
Sega Channel: VGHF Recovers over 100 Sega Channel ROMs (and More)
(gamehistory.org)
by
wicket
14 hours ago |
36 comments
25
Show HN: Learn Japanese contextually while browsing
(lingoku.ai)
by
englishcat
2 hours ago |
9 comments
90
Writing a blatant Telegram clone using Qt, QML and Rust. And C++
(kemble.net)
by
tempodox
12 hours ago |
53 comments
206
MIT professor shot at his Massachusetts home dies
(bbc.com)
by
mosura
5 hours ago |
102 comments
89
The World Happiness Report is beset with methodological problems
(yaschamounk.substack.com)
by
thatoneengineer
a day ago |
110 comments
22
Locked out: How a gift card purchase destroyed an Apple account
(appleinsider.com)
by
nonfamous
an hour ago |
7 comments
4
Twin suction turbines and 3-Gs in slow corners? Meet the DRG-Lola
(arstechnica.com)
by
PaulHoule
6 days ago |
discuss
151
Nvidia Nemotron 3 Family of Models
(research.nvidia.com)
by
ewt-nv
2 days ago |
29 comments
55
Chat-tails: Throwback terminal chat, built on Tailscale
(tailscale.com)
by
nulbyte
6 hours ago |
11 comments
76
Meta's new A.I. superstars are chafing against the rest of the company
(nytimes.com)
by
furcyd
6 days ago |
95 comments
24
Can I use HTTPS RRs?
(netmeister.org)
by
zdw
4 days ago |
7 comments