๐Ÿฟ๏ธ 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

AI Security Risks: When Models Lie, Blackmail, and Refuse to Shut Down
lmgsecurity.comยท17h
๐ŸŽฏThreat Hunting
Image to Prompt Generator| my first website project
imagetopromptgenerator.orgยท6hยท
Discuss: Hacker News
๐Ÿ–ผ๏ธJPEG XL
The Backtester's Edge: How Code and AI Transform Your Strategy Game
fractiz.comยท1dยท
Discuss: Hacker News
๐Ÿ”Concolic Testing
I Built a Bug Bounty Framework in Over 2 Years
infosecwriteups.comยท22h
๐Ÿ‘๏ธObservatory Systems
Show HN: ToolQL โ€“ Create AI Tools with GraphQL
toolql.comยท3dยท
Discuss: Hacker News
๐Ÿ“ŠGraph Databases
We hit a wall testing AI agents, agents simulations works better
news.ycombinator.comยท16hยท
Discuss: Hacker News
๐Ÿ›Fuzzing
From 0โ†’โˆž: My PhD Lessons on Innovating User-Centric ML Systems
amberljc.github.ioยท14hยท
Discuss: Hacker News
๐ŸงญContent Discovery
Machine Learning Fundamentals: adam optimizer
dev.toยท17hยท
Discuss: DEV
๐Ÿ“ŠQuantization
Programming by Backprop: LLMs Acquire Reusable Algorithmic Abstractions During Code Training
arxiv.orgยท3d
๐Ÿ’ปLocal LLMs
LR(1) parse-tables generator
github.comยท2dยท
Discuss: Lobsters, Hacker News
๐Ÿ”Z3 Parsing
Detecting Machine-Generated Texts: Not Just "AI vs Humans" and Explainability is Complicated
arxiv.orgยท2d
๐ŸงฎKolmogorov Complexity
Black-Box Test Code Fault Localization Driven by Large Language Models and Execution Estimation
arxiv.orgยท2d
๐Ÿ”Concolic Testing
Autonomous E-commerce Intelligence Agent - From Data to Decisions
dev.toยท1dยท
Discuss: DEV
๐Ÿ“ŠFeed Optimization
On Context-Content Uncertainty Principle
arxiv.orgยท4h
๐Ÿง Machine Learning
TITAN: Query-Token based Domain Adaptive Adversarial Learning
arxiv.orgยท4h
๐Ÿ“ŠLearned Metrics
From Zero to Hero: The Complete Evolution of a Prompt
dev.toยท3dยท
Discuss: DEV
๐ŸŽ™๏ธWhisper
MATE: LLM-Powered Multi-Agent Translation Environment for Accessibility Applications
arxiv.orgยท2d
๐ŸŽ™๏ธWhisper
Machine Learning Fundamentals: active learning
dev.toยท2dยท
Discuss: DEV
๐Ÿค–Grammar Induction
Learning-based safety lifting monitoring system for cranes on construction sites
arxiv.orgยท1d
๐Ÿ“„Document Digitization
Prepare for non-human visitors!
techradar.comยท10h
๐ŸŒ€Brotli Internals
Loading...Loading more...
AboutBlogChangelogRoadmap