News
Newest
Ask
Show
Jobs
Open on GitHub
< prev
1 / 10
more >
378
My AI skeptic friends are all nuts
(fly.io)
by
tabletcorry
1 hour ago
|
116 comments
18
Conformance Checking at MongoDB: Testing That Our Code Matches Our TLA+ Specs
(mongodb.com)
by
todsacerdoti
1 hour ago
|
1 comments
64
Snowflake to buy Crunchy Data for $250M
(wsj.com)
by
mfiguiere
2 hours ago
|
9 comments
221
Ask HN: Who is hiring? (June 2025)
by
whoishiring
7 hours ago
|
186 comments
67
Show HN: I build one absurd web project every month
(absurd.website)
by
absurdwebsite
3 hours ago
|
10 comments
315
Show HN: Kan.bn – An open-source alterative to Trello
(github.com)
by
henryball
13 hours ago
|
36 comments
51
Decorative Text Within HTML
(shkspr.mobi)
by
tobr
5 hours ago
|
3 comments
3
Teaching Program Verification in Dafny at Amazon (2023)
(dafny.org)
by
Jtsummers
49 minutes ago
|
1 comments
71
Typing 118 WPM broke my brain in the right ways
(balaji-amg.surge.sh)
by
b0a04gl
3 hours ago
|
30 comments
79
CVE 2025 31200
(blog.noahhw.dev)
by
todsacerdoti
3 hours ago
|
10 comments
< prev
1 / 10
more >