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

Tactic Languages, Auto Tactics, Proof Search, Hammer Tools

Digital Asset Management Demos and Proof of Concepts
weareavp.com·21h
🏺ZIP Archaeology
Uni students are using AI to 'ask stupid questions' and get feedback on their work
phys.org·23h
🤖AI Curation
Starting In Biotech: An overview of biotech for the curious engineer
blog.zkagin.com·1d·
Discuss: Hacker News
🔗Data Provenance
[R] ArchiFactory : Benchmark SLM architecture on consumer hardware, apples to apples
reddit.com·19h·
Discuss: r/MachineLearning
🌀Brotli Internals
Multi-Timer Gizmo
pgadey.ca·21h·
Discuss: Hacker News
⚙️DIY Electronics
Notes on Autograd
aschrein.github.io·2d·
Discuss: Hacker News
⚡Incremental Computation
Aembit Extends Secretless CI/CD With Credential Lifecycle Management For GitLab
hackernoon.com·1d
🔐PKI Archaeology
Bridging Backend Engineering with AI: The Rise of the Intelligent Platform Engineer
hackernoon.com·17h
🔌Interface Evolution
Vibe Coding Doesn't Replace Tech Skills; It Requires More of Them
pawelbrodzinski.substack.com·22h·
Discuss: Substack
📏Code Metrics
Nil Pointer Panic at 3 AM: Choosing the Right Go Database Tool to Save Your Sleep
dev.to·1d·
Discuss: DEV
🧩SQLite Extensions
I am an AI expert, here’s how you can separate real AI innovation from marketing hype
techradar.com·2d
🤖AI Curation
Abhinav Sarkar: A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·4d
🔗Functional Compilers
Show HN: RAG-Guard: Zero-Trust Document AI
github.com·2d·
Discuss: Hacker News
🤖Archive Automation
I built Ubon, a tool to catch bugs that AI misses to stop the "You're absolutely right!" debugging circles.
github.com·2d·
Discuss: Hacker News, r/ClaudeAI, r/javascript
✅Archive Validation
WOMAC: A Mechanism For Prediction Competitions
arxiv.org·2d
🔲Cellular Automata
How Engineers are Automating More with Less: Trends in DevOps Tooling
devops.com·5h
🏠Homelab Orchestration
Scalable ML Deployments Made Simple with KitOps and Kubernetes (No Hardware Required)
dev.to·1d·
Discuss: DEV
🔄Reproducible Builds
How AI coding tools changed my workflow (and why I still needed an API solution)
dev.to·3d·
Discuss: DEV
🦀Rust Macros
Why Enterprises Are Shifting Toward Agentic AI Development
dev.to·18h·
Discuss: DEV
⚡Incremental Computation
Why Most Code Reviews Fail (And How to Fix Them)
dev.to·2d·
Discuss: DEV
📏Code Metrics
Loading...Loading more...
AboutBlogChangelogRoadmap