Nedials, Nedians, and some related triangles and some properties
pballew.blogspot.com·12h·
Discuss: www.blogger.com
📊Computational Geometry
Encrypting identifiers in practice
sjoerdlangkemper.nl·13h
🌊Stream Ciphers
The Interactive Handbook on Data Structures and Algorithms
cartesian.app·1d·
Discuss: Lobsters, Hacker News, Hacker News
🌳Trie Structures
How much slower is random access, really?
samestep.com·2d·
Discuss: Hacker News
📼Tape Encoding
Proving that every program halts
ntietz.com·2d
👑Isabelle
Why Binary Won and Nothing Else Even Got Close
b0a04gl.site·22h·
Discuss: Hacker News
🧲RISC-V Archaeology
If You Want to Learn Algebra, You Need to Have Automaticity on Basic Arithmetic
justinmath.com·1d·
Discuss: Hacker News
📚Proof Pedagogy
A large deviation view of \emph{stationarized} fully lifted blirp interpolation
arxiv.org·14h
📐Compression Bounds
Why Dyad?: A Perspective for Modelica Users
juliahub.com·3h·
Discuss: Hacker News
💧Liquid Types
Beyond Frameworks: How Computer Science Fundamentals Forge the Complete Developer
dev.to·4h·
Discuss: DEV
📏Code Metrics
Greedy Is Good. Less Greedy May Be Better
gojiberries.io·17h·
Discuss: Hacker News
🧮Kolmogorov Complexity
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.org·1d
🎯Performance Proofs
Recursion and Dynamic Programming: Solving Problems Efficiently
dev.to·1d·
Discuss: DEV
🎯Performance Proofs
Programming, Not Prompting: A Hands-On Guide to DSPy
towardsdatascience.com·1d
🧮Z3 Solver
Machine Learning Fundamentals: accuracy project
dev.to·2d·
Discuss: DEV
✅Archive Validation
Choice of Scoring Rules for Indirect Elicitation of Properties with Parametric Assumptions
arxiv.org·1d
👑Coq Tactics
Algorithms for pointwise and piecewise polynomial approximations to the trigonometric functions
arxiv.org·1d
📐Error Bounds
Shrinking the Generation-Verification Gap with Weak Verifiers
arxiv.org·1d
🧪CBOR Fuzzing
Machine Learning Fundamentals: accuracy with python
dev.to·1d·
Discuss: DEV
👁️Observatory Systems
How to (Almost) solve cybersecurity once and for all
adaptive.live·21h·
Discuss: Hacker News
🔐Systems Hardening