🔀 Category Theory

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

Everything’s Coming Up L.A.
rollingstone.com·14h
🎯Content Recommendation
Flag this post
Exit Memes Proposals
naiveweekly.com·2d
📡RSS Readers
Flag this post
Discovery of Late Intermediates in Methylenomycin Biosynthesis Active
pubs.acs.org·9h·
Discuss: Hacker News
🧮Theorem Proving
Flag this post
0055: consulting, sql needed structure, slow forum, on the line, out of thin air, papers, other stuff
scattered-thoughts.net·3d
🦀Rust Macros
Flag this post
Cast(x AS STRING) casts to integer in SQLite
lalitm.com·23h·
Discuss: Lobsters, Hacker News
💾SQLite
Flag this post
Pose Animator – An open source tool to animate SVG characters via motion capture
blog.tensorflow.org·1h·
Discuss: Hacker News
📟Terminal Physics
Flag this post
You Shouldn't Use ORMs
diploi.com·1h·
Discuss: Hacker News
⛏️SQL Archaeology
Flag this post
Show HN: Claude Code disrupted programming. Bringing that power to office worker
blog.gbase.ai·1d·
Discuss: Hacker News
🤖Archive Automation
Flag this post
Roadmap for Improving the Type Checker
forums.swift.org·4d·
Discuss: Lobsters, Hacker News
💧Liquid Types
Flag this post
Interview with the lead author of REFRAG (Meta)
news.ycombinator.com·22h·
Discuss: Hacker News
🌊Streaming Systems
Flag this post
AI Summarization Optimization
schneier.com·1d·
Discuss: Hacker News
📊Feed Optimization
Flag this post
Generation at the Speed of Thought: Speculative Decoding
bittere.substack.com·2d·
Discuss: Substack
🚀SIMD Text Processing
Flag this post
The Cargo Cult in the Machine: Why LLMs Are the Ultimate Imitators
steviee.medium.com·2d·
Discuss: Hacker News
🎯Gradual Typing
Flag this post
A Refreshing Philosophy of Software Design [Book Review]
theaxolot.wordpress.com·4d·
Discuss: Hacker News, r/programming
🦀Rust Macros
Flag this post
🚀 Modular vs Monolithic Blockchain Explained (L1, L2, Web3 Future in Simple Hindi)
dev.to·1d·
Discuss: DEV
🔗Hash Chains
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.to·7h·
Discuss: DEV
🌳Trie Structures
Flag this post
How Did I Build a .NET Application Using ChatGPT?
dev.to·1h·
Discuss: DEV
⚡Proof Automation
Flag this post
AI and Emotional Design: Creating Meaningful Connections Through Intelligent Aesthetics
dev.to·1d·
Discuss: DEV
🌍Cultural Algorithms
Flag this post
Automated Defect Prediction via Cross-Entropy Regularized Graph Neural Networks for Microservice Architectures
dev.to·12h·
Discuss: DEV
🔗Topological Sorting
Flag this post
Novelty and Impact of Economics Papers
arxiv.org·9h
📡Information theory
Flag this post