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

746 points by tabletcorry 5h ago 1060 comments

Ask HN: Who is hiring? (June 2025)

266 points by whoishiring 11h ago 256 comments

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

116 points by mfiguiere 6h ago 47 comments

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

45 points by todsacerdoti 4h ago 20 comments

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

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

19 points by Jtsummers 4h ago 4 comments

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

506 points by j4mehta 22h ago 228 comments

Ask HN: How do I learn practical electronic repair?

24 points by juanse 2d ago 20 comments

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

93 points by Geekette 4h ago 20 comments

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

323 points by hoakiet98 4d ago 74 comments

CVE 2025 31200 (blog.noahhw.dev)

90 points by todsacerdoti 7h ago 23 comments

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

97 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 143 comments

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

190 points by lixiasky 10h ago 63 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 9h ago 24 comments

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

98 points by whoishiring 11h ago 242 comments

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

67 points by robaato 10h ago 57 comments

Ask HN: How do I learn robotics in 2025?

280 points by srijansriv 13h ago 80 comments

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

131 points by surprisetalk 1d ago 36 comments

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

1 points by dsacellarius 9h ago 0 comments

I made a chair (milofultz.com)

325 points by surprisetalk 2d ago 124 comments

Mesh Edge Construction (maxliani.wordpress.com)

37 points by atomlib 10h ago 1 comments

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

82 points by austinallegro 6h ago 171 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)

375 points by gregorywegory 11h ago 276 comments

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

39 points by msephton 2d ago 3 comments

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

742 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 11 comments

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

104 points by wertyk 15h ago 98 comments

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

92 points by t55 16h 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 53 comments

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

41 points by surprisetalk 2d ago 57 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

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

132 points by wucke13 4d ago 42 comments

LibriVox (librivox.org)

246 points by bookofjoe 1d ago 65 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

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

3 points by indigodaddy 5h ago 0 comments

HeidiSQL Available Also for Linux (heidisql.com)

151 points by Daril 4d ago 47 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

T1000-E Card Tracker is a thin, credit card-sized GPS with Meshtastic support (cnx-software.com)

12 points by janandonly 4h ago 1 comments

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

59 points by nativeforks 22h ago 34 comments

Do-It-Yourself Cyberattack Tools Are Booming

13 rbanffy 1 6/2/2025, 5:55:28 PM wsj.com ↗

Comments (1)

mitchbob · 6h ago

https://archive.ph/jBBKm