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

458 points by asicsp 10h ago 222 comments

(On | No) Syntactic Support for Error Handling (go.dev)

154 points by henrikhorluck 2h ago 162 comments

Show HN: Controlling 3D models with voice and hand gestures (github.com)

50 points by getToTheChopin 3h ago 9 comments

The Small World of English (inotherwords.app)

60 points by michaeld123 3h ago 42 comments

Show HN: I wrote a Java decompiler in pure C language (github.com)

112 points by neocanable 6h ago 40 comments

Swift at Apple: Migrating the Password Monitoring Service from Java (swift.org)

61 points by fidotron 1h ago 14 comments

Show HN: Localize React apps without rewriting code (github.com)

15 points by maxpr 1h ago 5 comments

The Shape of the Essay Field (paulgraham.com)

23 points by luisb 8h ago 12 comments

Morph (YC S23) Is Hiring a ML Engineer

1 points by bhaktatejas922 1h ago 0 comments

Covert Web-to-App Tracking via Localhost on Android (localmess.github.io)

192 points by todsacerdoti 5h ago 47 comments

Vision Language Models Are Biased (vlmsarebiased.github.io)

40 points by taesiri 5h ago 18 comments

Show HN: PinSend – Share text between devices using a PIN(P2P, no login) (pinsend.app)

32 points by avovsya 3h ago 18 comments

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

2001 points by tabletcorry 21h ago 2417 comments

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

193 points by mpweiher 3d ago 113 comments

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

240 points by findhorn 14h ago 238 comments

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

741 points by gregorywegory 1d ago 461 comments

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

128 points by lawrenceyan 14h ago 53 comments

Fun with Futex (blog.fredrb.com)

56 points by ingve 11h ago 17 comments

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

57 points by jmillikin 8h ago 36 comments

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

70 points by blobcode 3d ago 19 comments

The initial version of the /etc./magic file used by the file(1) command (retrocomputing.stackexchange.com)

24 points by SeenNotHeard 2h ago 4 comments

Ask HN: Who is hiring? (June 2025)

344 points by whoishiring 1d ago 382 comments

Implementing a Forth (ratfactor.com)

86 points by todsacerdoti 3d ago 24 comments

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

170 points by mofosyne 3d ago 64 comments

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

460 points by henryball 1d ago 209 comments

Show HN: Ultra-lightweight chunker library with emoji support (github.com)

12 points by Beardier 1h ago 2 comments

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

135 points by benbreen 3d ago 61 comments

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

245 points by lixiasky 1d ago 71 comments

Ukraine's autonomous killer drones defeat electronic warfare (spectrum.ieee.org)

251 points by rbanffy 7h ago 262 comments

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

103 points by todsacerdoti 20h ago 58 comments

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

127 points by indigodaddy 21h ago 42 comments

Builder.ai Collapses: $1.5B 'AI' Startup Exposed as 'Indians' (ibtimes.co.uk)

38 points by healsdata 5h ago 13 comments

Reaching my first 100 users without money or audience (at 10K users now)

11 points by felixheikka 3h ago 2 comments

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

53 points by Jtsummers 20h ago 18 comments

What Happens If We Inline Everything? (sbaziotis.com)

8 points by abhi9u 2h ago 0 comments

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

144 points by elcritch 1d ago 40 comments

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

259 points by absurdwebsite 22h ago 61 comments

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

49 points by blobcode 3d ago 8 comments

Scientific Publishing: Enough Is Enough (asterainstitute.substack.com)

4 points by lentoutcry 7h ago 0 comments

A Complete Guide to Meta Prompting (prompthub.us)

104 points by saikatsg 3d ago 23 comments

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

70 points by gnabgib 20h ago 9 comments

Wendelstein 7-X sets new fusion record (heise.de)

44 points by doener 8h ago 1 comments

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

247 points by Geekette 20h ago 50 comments

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

131 points by robaato 1d ago 134 comments

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

608 points by j4mehta 1d ago 242 comments

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

253 points by kohlhofer 1d ago 158 comments

Illicit crypto-miners pouncing on lazy DevOps configs leaving clouds vulnerable (theregister.com)

28 points by rntn 6h ago 7 comments

Ask HN: How do I learn practical electronic repair?

148 points by juanse 3d ago 95 comments

Ask HN: How do I learn robotics in 2025?

360 points by srijansriv 1d ago 91 comments

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

144 points by deepsquirrelnet 1d ago 71 comments

Violating memory safety with Haskell's value restriction

3 fanf2 0 6/1/2025, 8:42:04 AM welltypedwit.ch ↗

Comments (0)

No comments yet