Login
故事
< prev
page 1
more >
Loading...
401
AI will make formal verification go mainstream
(martin.kleppmann.com)
by
evankhoury
7 hours ago |
201 comments
669
alpr.watch
(alpr.watch)
by
theamk
11 hours ago |
333 comments
466
No Graphics API
(sebastianaaltonen.com)
by
ryandrake
9 hours ago |
86 comments
385
Announcing the Beta release of ty
(astral.sh)
by
gavide
7 hours ago |
76 comments
108
Midjourney is alemwjsl
(aadillpickle.com)
by
aadillpickle
6 days ago |
42 comments
156
No AI* Here – A Response to Mozilla's Next Chapter
(waterfox.com)
by
MrAlex94
6 hours ago |
100 comments
350
GPT Image 1.5
(openai.com)
by
charlierguo
10 hours ago |
179 comments
526
Pricing Changes for GitHub Actions
(resources.github.com)
by
kevin-david
11 hours ago |
605 comments
92
I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours
(simonwillison.net)
by
pbowyer
5 hours ago |
56 comments
30
CS 4973: Introduction to Software Development Tooling – Northeastern Univ (2024)
(bernsteinbear.com)
by
vismit2000
3 hours ago |
3 comments
7
Show HN: Titan – JavaScript-first framework that compiles into a Rust server
(npmjs.com)
by
soham_byte
6 days ago |
2 comments
Sei AI (YC W22) Is Hiring
(ycombinator.com)
Sei AI (YC W22) Is Hiring
job
409
40 percent of fMRI signals do not correspond to actual brain activity
(tum.de)
by
geox
14 hours ago |
178 comments
442
Mozilla appoints new CEO Anthony Enzor-Demeo
(blog.mozilla.org)
by
recvonline
14 hours ago |
695 comments
48
More than 100 rally against data centers at Michigan Capitol
(lansingstatejournal.com)
by
rmason
5 hours ago |
41 comments
358
Thin desires are eating life
(joanwestenberg.com)
by
mitchbob
a day ago |
145 comments
21
Testing a cheaper laminar flow hood
(chillphysicsenjoyer.substack.com)
by
surprisetalk
4 days ago |
5 comments
37
Dafny: Verification-Aware Programming Language
(dafny.org)
by
handfuloflight
5 hours ago |
19 comments
140
Japan to revise romanization rules for first time in 70 years
(japantimes.co.jp)
by
rgovostes
19 hours ago |
115 comments
30
Show HN: Learn Japanese contextually while browsing
(lingoku.ai)
by
englishcat
3 hours ago |
13 comments
229
Sega Channel: VGHF Recovers over 100 Sega Channel ROMs (and More)
(gamehistory.org)
by
wicket
15 hours ago |
37 comments
7
Twin suction turbines and 3-Gs in slow corners? Meet the DRG-Lola
(arstechnica.com)
by
PaulHoule
6 days ago |
1 comments
45
Tesla Robotaxis in Austin Crash 12.5x More Frequently Than Humans
(electrek.co)
by
hjouneau
an hour ago |
14 comments
93
The World Happiness Report is beset with methodological problems
(yaschamounk.substack.com)
by
thatoneengineer
a day ago |
113 comments
41
Locked out: How a gift card purchase destroyed an Apple account
(appleinsider.com)
by
nonfamous
2 hours ago |
18 comments
160
Nvidia Nemotron 3 Family of Models
(research.nvidia.com)
by
ewt-nv
2 days ago |
30 comments
91
Writing a blatant Telegram clone using Qt, QML and Rust. And C++
(kemble.net)
by
tempodox
13 hours ago |
53 comments
12
Show HN: TheAuditor v2.0 – A ”Flight Computer“ for AI Coding Agents
(github.com)
by
ThailandJohn
14 hours ago |
6 comments
79
Meta's new A.I. superstars are chafing against the rest of the company
(nytimes.com)
by
furcyd
6 days ago |
108 comments
59
Chat-tails: Throwback terminal chat, built on Tailscale
(tailscale.com)
by
nulbyte
7 hours ago |
11 comments