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

437 points by tabletcorry 2h ago 580 comments

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

20 points by todsacerdoti 1h ago 3 comments

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

71 points by mfiguiere 3h ago 34 comments

Ask HN: Who is hiring? (June 2025)

228 points by whoishiring 8h ago 225 comments

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

5 points by Jtsummers 1h ago 1 comments

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

73 points by absurdwebsite 3h ago 23 comments

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

322 points by henryball 13h ago 138 comments

Decorative Text Within HTML (shkspr.mobi)

56 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)

478 points by j4mehta 19h ago 217 comments

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

35 points by Geekette 1h ago 8 comments

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

75 points by b0a04gl 3h ago 99 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

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

41 points by joeld42 7h ago 23 comments

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

1 points by dsacellarius 6h ago 0 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)

53 points by austinallegro 4h ago 106 comments

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

87 points by whoishiring 8h ago 214 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 94 comments

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

35 points by msephton 2d ago 2 comments

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

343 points by gregorywegory 8h ago 261 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?

246 points by srijansriv 10h ago 71 comments

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

42 points by todsacerdoti 9h ago 11 comments

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

129 points by surprisetalk 21h ago 32 comments

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

50 points by diodorus 17h ago 29 comments

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

84 points by t55 13h ago 27 comments

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

729 points by weltview 14h ago 327 comments

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

127 points by wucke13 4d ago 40 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 52 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 19h ago 118 comments

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

218 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)

150 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)

69 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

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

794 points by stgl 1d ago 236 comments

What works (and doesn't) selling formal methods (galois.com)

119 points by azhenley 3d ago 63 comments

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

8 points by cousin_it 8h ago 0 comments

Builder.ai Faked Business with Indian Firm VerSe to Inflate Sales

1 mirzap 0 5/31/2025, 12:05:35 PM bloomberg.com ↗

Comments (0)

No comments yet