🐿️ 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

What’s the end game for Ukraine?
arkansasonline.com·1d
🧮Programming Language Theory
Dreaming of Graphs in the Open Lakehouse
semyonsinchenko.github.io·3d·
Discuss: Hacker News
🗄️Database Theory
Quit Pleasing the Machine
prickly.oxhe.art·21h·
Discuss: Hacker News
🧮Programming Language Theory
Big Tech locks data away. Wikidata gives it back to the internet
fastcompany.com·19h
🌍Distributed Systems
Implementing Lock-free channels using pointer tagging in Databend's query engine written in Rust
databend.com·5d·
Discuss: r/rust
🧠Memory Management
Claude Finally Got Image and Video Powers! The Canva integration that gives Claude users visual superpowers (Complete guide with 50+ prompts you can use)
promptmagic.dev·2d·
Discuss: r/ClaudeAI
🧩Theorem Proving
Live updates: Senate passes first of Democrats’ revenue bills as AI negotiations continue - The Denver Post
news.google.com·12h
⚡Concurrency
For Anyone Who Has Said They Feel Depressed
psychologytoday.com·17h
🔄Category Theory
CEO Arison says no single AI model will always meet Grindr’s needs
the-decoder.com·15h
🤖Sci-Fi
Your weekly reading from Web Directions
webdirections.org·1d
🔌Network Programming
Flourishing at the End of Life
psychologytoday.com·10h
🧮Programming Language Theory
ブルース・スプリングスティーン『明日なき暴走』50周年を記念して「LONLEY NIGHT IN THE PARK」初公式リリース!
news.jp·1d
🧮Programming Language Theory
Evolution favors the ability to change subjective probabilities in MWI + Experimental test
lesswrong.com·1d
📈Complexity Theory
The Celebrity Picture Book Boom
newyorker.com·20h
🔄Category Theory
Zero-shot Context Biasing with Trie-based Decoding using Synthetic Multi-Pronunciation
arxiv.org·2h
🎲Probabilistic Programming
CrewAI Crews & Flows: The Complete Guide to AI Workflow Orchestration
dev.to·36m·
Discuss: DEV
⚡Concurrency
DeepThink3D: Enhancing Large Language Models with Programmatic Reasoning in Complex 3D Situated Reasoning Tasks
arxiv.org·4d
🔧Compiler Design
R-ConstraintBench: Evaluating LLMs on NP-Complete Scheduling
arxiv.org·4d
🧭SMT Solvers
Physics-informed neural network for fatigue life prediction of irradiated austenitic and ferritic/martensitic steels
arxiv.org·2h
🎲Probabilistic Programming
Equi-mRNA: Protein Translation Equivariant Encoding for mRNA Language Models
arxiv.org·4d
🧮Programming Language Theory
Loading...Loading more...
AboutBlogChangelogRoadmap