🔀 Category Theory

Functors, Natural Transformations, Monads, Type Theory, Abstract Algebra, Monoids, Algebraic Structures, Mathematical Structures

I tried a water aerobics class for older people. At 39, I was surprised by how well I fit in.
businessinsider.com·1d
🎯Gradual Typing
Beginner needing
i.redd.it·1d·
Discuss: r/homelab
🏠HomeLab
A Letter to the Future
nytimes.com·2h
🏠Personal Archives
Study mode and spaced repetition. Feature requests, Monetization ideas?
app.polymax.ai·1d·
Discuss: Hacker News, Hacker News
🤖Grammar Induction
Sync primitives are Functionally Complete
kprotty.me·2d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
⚡Hardware Transactional Memory
Knowledge Graph achieves SOTA 94%+ accuracy on RobustQA
webai.com·20h·
Discuss: Hacker News
✅Archive Validation
Fermat's Last Theorem in Lean – Imperial College London
github.com·1d·
Discuss: Hacker News
⚔️Lean Theorem
Fintech Dystopia: Finance and Applied Statistics
fintechdystopia.com·10h·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Parallel PLL on DAGs
arxiv.org·3d
🔗Topological Sorting
Good Learners Think Their Thinking: Generative PRM Makes Large Reasoning Model More Efficient Math Learner
arxiv.org·1d
🤖Grammar Induction
Toward the Autonomous AI Doctor: Quantitative Benchmarking of an Autonomous Agentic AI Versus Board-Certified Clinicians in a Real World Setting
arxiv.org·1d
🔲Cellular Automata
Invisible Architectures of Thought: Toward a New Science of AI as Cognitive Infrastructure
arxiv.org·1d
🌍Cultural Algorithms
Why We Need to Know LR and Recursive Descent Parsing Techniques
tratt.net·2d·
Discuss: Lobsters, r/programming
🔗Parser Combinators
Cell-Free Massive MIMO SWIPT with Beyond Diagonal Reconfigurable Intelligent Surfaces
arxiv.org·1d
📡Information theory
Darwinist feminism: Dismantling the myth of female sexual passivity
english.elpais.com·8h
⚙️systems theory
A Dual-Feature Extractor Framework for Accurate Back Depth and Spine Morphology Estimation from Monocular RGB Images
arxiv.org·2d
🤖Advanced OCR
Smart Segments: Krita plugin that adds Segment Anything object selection using
github.com·2d·
Discuss: Hacker News
⟷Bidirectional Programming
Escaping AI Slop: A Design System Approach to Claude Code
raduan.xyz·49m·
Discuss: Hacker News
🦋Format Metamorphosis
A Periodic Table of System Design Principles
github.com·3d·
Discuss: Hacker News
⚙️Operating System Design
Honey Adulteration Detection using Hyperspectral Imaging and Machine Learning
arxiv.org·1d
🧠Machine Learning