Hacker News

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