Login
故事
< prev
page 1
more >
Loading...
335
Is Mozilla trying hard to kill itself?
(infosec.press)
by
pabs3
3 hours ago |
286 comments
672
AI will make formal verification go mainstream
(martin.kleppmann.com)
by
evankhoury
15 hours ago |
342 comments
48
TLA+ Modeling Tips
(muratbuffalo.blogspot.com)
by
birdculture
4 hours ago |
5 comments
808
alpr.watch
(alpr.watch)
by
theamk
19 hours ago |
379 comments
684
No Graphics API
(sebastianaaltonen.com)
by
ryandrake
17 hours ago |
121 comments
39
AI's real superpower: consuming, not creating
(msanroman.io)
by
firefoxd
4 hours ago |
27 comments
11
Modern SID chip substitutes [video]
(youtube.com)
by
vismit2000
3 days ago |
discuss
643
Announcing the Beta release of ty
(astral.sh)
by
gavide
15 hours ago |
119 comments
19
Playing Santa changed Bob Rutan profoundly
(esquire.com)
by
Lightbody
4 days ago |
4 comments
455
GPT Image 1.5
(openai.com)
by
charlierguo
18 hours ago |
211 comments
678
Pricing Changes for GitHub Actions
(resources.github.com)
by
kevin-david
19 hours ago |
741 comments
370
No AI* Here – A Response to Mozilla's Next Chapter
(waterfox.com)
by
MrAlex94
14 hours ago |
216 comments
42
Annual Production of 1/72 (22mm) scale plastic soldiers, 1958-2025
(plasticsoldierreview.com)
by
YeGoblynQueenne
4 days ago |
29 comments
25
Show HN: I built a WebMIDI sequencer to control my hardware synths
(simplychris.ai)
by
simplychris
6 days ago |
7 comments
Subsets (YC S23) is hiring engineers in Copenhagen, Denmark
(workatastartup.com)
Subsets (YC S23) is hiring engineers in Copenhagen, Denmark
job
460
40 percent of fMRI signals do not correspond to actual brain activity
(tum.de)
by
geox
a day ago |
179 comments
70
VA Linux: The biggest dotcom IPO
(dfarq.homeip.net)
by
giuliomagnifico
6 days ago |
27 comments
12
Living Particle System
(creative-art-points.vercel.app)
by
lovegrenoble
5 days ago |
discuss
529
Thin desires are eating life
(joanwestenberg.com)
by
mitchbob
a day ago |
192 comments
527
Mozilla appoints new CEO Anthony Enzor-Demeo
(blog.mozilla.org)
by
recvonline
a day ago |
794 comments
16
P: Formal Modeling and Analysis of Distributed (Event-Driven) Systems
(github.com)
by
Davidbrcz
5 hours ago |
2 comments
182
I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours
(simonwillison.net)
by
pbowyer
13 hours ago |
107 comments
83
Introduction to Software Development Tooling (2024)
(bernsteinbear.com)
by
vismit2000
11 hours ago |
11 comments
212
Japan to revise romanization rules for first time in 70 years
(japantimes.co.jp)
by
rgovostes
a day ago |
185 comments
41
Show HN: Titan – JavaScript-first framework that compiles into a Rust server
(npmjs.com)
by
soham_byte
6 days ago |
22 comments
261
Sega Channel: VGHF Recovers over 100 Sega Channel ROMs (and More)
(gamehistory.org)
by
wicket
a day ago |
41 comments
139
The World Happiness Report is beset with methodological problems
(yaschamounk.substack.com)
by
thatoneengineer
2 days ago |
169 comments
6
Show HN: Mephisto – A RAM-only, ad-free disposable email PWA built with React
(mephistomail.site)
by
benmxrt
2 hours ago |
4 comments
219
Nvidia Nemotron 3 Family of Models
(research.nvidia.com)
by
ewt-nv
2 days ago |
42 comments
22
Various locale mismatch scenarios in Windows clipboard text format synthesis
(devblogs.microsoft.com)
by
ibobev
5 days ago |
7 comments