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

I Built a Bug Bounty Framework in Over 2 Years
infosecwriteups.com·13h
👁️Observatory Systems
Diving deep into Binius M3 arithmetization using Merkle tree inclusion as an example
blog.lambdaclass.com·3d
🌳Archive Merkle Trees
AI Security Risks: When Models Lie, Blackmail, and Refuse to Shut Down
lmgsecurity.com·8h
🎯Threat Hunting
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·3d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
Show HN: ToolQL – Create AI Tools with GraphQL
toolql.com·3d·
Discuss: Hacker News
📊Graph Databases
We hit a wall testing AI agents, agents simulations works better
news.ycombinator.com·7h·
Discuss: Hacker News
🐛Fuzzing
From 0→∞: My PhD Lessons on Innovating User-Centric ML Systems
amberljc.github.io·6h·
Discuss: Hacker News
🧭Content Discovery
Beyond Frameworks: How Computer Science Fundamentals Forge the Complete Developer
dev.to·1d·
Discuss: DEV
📏Code Metrics
Machine Learning Fundamentals: adam optimizer example
dev.to·7h·
Discuss: DEV
📊Quantization
Flame Graph Performance Truth Analysis(1750918443851900)
dev.to·17h·
Discuss: DEV
⚡Performance Tools
Docs for AI agents
technicalwriting.dev·1d·
Discuss: Lobsters, Hacker News
🔄Archival Workflows
Becoming a Better Developer with Vibe Coding
dev.to·20h·
Discuss: DEV
⚡Effectful Programming
Schema In, Data Out: A Smarter Way to Mock
hackernoon.com·3d
🐛Fuzzing
Stop Words Using Spacy - NLP
dev.to·2d·
Discuss: DEV
📝Text Parsing
I built a Swift GraphQL client that generates the query using macros
github.com·14h·
Discuss: Hacker News
✅Format Verification
Language Modeling by Language Models
arxiv.org·19h
🤖Grammar Induction
NaviAgent: Bilevel Planning on Tool Dependency Graphs for Function Calling
arxiv.org·1d
🔗Topological Sorting
Next Generation High Web Rust Based Solutions(1750916331932500)
dev.to·18h·
Discuss: DEV
🔌Interface Evolution
Playwright: Using Cognito to Log In for Your E2E Tests
dev.to·10h·
Discuss: DEV
🧪CBOR Fuzzing
Writing Toy Software Is a Joy
quiz.businessexplain.com·20h·
Discuss: Hacker News
🔩Systems Programming
Loading...Loading more...
AboutBlogChangelogRoadmap