My AI skeptic friends are all nuts (fly.io)
869 points by tabletcorry 6 hours ago | 1181 comments
1Ask HN: Who is hiring? (June 2025)
277 points by whoishiring 12 hours ago | 265 comments
2Conformance checking at MongoDB: Testing that our code matches our TLA+ specs (mongodb.com)
53 points by todsacerdoti 5 hours ago | 21 comments
3Show HN: I build one absurd web project every month (absurd.website)
146 points by absurdwebsite 7 hours ago | 30 comments
4Show HN: A toy version of Wireshark (student project) (github.com)
193 points by lixiasky 12 hours ago | 64 comments
5Show HN: Kan.bn – An open-source alterative to Trello (github.com)
358 points by henryball 18 hours ago | 163 comments
6Teaching Program Verification in Dafny at Amazon (2023) (dafny.org)
22 points by Jtsummers 5 hours ago | 4 comments
7Ask HN: How do I learn practical electronic repair?
41 points by juanse 3 days ago | 34 comments
8How to post when no one is reading (jeetmehta.com)
518 points by j4mehta a day ago | 229 comments
9Japanese Scientists Develop Artificial Blood Compatible with All Blood Types (tokyoweekender.com)
115 points by Geekette 6 hours ago | 26 comments
10Show HN: Onlook – Open-source, visual-first Cursor for designers (github.com)
333 points by hoakiet98 4 days ago | 74 comments
11ThorVG: Super Lightweight Vector Graphics Engine (thorvg.org)
104 points by elcritch 17 hours ago | 23 comments
12CVE 2025 31200 (blog.noahhw.dev)
96 points by todsacerdoti 8 hours ago | 23 comments
13Typing 118 WPM broke my brain in the right ways (balaji-amg.surge.sh)
105 points by b0a04gl 8 hours ago | 149 comments
14MonsterUI: Python library for building front end UIs quickly in FastHTML apps (answer.ai)
12 points by indigodaddy 7 hours ago | 4 comments
15Show HN: Penny-1.7B Irish Penny Journal style transfer (huggingface.co)
128 points by deepsquirrelnet 12 hours ago | 71 comments
16Arcol simplifies building design with browser-based modeling (arcol.io)
45 points by joeld42 11 hours ago | 24 comments
17Younger generations less likely to have dementia, study suggests (theguardian.com)
71 points by robaato 12 hours ago | 64 comments
18Snowflake to buy Crunchy Data for $250M (wsj.com)
120 points by mfiguiere 7 hours ago | 50 comments
19Ask HN: Who wants to be hired? (June 2025)
101 points by whoishiring 12 hours ago | 252 comments
20Ask HN: How do I learn robotics in 2025?
292 points by srijansriv 14 hours ago | 82 comments
21I made a chair (milofultz.com)
329 points by surprisetalk 3 days ago | 126 comments
22Piramidal (YC W24) Is Hiring a Senior Full Stack Engineer (ycombinator.com)
10 hours ago
23The Princeton INTERCAL Compiler's source code (esoteric.codes)
131 points by surprisetalk a day ago | 36 comments
24Mesh Edge Construction (maxliani.wordpress.com)
38 points by atomlib 12 hours ago | 1 comment
25Intelligent Agent Technology: Open Sesame! (1993) (blog.gingerbeardman.com)
42 points by msephton 2 days ago | 3 comments
26A Hidden Weakness (serge-sans-paille.github.io)
29 points by serge-ss-paille 13 hours ago | 1 comment
27If you are useful, it doesn't mean you are valued (betterthanrandom.substack.com)
748 points by weltview 18 hours ago | 334 comments
28Can I stop drone delivery companies flying over my property? (rte.ie)
90 points by austinallegro 8 hours ago | 200 comments
29TradeExpert, a trading framework that employs Mixture of Expert LLMs (arxiv.org)
107 points by wertyk 17 hours ago | 101 comments
30