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

775 points by tabletcorry 5h ago 1092 comments

Ask HN: Who is hiring? (June 2025)

267 points by whoishiring 11h ago 257 comments

Conformance checking at MongoDB: Testing that our code matches our TLA+ specs (mongodb.com)

47 points by todsacerdoti 4h ago 20 comments

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

130 points by absurdwebsite 6h ago 29 comments

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

351 points by henryball 16h ago 162 comments

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

20 points by Jtsummers 4h ago 4 comments

Ask HN: How do I learn practical electronic repair?

29 points by juanse 2d ago 24 comments

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

507 points by j4mehta 22h ago 228 comments

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

96 points by Geekette 4h ago 21 comments

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

326 points by hoakiet98 4d ago 74 comments

Hardware IDs, HWID Bans, HWID Spoofers, What Are These? (steemit.com)

5 points by kulaciz 2d ago 1 comments

CVE 2025 31200 (blog.noahhw.dev)

91 points by todsacerdoti 7h ago 23 comments

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

98 points by elcritch 15h ago 22 comments

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

100 points by b0a04gl 6h ago 144 comments

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

190 points by lixiasky 11h ago 64 comments

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

128 points by deepsquirrelnet 10h ago 71 comments

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

45 points by joeld42 10h ago 24 comments

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

117 points by mfiguiere 6h ago 49 comments

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

98 points by whoishiring 11h ago 244 comments

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

68 points by robaato 10h ago 58 comments

Ask HN: How do I learn robotics in 2025?

282 points by srijansriv 13h ago 81 comments

I made a chair (milofultz.com)

326 points by surprisetalk 2d ago 125 comments

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

1 points by dsacellarius 9h ago 0 comments

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

131 points by surprisetalk 1d ago 36 comments

Mesh Edge Construction (maxliani.wordpress.com)

37 points by atomlib 11h ago 1 comments

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

83 points by austinallegro 7h ago 179 comments

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

29 points by serge-ss-paille 11h ago 1 comments

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

379 points by gregorywegory 12h ago 278 comments

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

40 points by msephton 2d ago 3 comments

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

745 points by weltview 17h ago 333 comments

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

48 points by todsacerdoti 12h ago 12 comments

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

104 points by wertyk 16h ago 99 comments

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

92 points by t55 17h ago 27 comments

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

226 points by kohlhofer 1d ago 144 comments

The Atomic Airplane (whatisnuclear.com)

71 points by mpweiher 4d ago 23 comments

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

53 points by tosh 2d ago 54 comments

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

41 points by surprisetalk 2d ago 58 comments

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

81 points by prismatic 22h ago 118 comments

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

491 points by ani_obsessive 1d ago 87 comments

LibriVox (librivox.org)

246 points by bookofjoe 1d ago 65 comments

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

132 points by wucke13 4d ago 42 comments

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

16 points by pranav_harshan 11h ago 5 comments

HeidiSQL Available Also for Linux (heidisql.com)

151 points by Daril 4d ago 47 comments

MonsterUI: Python library for building front end UIs quickly in FastHTML apps (answer.ai)

4 points by indigodaddy 5h ago 0 comments

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

71 points by signa11 2d ago 62 comments

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

798 points by stgl 1d ago 237 comments

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

53 points by diodorus 20h ago 31 comments

LFSR CPU Running Forth (github.com)

69 points by izabera 22h ago 13 comments

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

123 points by azhenley 4d ago 63 comments

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

59 points by nativeforks 22h ago 34 comments

The Custodial Stablecoin Rekt Test

2 wslh 0 6/1/2025, 10:09:56 PM blog.trailofbits.com ↗

Comments (0)

No comments yet