Fil's C Compiler
fil-c.org·8h·
Discuss: Hacker News
🔗Functional Compilers
Design Principles of Software: Building Better Systems
dev.to·6h·
Discuss: DEV
🐚Shell Calculus
Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·2d·
Discuss: Hacker News
💧Liquid Types
Eternal-Tux: Crafting a Linux Kernel KSMBD 0-Click RCE Exploit from N-Days
willsroot.io·3h·
Discuss: www.willsroot.io
🛡️eBPF Security
The Road To JVM: How To Create A Brainfuck Interpreter
blog.codeminer42.com·2d
🔗Concatenative Programming
Proxmox-GitOps: IaC Container Automation for Proxmox (Single-Click Docker to PVE via Recursive GitOps Pipeline)
reddit.com·14h·
Discuss: r/homelab
🤖Network Automation
MiniRust
github.com·1d·
Discuss: Hacker News
🔒Linear Types
The State of Adversarial Prompts
blog.securitybreak.io·1h
🎯Threat Hunting
Binary Exploitation 101 - ROP (Return-Oriented Programming)
r1ru.github.io·1d
🛡️CLI Security
An introduction to program synthesis
mchav.github.io·2d·
Discuss: Hacker News, r/programming
📝Compiler Design
A set of smooth, fzf-powered shell aliases&functions for systemctl
silverrainz.me·1d·
Discuss: Hacker News
🛡️CLI Security
The future of microoptimization
goldenstack.net·1d·
Discuss: Hacker News
🧮Compute Optimization
Introducing: A Go package to reduce err boilerplate
dev.to·9h·
Discuss: DEV
🐚Shell Monads
Haskell Interlude: 70: Phil Wadler
haskell.foundation·3h
🧬Functional Programming
The Capability-Tractability Tradeoff (2023)
buttondown.com·1d·
Discuss: Hacker News
💧Liquid Types
Choosing Rust for LLM-generated code
runmat.org·1d·
Discuss: Hacker News
🦀Rust Macros
Beyond Traditional Pseudorandomness, Tsotchkes' Quantum Random Number Generation
medium.com·10h·
Discuss: Hacker News
🔐Quantum Cryptography
Early Bytes of Creativity – Forgotten Mainframe Games, Part I (2023)
zeitgame.net·1d·
Discuss: Lobsters
🕹️Retro Gaming
Kefir: A new C17/C23 compiler for amd64 Unix
kefir.protopopov.lv·17h·
Discuss: Hacker News
🔓Open Source Software
Joy & Curiosity #54
registerspill.thorstenball.com·6h
⚙️Proof Engineering