🐿️ 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 directed two-mode network approach to desirability on a mobile dating app
journals.plos.org·1d·
Discuss: Hacker News
🧮Programming Language Theory
Books read in 2024
faingezicht.com·1d
🧮Programming Language Theory
MLS: The Naked King of End-to-End Encryption
poberezkin.com·6h·
Discuss: Hacker News
🔐Cryptography
Fabricated data in posts.xml for multiple/all data dumps
meta.stackexchange.com·2h·
Discuss: Hacker News
🧫Cellular Automata
Allow me to introduce the two-sentence journal
alexanderbjoy.com·1d·
Discuss: Hacker News
📊Information Theory
What's the strongest AI model you can train on a laptop in five minutes?
seangoedecke.com·1d·
Discuss: Hacker News
🔗Parser Combinators
Application of association rule mining to assess forest species distribution in Italy considering abiotic and biotic factors
arxiv.org·23h
🕸️Graph Theory
Model-Agnostic Sentiment Distribution Stability Analysis for Robust LLM-Generated Texts Detection
arxiv.org·23h
🎲Probabilistic Programming
Motivated Reasoning as Bias
lesswrong.com·1d
⚖️Logic Programming
Chain of Thought Still Thinks Fast: APriCoT Helps with Thinking Slow
arxiv.org·23h
🎲Probabilistic Programming
RefPerSys inference engine project
github.com·2d·
Discuss: DEV
🧭SMT Solvers
MuaLLM: A Multimodal Large Language Model Agent for Circuit Design Assistance with Hybrid Contextual Retrieval-Augmented Generation
arxiv.org·23h
🧭SMT Solvers
Superfast Low Rank Approximation
arxiv.org·23h
🎲Probabilistic Programming
JavaScript’s handleEvent: The Memory-Efficient Alternative to .bind(this)
dev.to·12h·
Discuss: DEV
📦WebAssembly
Lightning Prediction under Uncertainty: DeepLight with Hazy Loss
arxiv.org·23h
🎲Probabilistic Programming
LLM-based Agents for Automated Confounder Discovery and Subgroup Analysis in Causal Inference
arxiv.org·23h
🎲Probabilistic Programming
A Moral Agency Framework for Legitimate Integration of AI in Bureaucracies
arxiv.org·23h
⚖Algorithmic Game Theory
Enhanced Atomic Force Microscopy for Nanoscale Material Property Mapping via Deep Learning
dev.to·2d·
Discuss: DEV
🕸️Graph Theory
An Encryption Algorithm
dev.to·2d·
Discuss: DEV
🔐Cryptography
MedReasoner: Reinforcement Learning Drives Reasoning Grounding from Clinical Thought to Pixel-Level Precision
arxiv.org·23h
🎲Probabilistic Programming
Loading...Loading more...
AboutBlogChangelogRoadmap