Login
故事
< prev
page 1
more >
Loading...
592
AI will make formal verification go mainstream
(martin.kleppmann.com)
by
evankhoury
12 hours ago |
310 comments
764
alpr.watch
(alpr.watch)
by
theamk
16 hours ago |
369 comments
615
No Graphics API
(sebastianaaltonen.com)
by
ryandrake
14 hours ago |
106 comments
565
Announcing the Beta release of ty
(astral.sh)
by
gavide
13 hours ago |
99 comments
23
Venezuela explained in 10 maps and charts
(aljazeera.com)
by
Anon84
3 days ago |
1 comments
8
TLA+ Modeling Tips
(muratbuffalo.blogspot.com)
by
birdculture
an hour ago |
discuss
15
Show HN: I built a WebMIDI sequencer to control my hardware synths
(simplychris.ai)
by
simplychris
6 days ago |
3 comments
423
GPT Image 1.5
(openai.com)
by
charlierguo
15 hours ago |
198 comments
29
Annual Production of 1/72 (22mm) scale plastic soldiers, 1958-2025
(plasticsoldierreview.com)
by
YeGoblynQueenne
4 days ago |
17 comments
638
Pricing Changes for GitHub Actions
(resources.github.com)
by
kevin-david
16 hours ago |
698 comments
Subsets (YC S23) is hiring engineers in Copenhagen, Denmark
(workatastartup.com)
Subsets (YC S23) is hiring engineers in Copenhagen, Denmark
job
43
US threatens EU digital services market access
(twitter.com)
by
heisenbit
an hour ago |
23 comments
309
No AI* Here – A Response to Mozilla's Next Chapter
(waterfox.com)
by
MrAlex94
11 hours ago |
182 comments
56
VA Linux: The biggest dotcom IPO
(dfarq.homeip.net)
by
giuliomagnifico
6 days ago |
15 comments
153
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
443
40 percent of fMRI signals do not correspond to actual brain activity
(tum.de)
by
geox
20 hours ago |
179 comments
483
Thin desires are eating life
(joanwestenberg.com)
by
mitchbob
a day ago |
180 comments
501
Mozilla appoints new CEO Anthony Enzor-Demeo
(blog.mozilla.org)
by
recvonline
19 hours ago |
756 comments
72
Introduction to Software Development Tooling (2024)
(bernsteinbear.com)
by
vismit2000
8 hours ago |
9 comments
32
Show HN: Titan – JavaScript-first framework that compiles into a Rust server
(npmjs.com)
by
soham_byte
6 days ago |
17 comments
185
Japan to revise romanization rules for first time in 70 years
(japantimes.co.jp)
by
rgovostes
a day ago |
169 comments
23
A Guide to Magnetizing N48 Magnets in Ansys Maxwell
(blog.ozeninc.com)
by
peter_d_sherman
5 hours ago |
1 comments
3
P: Formal Modeling and Analysis of Distributed (Event-Driven) Systems
(github.com)
by
Davidbrcz
2 hours ago |
discuss
253
Sega Channel: VGHF Recovers over 100 Sega Channel ROMs (and More)
(gamehistory.org)
by
wicket
20 hours ago |
39 comments
126
The World Happiness Report is beset with methodological problems
(yaschamounk.substack.com)
by
thatoneengineer
a day ago |
154 comments
200
Nvidia Nemotron 3 Family of Models
(research.nvidia.com)
by
ewt-nv
2 days ago |
35 comments
72
Dafny: Verification-Aware Programming Language
(dafny.org)
by
handfuloflight
11 hours ago |
25 comments
42
Testing a cheaper laminar flow hood
(chillphysicsenjoyer.substack.com)
by
surprisetalk
5 days ago |
7 comments
12
Various locale mismatch scenarios in Windows clipboard text format synthesis
(devblogs.microsoft.com)
by
ibobev
5 days ago |
4 comments
84
Chat-tails: Throwback terminal chat, built on Tailscale
(tailscale.com)
by
nulbyte
12 hours ago |
15 comments