Hacker News headlines

6

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

3 months ago | todsacerdoti | kde.org | frontpage

3

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

3 months ago | todsacerdoti | notgull.net | newest

1

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

3 months ago | todsacerdoti | google.com | newest

2

TestDesiderata (testdesiderata.com)

3 months ago | todsacerdoti | testdesiderata.com | newest

1

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

3 months ago | todsacerdoti | rustunit.com | newest

2

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

3 months ago | todsacerdoti | akselmo.dev | frontpage

1

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

3 months ago | todsacerdoti | transactional.blog | newest

65

Building my childhood dream PC (fabiensanglard.net)

3 months ago | todsacerdoti | fabiensanglard.net | best

2

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

3 months ago | todsacerdoti | github.com | newest

21

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

3 months ago | todsacerdoti | btxx.org | frontpage

1

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

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

1

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

3 months ago | todsacerdoti | momentsingraphics.de | newest

44

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

3 months ago | todsacerdoti | huijzer.xyz | frontpage

14

Fortran for C Programmers (llvm.org)

3 months ago | todsacerdoti | llvm.org | frontpage

5

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

3 months ago | todsacerdoti | mozilla.org | frontpage

3

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

3 months ago | todsacerdoti | complete.org | frontpage

4

CHERIoT: The Last Ten Years (cheriot.org)

3 months ago | todsacerdoti | cheriot.org | frontpage

7

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

3 months ago | todsacerdoti | chalmers.se | frontpage

2

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

3 months ago | todsacerdoti | burntsushi.net | newest

21

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

3 months ago | todsacerdoti | lfe.pt | best

4

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

3 months ago | todsacerdoti | github.com | frontpage

3

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

3 months ago | todsacerdoti | github.com | newest

2

GNU Parallel Examples (gnu.org)

3 months ago | todsacerdoti | gnu.org | newest

3

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

3 months ago | todsacerdoti | github.com | newest

1

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

3 months ago | todsacerdoti | jeffgeerling.com | newest

1

Virtual Package in MoonBit (moonbitlang.com)

3 months ago | todsacerdoti | moonbitlang.com | newest

2

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

3 months ago | todsacerdoti | tarides.com | newest

6

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

3 months ago | todsacerdoti | asayers.com | frontpage

1

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

3 months ago | todsacerdoti | github.io | newest

2

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

3 months ago | todsacerdoti | stackstaves.net | newest

1

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

3 months ago | todsacerdoti | github.com | newest

2

A Garbage Collection Strategy (irreal.org)

3 months ago | todsacerdoti | irreal.org | frontpage

1

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

3 months ago | todsacerdoti | pipedream.com | newest

1

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

3 months ago | todsacerdoti | pipedream.com | newest

88

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

3 months ago | todsacerdoti | tartanllama.xyz | best

2

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

3 months ago | todsacerdoti | krebsonsecurity.com | newest

43

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

3 months ago | todsacerdoti | ahelwer.ca | best

6

Please Please Please (phorge.it)

3 months ago | todsacerdoti | phorge.it | frontpage

1

Internet Artifacts (neal.fun)

3 months ago | todsacerdoti | neal.fun | newest

40

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

3 months ago | todsacerdoti | cloudflare.com | frontpage

1

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

3 months ago | todsacerdoti | altcha.org | newest

1

Temporal Super Resolution via Multisampling (filmicworlds.com)

3 months ago | todsacerdoti | filmicworlds.com | newest

1

Lord of the Sord (leadedsolder.com)

3 months ago | todsacerdoti | leadedsolder.com | newest

15

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

3 months ago | todsacerdoti | bradrodriguez.com | frontpage

1

Data Is Code (information-superhighway.net)

3 months ago | todsacerdoti | information-superhighway.net | newest

35

MicroPython v1.25.0 (github.com/micropython)

3 months ago | todsacerdoti | github.com | best

1

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

3 months ago | todsacerdoti | duckrabbit.tech | newest

1

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

3 months ago | todsacerdoti | huijzer.xyz | newest

4

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

3 months ago | todsacerdoti | torproject.org | newest

7

Why I Use WebAssembly (nasso.dev)

3 months ago | todsacerdoti | nasso.dev | frontpage

1

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

3 months ago | todsacerdoti | anarcher.dev | newest

36

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

3 months ago | todsacerdoti | thechm.org | best

1

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

3 months ago | todsacerdoti | youtube.com | newest

3

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

3 months ago | todsacerdoti | chrome.com | newest

210

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

3 months ago | todsacerdoti | stillgreenmoss.net | best

1

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

3 months ago | todsacerdoti | boavizta.org | newest

2

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

3 months ago | todsacerdoti | die-welt.net | newest

