Hacker News headlines

1

Phoenix application, directly on your Tailnet (gist.github.com)

3 months ago | todsacerdoti | github.com | newest

1

Relevance AI Scaled Integrations Fast with Pipedream (pipedream.com)

3 months ago | todsacerdoti | pipedream.com | newest

4

FFS Optimizations with Dirhash (rsadowski.de)

3 months ago | todsacerdoti | rsadowski.de | frontpage

2

Sway 1.11 Released with New Wayland Protocols and More (phoronix.com)

3 months ago | todsacerdoti | phoronix.com | newest

2

Two Approaches to Solving the "Quiet Fediverse" Problem: Conversation Backfilli (hackers.pub)

3 months ago | todsacerdoti | hackers.pub | newest

3

Zig's self-hosted x86 back end is now default in Debug mode (ziglang.org)

3 months ago | todsacerdoti | ziglang.org | newest

19

Analyzing IPv4 Trades with Gnuplot (ipv4a-5539ad.gitlab.io)

3 months ago | todsacerdoti | gitlab.io | frontpage

4

Cult AI Computer's Boom and Bust [video] (youtube.com)

3 months ago | todsacerdoti | youtube.com | frontpage

1

Pijul – Elpe. Yaks big. Razors bigger (pijul.org)

3 months ago | todsacerdoti | pijul.org | newest

9

What next after vibe coding (mastodon.social)

3 months ago | todsacerdoti | mastodon.social | newest

1

Pocket to Linkhut (gist.github.com)

3 months ago | todsacerdoti | github.com | newest

29

Binfmtc – binfmt_misc C scripting interface (netfort.gr.jp)

3 months ago | todsacerdoti | netfort.gr.jp | best

3

Thank You, DataFusion: Queries in Rust, Without the Pain (pierrezemb.fr)

3 months ago | todsacerdoti | pierrezemb.fr | newest

1

Why not use the new MTA-STS? (bsdhowto.ch)

3 months ago | todsacerdoti | bsdhowto.ch | newest

1

Performance of Random Floats (dotat.at)

3 months ago | todsacerdoti | dotat.at | newest

1

A Plan for SIMD (linebender.org)

3 months ago | todsacerdoti | linebender.org | newest

9

[dupe] Bill Atkinson Dies from Cancer at 74 (daringfireball.net)

3 months ago | todsacerdoti | daringfireball.net | newest

1

Astonishing discovery by computer scientist: how to squeeze space into time [video] (youtube.com)

3 months ago | todsacerdoti | youtube.com | newest

2

Nix 2.29.0 with Nix Team members (fulltimenix.com)

3 months ago | todsacerdoti | fulltimenix.com | newest

1

Simplifying and Isolating Failure-Inducing Input (Delta Debugging) [pdf] (purdue.edu)

3 months ago | todsacerdoti | purdue.edu | newest

1

MapLibre Newsletter May 2025 (maplibre.org)

3 months ago | todsacerdoti | maplibre.org | newest

1

Enable Dark Theme in LibreWolf (bitwilli.com)

3 months ago | todsacerdoti | bitwilli.com | newest

1

Hacking Is Necessary (scharenbroch.dev)

3 months ago | todsacerdoti | scharenbroch.dev | newest

34

Smalltalk, Haskell and Lisp (storytotell.org)

3 months ago | todsacerdoti | storytotell.org | best

2

Supercharging GCP Navigation with Alfred (dineshgowda.com)

3 months ago | todsacerdoti | dineshgowda.com | newest

3

Binary Lambda Calculus (gist.github.com)

3 months ago | todsacerdoti | github.com | newest

1

Recovering control flow structures without CFGs (purplesyringa.moe)

3 months ago | todsacerdoti | purplesyringa.moe | frontpage

46

Curate your shell history (esham.io)

3 months ago | todsacerdoti | esham.io | best

52

Small Programs and Languages (ratfactor.com)

3 months ago | todsacerdoti | ratfactor.com | best

1

Git-remote-SQLite: Single-file Git repos that can replicate with Litestream (github.com/chrislloyd)

3 months ago | todsacerdoti | github.com | newest

7

Why Won't Some Musicians Take Me Seriously? (sr.ht)

3 months ago | todsacerdoti | sr.ht | newest

4

I Let ChatGPT Make All My Architectural Decisions for a Month: The Surprising R (medium.com/sohail_saifi)

3 months ago | todsacerdoti | medium.com | newest

29

[dupe] Fuzzer Blind Spots: Meet Jepsen (tigerbeetle.com)

