🔗 Category Theory - abnv · Scour

Categorical Flow Maps

arxiv.org·1d

🗂️Type Indexing

[2602.07604] Free fibrations, lax colimits and Kan extensions for $(infty,2)$-categories

arxiv.org·3d

🎯Type Theory

MongoDB Advanced Techniques: Going Beyond the Basics

dev.to·51m·

Discuss: DEV

📊Query Optimizers

Exploring the New Features of C# 12: A Detailed Guide with Examples

learn.microsoft.com·8h·

Discuss: DEV

🔐Capability Calculus

txtbrd.com·9h·

Discuss: Hacker News

✨Code Formatting

Object permanence

doctorow.medium.com·21h

↔️Bidirectional Sync

Discovered or invented?

cameroncounts.wordpress.com·21h

🔗Concatenative Theory

"Am I the only one still wondering what is the deal with linear types?"

jonmsterling.com·1d·

Discuss: Hacker News, r/compsci

🔍ML Language

drehmflight.com·14h

⚡Partial Evaluation

Proof-oriented Programming in F*

fstar-lang.org·2d·

Discuss: Lobsters

⚡functional programming

Struggling Towards an Algebraic Theory of Music

reasonablypolymorphic.com·3d·

Discuss: Hacker News

🔗Concatenative Theory

Olmix: A framework for data mixing throughout LM development

allenai.org·14h

🌳Pattern Match Compilation

Associated prime ideals and regular elements in polynomial rings

freedommathdance.blogspot.com·15h·

Discuss: freedommathdance.blogspot.com

🔗Borrowing Extensions

Tiny Recursion Models (TRM): How Tiny Networks With Recursion Beat Large Models on Hard Puzzles

pub.towardsai.net·3h

🪜Recursive Descent

An Ontology of Representations: Limits of Universality

lesswrong.com·1d

💫Effect Systems

ta.fo·8h

💬REPL Design

Comparing 37132ea456...941cf65707

github.com·1d

🔢Algebraic Datatypes

Scientific Computing in Rust Monthly #15

scientificcomputing.rs·18h

🦀MIR Optimization

Hyperbolic Functions

mathsisfun.com·2d

datascienceweekly.substack.com·1d·

Discuss: Substack

Sign up or log in to see more results