๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
โš™๏ธ Assembly Verification

Low-level Proofs, Machine Code Correctness, Hardware-Software Interface, Formal Assembly

CVE-2024-12029 โ€“ InvokeAI Deserialization of Untrusted Data vulnerability
offsec.comยท2d
๐ŸŒWASI
Linkdump No 64
82mhz.netยท1d
๐Ÿ”ŒOperating system internals
Wii U SDBoot1 Exploit "paid the beak"
consolebytes.comยท1dยท
Discuss: Hacker News
๐ŸŽฎSwitch Archaeology
MCP with Postgres โ€“ Querying my data in plain English
punits.devยท1dยท
Discuss: Hacker News
๐Ÿ”—Constraint Handling
Quadratic Forms Beyond Arithmetic
ams.orgยท1dยท
Discuss: Hacker News
๐Ÿ”ฑGalois Theory
Coming to ISO C++ 26 Standard: An AI Acceleration Edge
thenewstack.ioยท5dยท
Discuss: Hacker News
๐Ÿ”ฉSystems Programming
The power of the Unix philosophy for LLM agentic tools
blog.korny.infoยท2dยท
Discuss: Hacker News
๐ŸšShell Calculus
Funnel-HOI: Top-Down Perception for Zero-Shot HOI Detection
arxiv.orgยท1d
๐Ÿค–Advanced OCR
PicoGUS adds CD-ROM Emulation to ISA Bus
hackaday.comยท3h
๐ŸŽฎGameboy Emulation
Firefox engineer warns Intel Raptor Lake CPUs are 'crashing more often because of the summer heat,' and it's making me worry about the future of these chips
techradar.comยท1d
๐ŸงชHardware Fuzzing
Solving the Context Rot Problem for Coding Agents
install.mdยท3dยท
Discuss: Hacker News
๐ŸŒณIncremental Parsing
Build Your Own Motion Peeper in Just 3 Minutes!
hackster.ioยท2h
๐Ÿ Home Automation
The Real Problem with AI Agents (and How We Built the Fix)
dev.toยท14hยท
Discuss: DEV
โšกProof Automation
Thought Purity: Defense Paradigm For Chain-of-Thought Attack
arxiv.orgยท2d
๐Ÿ›ก๏ธProof-Carrying Archives
My Ultimate Self-hosting Setup
codecaptured.comยท1dยท
Discuss: Lobsters, Hacker News, r/selfhosted
๐Ÿ Homelab Federation
Usage Rules: Leveling the Playing Field for AI-Assisted Development
zachdaniel.devยท1dยท
Discuss: Hacker News
โšกProof Automation
How AI Can Speed up Modernization of Your Legacy IT Systems
thenewstack.ioยท1d
๐Ÿ›๏ธMainframe Archaeology
Chronicle: AI Presentation and Design Tool - Intelligent Content Creation
dev.toยท4hยท
Discuss: DEV
๐ŸŒŠStream Processing
Reframing Software Development as a Spiritual Exercise
dev.toยท7hยท
Discuss: DEV
๐ŸงฒMagnetic Philosophy
Decoupled PROB: Decoupled Query Initialization Tasks and Objectness-Class Learning for Open World Object Detection
arxiv.orgยท1d
๐Ÿ“Geometric Hashing
Loading...Loading more...
AboutBlogChangelogRoadmap