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

Sonible_primevocal_1.0.3.dmg
xmac.app·1d
🌍Distributed Systems
50% of Roger Federer is "er"
iamvishnu.com·2d
🧮Programming Language Theory
LLMs fail me on subjective questions, so I built a tool to surface real perspectives from Reddit
cogbridges.com·2d·
Discuss: r/SideProject
🔧Compiler Design
Fair Auctions, Automata Routing, and Rebalancing for Distributed Mobility‑On‑Demand Assignment
hackernoon.com·2d
⚖Algorithmic Game Theory
Facts, Arguments, Theses: Building AI Knowledge Retrieval on Meaning, Not Slices
nsavage.substack.com·5d·
Discuss: Substack
🔗Parser Combinators
AI Teams Contend With Synthetic Data’s Jekyll/Hyde Roles
cacm.acm.org·2d
🎲Probabilistic Programming
Explore the Interpretability of Embeddings
huggingface.co·5d·
Discuss: r/LLM
🧫Cellular Automata
Terms and Conditions for Walks with My Dog
mcsweeneys.net·2d
🧫Cellular Automata
Evaluating Retrieval-Augmented Generation Strategies for Large Language Models in Travel Mode Choice Prediction
arxiv.org·2d
🎲Probabilistic Programming
Between Myth and History: von Neumann on Consciousness in Quantum Mechanics
arxiv.org·3d
📊Information Theory
Demographic Biases and Gaps in the Perception of Sexism in Large Language Models
arxiv.org·2d
🎲Probabilistic Programming
Day 11: AI Analyzer Foundation Complete - Model Selection and Evidence Formatting
dev.to·2d·
Discuss: DEV
🔍Static Analysis
My First Webapp - AI written
dev.to·1d·
Discuss: DEV
🧩Theorem Proving
Cognitive Agents Powered by Large Language Models for Agile Software Project Management
arxiv.org·2d
🎲Probabilistic Programming
Human-Inspired Computing for Robust and Efficient Audio-Visual Speech Recognition
arxiv.org·13h
🎲Probabilistic Programming
Re:Frame -- Retrieving Experience From Associative Memory
arxiv.org·13h
🎲Probabilistic Programming
Building Libra: the story of creating a modern label-manufacturing website (and everything under the hood)
libra.co.za·7h·
Discuss: DEV
🤝Protocol Design
After over 6 years in my career, I'm just so tired of building out front ends. Any ways to make it easier?
reddit.com·1h·
Discuss: r/webdev
🔧Compiler Design
Behind the Magic: How AI Actually Thinks When You Ask It Something
dev.to·3d·
Discuss: DEV
🔗Parser Combinators
Real Developers, Real Results: How Additional Context Menus Transformed Daily Workflows 🌟
dev.to·1d·
Discuss: DEV
🔧Compiler Design
Loading...Loading more...
AboutBlogChangelogRoadmap