Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·2d
🧮Lambda Calculus
Flag this post
Weak-To-Strong Generalization
lesswrong.com·7h
🔤Kleene Algebra
Flag this post
Principles of Epistemology (2025, essay)
alexpeek.org·11h·
Discuss: Hacker News
🏔️Domain Theory
Flag this post
Kimi Linear: An Expressive, Efficient Attention Architecture
arxiviq.substack.com·11h·
Discuss: Substack
🧩Parser Combinators
Flag this post
Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·2d
λFunctional Programming
Flag this post
My first fifteen compilers (2019)
blog.sigplan.org·1d·
Discuss: Hacker News
⚙️Compiler Design
Flag this post
Making Sense of Lambda Calculus 6: Recurring Problems
aartaka.me·3d·
Discuss: r/javascript, r/programming
🧮Lambda Calculus
Flag this post
AI as Mathematical Muse: Unlocking the Universe's Secrets Together
dev.to·12h·
Discuss: DEV
🔢Computability Theory
Flag this post
A functional programming course in 6 books
ericnormand.substack.com·3d·
Discuss: Substack
λFunctional Programming
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.org·2d·
Discuss: Hacker News
🔀OCaml Multicore
Flag this post
Graph RAG vs SQL RAG
towardsdatascience.com·19h
🧠Automated Reasoning
Flag this post
Intervaltree with Rust Back End
github.com·2h·
Discuss: Hacker News
🏗️Dune
Flag this post
Best Digital Marketing Institute in Allahabad – Ndmit Prayagraj
ndmit.com·3h·
Discuss: Hacker News
📐Linear Algebra
Flag this post
Magisterium
isaacbowen.com·1d·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
De Bruijn Numerals
text.marvinborner.de·2d·
Discuss: Hacker News
🧮Lambda Calculus
Flag this post
From hours to seconds: AI tools to detect animal calls
seangoedecke.com·3h·
Discuss: Hacker News
📚Automata Learning
Flag this post
The Python Coding Stack: And Now You Know Your ABC
thepythoncodingstack.com·21h
🔬Static Analysis
Flag this post
Convex Optimization (or Mathematical Programming) in Go
reddit.com·17h·
Discuss: r/golang
🧮SMT Solvers
Flag this post
Text-Mode Games as First Haskell Projects
jackkelly.name·2d·
Discuss: Hacker News
🔠Type-Level Programming
Flag this post
Ontogeny Recapitulates Phylogeny: Ernst Haeckel's Theory
brighthubeducation.com·1d·
Discuss: Hacker News
🔁Fixpoint Theory
Flag this post