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

Calibrating an Ultrasonic Humidifier for Glycol Vapors
jefftk.com·1d
☕Precision Brewing
AWS Kiro: Arbitrary Code Execution via Indirect Prompt Injection
embracethered.com·1d
🛡️CLI Security
Song recommendations with F# free monads
blog.ploeh.dk·2d
🔗Functional Compilers
Show HN: I built AI Agents that automate comprehensive due diligence on stocks
agents.decodeinvesting.com·1d·
Discuss: Hacker News
🤖AI Curation
Two Dogmas of Empiricism
en.wikipedia.org·2d·
Discuss: Hacker News
💻Programming languages
LLMs Won't Replace Programming Languages
mech-lang.org·5d·
Discuss: Hacker News
🗣️Domain-Specific Languages
AI paper generator
dev.to·19h·
Discuss: DEV
⚙️Parser Generators
Thank You for 500 Followers + A Special Giveaway
dev.to·11h·
Discuss: DEV
📡RSS Automation
What Claude Code gets right
minusx.ai·6d·
Discuss: Hacker News, Hacker News, Hacker News, r/ClaudeAI
🌳Incremental Parsing
Show HN: Async – Claude Code and Linear and GitHub PRs in One Opinionated Tool
github.com·2d·
Discuss: Hacker News
🔓Open Source Software
🧠How to use AI code review for free (PR-Agent)
dev.to·10h·
Discuss: DEV
📦Git LFS
End to End Autoencoder MLP Framework for Sepsis Prediction
arxiv.org·11h
🧠Machine Learning
Speeding Up AI Coding Assistants Using Deterministic Feedback
proxymock.io·4d·
Discuss: Hacker News
📼Tape Combinators
InfoSec News Nuggets 8/26/2025
aboutdfir.com·1d
🔓Hacking
Spoon-Bending, a logical framework for analyzing GPT-5 alignment behavior
github.com·2d·
Discuss: Hacker News
💾Binary Linguistics
Legal leaders and the AI shift: turning uncertainty into competitive advantage
techradar.com·8h
⚖️Legal Compliance
My Journey with Sentence Transformers, OpenAI Embeddings, and Vector Databases
dev.to·2d·
Discuss: DEV
🗂️Vector Databases
Propose and Rectify: A Forensics-Driven MLLM Framework for Image Manipulation Localization
arxiv.org·1d
🖼️JPEG Forensics
School of Reward Hacks: Hacking harmless tasks generalizes to misaligned behavior in LLMs
arxiv.org·1d
🔲Cellular Automata
Linear Dynamics meets Linear MDPs: Closed-Form Optimal Policies via Reinforcement Learning
arxiv.org·1d
🔲Cellular Automata
Loading...Loading more...
AboutBlogChangelogRoadmap