🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🔶 Cubical Type Theory

Homotopy Type Theory, Univalence, Path Types, Higher Inductive Types

The Champions League gets a hipster makeover
theguardian.com·10h
📰RSS Archaeology
Dissecting My Recent Argument (Are Error Theories Offensive?)
nakedcapitalism.com·2d
🔲Proof Irrelevance
Uncertain< T >: A First-Order Type for Uncertain Data (2014)
microsoft.com·3d·
Discuss: Hacker News
🧪Binary Fuzzing
I Vibecoded my first app
apps.apple.com·1d·
Discuss: Hacker News
🌀Brotli Dictionary
Dependency Management with Uv in Kubeflow Pipelines
fabridamicelli.github.io·12h·
Discuss: Hacker News
📦Container Security
OpenAI and Anthropic share findings from a joint safety evaluation
openai.com·8h·
Discuss: Hacker News
📏Code Metrics
OpenAI: Building the "Everything Platform" in AI
leoniscap.com·2d·
Discuss: Hacker News
🤖AI Curation
Sharing Is Scaring: Why Is Cloud File-Sharing Hard?
blog.brownplt.org·2d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
💧Liquid Types
Fox pairing
ncatlab.org·4d
🔱Galois Theory
One-shot design of functional protein binders with BindCraft
nature.com·9h
⬆️Lambda Lifting
I made a simple LAN scanner in Rust
github.com·17h·
Discuss: Hacker News
📻Homebrew Protocols
MobileDenseAttn:A Dual-Stream Architecture for Accurate and Interpretable Brain Tumor Detection
arxiv.org·21h
🧠Machine Learning
Reproducible LLM Benchmarking: GPT-5 vs Grok-4 with Promptfoo
dev.to·1d·
Discuss: DEV
⚡gRPC
Stop Being a Replaceable Printer
dev.to·16h·
Discuss: DEV
🔄Reproducible Builds
Political Ideology Shifts in Large Language Models
arxiv.org·2d
📝ABNF Extensions
Physics-Based Explainable AI for ECG Segmentation: A Lightweight Model
arxiv.org·2d
🧠Machine Learning
Can VLMs Recall Factual Associations From Visual References?
arxiv.org·21h
📊Learned Metrics
Mini-Omni-Reasoner: Token-Level Thinking-in-Speaking in Large Speech Models
arxiv.org·2d
🎙️Whisper
Generative Artificial Intelligence and Agents in Research and Teaching
arxiv.org·1d
🔲Cellular Automata
ROSE: Remove Objects with Side Effects in Videos
arxiv.org·21h
⟷Bidirectional Programming
Loading...Loading more...
AboutBlogChangelogRoadmap