Hacker News headlines

1

Good Performance for Bad Days (brooker.co.za)

3 minutes ago | todsacerdoti | brooker.co.za | newest

2

If Composers Were Hackers (mmapped.blog)

8 hours ago | todsacerdoti | mmapped.blog | newest

2

Biotech companies I wish existed (eladgil.com)

14 hours ago | todsacerdoti | eladgil.com | newest

11

KrebsOnSecurity Hit with Near-Record 6.3 Tbps DDoS (krebsonsecurity.com)

14 hours ago | todsacerdoti | krebsonsecurity.com | frontpage

2

When rethinking a codebase is better than a workaround (sniffnet.net)

17 hours ago | todsacerdoti | sniffnet.net | newest

3

Optional Rust-in-FreeBSD Support May 2025 Status Report (hardenedbsd.org)

18 hours ago | todsacerdoti | hardenedbsd.org | newest

2

Finding hard 24 puzzles with planner programming (buttondown.com/hillelwayne)

18 hours ago | todsacerdoti | buttondown.com | newest

1

An Open File Format for storing the information from a forge such as issues, pu (forgefriends.org)

21 hours ago | todsacerdoti | forgefriends.org | newest

32

The Lisp in the Cellar: Dependent types that live upstairs [pdf] (zenodo.org)

22 hours ago | todsacerdoti | zenodo.org | frontpage

1

Interview with Donald Knuth (2008) (archive.org)

23 hours ago | todsacerdoti | archive.org | newest

2

Not causal chains, but interactions and adaptations (surfingcomplexity.blog)

a day ago | todsacerdoti | surfingcomplexity.blog | frontpage

1

Ircjournal: Real-time web IRC log viewer (github.com/zopieux)

a day ago | todsacerdoti | github.com | newest

2

Go's FIPS 140-3 Compliance (go.dev)

a day ago | todsacerdoti | go.dev | newest

23

Ann, the Small Annotation Server (mccd.space)

a day ago | todsacerdoti | mccd.space | frontpage

2

Making a Modern Email Protocol (youtube.com)

a day ago | todsacerdoti | youtube.com | newest

2

The value of model checking in distributed protocols design (protocols-made-fun.com)

a day ago | todsacerdoti | protocols-made-fun.com | frontpage

1

Submissions to Spring Lisp Game Jam 2025 (itch.io)

a day ago | todsacerdoti | itch.io | newest

72

Too Much Go Misdirection (tedunangst.com)

a day ago | todsacerdoti | tedunangst.com | best

5

Malware Attack and Counterattack (antoineschmitt.com)

a day ago | todsacerdoti | antoineschmitt.com | frontpage

2

Justification Filler Phrases (serce.me)

a day ago | todsacerdoti | serce.me | newest

1

Obelisk Deterministic Workflow Engine (obeli.sk)

2 days ago | todsacerdoti | obeli.sk | newest

1

Ayllu Code Forge 0.4 Has Been Released (kevinschoon.com)

2 days ago | todsacerdoti | kevinschoon.com | newest

1

Demystifying Ruby (2/3): Objects, Objects everywhere (papey.fr)

2 days ago | todsacerdoti | papey.fr | newest

3

Delivering malware via Google Calendar invites and PUAs in an NPM package (aikido.dev)

2 days ago | todsacerdoti | aikido.dev | newest

6

Developing Karton, the KDE Virtual Machine Manager (kde.org)

2 days ago | todsacerdoti | kde.org | frontpage

3

Async/Await versus the Calloop Model (notgull.net)

2 days ago | todsacerdoti | notgull.net | newest

1

An Asia Internet History: First Decade (1980-1990) (sites.google.com)

2 days ago | todsacerdoti | google.com | newest

2

TestDesiderata (testdesiderata.com)

2 days ago | todsacerdoti | testdesiderata.com | newest

1

iOS Deep-Linking with Bevy in Rust (rustunit.com)

2 days ago | todsacerdoti | rustunit.com | newest

2

My changes to saving Konsole tab layouts (akselmo.dev)

2 days ago | todsacerdoti | akselmo.dev | frontpage

1

A Survey of Database TLS Libraries (2022) (transactional.blog)

2 days ago | todsacerdoti | transactional.blog | newest

65

Building my childhood dream PC (fabiensanglard.net)

2 days ago | todsacerdoti | fabiensanglard.net | best

2

"Safe" YAML Monster (gist.github.com)

3 days ago | todsacerdoti | github.com | newest

21

Working with Git Patches in Apple Mail (2023) (btxx.org)

2 days ago | todsacerdoti | btxx.org | frontpage

