Math to map the world
flowingdata.com·5h
📚Archive Mathematics
Flag this post
Card Dealing Math
blog.tanyakhovanova.com·2d
🎯Arithmetic Coding Theory
Flag this post
Indexing Coffee with Notion
☕Coffee Science
Flag this post
How bugs made me believe in TDD
🔍Concolic Testing
Flag this post
Hyperloglog: Counting Without Counting
📊HyperLogLog
Flag this post
Five LLM Tricks for Data Pipelines
🔗Constraint Handling
Flag this post
ArchISMiner: A Framework for Automatic Mining of Architectural Issue-Solution Pairs from Online Developer Communities
arxiv.org·17h
⚙️Build Archaeology
Flag this post
Epistemic Deference to AI
arxiv.org·1d
🧮Theoretical Computer Science
Flag this post
The AI Tutor in Engineering Education: Design, Results, and Redesign of an Experience in Hydrology at an Argentine University
arxiv.org·17h
🤖AI Curation
Flag this post
Dependent Session Types for Verified Concurrent Programming
arxiv.org·5d
📞Session Types
Flag this post
SQL Mandelbrot Benchmark
🗃️Database Storage
Flag this post
HoSGFEM: High-order stable generalized finite element method for elliptic interface problem
arxiv.org·17h
🌀Differential Geometry
Flag this post
Education Paradigm Shift To Maintain Human Competitive Advantage Over AI
arxiv.org·17h
🔲Cellular Automata
Flag this post
Complexity Dependent Error Rates for Physics-informed Statistical Learning via the Small-ball Method
arxiv.org·17h
🧮Kolmogorov Bounds
Flag this post
Neural Networks for Chess
⚡Homebrew CPUs
Flag this post
LightAgent: Mobile Agentic Foundation Models
arxiv.org·17h
⚙️TLA+
Flag this post
Loading...Loading more...