Diving deep into Binius M3 arithmetization using Merkle tree inclusion as an example
blog.lambdaclass.comยท1d
๐ŸŒณArchive Merkle Trees
๐Ÿง  Solving LeetCode Until I Become Top 1% โ€” Day `30`
dev.toยท11hยท
Discuss: DEV
๐Ÿ“Error Bounds
Ultra-Efficient Contracts: Breaking the Substitutes Barrier in Combinatorial Contracts
arxiv.orgยท1d
๐ŸŽฏPerformance Proofs
Deciding Termination of Simple Randomized Loops
arxiv.orgยท1d
๐ŸŒณPersistent Data Structures
The Interactive Handbook on Data Structures and Algorithms
cartesian.appยท1dยท
Discuss: Lobsters, Hacker News, Hacker News
๐ŸŒณTrie Structures
Elmo's World NP-complete problem (2006)
blog.plover.comยท1dยท
Discuss: Hacker News
๐ŸงฎSMT Solvers
On Union-Closedness of Language Generation
arxiv.orgยท1d
๐Ÿ”—Monadic Parsing
LFCS Seminar Tuesday 8th July: John Longley
informatics.ed.ac.ukยท2d
๐Ÿ’ปProgramming languages
The Guide to the Foundation Models Framework
azamsharp.comยท5hยท
Discuss: Hacker News
ฮปLambda Formalization
Safe Pruning LoRA: Robust Distance-Guided Pruning for Safety Alignment in Adaptation of LLMs
arxiv.orgยท15h
๐Ÿ’ปLocal LLMs
Primitive Kolmogorov complexity is computable
lewish.ioยท2dยท
Discuss: Hacker News
๐ŸงฎKolmogorov Complexity
Distribution of codewords on the faces of a hypercube and new combinatorial identities
arxiv.orgยท1d
โšฝSphere Packing
Exploring High Efficiency Web Analysis Results๏ผˆ1750876031390300๏ผ‰
dev.toยท56mยท
Discuss: DEV
๐ŸŒŠStream Processing
Why Dyad?: A Perspective for Modelica Users
juliahub.comยท4hยท
Discuss: Hacker News
๐Ÿ’งLiquid Types
LFCS Seminar Thursday 26th June: John Longley
informatics.ed.ac.ukยท2d
ฮปLambda Formalization
Counting with Categories (Part 2)
golem.ph.utexas.eduยท2d
๐Ÿ”€Category Theory
NaviAgent: Bilevel Planning on Tool Dependency Graphs for Function Calling
arxiv.orgยท15h
๐Ÿ”—Topological Sorting
The AI Agent schism: deterministic vs. non deterministic
writing.kunle.appยท1hยท
Discuss: Hacker News
โšกProof Automation
Cost-Effective Optimization and Implementation of the CRT-Paillier Decryption Algorithm for Enhanced Performance
arxiv.orgยท1d
๐Ÿ”ขBitwise Algorithms
Programming, Not Prompting: A Hands-On Guide to DSPy
towardsdatascience.comยท1d
๐ŸงฎZ3 Solver