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

Can You Crack the Roman Code?
thefiddler.substack.comΒ·9hΒ·
Discuss: Substack
πŸ”Cryptographic Archaeology
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Β·9h
πŸ”²Cellular Automata
Show HN: Empromptu.ai – Agentic AI Building AI Apps
news.ycombinator.comΒ·9hΒ·
Discuss: Hacker News
πŸŒ€Brotli Internals
Opportunity knocks: getting your house in order for the AI action plan
techradar.comΒ·1d
🌊Stream Processing
Adaptive Hybrid Sort: Dynamic Strategy Selection for Optimal Sorting Across Diverse Data Distributions
arxiv.orgΒ·17h
🌳Trie Structures
CCRS: A Zero-Shot LLM-as-a-Judge Framework for Comprehensive RAG Evaluation
arxiv.orgΒ·1d
πŸ“Linear Logic
Machine Learning Fundamentals: adam optimizer example
dev.toΒ·1dΒ·
Discuss: DEV
πŸ“ŠQuantization
CLGRPO: Reasoning Ability Enhancement for Small VLMs
arxiv.orgΒ·3d
πŸ“Linear Logic
Our Coding Adventure: Using LLMs to Personalise the Narrative of a Tangible Programming Robot for Preschoolers
arxiv.orgΒ·17h
πŸŽ™οΈWhisper
Just launched a free 9-chapter course on Agentic AI Systems
dev.toΒ·10hΒ·
Discuss: DEV
βš”οΈLean Tactics
Revolutionizing API Testing with AI: My Journey with Keploy
dev.toΒ·8hΒ·
Discuss: DEV
πŸ”Concolic Testing
Python Fundamentals: asyncpg
dev.toΒ·8hΒ·
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Β·17h
🧠Intelligence Compression
NaviAgent: Bilevel Planning on Tool Dependency Graphs for Function Calling
arxiv.orgΒ·2d
πŸ”—Topological Sorting
Beginner friendly way to build agent workflows
github.comΒ·6hΒ·
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Β·58mΒ·
Discuss: DEV
πŸ“ŸCLI Design
Playwright: Using Cognito to Log In for Your E2E Tests
dev.toΒ·1dΒ·
Discuss: DEV
πŸ§ͺCBOR Fuzzing
Building a Laravel Blog with ChatGPT Codex
dev.toΒ·9hΒ·
Discuss: DEV
πŸ¦€Rust Macros
Loading...Loading more...
AboutBlogChangelogRoadmap