🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🎯 Interactive Provers

Proof Development, Tactic Languages, Theorem Proving, Mathematical Verification

Microsoft is named a Leader in the 2025 Gartner® Magic Quadrant™ for Endpoint Protection Platforms
microsoft.com·18h
🏺Kerberos Archaeology
Security-Focused Homelab
reddit.com·8h·
Discuss: r/homelab
🏠HomeLab
Checking data integrity
eclecticlight.co·1d
✅Checksum Validation
Fully Patched SonicWall Gear Under Likely Zero-Day Attack
darkreading.com·17h
🔓Hacking
govalid - A compile-time validation library that's up to 45x faster than reflection-based validators
reddit.com·1d·
Discuss: r/golang
🦀Rust Verification
Dollars per token considered harmful
modal.com·23h·
Discuss: Hacker News
💻Local LLMs
The key to understanding “Dynamic Programming” is that it’s not referring to “computer programming”
vidarholen.net·13h·
Discuss: Hacker News
💻Programming languages
I'm Switching to Python and Actually Liking It
cesarsotovalero.net·1d·
Discuss: Hacker News
🌀Brotli Internals
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·2d·
Discuss: Hacker News
🔍Type Inference
Almost Always Auto (2013)
herbsutter.com·1h·
Discuss: Hacker News
🔒Type Safety
CoCre-Sam (Kokkuri-san): Modeling Ouija Board as Collective Langevin Dynamics Sampling from Fused Language Models
arxiv.org·7h
🔲Cellular Automata
On the Complexity of the Optimal Correlated Equilibria in Extensive-Form Games
arxiv.org·1d
🔲Cellular Automata
Uncensored Multi-Agent AI Debate System Locally with Knowledge Base Now with a UI! (Part 3)Full code.
dev.to·1d·
Discuss: DEV
📝ABNF Parsing
Advancing Retrieval-Augmented Generation for Structured Enterprise and Internal Data
arxiv.org·7h
🔍Information Retrieval
Improving Data and Parameter Efficiency of Neural Language Models Using Representation Analysis
arxiv.org·7h
🧮Kolmogorov Complexity
Effective Practices for Coding with a Chat-Based AI
infoq.com·11h·
Discuss: Hacker News
🔄Language Evolution
Grappling with the Existential Panic over AI
easydns.com·16h·
Discuss: Hacker News
⚡Proof Automation
Machine Learning Fundamentals: dimensionality reduction
dev.to·20h·
Discuss: DEV
📐Linear Algebra
The FC/FC Chasm: Why Teaching Programming Still Matters
blog.charliemeyer.co·1d·
Discuss: Hacker News
💻Programming languages
A Rust Shaped Hole
mnvr.in·1d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Loading...Loading more...
AboutBlogChangelogRoadmap