Quarkdown: A modern Markdown-based typesetting system (github.com)

155 points by asicsp 2h ago 61 comments

Plutonium Mountain: The 17-year mission to guard remains of Soviet nuclear tests (belfercenter.org)

8 points by jmillikin 54m ago 4 comments

AI makes the humanities more important, but also weirder (resobscura.substack.com)

136 points by findhorn 7h ago 84 comments

EU Commission refuses to disclose authors behind its mass surveillance proposal (old.reddit.com)

61 points by nickslaughter02 1h ago 26 comments

Stop Over-Thinking AI Subscriptions (steipete.me)

32 points by hboon 3h ago 39 comments

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

1509 points by tabletcorry 13h ago 1893 comments

The Metamorphosis of Prime Intellect (1994) (localroger.com)

61 points by lawrenceyan 6h ago 29 comments

GUIs are built at least 2.5 times (patricia.no)

77 points by mpweiher 3d ago 49 comments

A Complete Guide to Meta Prompting (prompthub.us)

47 points by saikatsg 3d ago 8 comments

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

579 points by gregorywegory 20h ago 371 comments

Ask HN: Who is hiring? (June 2025)

312 points by whoishiring 19h ago 313 comments

Demodesk (YC W19) Is Hiring Rails Engineers (demodesk.com)

1 points by alxppp 3h ago 0 comments

A High-Level View of TLA+ (lamport.azurewebsites.net)

18 points by blobcode 3d ago 0 comments

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

98 points by mofosyne 3d ago 30 comments

Rsync's defaults are not always enough (rachelbythebay.com)

17 points by rcarmo 4h ago 16 comments

Fun with Futex (blog.fredrb.com)

11 points by ingve 4h ago 0 comments

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

416 points by henryball 1d ago 191 comments

Implementing a Forth (ratfactor.com)

26 points by todsacerdoti 3d ago 1 comments

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

226 points by lixiasky 19h ago 69 comments

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

573 points by j4mehta 1d ago 235 comments

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

78 points by todsacerdoti 13h ago 31 comments

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

223 points by absurdwebsite 15h ago 48 comments

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

42 points by Jtsummers 12h ago 10 comments

Magic Ink: Information Software and the Graphical Interface (worrydream.com)

26 points by blobcode 3d ago 3 comments

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

374 points by hoakiet98 4d ago 78 comments

The Creepy, Surprisingly Routine Business of Animal Cloning (theatlantic.com)

15 points by FinnLobsien 2h ago 7 comments

Sid Meier's Pirates – In-depth (2017) (shot97retro.blogspot.com)

64 points by benbreen 3d ago 25 comments

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

46 points by gnabgib 12h ago 4 comments

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

68 points by indigodaddy 14h ago 26 comments

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

130 points by elcritch 1d ago 38 comments

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

111 points by robaato 19h ago 107 comments

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

211 points by Geekette 13h ago 46 comments

Ask HN: How do I learn practical electronic repair?

117 points by juanse 3d ago 76 comments

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

137 points by surprisetalk 1d ago 37 comments

Ubicloud: Open-Source Alternative to AWS (github.com)

11 points by thunderbong 2h ago 2 comments

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

143 points by b0a04gl 15h ago 192 comments

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

142 points by deepsquirrelnet 19h ago 71 comments

CVE 2025 31200 (blog.noahhw.dev)

115 points by todsacerdoti 16h ago 24 comments

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

242 points by kohlhofer 1d ago 152 comments

Ask HN: How do I learn robotics in 2025?

342 points by srijansriv 22h ago 88 comments

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

49 points by msephton 2d ago 6 comments

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

116 points by whoishiring 19h ago 294 comments

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

782 points by weltview 1d ago 339 comments

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

53 points by joeld42 18h ago 27 comments

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

86 points by prismatic 1d ago 121 comments

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

496 points by ani_obsessive 1d ago 87 comments

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

96 points by t55 1d ago 27 comments

LibriVox (librivox.org)

250 points by bookofjoe 1d ago 67 comments

The Atomic Airplane (whatisnuclear.com)

75 points by mpweiher 4d ago 26 comments

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

142 points by wucke13 4d ago 46 comments

Modmenu for mlbb that will make you undefeated

2 dhanumurti 0 6/1/2025, 8:42:39 AM github.com ↗

Comments (0)

No comments yet