Login
故事
< prev
page 1
more >
Loading...
600
AI will make formal verification go mainstream
(martin.kleppmann.com)
by
evankhoury
12 hours ago |
314 comments
767
alpr.watch
(alpr.watch)
by
theamk
17 hours ago |
369 comments
620
No Graphics API
(sebastianaaltonen.com)
by
ryandrake
14 hours ago |
106 comments
574
Announcing the Beta release of ty
(astral.sh)
by
gavide
13 hours ago |
99 comments
31
Annual Production of 1/72 (22mm) scale plastic soldiers, 1958-2025
(plasticsoldierreview.com)
by
YeGoblynQueenne
4 days ago |
17 comments
426
GPT Image 1.5
(openai.com)
by
charlierguo
16 hours ago |
199 comments
31
Venezuela explained in 10 maps and charts
(aljazeera.com)
by
Anon84
3 days ago |
5 comments
15
Show HN: I built a WebMIDI sequencer to control my hardware synths
(simplychris.ai)
by
simplychris
6 days ago |
3 comments
639
Pricing Changes for GitHub Actions
(resources.github.com)
by
kevin-david
16 hours ago |
701 comments
12
TLA+ Modeling Tips
(muratbuffalo.blogspot.com)
by
birdculture
2 hours ago |
discuss
Subsets (YC S23) is hiring engineers in Copenhagen, Denmark
(workatastartup.com)
Subsets (YC S23) is hiring engineers in Copenhagen, Denmark
job
311
No AI* Here – A Response to Mozilla's Next Chapter
(waterfox.com)
by
MrAlex94
12 hours ago |
184 comments
156
I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours
(simonwillison.net)
by
pbowyer
11 hours ago |
96 comments
57
VA Linux: The biggest dotcom IPO
(dfarq.homeip.net)
by
giuliomagnifico
6 days ago |
15 comments
443
40 percent of fMRI signals do not correspond to actual brain activity
(tum.de)
by
geox
20 hours ago |
180 comments
488
Thin desires are eating life
(joanwestenberg.com)
by
mitchbob
a day ago |
180 comments
502
Mozilla appoints new CEO Anthony Enzor-Demeo
(blog.mozilla.org)
by
recvonline
20 hours ago |
757 comments
74
Introduction to Software Development Tooling (2024)
(bernsteinbear.com)
by
vismit2000
8 hours ago |
9 comments
33
Show HN: Titan – JavaScript-first framework that compiles into a Rust server
(npmjs.com)
by
soham_byte
6 days ago |
19 comments
189
Japan to revise romanization rules for first time in 70 years
(japantimes.co.jp)
by
rgovostes
a day ago |
170 comments
23
A Guide to Magnetizing N48 Magnets in Ansys Maxwell
(blog.ozeninc.com)
by
peter_d_sherman
6 hours ago |
1 comments
255
Sega Channel: VGHF Recovers over 100 Sega Channel ROMs (and More)
(gamehistory.org)
by
wicket
21 hours ago |
39 comments
3
P: Formal Modeling and Analysis of Distributed (Event-Driven) Systems
(github.com)
by
Davidbrcz
2 hours ago |
discuss
127
The World Happiness Report is beset with methodological problems
(yaschamounk.substack.com)
by
thatoneengineer
a day ago |
154 comments
201
Nvidia Nemotron 3 Family of Models
(research.nvidia.com)
by
ewt-nv
2 days ago |
35 comments
74
Dafny: Verification-Aware Programming Language
(dafny.org)
by
handfuloflight
11 hours ago |
25 comments
13
Various locale mismatch scenarios in Windows clipboard text format synthesis
(devblogs.microsoft.com)
by
ibobev
5 days ago |
4 comments
42
Testing a cheaper laminar flow hood
(chillphysicsenjoyer.substack.com)
by
surprisetalk
5 days ago |
10 comments
84
Chat-tails: Throwback terminal chat, built on Tailscale
(tailscale.com)
by
nulbyte
12 hours ago |
16 comments
146
Show HN: Sqlit – A lazygit-style TUI for SQL databases
(github.com)
by
MaxTeabag
2 days ago |
26 comments