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

Resolution Theorem Proving, Logic Programming, Automatic Reasoning, Satisfiability

A £3.93/mo Nomad‑backed learning lab: Next.js · .NET · Postgres on a budget
craig.banach.dev·4h·
Discuss: Hacker News, r/selfhosted
🖥️Self-hosted Infrastructure
Training a Chunker with Burn
elijahpotter.dev·1d·
Discuss: Hacker News
📝Concrete Syntax
Undone Computer Science
undonecs.org·14h·
Discuss: Hacker News
🌍Cultural Algorithms
An Epistemic and Aleatoric Decomposition of Arbitrariness to Constrain the Set of Good Models
arxiv.org·2d
🔲Proof Irrelevance
Compressed data structures for Heegaard splittings
arxiv.org·1d
🕳️Persistent Homology
Divide-Then-Rule: A Cluster-Driven Hierarchical Interpolator for Attribute-Missing Graphs
arxiv.org·1d
🕸️Neo4j
Physics-Informed Linear Model (PILM): Analytical Representations and Application to Crustal Strain Rate Estimation
arxiv.org·22h
🌀Differential Geometry
Advancing Retrieval-Augmented Generation for Structured Enterprise and Internal Data
arxiv.org·22h
🔍Information Retrieval
Can AI Rely on the Systematicity of Truth? The Challenge of Modelling Normative Domains
arxiv.org·2d
💻Programming languages
Neurosymbolic Reasoning Shortcuts under the Independence Assumption
arxiv.org·1d
📊Quantization
Sparse Autoencoders Can Capture Language-Specific Concepts Across Diverse Languages
arxiv.org·1d
💻Local LLMs
Machine Learning Fundamentals: dimensionality reduction example
dev.to·1d·
Discuss: DEV
📐Vector Dimensionality
Xiangqi-R1: Enhancing Spatial Strategic Reasoning in LLMs for Chinese Chess via Reinforcement Learning
arxiv.org·22h
🔲Cellular Automata
A Bayesian Incentive Mechanism for Poison-Resilient Federated Learning
arxiv.org·22h
🤐Secure Multiparty
The Future of AI Agent Communication with ACP
towardsdatascience.com·2d
🔌Interface Evolution
Grep a million GitHub repositories via MCP
vercel.com·13h·
Discuss: Hacker News
⚡Proof Automation
MediaMind AI - Intelligent Content Discovery Platform with Algolia MCP Server
dev.to·1d·
Discuss: DEV
🧭Content Discovery
From Equal Weights to Smart Weights: OTPO’s Approach to Better LLM Alignment
towardsdatascience.com·2d
🧮Kolmogorov Bounds
Generating Production-Ready MCP Servers
withcoherence.com·11h·
Discuss: Hacker News
🔌Interface Evolution
On One-Shot Signatures, Quantum vs Classical Binding, and Obfuscating Permutations
arxiv.org·22h
🔐Quantum Security
Loading...Loading more...
AboutBlogChangelogRoadmap