Login
故事
< prev
page 3
more >
Loading...
523
AI will make formal verification go mainstream
(martin.kleppmann.com)
by
evankhoury
10 hours ago |
256 comments
723
alpr.watch
(alpr.watch)
by
theamk
14 hours ago |
351 comments
554
No Graphics API
(sebastianaaltonen.com)
by
ryandrake
12 hours ago |
101 comments
490
Announcing the Beta release of ty
(astral.sh)
by
gavide
11 hours ago |
90 comments
42
VA Linux: The biggest dotcom IPO
(dfarq.homeip.net)
by
giuliomagnifico
6 days ago |
7 comments
17
Annual Production of 1/72 (22mm) scale plastic soldiers, 1958-2025
(plasticsoldierreview.com)
by
YeGoblynQueenne
4 days ago |
5 comments
Subsets (YC S23) is hiring engineers in Copenhagen, Denmark
(workatastartup.com)
Subsets (YC S23) is hiring engineers in Copenhagen, Denmark
job
404
GPT Image 1.5
(openai.com)
by
charlierguo
13 hours ago |
190 comments
254
No AI* Here – A Response to Mozilla's Next Chapter
(waterfox.com)
by
MrAlex94
9 hours ago |
136 comments
598
Pricing Changes for GitHub Actions
(resources.github.com)
by
kevin-david
14 hours ago |
665 comments
60
Introduction to Software Development Tooling (2024)
(bernsteinbear.com)
by
vismit2000
6 hours ago |
4 comments
477
Mozilla appoints new CEO Anthony Enzor-Demeo
(blog.mozilla.org)
by
recvonline
17 hours ago |
730 comments
429
40 percent of fMRI signals do not correspond to actual brain activity
(tum.de)
by
geox
18 hours ago |
179 comments
19
A Guide to Magnetizing N48 Magnets in Ansys Maxwell
(blog.ozeninc.com)
by
peter_d_sherman
3 hours ago |
1 comments
138
I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours
(simonwillison.net)
by
pbowyer
9 hours ago |
83 comments
428
Thin desires are eating life
(joanwestenberg.com)
by
mitchbob
a day ago |
168 comments
24
Show HN: Titan – JavaScript-first framework that compiles into a Rust server
(npmjs.com)
by
soham_byte
6 days ago |
12 comments
62
Dafny: Verification-Aware Programming Language
(dafny.org)
by
handfuloflight
9 hours ago |
24 comments
173
Japan to revise romanization rules for first time in 70 years
(japantimes.co.jp)
by
rgovostes
a day ago |
142 comments
7
Various locale mismatch scenarios in Windows clipboard text format synthesis
(devblogs.microsoft.com)
by
ibobev
5 days ago |
2 comments
60
Show HN: Learn Japanese contextually while browsing
(lingoku.ai)
by
englishcat
7 hours ago |
26 comments
32
Testing a cheaper laminar flow hood
(chillphysicsenjoyer.substack.com)
by
surprisetalk
4 days ago |
7 comments
245
Sega Channel: VGHF Recovers over 100 Sega Channel ROMs (and More)
(gamehistory.org)
by
wicket
18 hours ago |
39 comments
182
Nvidia Nemotron 3 Family of Models
(research.nvidia.com)
by
ewt-nv
2 days ago |
32 comments
109
The World Happiness Report is beset with methodological problems
(yaschamounk.substack.com)
by
thatoneengineer
a day ago |
131 comments
38
FTX insider Caroline Ellison has been moved out of prison
(businessinsider.com)
by
harambae
3 hours ago |
11 comments
105
Writing a blatant Telegram clone using Qt, QML and Rust. And C++
(kemble.net)
by
tempodox
16 hours ago |
63 comments
78
Chat-tails: Throwback terminal chat, built on Tailscale
(tailscale.com)
by
nulbyte
10 hours ago |
13 comments
134
Show HN: Sqlit – A lazygit-style TUI for SQL databases
(github.com)
by
MaxTeabag
2 days ago |
19 comments
14
Twin suction turbines and 3-Gs in slow corners? Meet the DRG-Lola
(arstechnica.com)
by
PaulHoule
6 days ago |
4 comments