📐 Category Theory - tomasz · Scour

Why Category Theory Matters 🔤Type Theory

piecewise-linear function in nLab 🔤Type Theory

ncatlab.org·1d

On Occurrence-Preserving Morphisms 🔤Type Theory

TreeGazer: Prospecting Protein Sequence-Function Landscapes via Phylogenetic Structure 🔢Kolmogorov Complexity

biorxiv.org·18h

Proof-reading, with a bit of help from LLMs 🧠LLM Reasoning

logicmatters.net·1d

Generalising monads to arrows (1998) 🔤Type Theory

cs.tufts.edu·5d·Lobsters

The Daily’s baseball beat predicts the Big Ten Tournament 👁️Computer Vision

michigandaily.com·4h

Best Kitchen Products Memorial Day Sale: Up to 81% off Select Philips Baristina, Bella, Elite Gourmet and more 📅Meal Planning

home.woot.com·22h

Corrigendum to “Uncertainty-aware frequency stability prediction with label-free model adaptation to grid topology changes” [Appl. Energy 413 (2026) 127737] 📊Bayesian Inference

sciencedirect.com·1d

Best Footwear Memorial Day Sale: Up to 44% Off Select Brooks and Altra Footwear 👔Business Casual

sport.woot.com·23h

Categorical Programming Language Tutorial 🔤Type Theory

msakai.github.io·5d·Lobsters

RT by @ylecun: This is the single most important chart. 🤝Plurality

twitter.macworks.dev

·19h

A longitudinal whole-body CT dataset with manually annotated tumor lesions 📊Bayesian Inference

Notre Dame Pro-Abortion-Rights Professor Ordered to Pay $200K in Fees in Failed Libel Lawsuit Against Student Newspaper 📰The Baffler

reason.com·19h

Alex Kroitor's Math Page 🔢NumPy

cs.mcgill.ca·5d

Understanding and building an Azure Hybrid Meshed Hub-Spoke Topology 🌐Federated Systems

techcommunity.microsoft.com·1d

Best Tech Products Memorial Day Sale: Up to 72% Off Select Apple, Echo Show, Philips and more 🤖Local LLMs

electronics.woot.com·22h

Art’s hidden topology: A window into human perception 🎭Philosophy of Representation

journals.plos.org·4d

Rust Friction: Production Reality 🏗️Build Systems

krun.pro·3d·DEV

Furuta theorem in nLab 🔤Type Theory

ncatlab.org·2d

Log in to enable infinite scrolling