Hacker News

1.		My AI skeptic friends are all nuts (fly.io)
		395 points by tabletcorry 1 hour ago \| hide \| 523 comments
2.		Conformance Checking at MongoDB: Testing That Our Code Matches Our TLA+ Specs (mongodb.com)
		18 points by todsacerdoti 1 hour ago \| hide \| 2 comments
3.		Snowflake to buy Crunchy Data for $250M (wsj.com)
		67 points by mfiguiere 2 hours ago \| hide \| 30 comments
4.		Ask HN: Who is hiring? (June 2025)
		223 points by whoishiring 7 hours ago \| hide \| 222 comments
5.		Show HN: I build one absurd web project every month (absurd.website)
		72 points by absurdwebsite 3 hours ago \| hide \| 23 comments
6.		Teaching Program Verification in Dafny at Amazon (2023) (dafny.org)
		4 points by Jtsummers 55 minutes ago \| hide \| 1 comment
7.		Show HN: Kan.bn – An open-source alterative to Trello (github.com/kanbn)
		318 points by henryball 13 hours ago \| hide \| 137 comments
8.		Decorative Text Within HTML (shkspr.mobi)
		52 points by tobr 5 hours ago \| hide \| 4 comments
9.		CVE 2025 31200 (noahhw.dev)
		79 points by todsacerdoti 4 hours ago \| hide \| 21 comments
10.		How to post when no one is reading (jeetmehta.com)
		473 points by j4mehta 18 hours ago \| hide \| 215 comments
11.		Typing 118 WPM broke my brain in the right ways (balaji-amg.surge.sh)
		72 points by b0a04gl 3 hours ago \| hide \| 96 comments
12.		Japanese Scientists Develop Artificial Blood Compatible with All Blood Types (tokyoweekender.com)
		25 points by Geekette 1 hour ago \| hide \| 8 comments
13.		Show HN: A toy version of Wireshark (student project) (github.com/lixiasky)
		181 points by lixiasky 7 hours ago \| hide \| 55 comments
14.		Show HN: Onlook – Open-source, visual-first Cursor for designers (github.com/onlook-dev)
		307 points by hoakiet98 17 hours ago \| hide \| 72 comments
15.		Piramidal (YC W24) Is Hiring a Senior Full Stack Engineer (ycombinator.com)
		5 hours ago \| hide
16.		Arcol simplifies building design with browser-based modeling (arcol.io)
		41 points by joeld42 6 hours ago \| hide \| 23 comments
17.		Show HN: Penny-1.7B Irish Penny Journal style transfer (huggingface.co)
		120 points by deepsquirrelnet 7 hours ago \| hide \| 69 comments
18.		ThorVG: Super Lightweight Vector Graphics Engine (thorvg.org)
		80 points by elcritch 12 hours ago \| hide \| 19 comments
19.		Can I stop drone delivery companies flying over my property? (rte.ie)
		52 points by austinallegro 3 hours ago \| hide \| 96 comments
20.		Ask HN: Who wants to be hired? (June 2025)
		87 points by whoishiring 7 hours ago \| hide \| 210 comments
21.		Mesh Edge Construction (maxliani.wordpress.com)
		31 points by atomlib 7 hours ago \| hide \| 1 comment
22.		Cloudlflare builds OAuth with Claude and publishes all the prompts (github.com/cloudflare)
		339 points by gregorywegory 8 hours ago \| hide \| 254 comments
23.		TradeExpert, a trading framework that employs Mixture of Expert LLMs (arxiv.org)
		100 points by wertyk 12 hours ago \| hide \| 92 comments
24.		Intelligent Agent Technology: Open Sesame! (1993) (gingerbeardman.com)
		34 points by msephton 8 hours ago \| hide \| 2 comments
25.		A Hidden Weakness (serge-sans-paille.github.io)
		26 points by serge-ss-paille 8 hours ago \| hide \| 1 comment
26.		Ask HN: How do I learn robotics in 2025?
		244 points by srijansriv 10 hours ago \| hide \| 70 comments
27.		Reducing Cargo target directory size with -Zno-embed-metadata (kobzol.github.io)
		42 points by todsacerdoti 9 hours ago \| hide \| 10 comments
28.		War and Wilderness: British Soldiers in Revolutionary America (historytoday.com)
		49 points by diodorus 8 hours ago \| hide \| 28 comments
29.		The Princeton INTERCAL Compiler's source code (esoteric.codes)
		127 points by surprisetalk 20 hours ago \| hide \| 32 comments
30.		ReasoningGym: Reasoning Environments for RL with Verifiable Rewards (arxiv.org)
		84 points by t55 13 hours ago \| hide \| 27 comments
		More