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

Lunar Spider – Lotus V2 Loader Campaign Using Fake CAPTCHA Delivery and DLL Sideloading
research.kudelskisecurity.com·1d
🎫Kerberos Exploitation
Defining Infected AI Agents
hugston.com·19h·
Discuss: Hacker News
🦠Malware Analysis
A brief introduction to MCP server performance optimization
catchmetrics.io·2h·
Discuss: Hacker News
👁️Observatory Systems
Best Open-Source Embedding Models Benchmarked and Ranked
supermemory.ai·22h·
Discuss: Hacker News
⚙️Compression Benchmarking
Inside the vLLM Inference Server: From Prompt to Response
thenewstack.io·1d
💻Local LLMs
AI-Driven Drift Detection in AWS: Terraform Meets Intelligence
devops.com·2d
👁️Observatory Systems
Contextualizing SUTRA: Advancements in Multilingual & Efficient LLMs
hackernoon.com·2d
💻Local LLMs
My Keploy Testing Experience
dev.to·11h·
Discuss: DEV
🔄Reproducible Builds
🧠 Day 01: Python Basics Unlocked – Variables, Operators & I/O
dev.to·5h·
Discuss: DEV
📚Lempel-Ziv
Our Coding Adventure: Using LLMs to Personalise the Narrative of a Tangible Programming Robot for Preschoolers
arxiv.org·1d
🎙️Whisper
Solve a real-world problem with AI
dev.to·1d·
Discuss: DEV
🧮Z3 Applications
Becoming a 10x Engineer in the Era of AI Agents
dev.to·6h·
Discuss: DEV
🏠Homelab Orchestration
Docs for AI agents
technicalwriting.dev·2d·
Discuss: Lobsters, Hacker News
🔄Archival Workflows
My Personal Top MCP Servers — The Ultimate List
dev.to·1d·
Discuss: DEV
🪟Awesome windows command-line
Just launched a free 9-chapter course on Agentic AI Systems
dev.to·1d·
Discuss: DEV
⚔️Lean Tactics
Revolutionizing API Testing with AI: My Journey with Keploy
dev.to·1d·
Discuss: DEV
🔍Concolic Testing
Breaking Into Backend Development: Lessons from IBM’s Professional Certificate
dev.to·3h·
Discuss: DEV
🔐CBOR
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
Loading...Loading more...
AboutBlogChangelogRoadmap