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

From sharing to changing: the participatory governance model of Wikimedia Brasil’s strategy
diff.wikimedia.org·12m
🏛️PREMIS
Flag this post
Harriette Cole: My co-worker complains that I make everyone’s job harder
mercurynews.com·3h
🚨Incident Response
Flag this post
Touchy Subject is Available
mikecoats.com·23h
⌨️Mechanical Keyboards
Flag this post
Circular Sorting
anuragbishnoi.wordpress.com·2d
📐Interval Arithmetic
Flag this post
Gated DeltaNet (Linear Attention variant in Qwen3-Next and Kimi Linear)
sebastianraschka.com·4d·
🤖Grammar Induction
Flag this post
I'm not married and don't have children. I still have a will specifying where my money should go.
businessinsider.com·3h
🏠Personal Archives
Flag this post
Humans and neural networks show similar patterns of transfer and interference
nature.com·2d·
Discuss: Hacker News
🧠Machine Learning
Flag this post
LLKV: Rust, SQL, Apache Arrow, and zero-copy KV Storage
github.com·1d·
Discuss: Hacker News
🗃️Database Storage
Flag this post
Show HN: Tool2agent – a protocol for LLM tool feedback workflows
github.com·14h·
Discuss: Hacker News
🔒WASM Capabilities
Flag this post
Investigating Robot Control Policy Learning for Autonomous X-ray-guided Spine Procedures
arxiv.org·8h
🌀Differential Geometry
Flag this post
Building Trust in Virtual Immunohistochemistry: Automated Assessment of Image Quality
arxiv.org·8h
📄Document Digitization
Flag this post
A Dynamic Recurrent Adjacency Memory Network for Mixed-Generation Power System Stability Forecasting
arxiv.org·8h
📐Linear Algebra
Flag this post
Why Logic Isn't as Objective as You Think
dev.to·2d·
Discuss: DEV
⚙️Proof Engineering
Flag this post
AI That Shows Its Work: The Transparent Revolution of PALs
dev.to·1d·
Discuss: DEV
Automated Theorem Proving
Flag this post
Unlock Dual Revenue: How to Monetize Your LLM Apps with AI Conversations
dev.to·3h·
Discuss: DEV
🤖AI Curation
Flag this post
SurgAnt-ViVQA: Learning to Anticipate Surgical Events through GRU-Driven Temporal Cross-Attention
arxiv.org·1d
🧠Machine Learning
Flag this post
Python + ClojureScript: Pyodide Integration with Scittle
clojurecivitas.github.io·2d·
Discuss: Hacker News
🧠Lisp Dialects
Flag this post