🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🔮 Proof Search

Automated Reasoning, Tactic Languages, Resolution, Unification

A Standard for Human-Centered Investigation Playbooks
chrissanders.org·4d
🎯Threat Hunting
The Age of Integrity
schneier.com·2d·
Discuss: Hacker News
🔗Data Provenance
Godel's Incompleteness Theorem
news.ycombinator.com·4d·
Discuss: Hacker News
🔤Type Theory
Your Infra Isn't Special: Why Open Source Infrastructure as Code (IaC) Wins
masterpoint.io·1d·
Discuss: Hacker News
❄️Nix Adoption
Opinions please on how I should spend money
reddit.com·2h·
Discuss: r/homelab
🖥️Vintage Macintosh
In which I write a library-quality B+ tree with the genies
tidyfirst.substack.com·4d·
Discuss: Substack
🦀Rust Macros
Probabilistic and reinforced mining of association rules
arxiv.org·5d
🧠Learned Indexes
【HarmonyOS 5】Detailed Explanation of Privacy Protection in HarmonyOS Applications
dev.to·7h·
Discuss: DEV
🔐Homomorphic Encryption
Threat-Aware Automation: Making Security a First-Class Citizen in Your Test Suite
dev.to·1d·
Discuss: DEV
🎯Threat Hunting
Title: Supercharging the Gemini CLI: How I Made Claude and Gemini Pair Program
dev.to·1d·
Discuss: DEV
🌳Incremental Parsing
Validating Mechanistic Interpretations: An Axiomatic Approach
arxiv.org·5d
⚖️Hoare Logic
Introducing Ogresync: Free, Open-Source Obsidian Sync Without the Subscription
dev.to·6h·
Discuss: DEV
🔓Open Source Software
Just launched a free 9-chapter course on Agentic AI Systems
dev.to·2d·
Discuss: DEV
⚔️Lean Tactics
How I built a Chrome Extension with AI to understand any web page
dev.to·2d·
Discuss: DEV
🌀Brotli Internals
On Context-Content Uncertainty Principle
arxiv.org·2d
🧠Machine Learning
What Would Make an Automation Script Toolkit Truly Awesome? Seeking Ideas for Improvements for my Open Source Project
reddit.com·1d·
Discuss: r/linux
🐚Shell Automation
Machine Learning Fundamentals: anomaly detection
dev.to·2d·
Discuss: DEV
👁️Observatory Systems
Machine Learning Fundamentals: active learning
dev.to·5d·
Discuss: DEV
🤖Grammar Induction
SLR: An Automated Synthesis Framework for Scalable Logical Reasoning
arxiv.org·6d
📏Linear Logic
How to Banish Anxiety, Lower MTTR, and Stay on Budget During Incident Response
dev.to·2d·
Discuss: DEV
👁️System Observability
Loading...Loading more...
AboutBlogChangelogRoadmap