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

Warning, Tacit Assumptions May Derail PKM Conversations
zylstra.org·15h
🧠Knowledge Management
Flag this post
Detecting XZ in Debian with Otto Kekäläinen
opensourcesecurity.io·4h
❄️Nixpkgs
Flag this post
Friday 21 November - 11am
informatics.ed.ac.uk·3d
💻Programming languages
Flag this post
Practical Steps Towards Vibe Writing with AI Positron
blog.oxygenxml.com·16h
🔄Language Evolution
Flag this post
When fintech startups outgrow their own controls, Linqto's collapse as a warning
capitalfolly.com·1h·
Discuss: Hacker News
Format Verification
Flag this post
Speedrunning an RL Environment
sidb.in·1d·
Discuss: Hacker News
⚔️Lean Tactics
Flag this post
When execution gets easy, taste gets harder
antonsten.com·12h·
Discuss: Hacker News
🎨Nordic Design
Flag this post
GHC: From Bug to Merge
neilmitchell.blogspot.com·4d·
Discuss: Hacker News
🔤Type Theory
Flag this post
[R] TempoPFN: Synthetic Pretraining of Linear RNNs for Zero-Shot Timeseries Forecasting
reddit.com·18h·
📈Time Series
Flag this post
[D] AAAI 26 Decisions (Main Technical Track)
reddit.com·10h·
📋PREMIS Events
Flag this post
MobileNetV3 Paper Walkthrough: The Tiny Giant Getting Even Smarter
towardsdatascience.com·15h
Information Bottleneck
Flag this post
Enhanced Slater Determinant Calculation via Hybrid Tensor Decomposition & Adaptive Mesh Refinement
dev.to·4h·
Discuss: DEV
🕸️Tensor Networks
Flag this post
🧠 Soft Architecture (Part B): Emotional Timers and the Code of Care (Part 5 of the SaijinOS series)
dev.to·1d·
Discuss: DEV
🇯🇵Japanese Computing
Flag this post
Unlocking AI Potential: Squeezing Giant Models into Tiny Spaces
dev.to·5h·
Discuss: DEV
📊Quantization
Flag this post
GHC Developer Blog: GHC 9.14.1-rc1 is now available
haskell.org·4d
🔗Functional Compilers
Flag this post
Algorithmic Constraints on Multiverse Exploration via Compactified Topological Spaces
dev.to·1d·
Discuss: DEV
🌀Differential Geometry
Flag this post
Learning to Learn: The Real Skill of a Developer
dev.to·13h·
Discuss: DEV
🤖Grammar Induction
Flag this post
Tech With Tim: Learn Fast API With This ONE Project
dev.to·8h·
Discuss: DEV
🎬WebCodecs
Flag this post
Don't Let It Fade: Preserving Edits in Diffusion Language Models via Token Timestep Allocation
arxiv.org·3d
🎯Gradual Typing
Flag this post
AI writes pretty good code these days and it doesn't really matter
dev.to·6h·
Discuss: DEV
🔄Language Evolution
Flag this post