When functions dissolve
rubber-duck-typing.com·1d·
Discuss: Hacker News
🐚Shell Calculus
SRE Weekly Issue #491
sreweekly.com·14h
👁️System Observability
Capture Checking in Scala
nrinaudo.github.io·10h·
Discuss: Hacker News
🧪Binary Fuzzing
TaMaRa: Towards a Triple Modular Redundancy Pass for Yosys
blog.yosyshq.com·1d·
Discuss: Lobsters, Hacker News
🔍FPGA Verification
“Day 13: The Phantom Dependency Threat — How an Abandoned npm Package Almost Broke the Web”
infosecwriteups.com·10h
📦Package Managers
Explanation of the Linux-Kernel Memory Consistency Model
raw.githubusercontent.com·1d·
Discuss: Lobsters, Hacker News
⚡Cache Coherence
Uncertain< T >: A First-Order Type for Uncertain Data (2014)
microsoft.com·1d·
Discuss: Hacker News
🧪Binary Fuzzing
The Nickel Configuration Language
nickel-lang.org·1d·
Discuss: Hacker News
📋Format Specification
Using Gemini CLI as a Subagent for Claude Code
aicodingtools.blog·3h·
Discuss: Hacker News
⚡Proof Automation
Formal verification effort for the ABDK Math 64.64 library using echidna/hevm
github.com·1h·
Discuss: Hacker News
✅Format Verification
Fixing my Old OS Assignment with Machine Code Hacks
gridbugs.org·1h·
Discuss: r/programming
📟Terminal Forensics
How I Approach Performance Investigations – By Rico Mariani
ricomariani.medium.com·19h·
Discuss: Hacker News
🎯Performance Forensics
My thoughts on Vertical Slices, CQRS, Semantic Diffusion and other fancy words
architecture-weekly.com·5h·
Discuss: Hacker News, r/programming
🔌Interface Evolution
Abhinav Sarkar: A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·1d
🔗Functional Compilers
Saleae Analyzer for the BDM protocol
zetier.com·4d
🔬Binary Analysis
Over-Engineering Sleep
matt.blwt.io·1d
🐚Bash FP
Learning Through Doing: From one language to another
blog.scottlogic.com·3d
🦀Rust Borrowing
Typeclassopedia
wiki.haskell.org·13h·
Discuss: Hacker News
🧬Functional Programming
Some anecdotes from vibe-coding a Sublime Text plugin
willett.io·18h·
Discuss: Hacker News
🔗Concatenative Languages
Breaking the Architecture Bottleneck • Andrew Harmel-Law & Marit van Dijk • GOTO 2025
youtube.com·4h
🔗Topological Sorting