🔀 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·20h
🎯Gradual Typing
Beginner needing
i.redd.it·1d·
Discuss: r/homelab
🏠HomeLab
Knowledge Graph achieves SOTA 94%+ accuracy on RobustQA
webai.com·13h·
Discuss: Hacker News
✅Archive Validation
Encoding SAT in OCaml GADTs
farlow.dev·5d·
Discuss: Hacker News
λLambda Formalization
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·3h·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Parallel PLL on DAGs
arxiv.org·3d
🔗Topological Sorting
Language Arithmetics: Towards Systematic Language Neuron Identification and Manipulation
arxiv.org·2d
💻Local LLMs
RL from Teacher-Model Refinement: Gradual Imitation Learning for Machine Translation
arxiv.org·2d
🎙️Whisper
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
Good Learners Think Their Thinking: Generative PRM Makes Large Reasoning Model More Efficient Math Learner
arxiv.org·1d
🤖Grammar Induction
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·1h
⚙️systems theory
A Periodic Table of System Design Principles
github.com·3d·
Discuss: Hacker News
⚙️Operating System Design
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
Honey Adulteration Detection using Hyperspectral Imaging and Machine Learning
arxiv.org·1d
🧠Machine Learning
SOME: Symmetric One-Hot Matching Elector -- A Lightweight Microsecond Decoder for Quantum Error Correction
arxiv.org·1d
⚛️Quantum Error Correction