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

Belief and facts
arkansasonline.com·1d
🔄Category Theory
Cache Me If You Can (2017)
queue.acm.org·2d·
Discuss: Hacker News
🌍Distributed Systems
Developing a Custom Query Language with ANTLR and Elasticsearch
blog.scottlogic.com·1d
🔗Parser Combinators
AI Agentic Programming: A Survey of Techniques, Challenges, and Opportunities
blog.raymond.burkholder.net·3d
🎲Probabilistic Programming
Spiral-Bench: A new benchmark measuring LLM sycophancy and delusion
eqbench.com·3d·
Discuss: Hacker News
🤖Sci-Fi
A conserved mechanism for the retrieval of polyubiquitinated proteins from cilia
sciencedirect.com·12m
📦WebAssembly
ん, and?
dev.to·1d·
Discuss: DEV
✅Formal Verification
Do model evaluations fall prey to the Good(er) Regulator Theorem?
lesswrong.com·2d
🎲Probabilistic Programming
Author Correction: Warning of a forthcoming collapse of the Atlantic meridional overturning circulation
nature.com·4h
🎲Probabilistic Programming
From Sound to Meaning: A Deep Meaning Comprehension by DeepSeek
medium.com·1d·
Discuss: Hacker News
🧮Programming Language Theory
Towards a general diffusion-based information quality assessment model
arxiv.org·1d
🕸️Graph Theory
Nonparametric learning of stochastic differential equations from sparse and noisy data
arxiv.org·3d
🎲Probabilistic Programming
Contextual Attention-Based Multimodal Fusion of LLM and CNN for Sentiment Analysis
arxiv.org·1d
🔗Parser Combinators
Why AI Agent Evaluation Is Suddenly Everyone’s Priority
dev.to·4h·
Discuss: DEV
🎲Probabilistic Programming
Automated Metadata Enrichment for Long-Tail Digital Archives via Knowledge Graph Fusion and Semantic Reasoning
dev.to·3d·
Discuss: DEV
🔗Parser Combinators
Want 2027 All-Star Game tickets at Wrigley Field? The Cubs have a plan for that
nytimes.com·2h
🧫Cellular Automata
Why Every Politician Thinks They’re Right (and Why That’s a Disaster)
lesswrong.com·3d
🧫Cellular Automata
Script-Strategy Aligned Generation: Aligning LLMs with Expert-Crafted Dialogue Scripts and Therapeutic Strategies for Psychotherapy
arxiv.org·1d
🔧Compiler Design
HeteroRAG: A Heterogeneous Retrieval-Augmented Generation Framework for Medical Vision Language Tasks
arxiv.org·2d
🎲Probabilistic Programming
EmoSLLM: Parameter-Efficient Adaptation of LLMs for Speech Emotion Recognition
arxiv.org·13h
🔧Compiler Design
Loading...Loading more...
AboutBlogChangelogRoadmap