A Slotted Hash Cons for Alpha Invariance
philipzucker.com·5h·
Discuss: Hacker News
λLambda Encodings
A Kevin week
blog.mitrichev.ch·1d·
Discuss: blog.mitrichev.ch
📐Linear Algebra
On training binary neural networks
kevinmartinjose.com·1d
📊Quantization
🧠 What is a Sequence in Programming?
dev.to·1d·
Discuss: DEV
📊APL Heritage
OTW - Bandit Level 4 to Level 5
tbhaxor.com·18h
🔧KAITAI
Linkage
11011110.github.io·7h
📐Linear Algebra
Semantic Dictionary Encoding
falvotech.com·9h·
Discuss: Hacker News
🌀Brotli Dictionary
Differentially Private Decentralized Dataset Synthesis Through Randomized Mixing with Correlated Noise
arxiv.org·19h
🛡️Differential Privacy
UTF-8 Is Beautiful
hackaday.com·18h
🔣Unicode
Greyscale-box test-driven development
blog.ploeh.dk·4h
🧪Property-Based Testing
How to Debug Chez Scheme Programs (2002)
scheme.com·2h·
Discuss: Hacker News
📜Proof Carrying Code
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·1d·
Discuss: Hacker News, r/programming, r/rust
🧮Z3 Solver
A key type of AI training data is running out. Googlers have a bold new idea to fix that.
businessinsider.com·7h
🔍Vector Forensics
Weighted random generation in Python (2010)
eli.thegreenplace.net·1d·
Discuss: Hacker News
🔢Bitwise Algorithms
A week in security (September 8 – September 14)
malwarebytes.com·16h
🔓Hacking
Learn How to Use Transformers with HuggingFace and SpaCy
towardsdatascience.com·10h
🎯Dependent Parsing
Face Recognition Door Lock with Smartphone Notification
hackster.io·1d
🔌Single Board PC
What is Algebraic about Algebraic Effects?
interjectedfuture.com·7h
✨Algebraic Effects
Narcissisitic Numbers .... The History and Etymology of Math Terms
pballew.blogspot.com·17h·
Discuss: www.blogger.com
λLambda Encodings
Balance between refactoring and inheritance in your code
github.com·11h·
Discuss: Hacker News
✅Format Verification