Hacker News

1.		Conformance Checking at MongoDB: Testing That Our Code Matches Our TLA+ Specs (mongodb.com)
		37 points by todsacerdoti 3 hours ago \| hide \| 16 comments
2.		Ask HN: Who is hiring? (June 2025)
		242 points by whoishiring 9 hours ago \| hide \| 241 comments
3.		Snowflake to buy Crunchy Data for $250M (wsj.com)
		96 points by mfiguiere 4 hours ago \| hide \| 43 comments
4.		Show HN: I build one absurd web project every month (absurd.website)
		104 points by absurdwebsite 5 hours ago \| hide \| 26 comments
5.		My AI skeptic friends are all nuts (fly.io)
		633 points by tabletcorry 3 hours ago \| hide \| 904 comments
6.		Show HN: Kan.bn – An open-source alterative to Trello (github.com/kanbn)
		339 points by henryball 15 hours ago \| hide \| 146 comments
7.		Teaching Program Verification in Dafny at Amazon (2023) (dafny.org)
		12 points by Jtsummers 2 hours ago \| hide \| 3 comments
8.		How to post when no one is reading (jeetmehta.com)
		496 points by j4mehta 20 hours ago \| hide \| 221 comments
9.		Japanese Scientists Develop Artificial Blood Compatible with All Blood Types (tokyoweekender.com)
		69 points by Geekette 3 hours ago \| hide \| 18 comments
10.		Typing 118 WPM broke my brain in the right ways (balaji-amg.surge.sh)
		93 points by b0a04gl 5 hours ago \| hide \| 126 comments
11.		CVE 2025 31200 (noahhw.dev)
		86 points by todsacerdoti 6 hours ago \| hide \| 23 comments
12.		Show HN: Onlook – Open-source, visual-first Cursor for designers (github.com/onlook-dev)
		313 points by hoakiet98 19 hours ago \| hide \| 73 comments
13.		ThorVG: Super Lightweight Vector Graphics Engine (thorvg.org)
		91 points by elcritch 14 hours ago \| hide \| 19 comments
14.		Show HN: Penny-1.7B Irish Penny Journal style transfer (huggingface.co)
		126 points by deepsquirrelnet 9 hours ago \| hide \| 70 comments
15.		Show HN: A toy version of Wireshark (student project) (github.com/lixiasky)
		188 points by lixiasky 9 hours ago \| hide \| 57 comments
16.		Arcol simplifies building design with browser-based modeling (arcol.io)
		42 points by joeld42 8 hours ago \| hide \| 23 comments
17.		Ask HN: Who wants to be hired? (June 2025)
		94 points by whoishiring 9 hours ago \| hide \| 228 comments
18.		Can I stop drone delivery companies flying over my property? (rte.ie)
		66 points by austinallegro 5 hours ago \| hide \| 145 comments
19.		Ask HN: How do I learn robotics in 2025?
		266 points by srijansriv 12 hours ago \| hide \| 76 comments
20.		Mesh Edge Construction (maxliani.wordpress.com)
		35 points by atomlib 9 hours ago \| hide \| 1 comment
21.		Piramidal (YC W24) Is Hiring a Senior Full Stack Engineer (ycombinator.com)
		7 hours ago \| hide
22.		The Princeton INTERCAL Compiler's source code (esoteric.codes)
		130 points by surprisetalk 22 hours ago \| hide \| 34 comments
23.		Intelligent Agent Technology: Open Sesame! (1993) (gingerbeardman.com)
		38 points by msephton 10 hours ago \| hide \| 2 comments
24.		I made a chair (milofultz.com)
		319 points by surprisetalk 1 day ago \| hide \| 122 comments
25.		A Hidden Weakness (serge-sans-paille.github.io)
		27 points by serge-ss-paille 10 hours ago \| hide \| 1 comment
26.		ReasoningGym: Reasoning Environments for RL with Verifiable Rewards (arxiv.org)
		88 points by t55 15 hours ago \| hide \| 27 comments
27.		Cloudlflare builds OAuth with Claude and publishes all the prompts (github.com/cloudflare)
		359 points by gregorywegory 10 hours ago \| hide \| 269 comments
28.		Younger generations less likely to have dementia, study suggests (theguardian.com)
		57 points by robaato 9 hours ago \| hide \| 54 comments
29.		If you are useful, it doesn't mean you are valued (betterthanrandom.substack.com)
		734 points by weltview 15 hours ago \| hide \| 328 comments
30.		Reducing Cargo target directory size with -Zno-embed-metadata (kobzol.github.io)
		47 points by todsacerdoti 11 hours ago \| hide \| 11 comments
		More