🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🔮 Proof Search
Automated Reasoning, Tactic Languages, Resolution, Unification
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
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...
« Page 21
•
Page 23 »