Login
故事
< prev
page 1
more >
Loading...
248
Is Mozilla trying hard to kill itself?
(infosec.press)
by
pabs3
2 hours ago |
199 comments
655
AI will make formal verification go mainstream
(martin.kleppmann.com)
by
evankhoury
14 hours ago |
338 comments
39
TLA+ Modeling Tips
(muratbuffalo.blogspot.com)
by
birdculture
3 hours ago |
2 comments
799
alpr.watch
(alpr.watch)
by
theamk
19 hours ago |
374 comments
669
No Graphics API
(sebastianaaltonen.com)
by
ryandrake
16 hours ago |
118 comments
621
Announcing the Beta release of ty
(astral.sh)
by
gavide
15 hours ago |
114 comments
19
AI's real superpower: consuming, not creating
(msanroman.io)
by
firefoxd
3 hours ago |
11 comments
10
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
449
GPT Image 1.5
(openai.com)
by
charlierguo
17 hours ago |
208 comments
672
Pricing Changes for GitHub Actions
(resources.github.com)
by
kevin-david
18 hours ago |
735 comments
358
No AI* Here – A Response to Mozilla's Next Chapter
(waterfox.com)
by
MrAlex94
13 hours ago |
212 comments
40
Annual Production of 1/72 (22mm) scale plastic soldiers, 1958-2025
(plasticsoldierreview.com)
by
YeGoblynQueenne
4 days ago |
25 comments
20
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 |
25 comments
Subsets (YC S23) is hiring engineers in Copenhagen, Denmark
(workatastartup.com)
Subsets (YC S23) is hiring engineers in Copenhagen, Denmark
job
452
40 percent of fMRI signals do not correspond to actual brain activity
(tum.de)
by
geox
a day ago |
179 comments
523
Thin desires are eating life
(joanwestenberg.com)
by
mitchbob
a day ago |
187 comments
520
Mozilla appoints new CEO Anthony Enzor-Demeo
(blog.mozilla.org)
by
recvonline
a day ago |
784 comments
171
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
13
P: Formal Modeling and Analysis of Distributed (Event-Driven) Systems
(github.com)
by
Davidbrcz
4 hours ago |
2 comments
79
Introduction to Software Development Tooling (2024)
(bernsteinbear.com)
by
vismit2000
10 hours ago |
10 comments
209
Japan to revise romanization rules for first time in 70 years
(japantimes.co.jp)
by
rgovostes
a day ago |
183 comments
38
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
136
The World Happiness Report is beset with methodological problems
(yaschamounk.substack.com)
by
thatoneengineer
a day ago |
169 comments
7
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
19
Various locale mismatch scenarios in Windows clipboard text format synthesis
(devblogs.microsoft.com)
by
ibobev
5 days ago |
7 comments
80
Dafny: Verification-Aware Programming Language
(dafny.org)
by
handfuloflight
13 hours ago |
28 comments
26
A Guide to Magnetizing N48 Magnets in Ansys Maxwell
(blog.ozeninc.com)
by
peter_d_sherman
8 hours ago |
2 comments