🔀 Category Theory

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

A Short Introduction to Categorical Logic
youtube.com·4h
⚔️Lean Theorem
Flag this post
A functional programming course in 6 books
ericnormand.substack.com·22h·
Discuss: Substack
🧬Functional Programming
Flag this post
Making Sense of Lambda Calculus 6: Recurring Problems
aartaka.me·22h·
Discuss: r/javascript, r/programming
λLambda Encodings
Flag this post
TOPol: Capturing and Explaining Multidimensional Semantic Polarity Fields and Vectors
arxiv.org·4h
🧮Vector Embeddings
Flag this post
“Fixing” the Definitions of Philosophical Terms
dailynous.com·14h
🏛️Philosophy
Flag this post
Everything About Transformers
krupadave.com·2h
📝Text Parsing
Flag this post
Show HN: Deep Research Hacker News, ArXiv and Google (Without LLMs)
sturdystatistics.com·1d·
Discuss: Hacker News
🌀Brotli Internals
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
dl.acm.org·3h·
Discuss: Hacker News, r/rust
🦀Rust Borrowing
Flag this post
Parsing: How Ruby Understands Your Code
patshaughnessy.net·3d
📝Concrete Syntax
Flag this post
Grammarly Isn’t Going Anywhere
lifehacker.com·15h
⚡Proof Automation
Flag this post
Abstand und ausbau
languagelog.ldc.upenn.edu·1d
📼Cassette Linguistics
Flag this post
Tracking an evolving Discord-based RAT family
reversinglabs.com·17h
🦠Malware Analysis
Flag this post
Double Maths First Thing: Issue 3C
aperiodical.com·23h
λLambda Formalization
Flag this post
Note
hsu.cy·9h
🔍Archive Semantics
Flag this post
Why Programming Languages Are Not 'Just Tools'
bloominlabs.substack.com·17h·
Discuss: Substack
💻Programming languages
Flag this post
Convert any GitHub repo to coding puzzles
github.com·1d·
Discuss: Hacker News
⚡Proof Automation
Flag this post
Wednesday 26 November - 11am
informatics.ed.ac.uk·1d
🎵Audio ML
Flag this post
Fixing Type Hints for Callable Objects with Custom Signatures in Dagster
dev.to·1d·
Discuss: DEV
🦀Rust Verification
Flag this post
A Minimal Route to Transformer Attention
neelsomaniblog.com·8h·
Discuss: Hacker News
🧮Vector Embeddings
Flag this post
GHC: From Bug to Merge
neilmitchell.blogspot.com·10h·
Discuss: Hacker News
🔤Type Theory
Flag this post