๐Ÿฟ๏ธ 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
Boosting Developer Productivity with AI: Faster Dashboards, Automated Testing, and 70% Less Setup Time
engineering.salesforce.comยท2d
๐Ÿ”„Reproducible Builds
I couldn't find a job, so I built an open source project
zhakhan.comยท20hยท
Discuss: Hacker News
๐Ÿ”“Open Source Software
Building Agentic Workflows for my HomeLab
abhisaha.comยท4dยท
Discuss: Hacker News, r/javascript, r/selfhosted, r/webdev
๐Ÿ Homelab Orchestration
Opportunity knocks: getting your house in order for the AI action plan
techradar.comยท1d
๐ŸŒŠStream Processing
Semantic-Aware Parsing for Security Logs
arxiv.orgยท4d
๐Ÿ“Log Parsing
Turn a Single Detection into Enterprise-Wide Prevention with Infinity Playblocks
blog.checkpoint.comยท1d
๐ŸŽฏThreat Hunting
CCRS: A Zero-Shot LLM-as-a-Judge Framework for Comprehensive RAG Evaluation
arxiv.orgยท2d
๐Ÿ“Linear Logic
Becoming a Better Developer with Vibe Coding
dev.toยท2dยท
Discuss: DEV
โšกEffectful Programming
CLGRPO: Reasoning Ability Enhancement for Small VLMs
arxiv.orgยท4d
๐Ÿ“Linear Logic
Our Coding Adventure: Using LLMs to Personalise the Narrative of a Tangible Programming Robot for Preschoolers
arxiv.orgยท1d
๐ŸŽ™๏ธWhisper
Just launched a free 9-chapter course on Agentic AI Systems
dev.toยท20hยท
Discuss: DEV
โš”๏ธLean Tactics
Revolutionizing API Testing with AI: My Journey with Keploy
dev.toยท18hยท
Discuss: DEV
๐Ÿ”Concolic Testing
Python Fundamentals: asyncpg
dev.toยท18hยท
Discuss: DEV
๐ŸŒŠStream Processing
Language Modeling by Language Models
arxiv.orgยท2d
๐Ÿค–Grammar Induction
SAC: A Framework for Measuring and Inducing Personality Traits in LLMs with Dynamic Intensity Control
arxiv.orgยท1d
๐Ÿง Intelligence Compression
NaviAgent: Bilevel Planning on Tool Dependency Graphs for Function Calling
arxiv.orgยท3d
๐Ÿ”—Topological Sorting
Playwright: Using Cognito to Log In for Your E2E Tests
dev.toยท1dยท
Discuss: DEV
๐ŸงชCBOR Fuzzing
GCP Fundamentals: Data Labeling API
dev.toยท4hยท
Discuss: DEV
๐Ÿค–Archive Automation
Beginner friendly way to build agent workflows
github.comยท16hยท
Discuss: Hacker News, r/commandline, r/opensource, r/selfhosted
๐Ÿ”ŒInterface Evolution
Loading...Loading more...
AboutBlogChangelogRoadmap