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
Semantic search with embeddings in PHP: a hands-on guide using Neuron AI and Ollama
ollama.com·11m·
Discuss: DEV
📚Factor
Flag this post
A functional programming course in 6 books
ericnormand.substack.com·3d·
Discuss: Substack
⚡functional programming
Flag this post
Indexers in C# — Making Your Classes Feel Like Arrays
dev.to·43m·
Discuss: DEV
🗂️Type Indexing
Flag this post
De Bruijn Numerals
text.marvinborner.de·2d·
Discuss: Hacker News
λ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
Your Transformer is Secretly an EOT Solver
elonlit.com·1d·
Discuss: Hacker News
🪜Recursive Descent
Flag this post
[D] Best (free) courses on neural networks
reddit.com·6h·
Discuss: r/MachineLearning
🌱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
pballew.blogspot.com·16h·
Discuss: www.blogger.com
🔗Concatenative Theory
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.com·2d
⚖️Inference Rules
Flag this post
Ontogeny Recapitulates Phylogeny: Ernst Haeckel's Theory
brighthubeducation.com·17h·
Discuss: Hacker News
🔗Concatenative Theory
Flag this post
Magisterium
isaacbowen.com·1d·
Discuss: Hacker News
💫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
Automated Scientific Literature Validation via Hyperdimensional Semantic Analysis
dev.to·14h·
Discuss: DEV
🔤String Algorithms
Flag this post