Python Fundamentals: __len__
dev.toยท15hยท
Discuss: DEV
๐Ÿ’งLiquid Types
Minimize squared relative error
johndcook.comยท22h
๐Ÿ“Interval Arithmetic
Stuck Between 24 Rocks and an NP-Hard Place
jacksonslipock.bearblog.devยท1dยท
Discuss: Hacker News
โš”๏ธLean Tactics
Coping with Complexity
slott56.github.ioยท23h
๐Ÿ”—Concatenative Programming
Basic facts about GPUs
damek.github.ioยท5hยท
Discuss: Lobsters, Hacker News
๐Ÿ–ฅ๏ธHardware Architecture
A survey of Chernoff and Hoeffding bounds
arxiv.orgยท3d
๐ŸŒ‰Galois Connections
My first experience with Formal Methods | ZipCPU
zipcpu.comยท3d
๐Ÿ”งHardware Verification
Understanding Bitwise Operators
beyondit.blogยท1dยท
Discuss: Hacker News, r/programming
๐ŸŽฏArithmetic Coding Theory
AI learns math reasoning by playing Snake and Tetris-like games rather than using math datasets
the-decoder.comยท37m
๐Ÿ”ฒCellular Automata
Two Sum in C# โ€“ From Brute Force to Optimal Hash Map & Beyond
dev.toยท3dยท
Discuss: DEV
๐ŸงฎAlgebraic Datatypes
The Probability of a Hash Collision
kevingal.comยท7hยท
Discuss: Hacker News
๐Ÿ”Hash Functions
Revisiting Knuthโ€™s โ€œPremature Optimizationโ€ Paper
probablydance.comยท2dยท
Discuss: Lobsters, Hacker News, r/cpp
๐Ÿš€Compiler Optimizations
Algebra 2 Problems of the Day (Algebra 2, January 2025 Part I)
mrburkemath.blogspot.comยท3dยท
Discuss: www.blogger.com
โš”๏ธLean Theorem
Posit floating point numbers: thin triangles and other tricks
marc-b-reynolds.github.ioยท2dยท
Discuss: Lobsters, Hacker News
๐Ÿ’ŽInformation Crystallography
Book Notes: Full Frontal Calculus by Seth Braver โ€” Chapter 1 Review
ruslanspivak.comยท1d
๐Ÿ”ฌLean
Can All Knowledge Be Mined? A Formal Framework for ฯ†^โˆž Consequence Closure
researchgate.netยท2dยท
Discuss: Hacker News
๐Ÿ”ขDenotational Semantics
๐Ÿ“ Beginner-Friendly Guide "Minimum Deletions to Make String K-Special" LeetCode 3085 (C++ | Python | JavaScript)
dev.toยท1dยท
Discuss: DEV
๐ŸŒณHuffman Trees
Unlocking the Power of Functional Programming: Easier Solutions to Complex Problems
dev.toยท6hยท
Discuss: DEV
๐ŸงฌFunctional Programming
Python Fundamentals: all
dev.toยท12hยท
Discuss: DEV
๐Ÿ’งLiquid Types
To Bind and Loose a Reference
thephd.devยท11hยท
Discuss: Lobsters, Hacker News
๐ŸŽฏGradual Typing