I've Seen Things, pt II
windowsir.blogspot.com·5h·
Discuss: www.blogger.com
🔓Hacking
Experimenting with Apple’s AI models inside Shortcuts
sixcolors.com·2h
⚡Proof Automation
Compbolt: A lib with a hard to misuse API (based on Matt Godbolt)
github.com·9h·
Discuss: Hacker News
🌀Brotli Internals
The Nature of Lisp, Code Generation and Wieldable Programming Power
pankajpipada.com·7h·
Discuss: Hacker News, r/programming
🔗Lisp
Magnus Therning: Finding a type for Redis commands
magnus.therning.org·4d
🌐Protocol Synthesis
NaviAgent: Bilevel Planning on Tool Dependency Graphs for Function Calling
arxiv.org·14h
🔗Topological Sorting
🚀 Wait4X v3.4.0: Introducing the exec Command
reddit.com·7h·
Discuss: r/golang
🔄Sync Engine
Song recommendations from F# combinators
blog.ploeh.dk·2d
🔗Functional Compilers
Mastering Malware Analysis: A SOC Analyst’s Guide to Dynamic Analysis with AnyRun
infosecwriteups.com·9h
🦠Malware Analysis
How to (Almost) solve cybersecurity once and for all
adaptive.live·21h·
Discuss: Hacker News
🔐Systems Hardening
Driving the Rust Compiler to Compile Single Files as Shellcode
kirchware.com·1d·
Discuss: Hacker News
🦀Rust Macros
Web Development with Homebrew in 2025: Is It Still a Good Idea?
dev.to·16h·
Discuss: DEV
🔌Interface Evolution
Beyond Frameworks: How Computer Science Fundamentals Forge the Complete Developer
dev.to·4h·
Discuss: DEV
📏Code Metrics
Programming, Not Prompting: A Hands-On Guide to DSPy
towardsdatascience.com·1d
🧮Z3 Solver
PDP-11 Replica: The PiDP-11
obsolescence.dev·5h·
Discuss: Hacker News
💾vintage computing
BNFGen: A random text generator based on context-free grammars
baturin.org·29m·
Discuss: Hacker News
🌳Context free grammars
N8N, Local LLM, MCP proxy in 1 compose file
ajeetraina.com·20h·
Discuss: Hacker News
🏠Homelab Orchestration
The AI Agent schism: deterministic vs. non deterministic
writing.kunle.app·22m·
Discuss: Hacker News
⚡Proof Automation
2025 Alonzo Church Award: Paul Blain Levy for Call-by-Push-Value (CBPV)
siglog.org·4d·
Discuss: Hacker News, r/programming
💻Programming languages
Fixes for five Lix CVEs
lix.systems·1d·
Discuss: Lobsters
❄️Nix Adoption