Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·1d
🎯Type Theory
Flag this post
A Short Introduction to Categorical Logic
youtube.com·2d
⚖️Inference Rules
Flag this post
Jordan triple system
ncatlab.org·22h
🔶Lattice Theory
Flag this post
De Bruijn Numerals
λLambda Calculus
Flag this post
Variance-reduced estimation of Third-order statistics using control variates with splitting
sciencedirect.com·1h
⚡Partial Evaluation
Flag this post
[D] Best (free) courses on neural networks
🌱Minimal ML
Flag this post
Double categories for adaptive quantum computation
arxiv.org·1d
🎯Type Theory
Flag this post
Scala vs F#
alexn.org·15h
🔧Nickel
Flag this post
Grizzlies suspend Ja Morant for one game after apparent criticism of coaches
nytimes.com·12h
📚Factor
Flag this post
#28 Cumulative / Accumulate...History and Etymology of Math Terms
🔗Concatenative Theory
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.com·2d
⚖️Inference Rules
Flag this post
Magisterium
💫Effect Systems
Flag this post
Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·2d
🔗Go Generics
Flag this post
Linkage
11011110.github.io·22h
🪢Rope Data Structures
Flag this post
Loading...Loading more...