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

A Multi-Agent Reinforcement Learning (MARL) Framework for Designing an Optimal State-Specific Hybrid Maintenance Policy for a Series <em>k</em>-out-of-<em>n</em...
sciencedirect.com·11h
🎲Probabilistic Programming
A Freelancer's Guide to Effortless AI-Powered Time Management
flowping.app·12h·
Discuss: Hacker News
🧩Theorem Proving
We raised $7.3M to build an open-source stack for industrial-grade LLM apps
tensorzero.com·1d·
Discuss: Hacker News
🔧Compiler Design
Day1: SQL
dev.to·15h·
Discuss: DEV
🗄️Database Theory
How To Tame Alert Fatigue With Time Series Databases
thenewstack.io·1d
🗄️Database Theory
Tell HN: The case for CRUD apps in the age of AI
news.ycombinator.com·15h·
Discuss: Hacker News
🧮Programming Language Theory
iri、ABEMA恋愛リアリティーショー『Girl or Lady Season2』主題歌「CUBE」MVプレミア公開決定
news.jp·2h
🧫Cellular Automata
Sergei Lavrov claims #Russia must "protect Russian-speaking people" in #Ukraine. It sounds deceptively logical to those unfamiliar with the region. As someone w...
threadreaderapp.com·11h
🧫Cellular Automata
Designing Scalable SQLite Schemas for Python Apps
dev.to·12h·
Discuss: DEV
🗄️Database Theory
Unveiling the Magic of Hash Tables: Your Ultimate Guide to Efficient Data Lookup PT. 2
dev.to·1d·
Discuss: DEV
⚙Functional Programming
Group Fairness Meets the Black Box: Enabling Fair Algorithms on Closed LLMs via Post-Processing
arxiv.org·2d
🔗Parser Combinators
Emotionally Adaptive Generative Art: A Bayesian Optimization Framework
dev.to·10h·
Discuss: DEV
🎲Probabilistic Programming
The AI-Fraud Diamond: A Novel Lens for Auditing Algorithmic Deception
arxiv.org·2h
⚖Algorithmic Game Theory
A One-Class Explainable AI Framework for Identification of Non-Stationary Concurrent False Data Injections in Nuclear Reactor Signals
arxiv.org·1d
🎲Probabilistic Programming
MedSAMix: A Training-Free Model Merging Approach for Medical Image Segmentation
arxiv.org·2d
🎲Probabilistic Programming
ADMIRE-BayesOpt: Accelerated Data MIxture RE-weighting for Language Models with Bayesian Optimization
arxiv.org·2d
🎲Probabilistic Programming
UAV-VL-R1: Generalizing Vision-Language Models via Supervised Fine-Tuning and Multi-Stage GRPO for UAV Visual Reasoning
arxiv.org·2d
🎲Probabilistic Programming
HTTP Request Processing with Zero-Copy Optimization(8586)
dev.to·2d·
Discuss: DEV
🤝Protocol Design
-
nordot.app·1d
🧮Programming Language Theory
Beyond Solving Math Quiz: Evaluating the Ability of Large Reasoning Models to Ask for Information
arxiv.org·2d
🧭SMT Solvers
Loading...Loading more...
AboutBlogChangelogRoadmap