IMG.LY x AI
img.ly·38m
🌀Brotli Internals
Memory Safety Is Merely Table Stakes
usenix.org·3d·
Discuss: Lobsters, Hacker News, r/programming
🔒Type Safety
The Interactive Handbook on Data Structures and Algorithms
cartesian.app·6d·
Discuss: Lobsters, Hacker News, Hacker News
🌳Trie Structures
In which I write a library-quality B+ tree with the genies
tidyfirst.substack.com·4d·
Discuss: Substack
🦀Rust Macros
Godel's Incompleteness Theorem
news.ycombinator.com·4d·
Discuss: Hacker News
🔤Type Theory
Write your own local Copilot with Ollama and VSCode
dev.to·1h·
Discuss: DEV
🎙️Whisper
I created a script that generates word lists based on various input combinations.
dev.to·20h·
Discuss: DEV
⚙️Parser Generators
IDGraphs: Intrusion Detection and Analysis Using Stream Compositing
arxiv.org·3d
🦠Malware Analysis
Day 19: Shipped the frontend, brain officially resigned
dev.to·22h·
Discuss: DEV
🌀Brotli Internals
a loop is all you need: building conversation ai agents
dev.to·21h·
Discuss: DEV
🔲Cellular Automata
**Go Database Optimization: 5 Performance Patterns That Boost Application Speed by 700%**
dev.to·19h·
Discuss: DEV
🗄️Database Internals
Validating Mechanistic Interpretations: An Axiomatic Approach
arxiv.org·6d
⚖️Hoare Logic
How to Make Large-Scale Experiments Smarter and Cheaper with AI-Driven Proofs
dev.to·4d·
Discuss: DEV
✓Automated Theorem Proving
Python Fundamentals: asyncpg
dev.to·3d·
Discuss: DEV
🌊Stream Processing
Computational Complexity of Model-Checking Quantum Pushdown Systems
arxiv.org·6d
🔐Quantum Security
Bilinear MLPs enable weight-based mechanistic interpretability
arxiv.org·4d
📊Quantization
COIN: Uncertainty-Guarding Selective Question Answering for Foundation Models with Provable Risk Guarantees
arxiv.org·4d
🧠Intelligence Compression
Machine Learning Fundamentals: adam optimizer with python
dev.to·2d·
Discuss: DEV
📊Feed Optimization
Claude Code was stuck without gdb, so I installed it midway and it got happy
dev.to·8h·
Discuss: DEV
📜Proof Carrying Code
StableCodec: Taming One-Step Diffusion for Extreme Image Compression
arxiv.org·9h
📊Rate-Distortion Theory