3 months ago | todsacerdoti | tigerbeetle.com | frontpage

1

An Earnest Guide to Symbols in Common Lisp (kevingal.com)

3 months ago | todsacerdoti | kevingal.com | newest

3

Magic Namerefs (gist.github.com)

3 months ago | todsacerdoti | github.com | frontpage

1

I Learned Rust in 24 Hours to Eat Free Pizza Morally (medium.com/sebastiancarlos)

3 months ago | todsacerdoti | medium.com | newest

1

Growing the Topos Tech Team (topos.institute)

3 months ago | todsacerdoti | topos.institute | newest

5

Proxy Services Feast on Ukraine's IP Address Exodus (krebsonsecurity.com)

3 months ago | todsacerdoti | krebsonsecurity.com | frontpage

1

Facet: Reflection for Rust (youtube.com)

3 months ago | todsacerdoti | youtube.com | newest

1

Skribidi – Nimble bidirectional text stack for UIs (github.com/memononen)

3 months ago | todsacerdoti | github.com | newest

1

Reverb Part 1: "Freeverb" (reillyspitzfaden.com)

3 months ago | todsacerdoti | reillyspitzfaden.com | newest

1

The Bonfire Social 1.0 Release Candidate (bonfirenetworks.org)

3 months ago | todsacerdoti | bonfirenetworks.org | newest

43

Understanding the PURL Specification (Package URL) (fossa.com)

3 months ago | todsacerdoti | fossa.com | frontpage

1

Boredom over Beauty: Why Code Quality Is Code Security (asymmetric.re)

3 months ago | todsacerdoti | asymmetric.re | newest

1

AI is a gamechanger for TLA+ users (buttondown.com/hillelwayne)

3 months ago | todsacerdoti | buttondown.com | newest

2

APLearn: Machine Learning Library (github.com/bobmcdear)

3 months ago | todsacerdoti | github.com | newest

1

Nvidia ISO-26262 Spark Process (nvidia.github.io)

3 months ago | todsacerdoti | github.io | newest

73

DNS4EU for Public Is Available (joindns4.eu)

3 months ago | todsacerdoti | joindns4.eu | best

1

Storing arbitrary data in Pokemon emerald (sardap.github.io)

3 months ago | todsacerdoti | github.io | newest

6

I Think I'm Done Thinking About GenAI for Now (glyph.im)

3 months ago | todsacerdoti | glyph.im | frontpage

2

Redesigned Swift.org is now live (swift.org)

3 months ago | todsacerdoti | swift.org | newest

1

Gg: GG – GUI for JJ (github.com/gulbanana)

3 months ago | todsacerdoti | github.com | newest

1

The Works of Peter Naur (naur.com)

3 months ago | todsacerdoti | naur.com | newest

31

When memory was measured in kilobytes: The art of efficient vision (softwareheritage.org)

3 months ago | todsacerdoti | softwareheritage.org | best

1

DejaGNU (2011) (airs.com)

3 months ago | todsacerdoti | airs.com | newest

1

How Reladiff Works – A Journey Through the Challenges and Techniques of Data En (eshsoft.com)

3 months ago | todsacerdoti | eshsoft.com | newest

1

Formalizing a proof in lean using GitHub Copilot and canonical (youtube.com)

3 months ago | todsacerdoti | youtube.com | newest

4

Jujutsu v0.30.0 Released (github.com/jj-vcs)

3 months ago | todsacerdoti | github.com | newest

2

No More Shading Languages: Compiling C++ to Vulkan Shaders [pdf] (xol.io)

3 months ago | todsacerdoti | xol.io | newest

1

Red Language Reference Manual (iment.com)

3 months ago | todsacerdoti | iment.com | newest

122

DiffX – Next-Generation Extensible Diff Format (diffx.org)

3 months ago | todsacerdoti | diffx.org | best

1

Coding Through Chaos: Addiction, Recovery and Acceptance (corecursive.com)

3 months ago | todsacerdoti | corecursive.com | newest

2

Chocolate-quake: A purist Quake source port (github.com/henrique194)

3 months ago | todsacerdoti | github.com | newest

2

Things are different between system and application monitoring (utcc.utoronto.ca)

3 months ago | todsacerdoti | utoronto.ca | newest

1

Zero-Cost 'Tagless Final' in Rust with GADT-Style Enums (inferara.com)

3 months ago | todsacerdoti | inferara.com | newest

5

From Prometheus to RRDtool Graphs (isatty.net)

3 months ago | todsacerdoti | isatty.net | frontpage

