Using eBPF to attribute packet drops to netfilter rules
developers.redhat.com·2d
🔍eBPF
Flag this post
PAINT25 Invited Talk transcript: “Notational Freedom via Self-Raising Diagrams”
programmingmadecomplicated.wordpress.com·1d
🔤Language Design
Flag this post
Redundancy Maximization as a Principle of Associative Memory Learning
arxiv.org·12h
📊Dynamic Programming
Flag this post
Cyclic Proofs for iGL via Corecursion
arxiv.org·12h
🧮SMT Solvers
Flag this post
Stop vibe coding your unit tests
✅Property Testing
Flag this post
Ranking LLMs based on 180k French votes (French government's AI arena)
🔢Homomorphic Encryption
Flag this post
User Experience Is Computation
🗃️Zettelkasten
Flag this post
I Taught an AI to Dream
📱Edge AI
Flag this post
Crushing ML Latency: The (Un)Official Best Practices for Systems Optimisation
pub.towardsai.net·12h
🚀Performance
Flag this post
My C++ lockless-ish task scheduler project ive been working on (first real project, also first time using threads) tell me what you think (BSD license) currentl...
🦀Rust
Flag this post
Understanding New-Knowledge-Induced Factual Hallucinations in LLMs: Analysis, Solution, and Interpretation
arxiv.org·12h
💫Effect Systems
Flag this post
Can-t stop till you get enough
🦀Rust Macros
Flag this post
Loading...Loading more...