Hacker News headlines

3

In Praise of the Contrarian Stack (hackers.pub)

3 weeks ago | todsacerdoti | hackers.pub | newest

18

Ziglings: Learn Zig by fixing broken programs (codeberg.org/ziglings)

3 weeks ago | todsacerdoti | codeberg.org | frontpage

4

A Taste of Matzo: A Language for Random Text (infinitenegativeutility.com)

3 weeks ago | todsacerdoti | infinitenegativeutility.com | newest

1

Russ Cox solves AoC 2021 Day 24 using Go in Acme [Compiler Analysis] [video] (youtube.com)

3 weeks ago | todsacerdoti | youtube.com | newest

58

Building the Rust Compiler with GCC (fractalfir.github.io)

3 weeks ago | todsacerdoti | github.io | best

3

Theory Building Without a Mentor (jyn.dev)

3 weeks ago | todsacerdoti | jyn.dev | newest

43

Belgium Is Unsafe for CVD (floort.net)

3 weeks ago | todsacerdoti | floort.net | best

3

Coalton: Toward safe, flexible, and efficient software in Common Lisp [video] (youtube.com)

3 weeks ago | todsacerdoti | youtube.com | frontpage

20

Micro Common Lisp (t3x.org)

3 weeks ago | todsacerdoti | t3x.org | frontpage

3

Conventional Commits makes me sad (codeberg.page)

3 weeks ago | todsacerdoti | codeberg.page | frontpage

1

Quickly Converitng Djot to HTML+MathML (unix.dog)

3 weeks ago | todsacerdoti | unix.dog | newest

6

C mistakes among the vulnerabilities present in curl code (mastodon.social)

3 weeks ago | todsacerdoti | mastodon.social | frontpage

37

Overthinking GIS (2024) (scottsexton.co)

3 weeks ago | todsacerdoti | scottsexton.co | best

1

Decker Fantasy Camp (arraycast.com)

3 weeks ago | todsacerdoti | arraycast.com | newest

35

Operators, Not Users and Programmers (jyn.dev)

3 weeks ago | todsacerdoti | jyn.dev | frontpage

3

Approach to LLMs and Other Reflections (matttproud.com)

3 weeks ago | todsacerdoti | matttproud.com | newest

1

Fixing the Web? – Carson Gross [video] (youtube.com)

3 weeks ago | todsacerdoti | youtube.com | newest

1

Broken AI Discourse with Steve Klabnik [video] (youtube.com)

3 weeks ago | todsacerdoti | youtube.com | newest

1

4096 Colours and the Blink Attribute (exoticsilicon.com)

3 weeks ago | todsacerdoti | exoticsilicon.com | newest

2

Reflections on 2 years of CPython's JIT Compiler: The good, the bad, the ugly (fidget-spinner.github.io)

3 weeks ago | todsacerdoti | github.io | newest

2

Anubis Pilot Project Report – June 2025 (duke.edu)

3 weeks ago | todsacerdoti | duke.edu | newest

2

[dupe] Outage of fanfiction site Archive of Our Own was caused by integer exhaustion (reddit.com)

3 weeks ago | todsacerdoti | reddit.com | newest

3

AI's great brain robbery – and how universities can fight back (thetimes.com)

3 weeks ago | todsacerdoti | thetimes.com | newest

3

Apl87 (jsoftware.com)

3 weeks ago | todsacerdoti | jsoftware.com | newest

3

Actix-passport: A comprehensive, flexible authentication framework for actix-we (github.com/densumesh)

3 weeks ago | todsacerdoti | github.com | newest

288

Nvidia won, we all lost (sebin-nyshkim.net)

3 weeks ago | todsacerdoti | sebin-nyshkim.net | best

3

Iris: A neurosymbolic framework for vulnerability detection in code (github.com/iris-sast)

3 weeks ago | todsacerdoti | github.com | newest

10

A compact bitset implementation used in Ocarina of Time save files (github.com/jb55)

3 weeks ago | todsacerdoti | github.com | frontpage

31

Compression Dictionary Transport (developer.mozilla.org)

3 weeks ago | todsacerdoti | mozilla.org | best

136

Ask HN: I want to leave tech: what do I do? (write.as)

3 weeks ago | todsacerdoti | write.as | best

1

Steam has been flooded with games stolen from itch.io (gamepressure.com)

3 weeks ago | todsacerdoti | gamepressure.com | frontpage

2

Zig Roadmap 2026 [video] (youtube.com)

3 weeks ago | todsacerdoti | youtube.com | newest

3

A catamorphic lambda-calculus interpreter (michaelpj.com)

3 weeks ago | todsacerdoti | michaelpj.com | newest

3