1

Patch Tuesday, May 2025 Edition (krebsonsecurity.com)

3 months ago | todsacerdoti | krebsonsecurity.com | newest

4

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

3 months ago | todsacerdoti | pivot-to-ai.com | frontpage

2

Minus 100 Points (microsoft.com)

3 months ago | todsacerdoti | microsoft.com | newest

57

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

3 months ago | todsacerdoti | memorysafety.org | best

1

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

3 months ago | todsacerdoti | jade.fyi | newest

1

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

3 months ago | todsacerdoti | americanscientist.org | newest

1

The Penultimate Conditional Syntax (dotat.at)

3 months ago | todsacerdoti | dotat.at | newest

2

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

3 months ago | todsacerdoti | cosmodoc.org | newest

1

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

3 months ago | todsacerdoti | pipedream.com | newest

2

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

3 months ago | todsacerdoti | mataroa.blog | newest

2

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

3 months ago | todsacerdoti | chrisdown.name | newest

2

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

3 months ago | todsacerdoti | opensource.com | newest

11

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

3 months ago | todsacerdoti | gtk.org | frontpage

2

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

3 months ago | todsacerdoti | stackoverflow.com | newest

1

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

3 months 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)

3 months ago | todsacerdoti | microsoft.com | frontpage

2

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

3 months ago | todsacerdoti | blogspot.com | newest

45

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

3 months ago | todsacerdoti | github.com | best

31

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

3 months ago | todsacerdoti | github.com | best

2

The Last of YaST? (lwn.net)

3 months ago | todsacerdoti | lwn.net | newest

3

Two Months in Servo: CSS Nesting, Shadow DOM, Clipboard API, and More (servo.org)

3 months ago | todsacerdoti | servo.org | newest

40

Demonstrably Secure Software Supply Chains with Nix (nixcademy.com)

3 months ago | todsacerdoti | nixcademy.com | best

3

Why Vibe When You Can Fly Machtiani Is Now Open Source (github.com/tursomari)

3 months ago | todsacerdoti | github.com | newest

1

Avoid Each_with_object (Generally) (clayshentrup.medium.com)

3 months ago | todsacerdoti | medium.com | newest

22

The Audio Stack Is a Crime Scene (mataroa.blog)

3 months ago | todsacerdoti | mataroa.blog | frontpage

2

Rust project goals 2024: Stabilizing Rust in the Linux Kernel [video] (youtube.com)

3 months ago | todsacerdoti | youtube.com | newest

3

Curl's CI job for spotting domain squatting (mastodon.social)

3 months ago | todsacerdoti | mastodon.social | frontpage

3

Patela: A basement full of amnesic servers (osservatorionessuno.org)

3 months ago | todsacerdoti | osservatorionessuno.org | newest

6

Flakes Have Failed (bytesize.xyz)

3 months ago | todsacerdoti | bytesize.xyz | newest

124

I ruined my vacation by reverse engineering WSC (es3n1n.eu)

3 months ago | todsacerdoti | es3n1n.eu | best

8

Migrating to Codeberg (guix.gnu.org)

3 months ago | todsacerdoti | gnu.org | frontpage

1

Proposal: Net/HTTP: Add CrossOriginForgeryHandler (github.com/golang)

3 months ago | todsacerdoti | github.com | newest

1

FocusedValues in SwiftUI (shadowfacts.net)

3 months ago | todsacerdoti | shadowfacts.net | newest

6

Software License Management with Polar.sh (skatkov.com)

3 months ago | todsacerdoti | skatkov.com | newest

1

Impressions on the new 13 inch Framework laptop (marius.federated.id)

3 months ago | todsacerdoti | federated.id | newest

1

The caching behind Elm's Html.Lazy (jfmengels.net)

3 months ago | todsacerdoti | jfmengels.net | newest

45

Fan Service (tedunangst.com)

3 months ago | todsacerdoti | tedunangst.com | best

2

Spyder Tutorials (youtube.com)

3 months ago | todsacerdoti | youtube.com | newest

154

Leaving Google (airs.com)

3 months ago | todsacerdoti | airs.com | best

50

Reverse engineering the 386 processor's prefetch queue circuitry (righto.com)

3 months ago | todsacerdoti | righto.com | best

2

Are We Serious About Using TLA+ for Statistical Properties? (emptysqua.re)

3 months ago | todsacerdoti | emptysqua.re | newest

1

Secure by Design: Google's Perspective on Memory Safety (2024) [pdf] (storage.googleapis.com)

3 months ago | todsacerdoti | googleapis.com | newest

1

Lume 3 Was Released (lume.land)

3 months ago | todsacerdoti | lume.land | newest