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

Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·1d·
Discuss: Hacker News
💧Liquid Types
Claude Code: A Developer's Guide to AI-Powered Terminal Workflows
vibe.forem.com·11h·
Discuss: DEV
🔩Systems Programming
Hack Smarter: Automate Security Testing with LLMs and the CAI Framework
infosecwriteups.com·21h
🏠Homelab Pentesting
Red-teaming a RAG app: What happens?
blog.pamelafox.org·9h·
Discuss: www.blogger.com, Hacker News
🧪CBOR Fuzzing
Automating Boundary Filling in Cubical Type Theories
arxiv.org·22h
🔶Cubical Type Theory
SAT Requires Exhaustive Search
link.springer.com·6h·
Discuss: Hacker News
🧮Kolmogorov Complexity
Week 31 Status
blogs.gnome.org·4h
🎯Gradual Typing
Briefly explained: What's behind the buzzword AI agents
heise.de·15h
🎙️Whisper
Solving Pell Equations with Index Calculus
leetarxiv.substack.com·1d·
Discuss: Substack, r/programming
🎯Proof Tactics
Juris.js: The Thousand Masters Architecture That AI Can't Even Figure Out Where to Start
dev.to·6h·
Discuss: DEV
🦀Rust Macros
Tools for AI assisted Software development
thoughtbot.com·1d
🔄Language Evolution
Challenges of Pseudocode Expansion
funcall.blogspot.com·19h·
Discuss: www.blogger.com
🔗Lisp
Cactus Language • Pragmatics 9
inquiryintoinquiry.com·13h
📝Concrete Syntax
Josh Lockhart & Phil Sturgeon
deprogrammaticaipsum.com·23h
🦀Rusty Databases
Unpacking Qualys Agentic AI: Technical Insights into Its Architecture and Capabilities
blog.qualys.com·13h
⚙️TLA+
Paralegal: Practical Static Analysis for Privacy Bugs
cs.brown.edu·19h·
Discuss: Hacker News
📜Proof Carrying Code
I built a collection of simple Python projects for beginners (CLI,GUI,Web,API)
github.com·4h·
Discuss: Hacker News
🌀Brotli Internals
Abhinav Sarkar: A Bytecode VM for Arithmetic: The Parser
abhinavsarkar.net·3d
🔗Functional Compilers
I've spent 4 months and $800/mo AI bill on Cursor, Claude Code. Later is better?
news.ycombinator.com·19h·
Discuss: Hacker News
🌳Incremental Parsing
Introducing luzer, a coverage-guided Lua fuzzing engine
bronevichok.ru·10h·
Discuss: Lobsters, Hacker News
🧪Binary Fuzzing
Loading...Loading more...
AboutBlogChangelogRoadmap