My AI skeptic friends are all nuts (fly.io)

406 points by tabletcorry 1h ago 542 comments

Conformance Checking at MongoDB: Testing That Our Code Matches Our TLA+ Specs (mongodb.com)

18 points by todsacerdoti 1h ago 3 comments

Snowflake to buy Crunchy Data for $250M (wsj.com)

67 points by mfiguiere 3h ago 32 comments

Ask HN: Who is hiring? (June 2025)

223 points by whoishiring 8h ago 222 comments

Show HN: I build one absurd web project every month (absurd.website)

73 points by absurdwebsite 3h ago 23 comments

Teaching Program Verification in Dafny at Amazon (2023) (dafny.org)

4 points by Jtsummers 1h ago 1 comments

Show HN: Kan.bn – An open-source alterative to Trello (github.com)

319 points by henryball 13h ago 137 comments

Decorative Text Within HTML (shkspr.mobi)

52 points by tobr 5h ago 4 comments

CVE 2025 31200 (blog.noahhw.dev)

79 points by todsacerdoti 4h ago 21 comments

How to post when no one is reading (jeetmehta.com)

476 points by j4mehta 19h ago 216 comments

Typing 118 WPM broke my brain in the right ways (balaji-amg.surge.sh)

73 points by b0a04gl 3h ago 96 comments

Japanese Scientists Develop Artificial Blood Compatible with All Blood Types (tokyoweekender.com)

29 points by Geekette 1h ago 8 comments

Show HN: A toy version of Wireshark (student project) (github.com)

181 points by lixiasky 7h ago 55 comments

Show HN: Onlook – Open-source, visual-first Cursor for designers (github.com)

309 points by hoakiet98 4d ago 72 comments

Piramidal (YC W24) Is Hiring a Senior Full Stack Engineer (ycombinator.com)

1 points by dsacellarius 6h ago 0 comments

Arcol simplifies building design with browser-based modeling (arcol.io)

41 points by joeld42 6h ago 23 comments

Show HN: Penny-1.7B Irish Penny Journal style transfer (huggingface.co)

120 points by deepsquirrelnet 7h ago 69 comments

ThorVG: Super Lightweight Vector Graphics Engine (thorvg.org)

81 points by elcritch 12h ago 19 comments

Can I stop drone delivery companies flying over my property? (rte.ie)

52 points by austinallegro 3h ago 98 comments

Ask HN: Who wants to be hired? (June 2025)

87 points by whoishiring 8h ago 212 comments

Mesh Edge Construction (maxliani.wordpress.com)

31 points by atomlib 7h ago 1 comments

TradeExpert, a trading framework that employs Mixture of Expert LLMs (arxiv.org)

100 points by wertyk 12h ago 92 comments

Cloudlflare builds OAuth with Claude and publishes all the prompts (github.com)

339 points by gregorywegory 8h ago 257 comments

Intelligent Agent Technology: Open Sesame! (1993) (blog.gingerbeardman.com)

34 points by msephton 2d ago 2 comments

A Hidden Weakness (serge-sans-paille.github.io)

26 points by serge-ss-paille 8h ago 1 comments

Ask HN: How do I learn robotics in 2025?

244 points by srijansriv 10h ago 70 comments

Reducing Cargo target directory size with -Zno-embed-metadata (kobzol.github.io)

42 points by todsacerdoti 9h ago 11 comments

War and Wilderness: British Soldiers in Revolutionary America (historytoday.com)

50 points by diodorus 17h ago 28 comments

The Princeton INTERCAL Compiler's source code (esoteric.codes)

127 points by surprisetalk 21h ago 32 comments

ReasoningGym: Reasoning Environments for RL with Verifiable Rewards (arxiv.org)

84 points by t55 13h ago 27 comments

EasyTier – P2P mesh VPN written in Rust using Tokio (easytier.cn)

126 points by wucke13 4d ago 40 comments

If you are useful, it doesn't mean you are valued (betterthanrandom.substack.com)

728 points by weltview 14h ago 325 comments

I made a chair (milofultz.com)

310 points by surprisetalk 2d ago 120 comments

Younger generations less likely to have dementia, study suggests (theguardian.com)

51 points by robaato 7h ago 51 comments

Bohemians at the Gate? (inferencemagazine.substack.com)

39 points by surprisetalk 2d ago 54 comments

The Atomic Airplane (whatisnuclear.com)

70 points by mpweiher 4d ago 23 comments

Cuss: Map of profane words to a rating of sureness (github.com)

52 points by tosh 2d ago 53 comments

Is “The Phoenician Scheme” Wes Anderson's Most Emotional Film? (newyorker.com)

78 points by prismatic 18h ago 118 comments

The rise of judgement over technical skill (notsocommonthoughts.com)

217 points by kohlhofer 1d ago 144 comments

The Visual World of 'Samurai Jack' (animationobsessive.substack.com)

487 points by ani_obsessive 1d ago 84 comments

LibriVox (librivox.org)

243 points by bookofjoe 1d ago 65 comments

Queer in the country: Why some LGBTQ Americans prefer rural life to urban (theconversation.com)

16 points by PaulHoule 3h ago 6 comments

HeidiSQL Available Also for Linux (heidisql.com)

149 points by Daril 4d ago 47 comments

Show HN: I made an AI that turn live lecture into structured notes,mind-maps,PDF (notorium.app)

12 points by pranav_harshan 8h ago 5 comments

Writing your own C++ standard library part 2 (nibblestew.blogspot.com)

68 points by signa11 2d ago 60 comments

LFSR CPU Running Forth (github.com)

68 points by izabera 19h ago 12 comments

Show HN: MBCompass – Android Compass App (github.com)

57 points by nativeforks 19h ago 34 comments

The Colorado River is running low. The picture looks even worse underground. (washingtonpost.com)

14 points by rblion 2h ago 1 comments

Show HN: Text undo that doesn't lose your edit history (vladimirslepnev.me)

8 points by cousin_it 8h ago 0 comments

Root shell on a credit card terminal (stefan-gloor.ch)

794 points by stgl 1d ago 235 comments

AI jobs danger: Sleepwalking into a white-collar bloodbath

3 rbanffy 0 5/31/2025, 9:19:39 AM axios.com ↗

Comments (0)

No comments yet