Login
故事
< prev
page 1
more >
Loading...
47
Is Mozilla trying hard to kill itself?
(infosec.press)
by
pabs3
41 minutes ago |
12 comments
627
AI will make formal verification go mainstream
(martin.kleppmann.com)
by
evankhoury
13 hours ago |
323 comments
780
alpr.watch
(alpr.watch)
by
theamk
17 hours ago |
371 comments
22
TLA+ Modeling Tips
(muratbuffalo.blogspot.com)
by
birdculture
2 hours ago |
discuss
634
No Graphics API
(sebastianaaltonen.com)
by
ryandrake
15 hours ago |
111 comments
592
Announcing the Beta release of ty
(astral.sh)
by
gavide
13 hours ago |
111 comments
436
GPT Image 1.5
(openai.com)
by
charlierguo
16 hours ago |
203 comments
655
Pricing Changes for GitHub Actions
(resources.github.com)
by
kevin-david
17 hours ago |
711 comments
35
Annual Production of 1/72 (22mm) scale plastic soldiers, 1958-2025
(plasticsoldierreview.com)
by
YeGoblynQueenne
4 days ago |
20 comments
328
No AI* Here – A Response to Mozilla's Next Chapter
(waterfox.com)
by
MrAlex94
12 hours ago |
192 comments
18
Show HN: I built a WebMIDI sequencer to control my hardware synths
(simplychris.ai)
by
simplychris
6 days ago |
5 comments
8
P: Formal Modeling and Analysis of Distributed (Event-Driven) Systems
(github.com)
by
Davidbrcz
3 hours ago |
discuss
Subsets (YC S23) is hiring engineers in Copenhagen, Denmark
(workatastartup.com)
Subsets (YC S23) is hiring engineers in Copenhagen, Denmark
job
43
Venezuela explained in 10 maps and charts
(aljazeera.com)
by
Anon84
3 days ago |
29 comments
163
I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours
(simonwillison.net)
by
pbowyer
11 hours ago |
98 comments
448
40 percent of fMRI signals do not correspond to actual brain activity
(tum.de)
by
geox
21 hours ago |
179 comments
58
VA Linux: The biggest dotcom IPO
(dfarq.homeip.net)
by
giuliomagnifico
6 days ago |
19 comments
507
Thin desires are eating life
(joanwestenberg.com)
by
mitchbob
a day ago |
182 comments
508
Mozilla appoints new CEO Anthony Enzor-Demeo
(blog.mozilla.org)
by
recvonline
20 hours ago |
764 comments
76
Introduction to Software Development Tooling (2024)
(bernsteinbear.com)
by
vismit2000
9 hours ago |
10 comments
198
Japan to revise romanization rules for first time in 70 years
(japantimes.co.jp)
by
rgovostes
a day ago |
174 comments
33
Show HN: Titan – JavaScript-first framework that compiles into a Rust server
(npmjs.com)
by
soham_byte
6 days ago |
20 comments
5
Living Particle System
(creative-art-points.vercel.app)
by
lovegrenoble
5 days ago |
discuss
257
Sega Channel: VGHF Recovers over 100 Sega Channel ROMs (and More)
(gamehistory.org)
by
wicket
21 hours ago |
40 comments
24
A Guide to Magnetizing N48 Magnets in Ansys Maxwell
(blog.ozeninc.com)
by
peter_d_sherman
6 hours ago |
1 comments
16
Various locale mismatch scenarios in Windows clipboard text format synthesis
(devblogs.microsoft.com)
by
ibobev
5 days ago |
4 comments
78
Dafny: Verification-Aware Programming Language
(dafny.org)
by
handfuloflight
11 hours ago |
25 comments
205
Nvidia Nemotron 3 Family of Models
(research.nvidia.com)
by
ewt-nv
2 days ago |
39 comments
128
The World Happiness Report is beset with methodological problems
(yaschamounk.substack.com)
by
thatoneengineer
a day ago |
160 comments
44
Testing a cheaper laminar flow hood
(chillphysicsenjoyer.substack.com)
by
surprisetalk
5 days ago |
11 comments