Login
故事
< prev
page 2
more >
Loading...
106
TLA+ Modeling Tips
(muratbuffalo.blogspot.com)
by
birdculture
15 hours ago |
28 comments
242
I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours
(simonwillison.net)
by
pbowyer
a day ago |
130 comments
788
AI will make formal verification go mainstream
(martin.kleppmann.com)
by
evankhoury
a day ago |
397 comments
55
Modern SID chip substitutes [video]
(youtube.com)
by
vismit2000
4 days ago |
6 comments
883
alpr.watch
(alpr.watch)
by
theamk
a day ago |
430 comments
3
Show HN: GitForms – Zero-cost contact forms using GitHub Issues as database
(gitforms-landing.vercel.app)
by
lgreco
4 hours ago |
discuss
257
Japan to revise romanization rules for first time in 70 years
(japantimes.co.jp)
by
rgovostes
2 days ago |
210 comments
39
GitHub postponing the announced billing change for self-hosted GitHub Actions
(twitter.com)
by
coloneltcb
3 hours ago |
8 comments
798
No Graphics API
(sebastianaaltonen.com)
by
ryandrake
a day ago |
154 comments
108
Introduction to Software Development Tooling (2024)
(bernsteinbear.com)
by
vismit2000
21 hours ago |
19 comments
7
Nvidia 800 Gbps ConnectX-8 SuperNIC
(servethehome.com)
by
geerlingguy
an hour ago |
1 comments
159
The World Happiness Report is beset with methodological problems
(yaschamounk.substack.com)
by
thatoneengineer
2 days ago |
194 comments
240
Nvidia Nemotron 3 Family of Models
(research.nvidia.com)
by
ewt-nv
2 days ago |
51 comments
40
AI capability isn't humanness
(research.roundtable.ai)
by
mdahardy
6 hours ago |
50 comments
133
FCC chair suggests agency isn't independent, word cut from mission statement
(axios.com)
by
jmsflknr
5 hours ago |
121 comments
32
FIFA Arrives on Netflix Games
(netflix.com)
by
0xedb
3 hours ago |
43 comments
772
Pricing Changes for GitHub Actions
(resources.github.com)
by
kevin-david
a day ago |
802 comments
38
Nvidia plans heavy cuts to GPU supply in early 2026
(overclock3d.net)
by
tareqak
6 hours ago |
11 comments
507
GPT Image 1.5
(openai.com)
by
charlierguo
a day ago |
242 comments
6
The US govt has revoked the non-immigrant visa of Nobel laureate Wole Soyinka [video]
(youtube.com)
by
Geekette
2 hours ago |
discuss
96
Dafny: Verification-Aware Programming Language
(dafny.org)
by
handfuloflight
a day ago |
31 comments
31
Living Particle System
(creative-art-points.vercel.app)
by
lovegrenoble
5 days ago |
3 comments
166
Show HN: Sqlit – A lazygit-style TUI for SQL databases
(github.com)
by
MaxTeabag
2 days ago |
39 comments
34
P: Formal Modeling and Analysis of Distributed (Event-Driven) Systems
(github.com)
by
Davidbrcz
15 hours ago |
5 comments
204
30 years of <br> tags
(artmann.co)
by
FragrantRiver
4 days ago |
92 comments
581
Mozilla appoints new CEO Anthony Enzor-Demeo
(blog.mozilla.org)
by
recvonline
a day ago |
874 comments
187
Rust GCC backend: Why and how
(blog.guillaume-gomez.fr)
by
ahlCVA
a day ago |
117 comments
207
Full Unicode Search at 50× ICU Speed with AVX‑512
(ashvardanian.com)
by
ashvardanian
2 days ago |
75 comments
38
Playing Santa changed Bob Rutan profoundly
(esquire.com)
by
Lightbody
4 days ago |
14 comments
487
40 percent of fMRI signals do not correspond to actual brain activity
(tum.de)
by
geox
a day ago |
199 comments