๐Ÿง  Solving LeetCode Until I Become Top 1% โ€” Day `30`
dev.toยท15hยท
Discuss: DEV
๐Ÿ“Error Bounds
Near-Optimal Dynamic Policies for Joint Replenishment in Continuous/Discrete Time
arxiv.orgยท1d
๐Ÿ“ผTape Combinators
Solving LinkedIn Queens Using MiniZinc
zayenz.seยท2dยท
Discuss: Lobsters, Hacker News, r/programming
๐ŸงฎZ3 Solver
ML in the Home
blog.raymond.burkholder.netยท1d
๐Ÿ“ˆTime Series
Nedials, Nedians, and some related triangles and some properties
pballew.blogspot.comยท17hยท
Discuss: www.blogger.com
๐Ÿ“ŠComputational Geometry
Travels, 10
cameroncounts.wordpress.comยท8h
๐ŸŽฏPerformance Proofs
Counting with Categories (Part 3)
golem.ph.utexas.eduยท1d
ฮปLambda Formalization
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.comยท17h
๐Ÿ“Concrete Syntax
New: Improve Apache Iceberg query performance in Amazon S3 with sort and z-order compaction
aws.amazon.comยท1d
๐Ÿ”„Burrows-Wheeler
Oxford Entrance Exam How Many Distinct Real Solutions
mindyourdecisions.comยท4h
โš”๏ธLean Tactics
Greedy Is Good. Less Greedy May Be Better
gojiberries.ioยท22hยท
Discuss: Hacker News
๐ŸงฎKolmogorov Complexity
Choice of Scoring Rules for Indirect Elicitation of Properties with Parametric Assumptions
arxiv.orgยท1d
๐Ÿ‘‘Coq Tactics
How much slower is random access, really?
samestep.comยท2dยท
Discuss: Hacker News
๐Ÿ“ผTape Encoding
Scales as Multipermutations of 0 and 1 into Twelve Places
petecorey.comยท5hยท
Discuss: Lobsters
๐ŸŽผAudio Lambda Calculus
Is SPL more difficult or easier than SQL?
github.comยท15hยท
Discuss: Hacker News
โ›๏ธSQL Archaeology
Using Wavelets and Clustering to Predict Odd or Even Numbers: An Overengineered Approach with Pretty (But Confusing) Plots
dev.toยท9hยท
Discuss: DEV
๐Ÿง Machine Learning
Learning-aided Bigraph Matching Approach to Multi-Crew Restoration of Damaged Power Networks Coupled with Road Transportation Networks
arxiv.orgยท19h
๐Ÿ•ธ๏ธGraph Algorithms
Show HN: Towards agentic Graph RAG: Enhancing graph retrieval with vector search
blog.kuzudb.comยท2hยท
Discuss: Hacker News
๐Ÿ“ŠGraph Databases
Plan for Speed -- Dilated Scheduling for Masked Diffusion Language Models
arxiv.orgยท19h
๐Ÿ’ปLocal LLMs
Fully lifted \emph{blirp} interpolation -- a large deviation view
arxiv.orgยท19h
๐ŸŒ€Fractal Compression