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

New Google Colab features for higher education
blog.google·6h
🧪Data science
Tests that AIs Often Fail and Humans Ace Could Pave the Way for Artificial General Intelligence
scientificamerican.com·5h
🧠Intelligence Compression
Undone Computer Science
undonecs.org·1d·
Discuss: Hacker News, r/compsci
🌍Cultural Algorithms
Tactical Trust (1 of 2): Platform Crypto for Developers
tiemoko.com·4h·
Discuss: Hacker News
🌳Archive Merkle Trees
Dendritic Learning: open-source upgrade to PyTorch based on modern neuroscience
github.com·6h·
Discuss: Hacker News
🤖Grammar Induction
Multiplicative Modular Nim (MuM)
arxiv.org·3d
🎞️Tape Combinatorics
5 Essential Python Design Patterns for Scalable and Efficient Code
dev.to·6h·
Discuss: DEV
🧩WASM Components
Physically Based Neural LiDAR Resimulation
arxiv.org·18h
🔬Optical Physics
Class-Proportional Coreset Selection for Difficulty-Separable Data
arxiv.org·2d
🧠Machine Learning
Agent Memory with Spring AI & Redis
dev.to·2d·
Discuss: DEV
⚡Redis Internals
Web-Browsing LLMs Can Access Social Media Profiles and Infer User Demographics
arxiv.org·1d
⚖️Feed Ranking
On the Complexity of the Optimal Correlated Equilibria in Extensive-Form Games
arxiv.org·2d
🔲Cellular Automata
Machine Learning Fundamentals: decision trees tutorial
dev.to·3d·
Discuss: DEV
🧠Machine Learning
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·10h·
Discuss: r/golang
💻Programming languages
MUPAX: Multidimensional Problem Agnostic eXplainable AI
arxiv.org·18h
🧠Machine Learning
On One-Shot Signatures, Quantum vs Classical Binding, and Obfuscating Permutations
arxiv.org·1d
🔐Quantum Security
Which graph motif parameters count?
arxiv.org·1d
🔗Graph Isomorphism
MapIQ: Benchmarking Multimodal Large Language Models for Map Question Answering
arxiv.org·1d
🚀SIMD Text Processing
[D] Liquid neural networks on time series
reddit.com·7h·
Discuss: r/MachineLearning
🧠Machine Learning
Loading...Loading more...
AboutBlogChangelogRoadmap