Distribution of codewords on the faces of a hypercube and new combinatorial identities
arxiv.org·1d
⚽Sphere Packing
Why Binary Won and Nothing Else Even Got Close
b0a04gl.site·1d·
Discuss: Hacker News
🧲RISC-V Archaeology
LFCS Seminar Tuesday 1st July: John Longley
informatics.ed.ac.uk·2d
💻Programming languages
Counting with Categories (Part 3)
golem.ph.utexas.edu·1d
λLambda Formalization
Single-molecule magnet could lead to stamp-sized hard drives capable of storing 100 times more data
phys.org·8h
⚛️Quantum Tape
ML in the Home
blog.raymond.burkholder.net·1d
📈Time Series
Cactus Language • Syntax 12
inquiryintoinquiry.com·7h
📝Concrete Syntax
Algorithm Complexity: Time, Space, and Big-O Notation
dev.to·13h·
Discuss: DEV
🧮Kolmogorov Complexity
4-input 2-output Boolean circuits (2020)
cp4space.hatsya.com·1d·
Discuss: Hacker News
⚙️Logic Synthesis
Problem-solving is fundamental to human nature
freethink.com·5h
🔲Cellular Automata
Solving LinkedIn Queens Using Haskell
imiron.io·1d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
Travels, 10
cameroncounts.wordpress.com·8h
🎯Performance Proofs
Brent Yorgey: Competitive programming in Haskell: range queries, classified
byorgey.github.io·2d
λLambda Encodings
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.org·1d
🎯Performance Proofs
How much slower is random access, really?
samestep.com·2d·
Discuss: Hacker News
📼Tape Encoding
Kumo Surfaces Structured Data Patterns Generative AI Misses
thenewstack.io·9h
📊Graph Databases
Diving deep into Binius M3 arithmetization using Merkle tree inclusion as an example
blog.lambdaclass.com·2d
🌳Archive Merkle Trees
Superimposed codes
blog.sesse.net·3d
💾Binary codes
Memory Safety in Web Rust System Zero Cost Secure（1750885516953300）
dev.to·1h·
Discuss: DEV
🦀Rust Borrowing
Optimal Parallel Algorithms for Convex Hulls in 2D and 3D under Noisy Primitive Operations
arxiv.org·1d
📊Computational Geometry