๐Ÿฟ๏ธ 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

2025-26 Creative Fellowship
pplspcoll.wordpress.comยท8h
๐Ÿ“ŠInformation Theory
๐Ÿš€ Create and Sell eBooks in Minutes with GETebook.ai
getebook.aiยท1dยท
Discuss: DEV
๐ŸงฉTheorem Proving
How MCP Connects AI Models to Edge Devices
glama.aiยท14hยท
Discuss: r/LLM, r/embedded
๐Ÿ›ก๏ธIoT Security
Using LLMs to turn scripts into applications
djharper.devยท6h
๐Ÿ‘Open Source Software
Multi-Protocol Traceroute
seclists.orgยท1d
๐ŸคProtocol Design
Just going to leave this here in case anyone else wants to cover more than just the 10 commandments
reddit.comยท2hยท
Discuss: r/Teachers
๐Ÿ—๏ธSoftware Architecture
The intraoperative hemodynamic and clinical research of three direct bypasses in moyamoya disease a prospective cohort of 98 cases
nature.comยท1d
๐ŸŽฒProbabilistic Programming
I Tested How Well AI Tools Work for Journalism
cjr.orgยท16h
๐ŸŽฒProbabilistic Programming
Google SWE L4 Interview Experience: Why Are Cultural Adaptability Tests Not Scheduled?
dev.toยท18hยท
Discuss: DEV
๐Ÿ”งCompiler Design
Model Interpretability and Rationale Extraction by Input Mask Optimization
arxiv.orgยท1d
๐Ÿ”—Parser Combinators
Building a Cryptographically Secure Password Generator in C# .NET
dev.toยท1dยท
Discuss: DEV
๐ŸคProtocol Design
ONG: One-Shot NMF-based Gradient Masking for Efficient Model Sparsification
arxiv.orgยท23h
๐Ÿ”—Parser Combinators
Building DeFi Apps: Why I Switched from NEAR to Hyperliquid (And What You Should Know)
dev.toยท2hยท
Discuss: DEV
๐ŸคProtocol Design
Automated Microvascular Flow Simulation Validation via Multi-modal Anomaly Detection
dev.toยท1dยท
Discuss: DEV
๐ŸŽฒProbabilistic Programming
Beyond Solving Math Quiz: Evaluating the Ability of Large Reasoning Models to Ask for Information
arxiv.orgยท1d
๐ŸงญSMT Solvers
Evals Are All You Need: The Definitive Guide to AI Agent Evaluation for Developers
dev.toยท16hยท
Discuss: DEV
๐Ÿ”Static Analysis
-
nordot.appยท23h
๐ŸงฎProgramming Language Theory
ORBIT: An Object Property Reasoning Benchmark for Visual Inference Tasks
arxiv.orgยท1d
๐Ÿ”—Parser Combinators
Automated Artifact Evaluation Through Multi-Modal Semantic Graph Analysis and Recursive Scoring
dev.toยท3dยท
Discuss: DEV
๐Ÿ”—Parser Combinators
panglesd/slipshow v0.6.0
github.comยท1d
๐Ÿ“Lisp
Loading...Loading more...
AboutBlogChangelogRoadmap