Login
故事
< prev
page 5
more >
Loading...
370
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
448
No Graphics API
(sebastianaaltonen.com)
by
ryandrake
8 hours ago |
81 comments
364
Announcing the Beta release of ty
(astral.sh)
by
gavide
6 hours ago |
74 comments
138
No AI* Here – A Response to Mozilla's Next Chapter
(waterfox.com)
by
MrAlex94
5 hours ago |
81 comments
89
Midjourney is alemwjsl
(aadillpickle.com)
by
aadillpickle
6 days ago |
35 comments
337
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 |
592 comments
19
CS 4973: Introduction to Software Development Tooling – Northeastern Univ (2024)
(bernsteinbear.com)
by
vismit2000
2 hours ago |
discuss
79
I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours
(simonwillison.net)
by
pbowyer
4 hours ago |
47 comments
Sei AI (YC W22) Is Hiring
(ycombinator.com)
Sei AI (YC W22) Is Hiring
job
400
40 percent of fMRI signals do not correspond to actual brain activity
(tum.de)
by
geox
14 hours ago |
176 comments
33
More than 100 rally against data centers at Michigan Capitol
(lansingstatejournal.com)
by
rmason
4 hours ago |
18 comments
435
Mozilla appoints new CEO Anthony Enzor-Demeo
(blog.mozilla.org)
by
recvonline
13 hours ago |
678 comments
6
Why many Asian megacities are miserable places
(economist.com)
by
andsoitis
14 minutes ago |
2 comments
16
Testing a cheaper laminar flow hood
(chillphysicsenjoyer.substack.com)
by
surprisetalk
4 days ago |
3 comments
34
Dafny: Verification-Aware Programming Language
(dafny.org)
by
handfuloflight
4 hours ago |
14 comments
337
Thin desires are eating life
(joanwestenberg.com)
by
mitchbob
a day ago |
137 comments
130
Japan to revise romanization rules for first time in 70 years
(japantimes.co.jp)
by
rgovostes
18 hours ago |
109 comments
227
Sega Channel: VGHF Recovers over 100 Sega Channel ROMs (and More)
(gamehistory.org)
by
wicket
14 hours ago |
36 comments
12
Show HN: TheAuditor v2.0 – A ”Flight Computer“ for AI Coding Agents
(github.com)
by
ThailandJohn
13 hours ago |
4 comments
25
Show HN: Learn Japanese contextually while browsing
(lingoku.ai)
by
englishcat
2 hours ago |
10 comments
23
Locked out: How a gift card purchase destroyed an Apple account
(appleinsider.com)
by
nonfamous
an hour ago |
8 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 |
104 comments
89
The World Happiness Report is beset with methodological problems
(yaschamounk.substack.com)
by
thatoneengineer
a day ago |
110 comments
4
Twin suction turbines and 3-Gs in slow corners? Meet the DRG-Lola
(arstechnica.com)
by
PaulHoule
6 days ago |
discuss
152
Nvidia Nemotron 3 Family of Models
(research.nvidia.com)
by
ewt-nv
2 days ago |
29 comments
56
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