Lean4 Macros for Implementing Custom Quantifiers
📦Serde
Flag this post
Build a dual-mode Serverless worker
☸️Kubernetes
Flag this post
Just know stuff (or, how to achieve success in a machine learning PhD) (2023)
📐Linear Algebra
Flag this post
Interpreter with 900 limit on recursion
⚠️Rust Unsafe
Flag this post
Smart Chips, Steady Power: Boosting AI Performance with Voltage Drop Prediction
🔌Embedded Systems
Flag this post
Go Concurrent Maps: From Bottlenecks to High-Performance Sharded Solutions That Scale
🚧Memory Barriers
Flag this post
Loading...Loading more...