Login
故事
< prev
page 8
more >
Loading...
426
AI will make formal verification go mainstream
(martin.kleppmann.com)
by
evankhoury
8 hours ago |
208 comments
683
alpr.watch
(alpr.watch)
by
theamk
12 hours ago |
338 comments
487
No Graphics API
(sebastianaaltonen.com)
by
ryandrake
10 hours ago |
89 comments
404
Announcing the Beta release of ty
(astral.sh)
by
gavide
8 hours ago |
80 comments
129
Midjourney is alemwjsl
(aadillpickle.com)
by
aadillpickle
6 days ago |
45 comments
363
GPT Image 1.5
(openai.com)
by
charlierguo
11 hours ago |
182 comments
545
Pricing Changes for GitHub Actions
(resources.github.com)
by
kevin-david
12 hours ago |
626 comments
37
CS 4973: Introduction to Software Development Tooling – Northeastern Univ (2024)
(bernsteinbear.com)
by
vismit2000
4 hours ago |
4 comments
100
I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours
(simonwillison.net)
by
pbowyer
6 hours ago |
57 comments
174
No AI* Here – A Response to Mozilla's Next Chapter
(waterfox.com)
by
MrAlex94
7 hours ago |
111 comments
415
40 percent of fMRI signals do not correspond to actual brain activity
(tum.de)
by
geox
15 hours ago |
178 comments
454
Mozilla appoints new CEO Anthony Enzor-Demeo
(blog.mozilla.org)
by
recvonline
15 hours ago |
711 comments
88
Tesla Robotaxis in Austin Crash 12.5x More Frequently Than Humans
(electrek.co)
by
hjouneau
2 hours ago |
44 comments
11
Show HN: Titan – JavaScript-first framework that compiles into a Rust server
(npmjs.com)
by
soham_byte
6 days ago |
6 comments
Sei AI (YC W22) Is Hiring
(ycombinator.com)
Sei AI (YC W22) Is Hiring
job
378
Thin desires are eating life
(joanwestenberg.com)
by
mitchbob
a day ago |
149 comments
40
Dafny: Verification-Aware Programming Language
(dafny.org)
by
handfuloflight
6 hours ago |
21 comments
145
Japan to revise romanization rules for first time in 70 years
(japantimes.co.jp)
by
rgovostes
20 hours ago |
127 comments
23
Testing a cheaper laminar flow hood
(chillphysicsenjoyer.substack.com)
by
surprisetalk
4 days ago |
5 comments
3
VA Linux: The biggest dotcom IPO
(dfarq.homeip.net)
by
giuliomagnifico
6 days ago |
discuss
36
Show HN: Learn Japanese contextually while browsing
(lingoku.ai)
by
englishcat
4 hours ago |
16 comments
233
Sega Channel: VGHF Recovers over 100 Sega Channel ROMs (and More)
(gamehistory.org)
by
wicket
16 hours ago |
38 comments
96
The World Happiness Report is beset with methodological problems
(yaschamounk.substack.com)
by
thatoneengineer
a day ago |
116 comments
163
Nvidia Nemotron 3 Family of Models
(research.nvidia.com)
by
ewt-nv
2 days ago |
30 comments
66
Chat-tails: Throwback terminal chat, built on Tailscale
(tailscale.com)
by
nulbyte
8 hours ago |
12 comments
94
Writing a blatant Telegram clone using Qt, QML and Rust. And C++
(kemble.net)
by
tempodox
13 hours ago |
54 comments
8
Twin suction turbines and 3-Gs in slow corners? Meet the DRG-Lola
(arstechnica.com)
by
PaulHoule
6 days ago |
3 comments
61
Locked out: How a gift card purchase destroyed an Apple account
(appleinsider.com)
by
nonfamous
3 hours ago |
27 comments
82
Meta's new A.I. superstars are chafing against the rest of the company
(nytimes.com)
by
furcyd
7 days ago |
113 comments
126
Show HN: Sqlit – A lazygit-style TUI for SQL databases
(github.com)
by
MaxTeabag
2 days ago |
18 comments