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

905 points by tabletcorry 6h ago 1217 comments

Ask HN: Who is hiring? (June 2025)

278 points by whoishiring 12h ago 265 comments

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

55 points by todsacerdoti 5h ago 22 comments

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

389 points by gregorywegory 13h ago 294 comments

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

150 points by absurdwebsite 7h ago 31 comments

GenAI Is Our Polyester (culture.ghost.io)

13 points by todsacerdoti 2h ago 6 comments

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

195 points by lixiasky 12h ago 64 comments

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

361 points by henryball 17h ago 163 comments

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

23 points by Jtsummers 5h ago 4 comments

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

519 points by j4mehta 23h ago 228 comments

Japanese scientists develop artificial blood compatible with all blood types (tokyoweekender.com)

120 points by Geekette 5h ago 29 comments

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

334 points by hoakiet98 4d ago 74 comments

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

104 points by elcritch 17h ago 24 comments

CVE 2025 31200 (blog.noahhw.dev)

99 points by todsacerdoti 8h ago 23 comments

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

14 points by indigodaddy 7h ago 4 comments

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

107 points by b0a04gl 7h ago 150 comments

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

128 points by deepsquirrelnet 11h ago 71 comments

How to Store Data on Paper? (monperrus.net)

4 points by mofosyne 2d ago 2 comments

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

46 points by joeld42 11h ago 24 comments

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

73 points by robaato 12h ago 66 comments

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

121 points by mfiguiere 7h ago 50 comments

Ask HN: How do I learn robotics in 2025?

294 points by srijansriv 14h ago 83 comments

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

101 points by whoishiring 12h ago 254 comments

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

1 points by dsacellarius 10h ago 0 comments

I made a chair (milofultz.com)

331 points by surprisetalk 2d ago 128 comments

Largest punk archive to find new home at MTSU's Center for Popular Music (mtsunews.com)

7 points by gnabgib 5h 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)

38 points by atomlib 12h ago 1 comments

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

43 points by msephton 2d ago 3 comments

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

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

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

748 points by weltview 18h ago 335 comments

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

93 points by austinallegro 8h ago 210 comments

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

49 points by todsacerdoti 14h ago 13 comments

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

108 points by wertyk 17h ago 102 comments

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

227 points by kohlhofer 1d ago 146 comments

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

92 points by t55 18h ago 27 comments

The Atomic Airplane (whatisnuclear.com)

72 points by mpweiher 4d ago 23 comments

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

492 points by ani_obsessive 1d ago 87 comments

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

81 points by prismatic 23h ago 118 comments

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

53 points by tosh 2d ago 55 comments

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

135 points by wucke13 4d ago 42 comments

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

42 points by surprisetalk 2d ago 58 comments

LibriVox (librivox.org)

247 points by bookofjoe 1d ago 65 comments

HeidiSQL Available Also for Linux (heidisql.com)

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

17 points by pranav_harshan 13h ago 6 comments

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

799 points by stgl 1d ago 237 comments

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

71 points by signa11 2d ago 62 comments

LFSR CPU Running Forth (github.com)

69 points by izabera 1d ago 14 comments

Ask HN: How do I learn practical electronic repair?

46 points by juanse 2d ago 42 comments

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

124 points by azhenley 4d ago 64 comments

Trump drops NASA nominee Jared Isaacman, scrapping Elon Musk's pick

11 beardyw 1 6/1/2025, 4:41:30 AM theguardian.com ↗

Comments (1)

croes · 1d ago

Guess he is too competent.