Login
故事
< prev
page 1
more >
Loading...
529
AI will make formal verification go mainstream
(martin.kleppmann.com)
by
evankhoury
10 hours ago |
262 comments
723
alpr.watch
(alpr.watch)
by
theamk
15 hours ago |
353 comments
560
No Graphics API
(sebastianaaltonen.com)
by
ryandrake
12 hours ago |
101 comments
493
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 |
10 comments
18
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
405
GPT Image 1.5
(openai.com)
by
charlierguo
13 hours ago |
191 comments
256
No AI* Here – A Response to Mozilla's Next Chapter
(waterfox.com)
by
MrAlex94
9 hours ago |
138 comments
598
Pricing Changes for GitHub Actions
(resources.github.com)
by
kevin-david
14 hours ago |
665 comments
61
Introduction to Software Development Tooling (2024)
(bernsteinbear.com)
by
vismit2000
6 hours ago |
4 comments
479
Mozilla appoints new CEO Anthony Enzor-Demeo
(blog.mozilla.org)
by
recvonline
18 hours ago |
731 comments
429
40 percent of fMRI signals do not correspond to actual brain activity
(tum.de)
by
geox
18 hours ago |
179 comments
431
Thin desires are eating life
(joanwestenberg.com)
by
mitchbob
a day ago |
168 comments
19
A Guide to Magnetizing N48 Magnets in Ansys Maxwell
(blog.ozeninc.com)
by
peter_d_sherman
4 hours ago |
1 comments
24
Show HN: Titan – JavaScript-first framework that compiles into a Rust server
(npmjs.com)
by
soham_byte
6 days ago |
12 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 |
84 comments
64
Dafny: Verification-Aware Programming Language
(dafny.org)
by
handfuloflight
9 hours ago |
24 comments
174
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
61
Show HN: Learn Japanese contextually while browsing
(lingoku.ai)
by
englishcat
7 hours ago |
27 comments
32
Testing a cheaper laminar flow hood
(chillphysicsenjoyer.substack.com)
by
surprisetalk
4 days ago |
7 comments
246
Sega Channel: VGHF Recovers over 100 Sega Channel ROMs (and More)
(gamehistory.org)
by
wicket
18 hours ago |
39 comments
184
Nvidia Nemotron 3 Family of Models
(research.nvidia.com)
by
ewt-nv
2 days ago |
32 comments
110
The World Happiness Report is beset with methodological problems
(yaschamounk.substack.com)
by
thatoneengineer
a day ago |
131 comments
39
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