A Short Introduction to Categorical Logic
youtube.com·11h
⚔️Lean Theorem
Flag this post
Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·1h
λLambda Formalization
Flag this post
Issue 496
haskellweekly.news·2h
🔗Functional Compilers
Flag this post
De Bruijn Numerals
λLambda Encodings
Flag this post
TOPol: Capturing and Explaining Multidimensional Semantic Polarity Fields and Vectors
arxiv.org·10h
🧮Vector Embeddings
Flag this post
“Fixing” the Definitions of Philosophical Terms
dailynous.com·21h
🏛️Philosophy
Flag this post
Everything About Transformers
krupadave.com·9h
📝Text Parsing
Flag this post
Friday 21 November - 11am
informatics.ed.ac.uk·4h
💻Programming languages
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
🦀Rust Borrowing
Flag this post
Parsing: How Ruby Understands Your Code
patshaughnessy.net·3d
📝Concrete Syntax
Flag this post
My Wishlist for PHP in 2026
📝Concrete Syntax
Flag this post
Preparing for an unusually busy period
acdalal.wordpress.com·2h
🔩Systems Programming
Flag this post
Grammarly Isn’t Going Anywhere
lifehacker.com·22h
⚡Proof Automation
Flag this post
Introduction to Art
📐Mathematical Art
Flag this post
Abstand und ausbau
languagelog.ldc.upenn.edu·1d
📼Cassette Linguistics
Flag this post
Three Realisms and The Idea of Sheaves
youtube.com·2h
🧮Theoretical Computer Science
Flag this post
Tracking an evolving Discord-based RAT family
reversinglabs.com·23h
🦠Malware Analysis
Flag this post
Loading...Loading more...