Coding in Advent (panadestein.github.io)

3 weeks ago | todsacerdoti | github.io | newest

2

Advice on how to get a job at Canonical (ubuntu.com)

3 weeks ago | todsacerdoti | ubuntu.com | newest

2

Big Tech's Mixed Response to U.S. Treasury Sanctions (krebsonsecurity.com)

3 weeks ago | todsacerdoti | krebsonsecurity.com | newest

4

I Built the Torment Nexus (Political Podcast Edition) (jamesrball.com)

3 weeks ago | todsacerdoti | jamesrball.com | frontpage

2

How to manage configuration settings in Go web applications (alexedwards.net)

3 weeks ago | todsacerdoti | alexedwards.net | newest

1

Can we test it? Yes, we can (youtube.com)

4 weeks ago | todsacerdoti | youtube.com | newest

3

Tree-Structured Concurrency II: Replacing Background Tasks with Actors (yoshuawuyts.com)

4 weeks ago | todsacerdoti | yoshuawuyts.com | newest

1

Programming as Theory Building [pdf] (rauzy.name)

4 weeks ago | todsacerdoti | rauzy.name | newest

1

Inequality Union Finds: Baby Steps to Refinement E-Graphs (philipzucker.com)

4 weeks ago | todsacerdoti | philipzucker.com | newest

1

Deploying Python (Django) to Kubernetes: A practical guide with a complete DevO (denibertovic.com)

4 weeks ago | todsacerdoti | denibertovic.com | newest

3

Overly Long Variable Name Could Have Been a Comment (jonathan-frere.com)

4 weeks ago | todsacerdoti | jonathan-frere.com | newest

2

I Scanned all of GitHub's "Oops Commits" for Leaked Secrets worth $25k in B (trufflesecurity.com)

4 weeks ago | todsacerdoti | trufflesecurity.com | newest

1

Counterexamples of positivity implications in Kähler curvature tensors (magnusson.io)

4 weeks ago | todsacerdoti | magnusson.io | newest

3

Three Years of Nix and NixOS: The Good, the Bad, and the Ugly (pierrezemb.fr)

4 weeks ago | todsacerdoti | pierrezemb.fr | newest

13

Yet Another Zip Trick (hackarcana.com)

3 weeks ago | todsacerdoti | hackarcana.com | frontpage

2

The web's broken deal with AI companies (dri.es)

4 weeks ago | todsacerdoti | dri.es | newest

1

OpenBAO v2.3.1 (github.com/openbao)

4 weeks ago | todsacerdoti | github.com | newest

59

Using Sun Ray thin clients in 2025 (catstret.ch)

4 weeks ago | todsacerdoti | catstret.ch | best

4

Animating Number Counters (css-tricks.com)

4 weeks ago | todsacerdoti | css-tricks.com | frontpage

2

Stream per Agent Session (s2.dev)

4 weeks ago | todsacerdoti | s2.dev | newest

1

Software engineering with LLMs in 2025: reality check [video] (youtube.com)

4 weeks ago | todsacerdoti | youtube.com | newest

8

Types of Types: Common to Exotic (stephendiehl.com)

4 weeks ago | todsacerdoti | stephendiehl.com | frontpage

2

Input-branches: Workflow and flake-part for flake input patching using imported (github.com/mightyiam)

4 weeks ago | todsacerdoti | github.com | newest

2

Finding and understanding bugs in C compilers [pdf] (2011) (unr.edu)

4 weeks ago | todsacerdoti | unr.edu | frontpage

4

Reflections on Haskell and Rust (fpblock.com)

4 weeks ago | todsacerdoti | fpblock.com | frontpage

3

`Git stage` over `Git add` (bhoot.dev)

4 weeks ago | todsacerdoti | bhoot.dev | frontpage

4

Zig Community Mirrors (ziglang.org)

4 weeks ago | todsacerdoti | ziglang.org | frontpage

3

Senator Chides FBI for Weak Advice on Mobile Security (krebsonsecurity.com)

4 weeks ago | todsacerdoti | krebsonsecurity.com | newest

108

I write type-safe generic data structures in C (danielchasehooper.com)

4 weeks ago | todsacerdoti | danielchasehooper.com | best

4

That boolean should probably be something else (ntietz.com)

a month ago | todsacerdoti | ntietz.com | newest

1

Critical Correctness Bug in Lix (lix.systems)

a month ago | todsacerdoti | lix.systems | newest

4

TypeSanitizer: A detector for strict type aliasing violations (llvm.org)

a month ago | todsacerdoti | llvm.org | newest

1

RSS as my default web browser (for some stuff) (neilzone.co.uk)

a month ago | todsacerdoti | neilzone.co.uk | newest

