Re-implementing the Nix protocol in Rust
tweag.io·1d·
Discuss: Hacker News
🔒Linear Types
Unmoved Centre - NixOS Secrets Management
unmovedcentre.com·10h
❄Nix
NixOS: Declarative Management, Imperative Privilege Escalation
labs.snyk.io·3h·
Discuss: Lobsters, Hacker News
❄️Nixpkgs
Trying Guix: A Nixer's Impressions
tazj.in·20h·
Discuss: Lobsters, Hacker News, Hacker News
❄️Nix Adoption
How I Doubled My Lookup Performance with a Bitwise Trick
maltsev.space·7h
🔢Bitwise Algorithms
Interacting with an unreliable process
mbork.pl·1d
🐚Bash FP
Performance Hacks for Brady’s Algorithm
nickdrozd.github.io·1d
🎞️Tape Combinatorics
Daniel Linssen’s Typing Challenge
managore.itch.io·7h
🎯Gradual Typing
Enough unix to get by
thoughtbot.com·2d
📝Shell Parsing
FSM Library for Embedded C Projects
hackster.io·2d
🦀Embedded Rust
NixOS My Savior
basicbitch.software·2d·
Discuss: Lobsters
❄Nix
W1seGuy | TryHackMe Walkthrough — XOR? BrUt3_F0rC3 iT
infosecwriteups.com·1d
🔐Cryptographic Archaeology
Parsing Safetensors File Format in C
leetarxiv.substack.com·12h·
Discuss: Substack, r/programming
✅Format Verification
CVE-2025-4919: Corruption via Math Space in Mozilla Firefox
thezdi.com·13h
🦀Rust Verification
Measuring the latency that GIL introduces to Python applications
coroot.com·13h·
Discuss: Hacker News
🔍eBPF
Helix Editor Release 25.07 Highlights
helix-editor.com·8h·
Discuss: Lobsters, Hacker News, r/linux
🌳Incremental Parsing
Commodore, Apple, and the early computer days ↦
sixcolors.com·3h
💾vintage computing
Dynamic ClassFile Generation To Save 15.5 Nanoseconds
github.com·1d·
Discuss: r/programming
✅Format Verification
Compiler Bootstrapping in Nixpkgs
blog.obsidian.systems·12h·
Discuss: Lobsters, Hacker News
❄️Nixpkgs
Defeating Memory Leaks With Zig Allocators
tgmatos.github.io·12h·
Discuss: Hacker News, r/programming
🔒Type Safety