🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
✅ Formal Methods

TLA+, Model Checking, Coq, Theorem Proving, Specification Languages

Getting Started with TypeScript on Fastly Compute
fastly.com·22h
💧Liquid Types
Learn – Computer-Aided Instruction on Unix
wolfram.schneider.org·23h·
Discuss: Hacker News
📟Terminal Typography
How much code does that proc macro generate?
nnethercote.github.io·22h·
Discuss: Lobsters, Hacker News
🦀Rust Macros
How AI/LLMs Can Help, Hinder Developers
cacm.acm.org·1d·
Discuss: Hacker News
🔄Language Evolution
The AI Agent schism: deterministic vs. non deterministic
writing.kunle.app·1d·
Discuss: Hacker News
⚡Proof Automation
Implementing Post Quantum algorithms in PKCS #11 - DevConf.CZ 2025
youtube.com·14h
🔐Quantum Security
Machine Learning Fundamentals: active learning
dev.to·2d·
Discuss: DEV
🤖Grammar Induction
🧠 Code That Explains Itself: Writing Self-Documenting Code in 2025
dev.to·9h·
Discuss: DEV
🔄Reproducible Builds
TableVault: Managing Dynamic Data Collections for LLM-Augmented Workflows
arxiv.org·2d
🔄Schema Evolution
🚀 Introducing MultiMind SDK: Fine-Tune, Build, and Deploy LLM
dev.to·1d·
Discuss: DEV
🔗Topological Sorting
12 Lessons from AI Pair Programming (180 Days with AI, Zero Hype)
dev.to·5h·
Discuss: DEV
⚡Proof Automation
Single Core Hundred Thousand Concurrency(1750866547511600)
dev.to·1d·
Discuss: DEV
🌊Stream Processing
Client Clustering Meets Knowledge Sharing: Enhancing Privacy and Robustness in Personalized Peer-to-Peer Learning
arxiv.org·18h
🔒Privacy Preserving
LARP: Learner-Agnostic Robust Data Prefiltering
arxiv.org·18h
💻Local LLMs
LangChain vs. TLRAG: A Comparative Analysis for Investors
dev.to·2d·
Discuss: DEV
🌀Brotli Internals
Flame Graph Performance Truth Analysis(1750839255230100)
dev.to·1d·
Discuss: DEV
⚡Performance Tools
LLMs Are Faking Neutrality—And We Can Now Measure It
hackernoon.com·18h
📝Concrete Syntax
Fast entropy-regularized SDP relaxations for permutation synchronization
arxiv.org·18h
🎯Performance Proofs
LLMs, Data Dysphoria, and the Global Regulatory Response
hackernoon.com·3d
💻Local LLMs
DSPy for Rubyists
github.com·2d·
Discuss: Hacker News
🌀Brotli Internals
Loading...Loading more...
AboutBlogChangelogRoadmap