152

I made my VM think it has a CPU fan (wbenny.github.io)

a month ago | todsacerdoti | github.io | best

2

Starlink, OpenWrt, and Eeros Oh My (btxx.org)

a month ago | todsacerdoti | btxx.org | newest

3

GPTuner: GPTuner is a manual-reading database tuning system leveraging domain k (github.com/solidlao)

a month ago | todsacerdoti | github.com | newest

13

Refurb weekend: Gremlin Blasto arcade board (oldvcr.blogspot.com)

a month ago | todsacerdoti | blogspot.com | frontpage

25

Memory Safe Languages: Reducing Vulnerabilities in Modern Software Development [pdf] (defense.gov)

a month ago | todsacerdoti | defense.gov | best

2

EmacsConf 2025 Call for Participation (emacsconf.org)

a month ago | todsacerdoti | emacsconf.org | frontpage

1

The Medley Interlisp Project: Reviving a Historical Software System [pdf] (interlisp.org)

a month ago | todsacerdoti | interlisp.org | newest

3

A Newbie's First Contribution to (Rust for) Linux (buenzli.dev)

a month ago | todsacerdoti | buenzli.dev | frontpage

8

Cross-Compiling Common Lisp for Windows (fosskers.ca)

a month ago | todsacerdoti | fosskers.ca | frontpage

5

Go is an 80/20 language (kowalczyk.info)

a month ago | todsacerdoti | kowalczyk.info | frontpage

1

Alternate histories of computing (2018) [video] (fosdem.org)

a month ago | todsacerdoti | fosdem.org | newest

3

Sniffnet v1.4: it's 2X faster than Wireshark at processing PCAP files (sniffnet.net)

a month ago | todsacerdoti | sniffnet.net | frontpage

19

Android phones could soon warn you of "Stingrays" snooping on your communicatio (arstechnica.com)

a month ago | todsacerdoti | arstechnica.com | frontpage

1

Avoiding PostgreSQL Pitfalls: The Hidden Cost of Failing Inserts (johnnymetz.com)

a month ago | todsacerdoti | johnnymetz.com | newest

29

Structuring Arrays with Algebraic Shapes (acm.org)

a month ago | todsacerdoti | acm.org | best

3

Run Coverage on Tests (hugovk.dev)

a month ago | todsacerdoti | hugovk.dev | frontpage

42

Transmitting data via ultrasound without any special equipment (halcy.de)

a month ago | todsacerdoti | halcy.de | best

2

Confusing an accountant with Open Source funding [video] (youtube.com)

a month ago | todsacerdoti | youtube.com | newest

1

Richard Feldman on new language adoption in the LLM age (youtube.com)

a month ago | todsacerdoti | youtube.com | newest

2

Conferences, Clarity, and Smokescreens (infrequently.org)

a month ago | todsacerdoti | infrequently.org | newest

20

My Lights Run on Bash (kramkow.ski)

a month ago | todsacerdoti | kramkow.ski | frontpage

2

Adaptive, simplified design system colors (gfor.rest)

a month ago | todsacerdoti | gfor.rest | newest

11

Slightly better named character reference tokenization than Chrome, Safari, FF (ryanliptak.com)

a month ago | todsacerdoti | ryanliptak.com | frontpage

1

Adding a trash can to Linux with trash-CLI (ittavern.com)

a month ago | todsacerdoti | ittavern.com | frontpage

69

Matrix v1.15 (matrix.org)

a month ago | todsacerdoti | matrix.org | best

3

String.com – AI agent for building AI agents (string.com)

a month ago | todsacerdoti | string.com | newest

3

Cross-Compiling 10k Rust CLI Crates Statically (pkgforge.dev)

a month ago | todsacerdoti | pkgforge.dev | newest

2

Channeling Alpha (medium.com/giz51d)

a month ago | todsacerdoti | medium.com | newest

2

Security Advisory: Airoha-Based Bluetooth Headphones and Earbuds (insinuator.net)

a month ago | todsacerdoti | insinuator.net | newest

2

JavaScript Chose Violence (martinrue.com)

a month ago | todsacerdoti | martinrue.com | newest

2

A CRDT-Based Messenger in 12 Lines of Bash Using a Synced Folder (holdtherobot.com)

a month ago | todsacerdoti | holdtherobot.com | newest

1

How much code does that proc macro generate? (nnethercote.github.io)

a month ago | todsacerdoti | github.io | newest

3

The Unbearable Anger of Broken Audio (arunraghavan.net)

a month ago | todsacerdoti | arunraghavan.net | frontpage

1

Overview of Research Directions at Keen Technologies (youtube.com)

a month ago | todsacerdoti | youtube.com | newest