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

How to Prove That An Email Was Received
metaspike.comΒ·2d
πŸ“„Document Digitization
Using Generative AI to Strengthen & Accelerate Learning β€’ Barbara Oakley β€’ GOTO 2024
youtube.comΒ·14h
πŸ”²Cellular Automata
Show HN: Empromptu.ai – Agentic AI Building AI Apps
news.ycombinator.comΒ·14hΒ·
Discuss: Hacker News
πŸŒ€Brotli Internals
Building Agentic Workflows for my HomeLab
abhisaha.comΒ·4dΒ·
Discuss: Hacker News, r/javascript, r/selfhosted, r/webdev
🏠Homelab Orchestration
Semantic-Aware Parsing for Security Logs
arxiv.orgΒ·3d
πŸ“Log Parsing
Schema In, Data Out: A Smarter Way to Mock
hackernoon.comΒ·4d
πŸ›Fuzzing
Adaptive Hybrid Sort: Dynamic Strategy Selection for Optimal Sorting Across Diverse Data Distributions
arxiv.orgΒ·22h
🌳Trie Structures
Our Coding Adventure: Using LLMs to Personalise the Narrative of a Tangible Programming Robot for Preschoolers
arxiv.orgΒ·22h
πŸŽ™οΈWhisper
Just launched a free 9-chapter course on Agentic AI Systems
dev.toΒ·15hΒ·
Discuss: DEV
βš”οΈLean Tactics
Revolutionizing API Testing with AI: My Journey with Keploy
dev.toΒ·13hΒ·
Discuss: DEV
πŸ”Concolic Testing
Python Fundamentals: asyncpg
dev.toΒ·13hΒ·
Discuss: DEV
🌊Stream Processing
Language Modeling by Language Models
arxiv.orgΒ·1d
πŸ€–Grammar Induction
SAC: A Framework for Measuring and Inducing Personality Traits in LLMs with Dynamic Intensity Control
arxiv.orgΒ·22h
🧠Intelligence Compression
NaviAgent: Bilevel Planning on Tool Dependency Graphs for Function Calling
arxiv.orgΒ·2d
πŸ”—Topological Sorting
Playwright: Using Cognito to Log In for Your E2E Tests
dev.toΒ·1dΒ·
Discuss: DEV
πŸ§ͺCBOR Fuzzing
Show HN: Using Claude Code SDK to to implement an agentic CV parser
github.comΒ·1dΒ·
Discuss: Hacker News
πŸ€–Archive Automation
Beginner friendly way to build agent workflows
github.comΒ·11hΒ·
Discuss: Hacker News, r/commandline, r/opensource, r/selfhosted
πŸ”ŒInterface Evolution
I Scraped 500+ Real Gemini CLI Searches β€” Here’s What Devs Want
dev.toΒ·5hΒ·
Discuss: DEV
πŸ“ŸCLI Design
Another Go variable dumper and interface/types explorer!
reddit.comΒ·14hΒ·
Discuss: r/golang
πŸ”§Binary Parsing
Building a Laravel Blog with ChatGPT Codex
dev.toΒ·14hΒ·
Discuss: DEV
πŸ¦€Rust Macros
Loading...Loading more...
AboutBlogChangelogRoadmap