Pitch Multiplication (2017)
🔢Homomorphic Encryption
Flag this post
Why Not Just Train For Interpretability?
lesswrong.com·1d
🎯Hindley-Milner
Flag this post
The Easiest Way to Build a Type Checker
🔍Type Inference
Flag this post
Strix Halo, Debian 13@6.16.12&6.17.8, Qwen3Coder-Q8 CTX<=131k, llama.cpp@Vulkan&ROCm, Power & Efficiency
🔄Glommio vs Tokio
Flag this post
Polynomial-Time Algorithms for Computing the Nucleolus: An Assessment
arxiv.org·2d
📊Dynamic Programming
Flag this post
The Engineering Guide to Efficient LLM Inference: Metrics, Memory, and Mathematics
pub.towardsai.net·2d
📊Profile-Guided Optimization
Flag this post
Pinning is a kind of static borrow
🦀Rust Lifetimes
Flag this post
The Zero-Bullshit Protocol™ – Hallucination-Proof AI Engineering System: FREE VERSION!
💬Prompt Engineering
Flag this post
Zig in 30 Minutes
🦀Rust Macros
Flag this post
little rant: xcb
🧊Iced
Flag this post
Trying Out C++26 Executors
🌊Glommio
Flag this post
Loading...Loading more...