🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🔢 Mathematical Logic

Model Theory, Proof Theory, Completeness, Decidability

The Baby Paradox in Haskell
blog.jle.im·15h·
Discuss: Lobsters, Hacker News
🧮Programming Language Theory
From Some to All The Basics of Logic in Computers
dev.to·3d·
Discuss: DEV
💭Prolog
TIL Kurt Gödel, the genius who shook mathematics, died from paranoia and self-starvation
britannica.com·17h·
Discuss: r/todayilearned
🔄Category Theory
Free Theory of Computation text
reddit.com·19h·
Discuss: r/compsci
🧮Programming Language Theory
ContextualLVLM-Agent: A Holistic Framework for Multi-Turn Visually-Grounded Dialogue and Complex Instruction Following
arxiv.org·4h
🔧Compiler Design
Simpler Category Theory
ryanbrewer.dev·1d·
Discuss: Hacker News
🔄Category Theory
Sapir-Whorf does not apply to Programming Languages
buttondown.com·19h
🧮Programming Language Theory
Modular Arithmetic in Data Science
towardsdatascience.com·3d
🧭SMT Solvers
5 Reviews You Need to Read This Week
bookmarks.reviews·22h
🧮Programming Language Theory
What is "Meaningness"
lesswrong.com·17h
🧮Programming Language Theory
What is a smooth manifold?
burttotaro.wordpress.com·9h
🔄Category Theory
🔗 37 things I learned about information retrieval in two years at a vector database company
yellowduck.be·20m
🗄️Database Theory
CRYSTALS - The Gently Introduction
dev.to·14h·
Discuss: DEV
🔐Cryptography
For which cases does AI help with classification (medical diagnosis example)?
statmodeling.stat.columbia.edu·19h
📈Complexity Theory
Christ the Eternal Tao by Hieromonk Damascene
amzn.to·4h·
Discuss: r/MeditationHub
📐Type Theory
Making Illegal States Unrepresentable in Kotlin
dev.to·17h·
Discuss: DEV
⚙Functional Programming
How to Get People Excited about Functional Programming • Russ Olsen & James Lewis • GOTO 2024
youtube.com·20h
⚙Functional Programming
Complete Dynamic Logic of Communicating Hybrid Programs
arxiv.org·3d
🧩Theorem Proving
DeepSeek’s upgraded AI model absorbs reasoning feature in agentic shift - South China Morning Post
news.google.com·21h
🧭SMT Solvers
Implementing Lock-free channels using pointer tagging in Databend's query engine written in Rust
databend.com·1d·
Discuss: r/rust
🧠Memory Management
Loading...Loading more...
AboutBlogChangelogRoadmap