Hacker News

1.		My AI skeptic friends are all nuts (fly.io)
		526 points by tabletcorry 2 hours ago \| hide \| 713 comments
2.		Conformance Checking at MongoDB: Testing That Our Code Matches Our TLA+ Specs (mongodb.com)
		28 points by todsacerdoti 2 hours ago \| hide \| 5 comments
3.		Snowflake to buy Crunchy Data for $250M (wsj.com)
		80 points by mfiguiere 3 hours ago \| hide \| 38 comments
4.		Ask HN: Who is hiring? (June 2025)
		236 points by whoishiring 8 hours ago \| hide \| 232 comments
5.		Show HN: I build one absurd web project every month (absurd.website)
		86 points by absurdwebsite 4 hours ago \| hide \| 24 comments
6.		Show HN: Kan.bn – An open-source alterative to Trello (github.com/kanbn)
		330 points by henryball 14 hours ago \| hide \| 139 comments
7.		Decorative Text Within HTML (shkspr.mobi)
		64 points by tobr 6 hours ago \| hide \| 4 comments
8.		Teaching Program Verification in Dafny at Amazon (2023) (dafny.org)
		7 points by Jtsummers 1 hour ago \| hide \| 2 comments
9.		How to post when no one is reading (jeetmehta.com)
		485 points by j4mehta 19 hours ago \| hide \| 218 comments
10.		Typing 118 WPM broke my brain in the right ways (balaji-amg.surge.sh)
		86 points by b0a04gl 4 hours ago \| hide \| 118 comments
11.		CVE 2025 31200 (noahhw.dev)
		80 points by todsacerdoti 5 hours ago \| hide \| 21 comments
12.		Japanese Scientists Develop Artificial Blood Compatible with All Blood Types (tokyoweekender.com)
		56 points by Geekette 2 hours ago \| hide \| 15 comments
13.		Show HN: Onlook – Open-source, visual-first Cursor for designers (github.com/onlook-dev)
		311 points by hoakiet98 18 hours ago \| hide \| 72 comments
14.		Show HN: A toy version of Wireshark (student project) (github.com/lixiasky)
		185 points by lixiasky 8 hours ago \| hide \| 57 comments
15.		ThorVG: Super Lightweight Vector Graphics Engine (thorvg.org)
		85 points by elcritch 13 hours ago \| hide \| 19 comments
16.		Arcol simplifies building design with browser-based modeling (arcol.io)
		42 points by joeld42 7 hours ago \| hide \| 23 comments
17.		Show HN: Penny-1.7B Irish Penny Journal style transfer (huggingface.co)
		122 points by deepsquirrelnet 8 hours ago \| hide \| 69 comments
18.		Piramidal (YC W24) Is Hiring a Senior Full Stack Engineer (ycombinator.com)
		6 hours ago \| hide
19.		Can I stop drone delivery companies flying over my property? (rte.ie)
		60 points by austinallegro 4 hours ago \| hide \| 135 comments
20.		Ask HN: Who wants to be hired? (June 2025)
		89 points by whoishiring 8 hours ago \| hide \| 221 comments
21.		Mesh Edge Construction (maxliani.wordpress.com)
		34 points by atomlib 8 hours ago \| hide \| 1 comment
22.		A Hidden Weakness (serge-sans-paille.github.io)
		27 points by serge-ss-paille 9 hours ago \| hide \| 1 comment
23.		Ask HN: How do I learn robotics in 2025?
		256 points by srijansriv 11 hours ago \| hide \| 73 comments
24.		The Princeton INTERCAL Compiler's source code (esoteric.codes)
		129 points by surprisetalk 21 hours ago \| hide \| 33 comments
25.		Intelligent Agent Technology: Open Sesame! (1993) (gingerbeardman.com)
		36 points by msephton 9 hours ago \| hide \| 2 comments
26.		Cloudlflare builds OAuth with Claude and publishes all the prompts (github.com/cloudflare)
		354 points by gregorywegory 9 hours ago \| hide \| 266 comments
27.		I made a chair (milofultz.com)
		314 points by surprisetalk 1 day ago \| hide \| 120 comments
28.		Reducing Cargo target directory size with -Zno-embed-metadata (kobzol.github.io)
		43 points by todsacerdoti 10 hours ago \| hide \| 11 comments
29.		EasyTier – P2P mesh VPN written in Rust using Tokio (easytier.cn)
		130 points by wucke13 15 hours ago \| hide \| 40 comments
30.		If you are useful, it doesn't mean you are valued (betterthanrandom.substack.com)
		731 points by weltview 15 hours ago \| hide \| 327 comments
		More