🐿️ 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

Can You Crack the Roman Code?
thefiddler.substack.com·2d·
Discuss: Substack
🔐Cryptographic Archaeology
Hardware (HWID) ID Spoofer by Markupszp
sourceforge.net·1d·
Discuss: Hacker News
🏺Kerberos Archaeology
4-input 2-output Boolean circuits (2020)
cp4space.hatsya.com·5d·
Discuss: Hacker News
⚙️Logic Synthesis
​​Accelerating Cloud Cryptography: Optimizing AWS-LC with Intel’s AVX-512
infosecwriteups.com·10h
⚡SIMD Optimization
Curriculum-Guided Antifragile Reinforcement Learning for Secure UAV Deconfliction under Observation-Space Attacks
arxiv.org·2d
🎯Threat Hunting
Choice of Scoring Rules for Indirect Elicitation of Properties with Parametric Assumptions
arxiv.org·5d
👑Coq Tactics
Free Hugo Autotranslator for Github Pages
dev.to·2d·
Discuss: DEV
🔄Migration Tools
Advancing Artificial Intelligence: Safety, Personalization, and Practical Applications in Recent Research
dev.to·2d·
Discuss: DEV
🔲Cellular Automata
LOGICPO: Efficient Translation of NL-based Logical Problems to FOL using LLMs and Preference Optimization
arxiv.org·5d
🔗Monadic Parsing
Heartbeat of Modern Web Real Time Patterns User Design(1751179314270300)
dev.to·10h·
Discuss: DEV
🌊Stream Processing
TITAN: Query-Token based Domain Adaptive Adversarial Learning
arxiv.org·2d
📊Learned Metrics
😎 What Every Developer Should Learn Before 2026
dev.to·21h·
Discuss: DEV
🪟Awesome windows command-line
My Trial by Fire: A Complete Chronicle of Setting Up OSO as a PLDG Cohort-3 Newcomer
dev.to·4h·
Discuss: DEV
🔓Open Source Software
Vue.js Image Optimization: Beyond the Basics
dev.to·1d·
Discuss: DEV
🖼️JPEG XL
Design Systems: The Secret Weapon of Scalable Frontend Development
dev.to·3h·
Discuss: DEV
🎨Nordic Design
🤖 How I Went from Writing Tests Manually to AI-Driven API Testing with Keploy
dev.to·1d·
Discuss: DEV
⚡Proof Automation
DuaShepherd: Integrating Stepwise Correctness and Potential Rewards for Mathematical Reasoning
arxiv.org·5d
✓Automated Theorem Proving
Juris: The Framework That Scales From Beginner to Expert Developer
dev.to·2d·
Discuss: DEV
⚡Effectful Programming
From Manual Testing Hell to AI-Powered Victory: A DevOps Champion's Keploy Journey 🚀
dev.to·1d·
Discuss: DEV
👁️System Observability
Building Production-Ready AI Workflows with Rust: An Event-Sourced Approach
dev.to·1d·
Discuss: DEV
🌊Stream Processing
Loading...Loading more...
AboutBlogChangelogRoadmap