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

The key to understanding “Dynamic Programming” is that it’s not referring to “computer programming”
vidarholen.net·6h·
Discuss: Hacker News
💻Programming languages
Dollars per token considered harmful
modal.com·16h·
Discuss: Hacker News
💻Local LLMs
Machine Learning Fundamentals: dimensionality reduction example
dev.to·12h·
Discuss: DEV
📐Vector Dimensionality
Xiangqi-R1: Enhancing Spatial Strategic Reasoning in LLMs for Chinese Chess via Reinforcement Learning
arxiv.org·27m
🔲Cellular Automata
A Bayesian Incentive Mechanism for Poison-Resilient Federated Learning
arxiv.org·27m
🤐Secure Multiparty
MediaMind AI - Intelligent Content Discovery Platform with Algolia MCP Server
dev.to·13h·
Discuss: DEV
🧭Content Discovery
On One-Shot Signatures, Quantum vs Classical Binding, and Obfuscating Permutations
arxiv.org·27m
🔐Quantum Security
Vertex-Guided Redundant Constraints Identification for Unit Commitment
arxiv.org·2d
📈Linear programming
AI Wizards at CheckThat! 2025: Enhancing Transformer-Based Embeddings with Sentiment for Subjectivity Detection in News Articles
arxiv.org·27m
🔍Information Retrieval
C-FBI: A Combinatorial method using Convolutions for Circle Fitting in Blurry Images
arxiv.org·1d
🌀Fractal Compression
CompassJudger-2: Towards Generalist Judge Model via Verifiable Rewards
arxiv.org·2d
📊Learned Metrics
The Future of AI Agent Communication with ACP
towardsdatascience.com·1d
🔌Interface Evolution
Iterative Augmentation with Summarization Refinement (IASR) Evaluation for Unstructured Survey data Modeling and Analysis
arxiv.org·27m
⚙️Compression Benchmarking
ShopSmart AI - Revolutionary E-commerce Search with Algolia MCP Server
dev.to·13h·
Discuss: DEV
👤Search Personalization
Multiplicative Modular Nim (MuM)
arxiv.org·2d
🎞️Tape Combinatorics
Class-Proportional Coreset Selection for Difficulty-Separable Data
arxiv.org·1d
🧠Machine Learning
Agent Memory with Spring AI & Redis
dev.to·8h·
Discuss: DEV
⚡Redis Internals
Web-Browsing LLMs Can Access Social Media Profiles and Infer User Demographics
arxiv.org·27m
⚖️Feed Ranking
AI for Explosive Ordnance Detection in Clearance Operations: The State of Research
arxiv.org·27m
🎯Threat Hunting
On the Complexity of the Optimal Correlated Equilibria in Extensive-Form Games
arxiv.org·1d
🔲Cellular Automata
Loading...Loading more...
AboutBlogChangelogRoadmap