Login
故事
< prev
page 1
more >
Loading...
276
Is Mozilla trying hard to kill itself?
(infosec.press)
by
pabs3
2 hours ago |
233 comments
662
AI will make formal verification go mainstream
(martin.kleppmann.com)
by
evankhoury
14 hours ago |
340 comments
42
TLA+ Modeling Tips
(muratbuffalo.blogspot.com)
by
birdculture
4 hours ago |
4 comments
802
alpr.watch
(alpr.watch)
by
theamk
19 hours ago |
376 comments
674
No Graphics API
(sebastianaaltonen.com)
by
ryandrake
16 hours ago |
120 comments
630
Announcing the Beta release of ty
(astral.sh)
by
gavide
15 hours ago |
116 comments
24
AI's real superpower: consuming, not creating
(msanroman.io)
by
firefoxd
3 hours ago |
19 comments
15
Playing Santa Does Things to a Man. What It Did to Bob Rutan Was Even Stranger
(esquire.com)
by
Lightbody
4 days ago |
1 comments
366
No AI* Here – A Response to Mozilla's Next Chapter
(waterfox.com)
by
MrAlex94
14 hours ago |
213 comments
451
GPT Image 1.5
(openai.com)
by
charlierguo
18 hours ago |
208 comments
675
Pricing Changes for GitHub Actions
(resources.github.com)
by
kevin-david
19 hours ago |
738 comments
41
Annual Production of 1/72 (22mm) scale plastic soldiers, 1958-2025
(plasticsoldierreview.com)
by
YeGoblynQueenne
4 days ago |
25 comments
Subsets (YC S23) is hiring engineers in Copenhagen, Denmark
(workatastartup.com)
Subsets (YC S23) is hiring engineers in Copenhagen, Denmark
job
22
Show HN: I built a WebMIDI sequencer to control my hardware synths
(simplychris.ai)
by
simplychris
6 days ago |
7 comments
66
VA Linux: The biggest dotcom IPO
(dfarq.homeip.net)
by
giuliomagnifico
6 days ago |
26 comments
454
40 percent of fMRI signals do not correspond to actual brain activity
(tum.de)
by
geox
a day ago |
179 comments
526
Thin desires are eating life
(joanwestenberg.com)
by
mitchbob
a day ago |
189 comments
523
Mozilla appoints new CEO Anthony Enzor-Demeo
(blog.mozilla.org)
by
recvonline
a day ago |
787 comments
6
Modern SID chip substitutes [video]
(youtube.com)
by
vismit2000
3 days ago |
discuss
175
I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours
(simonwillison.net)
by
pbowyer
13 hours ago |
104 comments
14
P: Formal Modeling and Analysis of Distributed (Event-Driven) Systems
(github.com)
by
Davidbrcz
4 hours ago |
2 comments
82
Introduction to Software Development Tooling (2024)
(bernsteinbear.com)
by
vismit2000
10 hours ago |
11 comments
209
Japan to revise romanization rules for first time in 70 years
(japantimes.co.jp)
by
rgovostes
a day ago |
183 comments
3
Show HN: Mephisto – A RAM-only, ad-free disposable email PWA built with React
(mephistomail.site)
by
benmxrt
2 hours ago |
3 comments
40
Show HN: Titan – JavaScript-first framework that compiles into a Rust server
(npmjs.com)
by
soham_byte
6 days ago |
21 comments
260
Sega Channel: VGHF Recovers over 100 Sega Channel ROMs (and More)
(gamehistory.org)
by
wicket
a day ago |
41 comments
137
The World Happiness Report is beset with methodological problems
(yaschamounk.substack.com)
by
thatoneengineer
a day ago |
169 comments
8
Living Particle System
(creative-art-points.vercel.app)
by
lovegrenoble
5 days ago |
discuss
216
Nvidia Nemotron 3 Family of Models
(research.nvidia.com)
by
ewt-nv
2 days ago |
42 comments
28
A Guide to Magnetizing N48 Magnets in Ansys Maxwell
(blog.ozeninc.com)
by
peter_d_sherman
8 hours ago |
2 comments