The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.org·1d
✨Algebraic Effects
Travels, 10
cameroncounts.wordpress.com·3h
🧬Functional Programming
4-input 2-output Boolean circuits (2020)
cp4space.hatsya.com·1d·
Discuss: Hacker News
⚙️Logic Synthesis
Algorithm Complexity: Time, Space, and Big-O Notation
dev.to·9h·
Discuss: DEV
🧮Kolmogorov Complexity
LFCS Seminar Tuesday 1st July: John Longley
informatics.ed.ac.uk·2d
💻Programming languages
Brent Yorgey: Competitive programming in Haskell: range queries, classified
byorgey.github.io·2d
λLambda Encodings
How to Make Large-Scale Experiments Smarter and Cheaper with AI-Driven Proofs
dev.to·3h·
Discuss: DEV
✓Automated Theorem Proving
Solving LinkedIn Queens Using Haskell
imiron.io·1d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
Proving that every program halts
ntietz.com·2d
👑Isabelle
Diving deep into Binius M3 arithmetization using Merkle tree inclusion as an example
blog.lambdaclass.com·1d
🌳Archive Merkle Trees
Cactus Language • Syntax 12
inquiryintoinquiry.com·2h
📝Concrete Syntax
Cost-Effective Optimization and Implementation of the CRT-Paillier Decryption Algorithm for Enhanced Performance
arxiv.org·1d
🔢Bitwise Algorithms
Shrinking the Generation-Verification Gap with Weak Verifiers
arxiv.org·1d
🧪CBOR Fuzzing
On the convergence of computational methods for the online bin stretching problem
arxiv.org·1d
📐Compression Bounds
NaviAgent: Bilevel Planning on Tool Dependency Graphs for Function Calling
arxiv.org·14h
🔗Topological Sorting
🧠 Solving LeetCode Until I Become Top 1% — Day `30`
dev.to·10h·
Discuss: DEV
📐Error Bounds
Godel's Incompleteness Theorem
news.ycombinator.com·1h·
Discuss: Hacker News
🔤Type Theory
Counting with Categories (Part 3)
golem.ph.utexas.edu·1d
λLambda Formalization
Why Agentic Flows Need Distributed-Systems Discipline
temporal.io·1d·
Discuss: Hacker News
⚙️TLA+
The Interactive Handbook on Data Structures and Algorithms
cartesian.app·1d·
Discuss: Lobsters, Hacker News, Hacker News
🌳Trie Structures