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

2.782J Design of Medical Devices and Implants (MIT 2025)
ocw.mit.edu·1d·
Discuss: Hacker News
🤝Protocol Design
Rejecting Modernity
adustyfuture.org·13h·
Discuss: r/InternetIsBeautiful
🏗️Software Architecture
Daily+tips
dailytips247.com·5h·
Discuss: Hacker News
🧮Programming Language Theory
We’re Not So Special: A new book challenges human exceptionalism
democracyjournal.org·14h·
Discuss: Hacker News
🧮Programming Language Theory
Holidays Lesson Plan Vocabulary
reddit.com·1d·
Discuss: r/writingthruit
🧮Programming Language Theory
Many Are Focused on the Wrong Questions When It Comes to AI
aclu.org·20h·
Discuss: Hacker News
🤖Sci-Fi
AI And Agency Again: Hidden Dangers And Open Failures
3quarksdaily.com·1d
🤖Sci-Fi
The Single Most Critical Factor for Enterprise AI? It’s Not the Model
cionews.com·9h·
Discuss: DEV
🤖Sci-Fi
A dataset of primary nasopharyngeal carcinoma MRI with multi-modalities segmentation
nature.com·9h
🎲Probabilistic Programming
🤯 Tricky Java Interview Questions Explained with Analogies
dev.to·12h·
Discuss: DEV
🧭SMT Solvers
Deep Dive: I dug and dug and finally found out how the Context7 MCP works under-the-hood
reddit.com·23h·
Discuss: r/ClaudeAI
🤝Protocol Design
Cut LLM API Costs with Smart Caching
github.com·1d·
Discuss: r/LLM, r/typescript
📦WebAssembly
Mask and Restore: Blind Backdoor Defense at Test Time with Masked Autoencoder
arxiv.org·12h
🔐Cryptography
TAI #166: The GenAI Paradox: Superhuman Models but Mixed Success with Enterprise AI Developments
pub.towardsai.net·1d
🎲Probabilistic Programming
Agent foundations: not really math, not really science
lesswrong.com·3d
⚖Algorithmic Game Theory
How Causal Abstraction Underpins Computational Explanation
arxiv.org·2d
🧮Programming Language Theory
Serverless AI: Qwen3 Embeddings with Cloud Run
dev.to·6h·
Discuss: DEV
🎲Probabilistic Programming
EV OTA: How Merkle Trees Shrink Firmware Downloads by 95% (with Rust PoC)
dev.to·1d·
Discuss: DEV
🛡️IoT Security
DeCoT: Decomposing Complex Instructions for Enhanced Text-to-Image Generation with Large Language Models
arxiv.org·1d
🔧Compiler Design
Elegant Middleware Architecture Implementation(6302)
dev.to·2d·
Discuss: DEV
🦀Rust
Loading...Loading more...
AboutBlogChangelogRoadmap