Login
故事
< prev
page 2
more >
Loading...
98
The State of AI Coding Report 2025
(greptile.com)
by
dakshgupta
12 hours ago |
89 comments
256
I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours
(simonwillison.net)
by
pbowyer
a day ago |
133 comments
852
Is Mozilla trying hard to kill itself?
(infosec.press)
by
pabs3
19 hours ago |
740 comments
29
Show HN: GitForms – Zero-cost contact forms using GitHub Issues as database
(gitforms-landing.vercel.app)
by
lgreco
9 hours ago |
19 comments
115
TLA+ Modeling Tips
(muratbuffalo.blogspot.com)
by
birdculture
21 hours ago |
29 comments
798
AI will make formal verification go mainstream
(martin.kleppmann.com)
by
evankhoury
a day ago |
407 comments
221
AI's real superpower: consuming, not creating
(msanroman.io)
by
firefoxd
20 hours ago |
162 comments
34
I created a publishing system for step-by-step coding guides in Typst
(press.knowledge.dev)
by
deniskolodin
4 days ago |
8 comments
887
alpr.watch
(alpr.watch)
by
theamk
a day ago |
435 comments
260
Japan to revise romanization rules for first time in 70 years
(japantimes.co.jp)
by
rgovostes
2 days ago |
215 comments
827
Announcing the Beta release of ty
(astral.sh)
by
gavide
a day ago |
155 comments
808
No Graphics API
(sebastianaaltonen.com)
by
ryandrake
a day ago |
159 comments
61
Modern SID chip substitutes [video]
(youtube.com)
by
vismit2000
4 days ago |
9 comments
27
I couldn't find a logging library that worked for my library, so I made one
(hackers.pub)
by
todsacerdoti
6 days ago |
33 comments
112
Introduction to Software Development Tooling (2024)
(bernsteinbear.com)
by
vismit2000
a day ago |
21 comments
163
The World Happiness Report is beset with methodological problems
(yaschamounk.substack.com)
by
thatoneengineer
2 days ago |
199 comments
244
Nvidia Nemotron 3 Family of Models
(research.nvidia.com)
by
ewt-nv
3 days ago |
52 comments
46
The US govt has revoked the non-immigrant visa of Nobel laureate Wole Soyinka [video]
(youtube.com)
by
Geekette
8 hours ago |
5 comments
86
AI Isn't Just Spying on You. It's Tricking You into Spending More
(newrepublic.com)
by
c420
8 hours ago |
57 comments
530
No AI* Here – A Response to Mozilla's Next Chapter
(waterfox.com)
by
MrAlex94
a day ago |
298 comments
782
Pricing Changes for GitHub Actions
(resources.github.com)
by
kevin-david
a day ago |
803 comments
7
Show HN: Largest Public Dataset of Electronic Circuit Files
(huggingface.co)
by
_bshada
3 hours ago |
discuss
793
Thin desires are eating life
(joanwestenberg.com)
by
mitchbob
2 days ago |
254 comments
513
GPT Image 1.5
(openai.com)
by
charlierguo
a day ago |
246 comments
14
UNC System President Peter Hans confirms all syllabuses will be public records
(dailytarheel.com)
by
toomuchtodo
12 hours ago |
4 comments
171
Show HN: Sqlit – A lazygit-style TUI for SQL databases
(github.com)
by
MaxTeabag
3 days ago |
39 comments
209
30 years of <br> tags
(artmann.co)
by
FragrantRiver
5 days ago |
95 comments
100
Dafny: Verification-Aware Programming Language
(dafny.org)
by
handfuloflight
a day ago |
33 comments
209
Full Unicode Search at 50× ICU Speed with AVX‑512
(ashvardanian.com)
by
ashvardanian
2 days ago |
75 comments
7
Show HN: Minimal DL library in C – 24 NAIVE CUDA/CPU ops, autodiff, Python API
(github.com)
by
iaroo
8 hours ago |
discuss