🦀 Rust Borrowing

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

Information modeling example: Call sheet
disruptivearchitecture.info·6h
🚚Data Migration
Stackage Blog: LTS 24 release for ghc-9.10 and Nightly now on ghc-9.12
stackage.org·2d
🔗Functional Compilers
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·12h·
Discuss: Hacker News
🔱Galois Theory
The Power of Building from Scratch
towardsdatascience.com·1d
🌍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
Sandcastles Made of Bits
jsfour.substack.com·2d·
Discuss: Substack
🧱Immutable Infrastructure
Running a vibe-code platform (Coder) on your own infrastructure
thetechenabler.substack.com·7h·
Discuss: Substack
🚀Indie Hacking
Reversing Google's New VM-Based Integrity Protection: PairIP
blog.byterialab.com·2d·
Discuss: Hacker News
🌐WASI
Topology Meets Machine Learning
ams.org·1h·
Discuss: Hacker News
🧠Machine Learning
How to Add Generative UI to Any React App in 5 Minutes
dev.to·14h·
Discuss: DEV
🔗Concatenative Programming
[D] thoughts about "prompt routing" - what do you think about it?
reddit.com·2h·
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·16h·
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·2d·
Discuss: DEV
🔒WASM Capabilities
I built CodeMocker: AI-powered mock coding interviews
dev.to·3h·
Discuss: DEV
🎙️Whisper