Login
故事
< prev
page 21
more >
Loading...
398
AI will make formal verification go mainstream
(martin.kleppmann.com)
by
evankhoury
7 hours ago |
200 comments
667
alpr.watch
(alpr.watch)
by
theamk
11 hours ago |
333 comments
465
No Graphics API
(sebastianaaltonen.com)
by
ryandrake
9 hours ago |
86 comments
384
Announcing the Beta release of ty
(astral.sh)
by
gavide
7 hours ago |
75 comments
107
Midjourney is alemwjsl
(aadillpickle.com)
by
aadillpickle
6 days ago |
41 comments
156
No AI* Here – A Response to Mozilla's Next Chapter
(waterfox.com)
by
MrAlex94
6 hours ago |
98 comments
349
GPT Image 1.5
(openai.com)
by
charlierguo
10 hours ago |
179 comments
524
Pricing Changes for GitHub Actions
(resources.github.com)
by
kevin-david
11 hours ago |
602 comments
29
CS 4973: Introduction to Software Development Tooling – Northeastern Univ (2024)
(bernsteinbear.com)
by
vismit2000
3 hours ago |
3 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 |
55 comments
47
More than 100 rally against data centers at Michigan Capitol
(lansingstatejournal.com)
by
rmason
5 hours ago |
37 comments
Sei AI (YC W22) Is Hiring
(ycombinator.com)
Sei AI (YC W22) Is Hiring
job
408
40 percent of fMRI signals do not correspond to actual brain activity
(tum.de)
by
geox
14 hours ago |
177 comments
442
Mozilla appoints new CEO Anthony Enzor-Demeo
(blog.mozilla.org)
by
recvonline
14 hours ago |
693 comments
6
Show HN: Titan – JavaScript-first framework that compiles into a Rust server
(npmjs.com)
by
soham_byte
6 days ago |
2 comments
358
Thin desires are eating life
(joanwestenberg.com)
by
mitchbob
a day ago |
144 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
138
Japan to revise romanization rules for first time in 70 years
(japantimes.co.jp)
by
rgovostes
19 hours ago |
113 comments
30
Show HN: Learn Japanese contextually while browsing
(lingoku.ai)
by
englishcat
3 hours ago |
13 comments
7
Twin suction turbines and 3-Gs in slow corners? Meet the DRG-Lola
(arstechnica.com)
by
PaulHoule
6 days ago |
1 comments
228
Sega Channel: VGHF Recovers over 100 Sega Channel ROMs (and More)
(gamehistory.org)
by
wicket
15 hours ago |
37 comments
42
Tesla Robotaxis in Austin Crash 12.5x More Frequently Than Humans
(electrek.co)
by
hjouneau
an hour ago |
12 comments
40
Locked out: How a gift card purchase destroyed an Apple account
(appleinsider.com)
by
nonfamous
2 hours ago |
16 comments
93
The World Happiness Report is beset with methodological problems
(yaschamounk.substack.com)
by
thatoneengineer
a day ago |
113 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
12 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
58
Chat-tails: Throwback terminal chat, built on Tailscale
(tailscale.com)
by
nulbyte
7 hours ago |
11 comments
79
Meta's new A.I. superstars are chafing against the rest of the company
(nytimes.com)
by
furcyd
6 days ago |
106 comments