🦀 Rust Borrowing

Memory Safety, Ownership Models, Systems Programming, Compile-time Verification

The case of the invalid instruction exception on an instruction that should never have executed
devblogs.microsoft.com·2h
🧪Hardware Fuzzing
Information modeling example: Call sheet
disruptivearchitecture.info·9h
🚚Data Migration
2025-07-16: Understanding Hallucination in Large Language Models: Challenges and Opportunities
ws-dl.blogspot.com·1d·
Discuss: ws-dl.blogspot.com
✨Effect Handlers
My (temp) budget homelab
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
Quadratic Forms Beyond Arithmetic
ams.org·15h·
Discuss: Hacker News
🔱Galois Theory
The Power of Building from Scratch
towardsdatascience.com·2d
🌍Cultural Algorithms
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·2d·
Discuss: Hacker News
🎯Interactive Provers
Wrote a blog about using Dapr and mirrord together
metalbear.co·1d
📦Container Security
Hiding messages in a deck playing cards
asherfalcon.com·2h·
Discuss: Hacker News
🦠Parasitic Storage
Running a vibe-code platform (Coder) on your own infrastructure
thetechenabler.substack.com·10h·
Discuss: Substack
🚀Indie Hacking
In Defense of Not-Invented-Here Syndrome
joelonsoftware.com·34m·
Discuss: Hacker News
⚖️Emulation Ethics
Reversing Google's New VM-Based Integrity Protection: PairIP
blog.byterialab.com·2d·
Discuss: Hacker News
🌐WASI
Topology Meets Machine Learning
ams.org·4h·
Discuss: Hacker News
🧠Machine Learning
[D] thoughts about "prompt routing" - what do you think about it?
reddit.com·5h·
Discuss: r/MachineLearning
🌐Protocol Synthesis
Python Fundamentals: build
dev.to·3d·
Discuss: DEV
🔄Reproducible Builds
[P] Cogency – ReAct agents in 3 lines, out of the box (Python OSS)
reddit.com·19h·
Discuss: r/MachineLearning
🌀Brotli Internals
On One-Shot Signatures, Quantum vs Classical Binding, and Obfuscating Permutations
arxiv.org·1d
🔐Quantum Security
I Accidentaly Wrote a Compile-Time Executable State Machine (2020)
philippegroarke.com·4d·
Discuss: Hacker News
🔗Functional Compilers
Sandboxing AI - Extending AI Responsibly
dev.to·3d·
Discuss: DEV
🔒WASM Capabilities
I built CodeMocker: AI-powered mock coding interviews
dev.to·6h·
Discuss: DEV
🎙️Whisper