1

April 2025 in Rust OSDev (rust-osdev.com)

3 days ago | todsacerdoti | rust-osdev.com | newest

1

Radiometry, part 1: I got it backwards (momentsingraphics.de)

3 days ago | todsacerdoti | momentsingraphics.de | newest

44

Every programming language has its 'killer' domain (huijzer.xyz)

3 days ago | todsacerdoti | huijzer.xyz | frontpage

14

Fortran for C Programmers (llvm.org)

3 days ago | todsacerdoti | llvm.org | frontpage

5

Firefox Security Response to pwn2own 2025 (blog.mozilla.org)

3 days ago | todsacerdoti | mozilla.org | frontpage

3

Easily Using SSH with FIDO2/U2F Hardware Security Keys (complete.org)

3 days ago | todsacerdoti | complete.org | frontpage

4

CHERIoT: The Last Ten Years (cheriot.org)

4 days ago | todsacerdoti | cheriot.org | frontpage

7

Programming in Martin-Lof's Type Theory: An Introduction (1990) (chalmers.se)

4 days ago | todsacerdoti | chalmers.se | frontpage

2

Using unwrap() in Rust is Okay (burntsushi.net)

4 days ago | todsacerdoti | burntsushi.net | newest

18

My favourite fonts to use with LaTeX (2022) (lfe.pt)

9 hours ago | todsacerdoti | lfe.pt | best

4

Pallene: A statically typed ahead-of-time compiled sister language to Lua, with (github.com/pallene-lang)

4 days ago | todsacerdoti | github.com | frontpage

3

HMPL v3.0: Small template language for displaying UI from server to client (github.com/hmpl-language)

4 days ago | todsacerdoti | github.com | newest

2

GNU Parallel Examples (gnu.org)

4 days ago | todsacerdoti | gnu.org | newest

3

Deep Dive on New Combinators (2022) (github.com/codereport)

4 days ago | todsacerdoti | github.com | newest

1

Installing an outdoor GPS antenna for more accurate time (jeffgeerling.com)

4 days ago | todsacerdoti | jeffgeerling.com | newest

1

Virtual Package in MoonBit (moonbitlang.com)

5 days ago | todsacerdoti | moonbitlang.com | newest

2

OCaml Web Development: Essential Tools and Libraries in 2025 (tarides.com)

5 days ago | todsacerdoti | tarides.com | newest

6

Jetrelay: A high-performance ATproto relay in 500 LOC (asayers.com)

5 days ago | todsacerdoti | asayers.com | frontpage

1

Falcon-Edge: A series of powerful, universal, fine-tunable 1.58bit language mod (falcon-lm.github.io)

5 days ago | todsacerdoti | github.io | newest

2

There's More to That Nugget of Wisdom (2023) (stackstaves.net)

5 days ago | todsacerdoti | stackstaves.net | newest

1

Sunbeam: Command-Line Launcher (github.com/pomdtr)

5 days ago | todsacerdoti | github.com | newest

2

A Garbage Collection Strategy (irreal.org)

5 days ago | todsacerdoti | irreal.org | frontpage

1

Microagents accelerated their AI agent platform launch by embedding Pipedream's (pipedream.com)

5 days ago | todsacerdoti | pipedream.com | newest

1

Runbear helps teams onboard AI like a new hire–with help from Pipedream Connect (pipedream.com)

5 days ago | todsacerdoti | pipedream.com | newest

88

Initialization in C++ is bonkers (2017) (tartanllama.xyz)

5 days ago | todsacerdoti | tartanllama.xyz | best

2

Breachforums Boss to Pay $700k in Healthcare Breach (krebsonsecurity.com)

5 days ago | todsacerdoti | krebsonsecurity.com | newest

43

The current state of TLA⁺ development (ahelwer.ca)

5 days ago | todsacerdoti | ahelwer.ca | best

6

Please Please Please (phorge.it)

5 days ago | todsacerdoti | phorge.it | frontpage

1

Internet Artifacts (neal.fun)

5 days ago | todsacerdoti | neal.fun | newest

40

Forget IPs: using cryptography to verify bot and agent traffic (cloudflare.com)

5 days ago | todsacerdoti | cloudflare.com | frontpage

1

Altcha – Next-Gen Captcha and Spam Protection (altcha.org)

6 days ago | todsacerdoti | altcha.org | newest

1

Temporal Super Resolution via Multisampling (filmicworlds.com)

6 days ago | todsacerdoti | filmicworlds.com | newest

1

Lord of the Sord (leadedsolder.com)

