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

Lexica, Daily SMS Vocabulary
lexica.io·1d·
Discuss: Hacker News
🧮Programming Language Theory
CSF lipoprotein-mediated cholesterol delivery to neurons impaired in Alzheimer's
jlr.org·1d·
Discuss: Hacker News
🧫Cellular Automata
Wazuh 4.10.3
packetstorm.news·1d
🤝Protocol Design
Availability Models
thecoder.cafe·1d
🌍Distributed Systems
William Blake’s painting The Ghost of a Flea speaks to processing childhood trauma
theconversation.com·1d
🧮Programming Language Theory
Train a GPT2 model with JAX on TPU for free
developers.googleblog.com·1d
🔗Parser Combinators
EvoCut: Strengthening Integer Programs via Evolution-Guided Language Models
arxiv.org·2d
🧭SMT Solvers
Breaking Reward Collapse: Adaptive Reinforcement for Open-ended Medical Reasoning with Enhanced Semantic Discrimination
arxiv.org·2d
🎲Probabilistic Programming
Quantifying Loss Aversion in Cyber Adversaries via LLM Analysis
arxiv.org·1d
🧮Programming Language Theory
6 ChatGPT Prompts Every Software Developer Should Know
dev.to·2d·
Discuss: DEV
🧩Theorem Proving
Adaptive Navigation & Accessibility in Procedural Metaverse Environments via Reinforcement Learning
dev.to·11h·
Discuss: DEV
🎲Probabilistic Programming
AI Needs Us—Yes, Really
every.to·22h
🧩Theorem Proving
Enhanced Sweetener Design via Hybrid Molecular Dynamics & Bayesian Optimization
dev.to·1d·
Discuss: DEV
🎲Probabilistic Programming
MATA (m\=ata): Mindful Assessment of the Telugu Abilities of Large Language Models
arxiv.org·1d
🔗Parser Combinators
My AI Had Already Fixed the Code Before I Saw It
every.to·22h
🧩Theorem Proving
We built something kinda crazy: open-source Al eval toolkit for LLMs feedback wanted!
reddit.com·3h·
Discuss: r/opensource
🔧Compiler Design
DevLog 20250820: Towards Unified Chat Gateway
dev.to·11h·
Discuss: DEV
🔗Parser Combinators
Leveraging Large Language Models for Predictive Analysis of Human Misery
arxiv.org·2d
🎲Probabilistic Programming
Discovery of a widespread chemical signalling pathway in the Bacteroidota
nature.com·15h
🧫Cellular Automata
MoNaCo: More Natural and Complex Questions for Reasoning Across Dozens of Documents
arxiv.org·3d
🧭SMT Solvers
Loading...Loading more...
AboutBlogChangelogRoadmap