Working pipe operator today in pure JavaScript
github.com·3d·
Discuss: Hacker News
🐚Shell Combinators
The Legacy Code Survival Guide: Add Features Without Fear
understandlegacycode.com·10h
🔓Decompilation
The Chip That Spoke Lisp
jxself.org·9h
🤖Lisp Machines
Cryptography for the Everyday Developer: Number Theory for Public Key Cryptography
sookocheff.com·8h
🔢Reed-Solomon Math
Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph
arxiv.org·16h
⚡Proof Automation
Toy Binary Decision Diagrams
philipzucker.com·1d
🧮Algebraic Datatypes
Adversary TTP Simulation Lab
infosecwriteups.com·15h
🏠Homelab Pentesting
Hardware Stockholm Syndrome
programmingsimplicity.substack.com·20h·
Discuss: Substack
🔩Systems Programming
Understanding Linux Namespaces: A Guide to Process Isolation
dev.to·1d·
Discuss: DEV
🔩Systems Programming
A Lorenz Teletype Shows Us Its Secrets
hackaday.com·12h
💾vintage computing
Streamlining Vulnerability Research with the idalib Rust Bindings for IDA 9.2
hex-rays.com·5h
🦀Rust Macros
Is Odin Just a More Boring C?
dayvster.com·1d·
Discuss: Hacker News
🔩Systems Programming
Rodrigo Girão Serrão: Functions: a complete reference | Pydon't 🐍
mathspp.com·1d
⬆️Lambda Lifting
Building a Command-Line Quiz Application in R
towardsdatascience.com·2d
🔗Constraint Handling
The Mondrian introduction to functional optics
marcosh.github.io·11h·
Discuss: Hacker News
⟷Bidirectional Programming
Is ChatGPT-5 Able to Provide Proofs for Advanced Mathematics?
machinelearningmastery.com·9h
🎯Proof Tactics
Evading the Watchful Eye: A Red Teamer’s Guide to EDR Bypass Techniques
medium.com·1d
🔐Cryptographic Archaeology
Working for a Vendor with David Gee
blog.ipspace.net·14h
🧲RISC-V Archaeology
Cactus Language • Semantics 1
inquiryintoinquiry.com·1d
🔢Denotational Semantics
Souvenir
deprogrammaticaipsum.com·1d
🔩Systems Programming