Login
故事
< prev
page 1
more >
Loading...
385
AI will make formal verification go mainstream
(martin.kleppmann.com)
by
evankhoury
7 hours ago |
195 comments
658
alpr.watch
(alpr.watch)
by
theamk
11 hours ago |
327 comments
458
No Graphics API
(sebastianaaltonen.com)
by
ryandrake
8 hours ago |
83 comments
376
Announcing the Beta release of ty
(astral.sh)
by
gavide
7 hours ago |
75 comments
99
Midjourney is alemwjsl
(aadillpickle.com)
by
aadillpickle
6 days ago |
40 comments
150
No AI* Here – A Response to Mozilla's Next Chapter
(waterfox.com)
by
MrAlex94
6 hours ago |
88 comments
344
GPT Image 1.5
(openai.com)
by
charlierguo
10 hours ago |
177 comments
517
Pricing Changes for GitHub Actions
(resources.github.com)
by
kevin-david
11 hours ago |
599 comments
86
I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours
(simonwillison.net)
by
pbowyer
5 hours ago |
51 comments
24
CS 4973: Introduction to Software Development Tooling – Northeastern Univ (2024)
(bernsteinbear.com)
by
vismit2000
2 hours ago |
1 comments
42
More than 100 rally against data centers at Michigan Capitol
(lansingstatejournal.com)
by
rmason
4 hours ago |
27 comments
Sei AI (YC W22) Is Hiring
(ycombinator.com)
Sei AI (YC W22) Is Hiring
job
403
40 percent of fMRI signals do not correspond to actual brain activity
(tum.de)
by
geox
14 hours ago |
177 comments
438
Mozilla appoints new CEO Anthony Enzor-Demeo
(blog.mozilla.org)
by
recvonline
14 hours ago |
690 comments
17
Why many Asian megacities are miserable places
(economist.com)
by
andsoitis
44 minutes ago |
6 comments
20
Testing a cheaper laminar flow hood
(chillphysicsenjoyer.substack.com)
by
surprisetalk
4 days ago |
4 comments
350
Thin desires are eating life
(joanwestenberg.com)
by
mitchbob
a day ago |
141 comments
35
Dafny: Verification-Aware Programming Language
(dafny.org)
by
handfuloflight
5 hours ago |
19 comments
135
Japan to revise romanization rules for first time in 70 years
(japantimes.co.jp)
by
rgovostes
19 hours ago |
112 comments
29
Show HN: Learn Japanese contextually while browsing
(lingoku.ai)
by
englishcat
3 hours ago |
12 comments
228
Sega Channel: VGHF Recovers over 100 Sega Channel ROMs (and More)
(gamehistory.org)
by
wicket
15 hours ago |
36 comments
36
Locked out: How a gift card purchase destroyed an Apple account
(appleinsider.com)
by
nonfamous
2 hours ago |
10 comments
93
The World Happiness Report is beset with methodological problems
(yaschamounk.substack.com)
by
thatoneengineer
a day ago |
110 comments
6
Twin suction turbines and 3-Gs in slow corners? Meet the DRG-Lola
(arstechnica.com)
by
PaulHoule
6 days ago |
1 comments
90
Writing a blatant Telegram clone using Qt, QML and Rust. And C++
(kemble.net)
by
tempodox
12 hours ago |
53 comments
153
Nvidia Nemotron 3 Family of Models
(research.nvidia.com)
by
ewt-nv
2 days ago |
29 comments
12
Show HN: TheAuditor v2.0 – A ”Flight Computer“ for AI Coding Agents
(github.com)
by
ThailandJohn
14 hours ago |
5 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 |
100 comments
121
Show HN: Sqlit – A lazygit-style TUI for SQL databases
(github.com)
by
MaxTeabag
2 days ago |
18 comments