Login
故事
< prev
page 1
more >
Loading...
141
Is Mozilla trying hard to kill itself?
(infosec.press)
by
pabs3
an hour ago |
93 comments
638
AI will make formal verification go mainstream
(martin.kleppmann.com)
by
evankhoury
14 hours ago |
331 comments
30
TLA+ Modeling Tips
(muratbuffalo.blogspot.com)
by
birdculture
3 hours ago |
1 comments
789
alpr.watch
(alpr.watch)
by
theamk
18 hours ago |
373 comments
649
No Graphics API
(sebastianaaltonen.com)
by
ryandrake
15 hours ago |
115 comments
604
Announcing the Beta release of ty
(astral.sh)
by
gavide
14 hours ago |
113 comments
344
No AI* Here – A Response to Mozilla's Next Chapter
(waterfox.com)
by
MrAlex94
13 hours ago |
199 comments
440
GPT Image 1.5
(openai.com)
by
charlierguo
17 hours ago |
205 comments
659
Pricing Changes for GitHub Actions
(resources.github.com)
by
kevin-david
18 hours ago |
723 comments
38
Annual Production of 1/72 (22mm) scale plastic soldiers, 1958-2025
(plasticsoldierreview.com)
by
YeGoblynQueenne
4 days ago |
21 comments
20
Show HN: I built a WebMIDI sequencer to control my hardware synths
(simplychris.ai)
by
simplychris
6 days ago |
6 comments
63
VA Linux: The biggest dotcom IPO
(dfarq.homeip.net)
by
giuliomagnifico
6 days ago |
20 comments
167
I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours
(simonwillison.net)
by
pbowyer
12 hours ago |
98 comments
Subsets (YC S23) is hiring engineers in Copenhagen, Denmark
(workatastartup.com)
Subsets (YC S23) is hiring engineers in Copenhagen, Denmark
job
449
40 percent of fMRI signals do not correspond to actual brain activity
(tum.de)
by
geox
21 hours ago |
179 comments
515
Thin desires are eating life
(joanwestenberg.com)
by
mitchbob
a day ago |
183 comments
8
P: Formal Modeling and Analysis of Distributed (Event-Driven) Systems
(github.com)
by
Davidbrcz
3 hours ago |
1 comments
512
Mozilla appoints new CEO Anthony Enzor-Demeo
(blog.mozilla.org)
by
recvonline
21 hours ago |
768 comments
3
Playing Santa Does Things to a Man. What It Did to Bob Rutan Was Even Stranger
(esquire.com)
by
Lightbody
4 days ago |
discuss
77
Introduction to Software Development Tooling (2024)
(bernsteinbear.com)
by
vismit2000
9 hours ago |
10 comments
4
AI's real superpower: consuming, not creating
(msanroman.io)
by
firefoxd
2 hours ago |
discuss
7
Living Particle System
(creative-art-points.vercel.app)
by
lovegrenoble
5 days ago |
discuss
199
Japan to revise romanization rules for first time in 70 years
(japantimes.co.jp)
by
rgovostes
a day ago |
178 comments
34
Show HN: Titan – JavaScript-first framework that compiles into a Rust server
(npmjs.com)
by
soham_byte
6 days ago |
20 comments
257
Sega Channel: VGHF Recovers over 100 Sega Channel ROMs (and More)
(gamehistory.org)
by
wicket
a day ago |
40 comments
132
The World Happiness Report is beset with methodological problems
(yaschamounk.substack.com)
by
thatoneengineer
a day ago |
165 comments
24
A Guide to Magnetizing N48 Magnets in Ansys Maxwell
(blog.ozeninc.com)
by
peter_d_sherman
7 hours ago |
1 comments
78
Dafny: Verification-Aware Programming Language
(dafny.org)
by
handfuloflight
12 hours ago |
25 comments
17
Various locale mismatch scenarios in Windows clipboard text format synthesis
(devblogs.microsoft.com)
by
ibobev
5 days ago |
7 comments
211
Nvidia Nemotron 3 Family of Models
(research.nvidia.com)
by
ewt-nv
2 days ago |
39 comments