FFmpeg moves to Forgejo (code.ffmpeg.org)

142 points by whataguy 3d ago 83 comments

Dev Compass – Programming Philosophy Quiz (treeform.github.io)

84 points by todsacerdoti 5h ago 40 comments

Hardening Systemd Services (us.jlcarveth.dev)

22 points by zaik 1h ago 5 comments

Visualising how close random GUIDs come to being the same (guidsmash.com)

80 points by nugzbunny 5h ago 22 comments

Dyna – Logic Programming for Machine Learning (dyna.org)

99 points by matteodelabre 8h ago 8 comments

An Argument for Increasing TCP's Initial Congestion Window Again (jeclark.net)

24 points by cyb0rg0 3d ago 3 comments

The Raft Consensus Algorithm (2015) (raft.github.io)

113 points by nromiun 3d ago 24 comments

GDPR meant nothing: chat control ends privacy for the EU [video] (youtube.com)

117 points by givemeethekeys 3h ago 51 comments

OpenAI Progress (progress.openai.com)

216 points by vinhnx 12h ago 181 comments

Dicing an Onion, the Mathematically Optimal Way (pudding.cool)

230 points by surprisetalk 14h ago 80 comments

Pfeilstorch (en.wikipedia.org)

222 points by gyomu 18h ago 57 comments

Hyundai wants loniq 5 customers to pay for cybersecurity patch in baffling move (neowin.net)

25 points by duxup 1h ago 3 comments

Living with Williams Syndrome, the 'opposite of autism' (2014) (bbc.com)

55 points by colinprince 6h ago 23 comments

That 16B password story (a.k.a. "data troll") (troyhunt.com)

60 points by el_duderino 3d ago 5 comments

For Iris Murdoch, morality is about love, not duties and rules (aeon.co)

30 points by prismatic 3d ago 18 comments

Show HN: unsafehttp – tiny web server from scratch in C, running on an orange pi (unsafehttp.benren.au)

33 points by GSGBen 7h ago 33 comments

Tversky Neural Networks (gonzoml.substack.com)

74 points by che_shr_cat 11h ago 8 comments

Running Wayland Clients as Non-Root Users on Yocto (embeddeduse.com)

5 points by jandeboevrie 2d ago 0 comments

A single lock of hair could rewrite what we know about Inca record-keeping (science.org)

61 points by warrenm 2d ago 18 comments

Do things that don't scale, and then don't scale (derwiki.medium.com)

391 points by derwiki 10h ago 153 comments

Traps to Developers (qouteall.fun)

186 points by qouteall 17h ago 80 comments

A Lisp in 99LOC (github.com)

47 points by shikaan 9h ago 3 comments

Writing a competitive BZip2 encoder in Ada from scratch in a few days – part 2 (gautiersblog.blogspot.com)

95 points by ajdude 3d ago 6 comments

Toothpaste made with keratin may protect and repair damaged teeth: study (kcl.ac.uk)

336 points by sohkamyung 15h ago 166 comments

Princeton NuEnergy's battery recycling tech recovers 97% of lithium-ion material (energy-reporters.com)

70 points by jbotz 13h ago 19 comments

Show HN: Lue – Terminal eBook Reader with Text-to-Speech (github.com)

66 points by superstarryeyes 10h ago 19 comments

Passive Microwave Repeaters (computer.rip)

7 points by BallsInIt 3h ago 1 comments

Good system design (seangoedecke.com)

753 points by dondraper36 20h ago 331 comments

Office on HP-UX and Unix (openpa.net)

85 points by naves 9h ago 41 comments

Making Your Own Merchant Service Provider (voidfox.com)

237 points by progval 12h ago 149 comments

Apple's new Processor Trace instrument is incredible (victorwynne.com)

104 points by xdevweeknds 7h ago 34 comments

Monday – A personality experiment (chatgpt.com)

70 points by brightbeige 10h ago 78 comments

PuTTY has a new website (putty.software)

467 points by GalaxySnail 1d ago 240 comments

Flock Reports to Police If It Thinks Car Movement Patterns "Suspicious" (aclu.org)

42 points by gscott 4h ago 8 comments

Ask HN: Tell me about the best programmer you worked with

9 points by jvanderbot 3h ago 2 comments

Ashby (YC W19) Is Hiring Design Engineers in AMER and EMEA (ashbyhq.com)

1 points by abhikp 16h ago 0 comments

Turn your dumb messages into cuneiform tablets (dumbcuneiform.com)

17 points by matt_kirkland 8h ago 4 comments

How randomness improves algorithms (2023) (quantamagazine.org)

63 points by kehiy 2d ago 20 comments

Stylish Bugs (flak.tedunangst.com)

6 points by r4um 3d ago 0 comments

Dokploy is the sweet spot between PaaS and EC2 (nikodunk.com)

85 points by nikodunk 4d ago 49 comments

The future of large files in Git is Git (tylercipriani.com)

520 points by thcipriani 1d ago 258 comments

AI is different (antirez.com)

468 points by grep_it 3d ago 793 comments

Launch HN: Embedder (YC S25) – Claude code for embedded software

106 points by bobwei1 1d ago 50 comments

Rust in 2025: Targeting foundational software (smallcultfollowing.com)

82 points by wseqyrku 10h ago 69 comments

Bullfrog in the Dungeon (filfre.net)

154 points by doppp 1d ago 45 comments

Model intelligence is no longer the constraint for automation (latentintent.substack.com)

101 points by drivian 1d ago 135 comments

Ask HN: Do you still bookmark websites?

48 points by indus 10h ago 93 comments

Show HN: Edka – Kubernetes clusters on your own Hetzner account (edka.io)

421 points by camil 1d ago 118 comments

I accidentally became PureGym’s unofficial Apple Wallet developer (drobinin.com)

604 points by valzevul 1d ago 163 comments

Volkswagen locks horsepower behind paid subscription (autoexpress.co.uk)

151 points by t0bia_s 17h ago 280 comments

Typechecker Zoo

1 frutiger 0 8/16/2025, 5:48:13 PM sdiehl.github.io ↗

Comments (0)

No comments yet