🐿️ 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·21h·
Discuss: Hacker News, r/selfhosted
🖥️Self-hosted Infrastructure
Tests that AIs Often Fail and Humans Ace Could Pave the Way for Artificial General Intelligence
scientificamerican.com·2h
🧠Intelligence Compression
Tactical Trust (1 of 2): Platform Crypto for Developers
tiemoko.com·1h·
Discuss: Hacker News
🌳Archive Merkle Trees
Dendritic Learning: open-source upgrade to PyTorch based on modern neuroscience
github.com·3h·
Discuss: Hacker News
🤖Grammar Induction
The Future of AI Agent Communication with ACP
towardsdatascience.com·3d
🔌Interface Evolution
Physics-Informed Linear Model (PILM): Analytical Representations and Application to Crustal Strain Rate Estimation
arxiv.org·1d
🌀Differential Geometry
Identifying Task Groupings for Multi-Task Learning Using Pointwise V-Usable Information
arxiv.org·15h
🧠Intelligence Compression
Improving Drug Identification in Overdose Death Surveillance using Large Language Models
arxiv.org·15h
🧠Machine Learning
Super Resolution for Renewable Energy Resource Data With Wind From Reanalysis Data and Application to Ukraine
arxiv.org·15h
📰RSS Archaeology
Fundamental Concepts In Cloud Computing.
dev.to·1d·
Discuss: DEV
🖥️Self-hosted Infrastructure
Multiplicative Modular Nim (MuM)
arxiv.org·3d
🎞️Tape Combinatorics
5 Essential Python Design Patterns for Scalable and Efficient Code
dev.to·3h·
Discuss: DEV
🧩WASM Components
Physically Based Neural LiDAR Resimulation
arxiv.org·15h
🔬Optical Physics
Class-Proportional Coreset Selection for Difficulty-Separable Data
arxiv.org·2d
🧠Machine Learning
Agent Memory with Spring AI & Redis
dev.to·1d·
Discuss: DEV
⚡Redis Internals
Web-Browsing LLMs Can Access Social Media Profiles and Infer User Demographics
arxiv.org·1d
⚖️Feed Ranking
Machine Learning Fundamentals: decision trees tutorial
dev.to·3d·
Discuss: DEV
🧠Machine Learning
On the Complexity of the Optimal Correlated Equilibria in Extensive-Form Games
arxiv.org·2d
🔲Cellular Automata
AI for Explosive Ordnance Detection in Clearance Operations: The State of Research
arxiv.org·1d
🎯Threat Hunting
Go seems to accomplish the Zen of Python way better than Python
reddit.com·7h·
Discuss: r/golang
💻Programming languages
Loading...Loading more...
AboutBlogChangelogRoadmap