1

Building Industrial Strength Software Without Unit Tests (chrispenner.ca)

3 months ago | todsacerdoti | chrispenner.ca | newest

3

Don't McBlock Me (schneems.com)

3 months ago | todsacerdoti | schneems.com | newest

2

Where did <random> go wrong? [pdf] (codingnest.com)

3 months ago | todsacerdoti | codingnest.com | newest

2

AI coding assistants destroy the virtue of laziness and possibly impatience too (slophole.net)

3 months ago | todsacerdoti | slophole.net | newest

2

How to build a high-performance network fuzzer with LibAFL and libdesock (lolcads.github.io)

3 months ago | todsacerdoti | github.io | newest

102

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

3 months ago | todsacerdoti | github.io | best

3

Example of Splitting a PR (jefftk.com)

3 months ago | todsacerdoti | jefftk.com | newest

1

Tpde: A fast framework for writing baseline compiler back-ends in C++ (github.com/tpde2)

3 months ago | todsacerdoti | github.com | newest

1

What's higher-order about so-called higher-order references? (williamjbowman.com)

3 months ago | todsacerdoti | williamjbowman.com | newest

40

GenAI Is Our Polyester (culture.ghost.io)

3 months ago | todsacerdoti | ghost.io | frontpage

35

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

3 months ago | todsacerdoti | mongodb.com | best

2

Tests should not contain logic (snork.dev)

3 months ago | todsacerdoti | snork.dev | newest

1

Public/protected/private is an unnecessary feature (catern.com)

3 months ago | todsacerdoti | catern.com | newest

1

GoDaddy Issues Certificates That Don't Work in Safari (Again) (sslmate.com)

3 months ago | todsacerdoti | sslmate.com | newest

57

CVE 2025 31200 (noahhw.dev)

3 months ago | todsacerdoti | noahhw.dev | best

2

Can a Chrome Extension Host a Terminal Emulator? (pomdtr.me)

3 months ago | todsacerdoti | pomdtr.me | newest

1

WebAIM: Up and Coming ARIA (webaim.org)

3 months ago | todsacerdoti | webaim.org | newest

2

WhisperD: Linux voice-to-text using OpenAI whisper-1 transcription (github.com/icholy)

3 months ago | todsacerdoti | github.com | newest

18

Reducing Cargo target directory size with -Zno-embed-metadata (kobzol.github.io)

3 months ago | todsacerdoti | github.io | frontpage

1

My idea of how a modern mailing service should work (utcc.utoronto.ca)

3 months ago | todsacerdoti | utoronto.ca | newest

2

We Migrated 30 Kubernetes Clusters to Terraform (medium.com/learnings-from-the-paas)

3 months ago | todsacerdoti | medium.com | newest

1

A tour of upcoming RFCs for the Hare programming language (harelang.org)

3 months ago | todsacerdoti | harelang.org | newest

2

Hypervisors for Memory Introspection and Reverse Engineering (secret.club)

3 months ago | todsacerdoti | secret.club | frontpage

34

Is It JavaScript? (jim-nielsen.com)

3 months ago | todsacerdoti | jim-nielsen.com | frontpage

1

Wl-kbptr: Control the mouse pointer with the keyboard on Wayland (github.com/moverest)

3 months ago | todsacerdoti | github.com | newest

1

The 3D Gaussian Splatting Adventure: Past, Present, Future [video] (youtube.com)

3 months ago | todsacerdoti | youtube.com | newest

46

[dupe] How I like to install NixOS (declaratively) (stapelberg.ch)

3 months ago | todsacerdoti | stapelberg.ch | best

36

Structured Errors in Go (2022) (southcla.ws)

3 months ago | todsacerdoti | southcla.ws | best

29

Why Use Structured Errors in Rust Applications? (expurple.me)

3 months ago | todsacerdoti | expurple.me | frontpage

2

WebSockets guarantee order – so why are my messages scrambled? (sitongpeng.com)

3 months ago | todsacerdoti | sitongpeng.com | newest

8

Kees Cook Account Disabled (kernel.org)

4 months ago | todsacerdoti | kernel.org | frontpage

1

PunchCard Key Backup (volution.ro)

4 months ago | todsacerdoti | volution.ro | newest

1

Configure Your Git [video] (youtube.com)

4 months ago | todsacerdoti | youtube.com | newest

1

Half Spectre, Full Exploit: Hardening Rowhammer Attacks with Half-Spectre Gadge [pdf] (vusec.net)

4 months ago | todsacerdoti | vusec.net | newest