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

Four Multipliers for Using AI Well: My Working Model
dev.to·6h·
Discuss: DEV
✨Effect Handlers
Bruteforcing pwgen passwords
blog.sesse.net·10h·
Discuss: Hacker News
🔓Password Cracking
I built 59 open-source Claude Code subagents to supercharge software development
github.com·12h·
Discuss: Hacker News
⚔️Lean Tactics
Whirlaway: Multilinear STARKs using WHIR as polynomial commitment scheme
blog.lambdaclass.com·1d
🎯Performance Proofs
Tradeoffs of Highly-Expressive Types
jnkr.tech·1h·
Discuss: Hacker News
🎯Gradual Typing
The use of Claude Code in SciML repos
discourse.julialang.org·22h·
Discuss: Lobsters
📏Code Metrics
Token Alignment Protocol, Zero Drift for AI Agents
symbiquity.ai·1d·
Discuss: Hacker News
📝ABNF Parsing
Automating 70% of Dependency & Vulnerability Management with Renovate and CI/CD
engineering.salesforce.com·21h
🤖Network Automation
AgentHopper: An AI Virus Research Project
embracethered.com·17h
🏠Homelab Pentesting
I Taught Myself to Vibe Code: A Free Bootcamp
rafaelviana.com·7h·
Discuss: Hacker News
⚔️Lean Tactics
Building an AI-Powered Domain Name Generator: Technical Deep Dive
dev.to·2d·
Discuss: DEV
🤖Grammar Induction
Codeminer42 Dev Weekly #76
blog.codeminer42.com·1d
🔄Language Evolution
Prompting Strategies for Language Model-Based Item Generation in K-12 Education: Bridging the Gap Between Small and Large Language Models
arxiv.org·1d
📐Format Grammars
Agentic AI May Be A Better Summary Tool Than You Realize
hackernoon.com·1d
🤖AI Curation
5 Key Ways LLMs Can Supercharge Your Machine Learning Workflow
machinelearningmastery.com·1d
💻Local LLMs
Answering some questions about Baba Yaga
eli.li·3h·
Discuss: Hacker News
🎯Dependent Types
Forcing ChatGPT to Obey: Minimal and Deterministic Rules
dev.to·7h·
Discuss: DEV
📝ABNF Parsing
What AI chatbots are doing under the hood
gilesthomas.com·1d·
Discuss: Hacker News
🎙️Whisper
Adding Conversational AI: Converting Natural Language into JSON Actions
chariotsolutions.com·1d·
Discuss: Hacker News
🌳Incremental Parsing
Why AI Alone Fails at Large-Scale Code Modernization
thenewstack.io·4h
🔄Language Evolution
Loading...Loading more...
AboutBlogChangelogRoadmap