Patching functions together
johndcook.comยท4h
๐Ÿ“Mathematical Art
Kumo Surfaces Structured Data Patterns Generative AI Misses
thenewstack.ioยท5h
๐Ÿ“ŠGraph Databases
Cactus Language โ€ข Syntax 12
inquiryintoinquiry.comยท3h
๐Ÿ“Concrete Syntax
Counting with Categories (Part 3)
golem.ph.utexas.eduยท1d
ฮปLambda Formalization
Problem-solving is fundamental to human nature
freethink.comยท1h
๐Ÿ”ฒCellular Automata
Scales as Multipermutations of 0 and 1 into Twelve Places
petecorey.comยท1hยท
Discuss: Lobsters
๐ŸŽผAudio Lambda Calculus
Passagemath project marks new era for open-source math software
appliedmath.ucdavis.eduยท1dยท
Discuss: Hacker News
๐Ÿ“ŠAPL Heritage
OMEGA: Can LLMs Reason Outside the Box in Math? Evaluating Exploratory, Compositional, and Transformative Generalization
arxiv.orgยท1dยท
Discuss: Hacker News
๐ŸงฎKolmogorov Complexity
The Product Topology, or, How Not to Stumble into the Box Topology
relatedwork.blogspot.comยท2dยท
Discuss: relatedwork.blogspot.com
๐Ÿ—๏ธConstructive Mathematics
Google Cache Is Gone, I Like This Way Better: How to View Archived Websites
pcmag.comยท6hยท
Discuss: Hacker News
๐ŸŒWeb Archiving
Deep Dive into Databend UDF, implementing your data solutions with Python, WASM
databend.comยท5hยท
Discuss: Hacker News
๐Ÿ“‹DFDL
The Interactive Handbook on Data Structures and Algorithms
cartesian.appยท1dยท
Discuss: Lobsters, Hacker News, Hacker News
๐ŸŒณTrie Structures
Floating-Point Data Transformation for Lossless Compression
arxiv.orgยท1d
๐ŸŒŠStreaming Compression
Video Compression for Spatiotemporal Earth System Data
arxiv.orgยท15h
๐Ÿ“ŠRate-Distortion Theory
Toward Decision-Oriented Prognostics: An Integrated Estimate-Optimize Framework for Predictive Maintenance
arxiv.orgยท15h
๐ŸŒก๏ธPreservation Entropy
Kafka Fundamentals: kafka retention.ms
dev.toยท9hยท
Discuss: DEV
๐ŸŒŠStreaming Systems
Why physicists think geometry is the path to a theory of everything
newscientist.comยท2d
๐Ÿ“Mathematical Art
Solving LinkedIn Queens Using Haskell
imiron.ioยท1dยท
Discuss: Lobsters, Hacker News, r/programming
ฮปLambda Formalization
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.orgยท1d
๐ŸŽฏPerformance Proofs
Finetuning a Weather Foundation Model with Lightweight Decoders for Unseen Physical Processes
arxiv.orgยท15h
๐Ÿ”Type Inference