❄ nix - matmat · Scour

Packaging 128 languages with Nix ❄️Nixpkgs

invariant.club·17h·Lobsters, r/programming·

QBDI vs TritonDSE against a VM: who will be the fastest? 🎯Interactive Provers

blog.quarkslab.com·3d·

C89cc.sh – standalone C89/ELF64 compiler in pure portable shell 📝Shell Parsing

gist.github.com·1d·Hacker News·

Show HN: A Minimal Basic Inspired by Brainfuck 🧪Binary Fuzzing

coe.psu.ac.th·1h·Hacker News·

Here is dockerfile, which creates truly full Linux history repo. It includes truly old commits, w... 📦Archive Formats

rentry.co·1d·Lobsters·

Baby’s Second Garbage Collector 🧠Separation Logic

matheusmoreira.com·15h·Hacker News·

BSidesSF 2026: nameme 🌐DNS Security

skullsecurity.org·3d·

Running Out of Disk Space on Launch 💽Floppy disks

alt-romes.github.io·19h·Lobsters, Hacker News·

C++ support by stedolan · Pull Request #14701 🦀Rust Macros

github.com·1d·Hacker News·

Rust TUI (saves 40% tokens and low RAM) 🦀Rust Borrowing

maki.sh·12h·Hacker News·

A+ 📊APL Heritage

aplwiki.com·2d·Hacker News·

Newsletter Subscription 📰Feed Readers

newsletter.nixers.net·6d·

A quick look at __pledge_open(2) 📜Proof Carrying Code

dustri.org·13h·Lobsters·

bqn-smt 🧮SMT Solvers

codeberg.org·2d·Lobsters·

Developing OCaml with Nix ❄️Nixpkgs

ryan.freumh.org·6d·

『 0x61 』- /var/log 🔌Operating system internals

x61.sh·2d·Lobsters·

your hex editor should color-code bytes 📜Binary Philology

simonomi.dev·2d·Lobsters, Hacker News, Hacker News·

Bigoish: Test the empirical computational complexity of Rust algorithms 🦀Rust Macros

docs.rs·6d·Lobsters, Hacker News·

Linux is an interpreter 📝Shell Parsing

astrid.tech·5d·Lobsters, Hacker News·

tornikeo/claude-code: original claude code source in typescript 🦀Rust Macros

github.com·18h·Hacker News·

Loading more...