❓
page 3 of top
dark mode
Is Mozilla trying hard to kill itself?
(infosec.press)
Ⓑ
Ⓐ
Ⓒ
·
857 points
·
744 comments
·
20½ hours ago 
by pabs3
AI will make formal verification go mainstream
(kleppmann.com)
Ⓑ
Ⓐ
Ⓒ
·
800 points
·
408 comments
·
1½ days ago 
by evankhoury
TLA+ Modeling Tips
(muratbuffalo​.blogspot.com)
Ⓑ
Ⓐ
Ⓒ
·
116 points
·
29 comments
·
22 hours ago 
by birdculture
⏱️ 2 minutes
Show HN: GitForms – Zero-​cost contact forms using GitHub Issues as database
(gitforms-landing​.vercel.app)
Ⓝ
Ⓑ
Ⓐ
·
31 points
·
20 comments
·
10¾ hours ago 
by lgreco
aix27s real superpower consuming not creating
AI's real superpower: consuming, not creating
(msanroman.io)
Ⓑ
Ⓐ
Ⓒ
·
225 points
·
162 comments
·
21¾ hours ago 
by firefoxd
⏱️ 2 minutes
alpr.watch
(alpr.watch)
Ⓑ
Ⓐ
Ⓒ
·
887 points
·
435 comments
·
1½ days ago 
by theamk
i created a publishing system for stepbystep coding guides in typst
I created a publishing system for step-​by-​step coding guides in Typst
(knowledge.dev)
36 points
·
8 comments
·
4½ days ago 
by deniskolodin
⏱️ 1 minute
japan to revise romanization rules for first time in 70 years
Japan to revise romanization rules for first time in 70 years
(japantimes.co.jp)
Ⓑ
Ⓒ
·
260 points
·
217 comments
·
1½ days ago 
by rgovostes
ty a fast python type checker and lsp
Announcing the Beta release of ty
(astral.sh)
Ⓑ
Ⓐ
Ⓒ
·
827 points
·
155 comments
·
1½ days ago 
by gavide
⏱️ 4 minutes
no graphics api
No Graphics API
(sebastianaaltonen​.com)
Ⓑ
Ⓐ
Ⓒ
·
810 points
·
160 comments
·
1½ days ago 
by ryandrake
⏱️ 31 minutes
modern sid chip substitutes video
Modern SID chip substitutes [video]
(youtube.com)
Ⓒ
·
64 points
·
9 comments
·
4 days ago 
by vismit2000
Introduction to Software Development Tooling (2024)
(bernsteinbear.com)
Ⓑ
Ⓐ
Ⓒ
·
112 points
·
21 comments
·
1 day ago 
by vismit2000
⏱️ 6 minutes
the world happiness report is a sham
The World Happiness Report is beset with methodological problems
(substack.com)
Ⓒ
·
163 points
·
200 comments
·
2½ days ago 
by thatoneengineer
⏱️ 8 minutes
Nvidia Nemotron 3 Family of Models
(nvidia.com)
Ⓒ
·
244 points
·
52 comments
·
2½ days ago 
by ewt-nv
⏱️ 1 minute
i couldnx27t find a logging library that worked for my library so i made one
I couldn't find a logging library that worked for my library, so I made one
(hackers.pub)
28 points
·
33 comments
·
5½ days ago 
by todsacerdoti
⏱️ 3 minutes
goboot bare metal go uefi boot manager
⬤
 Go
 94.5%
⬤
 Assembly
 2.8%
⬤
 Makefile
 2.7%
Go-​boot: bare metal Go UEFI boot manager
(github.com)
Ⓝ
·
3 points
·
0 comments
·
6 hours ago 
by nateb2022
⏱️ 1 minute
no ai here a response to mozillax27s next chapter
No AI* Here – A Response to Mozilla's Next Chapter
(waterfox.com)
Ⓑ
Ⓐ
Ⓒ
·
534 points
·
298 comments
·
1½ days ago 
by MrAlex94
⏱️ 5 minutes
pricing changes for github actions
Pricing Changes for GitHub Actions
(github.com)
Ⓑ
Ⓐ
Ⓒ
·
783 points
·
803 comments
·
1½ days ago 
by kevin-david
⏱️ 5 minutes
ai isnx27t just spying on you itx27s tricking you into spending more
AI Isn't Just Spying on You. It's Tricking You into Spending More
(newrepublic.com)
Ⓝ
Ⓑ
Ⓐ
·
88 points
·
58 comments
·
9¼ hours ago 
by c420
⏱️ 3 minutes
gpt image 15
GPT Image 1.5
(openai.com)
Ⓑ
Ⓐ
Ⓒ
·
513 points
·
246 comments
·
1½ days ago 
by charlierguo
page 4
new best active classic
This page was generated in 1.63 seconds at 2025-12-18T06:12:08Z.