6 days ago | todsacerdoti | leadedsolder.com | newest

15

Moving Forth: a series on writing Forth kernels (bradrodriguez.com)

5 days ago | todsacerdoti | bradrodriguez.com | frontpage

1

Data Is Code (information-superhighway.net)

6 days ago | todsacerdoti | information-superhighway.net | newest

35

MicroPython v1.25.0 (github.com/micropython)

6 days ago | todsacerdoti | github.com | best

1

Good enough ten-second sum types for Postgres (duckrabbit.tech)

6 days ago | todsacerdoti | duckrabbit.tech | newest

1

Why I wrote the fx web server (huijzer.xyz)

6 days ago | todsacerdoti | huijzer.xyz | newest

4

Oniux: Kernel-level Tor isolation for any Linux app (torproject.org)

6 days ago | todsacerdoti | torproject.org | newest

7

Why I Use WebAssembly (nasso.dev)

6 days ago | todsacerdoti | nasso.dev | frontpage

1

GreptimeDB as Prometheus Long-Term Storage (anarcher.dev)

6 days ago | todsacerdoti | anarcher.dev | newest

36

Smalltalk-78 Xerox NoteTaker in-browser emulator (thechm.org)

6 days ago | todsacerdoti | thechm.org | best

1

Using AI to build a tactical shooter [video] (youtube.com)

6 days ago | todsacerdoti | youtube.com | newest

3

CSS Attr() Gets an Upgrade (chrome.com)

6 days ago | todsacerdoti | chrome.com | newest

210

SMS 2FA is not just insecure, it's also hostile to mountain people (stillgreenmoss.net)

6 days ago | todsacerdoti | stillgreenmoss.net | best

1

Datavizta: Environmental Impacts of Digital Technology (boavizta.org)

a week ago | todsacerdoti | boavizta.org | newest

2

Running Modified Containers with Podman (die-welt.net)

a week ago | todsacerdoti | die-welt.net | newest

1

Patch Tuesday, May 2025 Edition (krebsonsecurity.com)

a week ago | todsacerdoti | krebsonsecurity.com | newest

4

If AI is so good at coding where are the open source contributions? (pivot-to-ai.com)

a week ago | todsacerdoti | pivot-to-ai.com | frontpage

2

Minus 100 Points (microsoft.com)

a week ago | todsacerdoti | microsoft.com | newest

57

$20K Bounty Offered for Optimizing Rust Code in Rav1d AV1 Decoder (memorysafety.org)

a week ago | todsacerdoti | memorysafety.org | best

1

Misadventures in DTrace: how to debug the macOS kernel (jade.fyi)

a week ago | todsacerdoti | jade.fyi | newest

1

Computers That Can Run Backwards (2017) (americanscientist.org)

a week ago | todsacerdoti | americanscientist.org | newest

1

The Penultimate Conditional Syntax (dotat.at)

a week ago | todsacerdoti | dotat.at | newest

2

Lzexe – executable file compression on MSDOS (cosmodoc.org)

a week ago | todsacerdoti | cosmodoc.org | newest

1

Run your own MCP server for 1000s of applications (pipedream.com)

a week ago | todsacerdoti | pipedream.com | newest

2

A Thank You, Where It's Due (mataroa.blog)

a week ago | todsacerdoti | mataroa.blog | newest

2

Preventing outages with pkill's new –require-handler flag (chrisdown.name)

a week ago | todsacerdoti | chrisdown.name | newest

2

Experiment on your code freely with Git worktree (opensource.com)

a week ago | todsacerdoti | opensource.com | newest

11

An accessibility update – GTK Development Blog (gtk.org)

6 days ago | todsacerdoti | gtk.org | frontpage

2

How is Stack memory allocated when using 'push' or 'sub' x86 instructions? (stackoverflow.com)

a week ago | todsacerdoti | stackoverflow.com | newest

1

Base Models Beat Aligned Models at Randomness and Creativity (arxiv.org)

a week ago | todsacerdoti | arxiv.org | newest

5

Why do Saturation and Luminance go all the way to 240, but Hue goes only to 239 (microsoft.com)

a week ago | todsacerdoti | microsoft.com | frontpage

2

Modular verification of MongoDB Transactions using TLA+ (muratbuffalo.blogspot.com)

a week ago | todsacerdoti | blogspot.com | newest

45

Understanding LucasArts' iMUSE System (github.com/meshula)

a week ago | todsacerdoti | github.com | best

31

Wtfis: Passive hostname, domain and IP lookup tool for non-robots (github.com/pirxthepilot)

a week ago | todsacerdoti | github.com | best