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

Michael Ossmann Gives A First Look at the HackRF Pro in YouTube Video
rtl-sdr.com·1d
📻Homebrew Protocols
A Regular Expression Matcher Code: Rob Pike, exegesis by Brian Kernighan
cs.princeton.edu·5d
🔍RegEx Engines
The Magic at the Heart of Quantum Computers Has Finally Worked
popularmechanics.com·3d·
Discuss: Hacker News
⚛️Quantum Tape
I tested this mini PC - and GMKtec chose a 2019 AMD processor over the Intel N100 in its G10 for a good reason
techradar.com·21h
🖥️Modern Terminals
Optimization of Grocery Shop Pricing
github.com·5h·
Discuss: DEV, Hacker News
🔌Operating system internals
From SMA to TEMA: Coding Technical Indicators in Python — Building stocksimpy 2
dev.to·21h·
Discuss: DEV
🌊Digital Signal Processing
My first and second Homelab
i.redd.it·1d·
Discuss: r/homelab
🏠HomeLab
Lightning Voice Gaming Controller - Real-Time AssemblyAI Performance
dev.to·13h·
Discuss: DEV
🎬WebCodecs
MEMORA: AI PERSONAL ASSISTANT
dev.to·16h·
Discuss: DEV
⚡Redis Internals
Bolt.new in Action: A Technical Deep-Dive into AI-Assisted Full-Stack Development
dev.to·2d·
Discuss: DEV
🔄Reproducible Builds
Shard Protocol: a preemptive logic layer built on Bolt
dev.to·5d·
Discuss: DEV
⚙️TLA+
MedExpert AI - Specialized Medical Voice Assistant with RAG Integration
dev.to·11h·
Discuss: DEV
🤖Archive Automation
I-CEE: Tailoring Explanations of Image Classification Models to User Expertise
arxiv.org·2d
📊Learned Metrics
FreeBSD Guide to Lock-In Free Infrastructure
discoverbsd.com·1d
🔌Operating system internals
Why AI Hallucinations Cost Businesses Millions and How BAML Prevents Them
dev.to·1d·
Discuss: DEV
✨Effect Handlers
Computational Performance Bounds Prediction in Quantum Computing with Unstable Noise
arxiv.org·3d
⚛️Quantum Compilers
The Human-AI Interface: Designing Developer Workflows for Collaborative Intelligence (Post-Migration)
dev.to·3d·
Discuss: DEV
🔌Interface Evolution
Transform Before You Query: A Privacy-Preserving Approach for Vector Retrieval with Embedding Space Alignment
arxiv.org·2d
🧮Vector Embeddings
MedExpert AI - Specialized Medical Voice Assistant with RAG Integration
dev.to·13h·
Discuss: DEV
🤖Archive Automation
AI coding assistants chase phantoms, destroy real user data
arstechnica.com·2d·
Discuss: Hacker News, r/technews
🔓Hacking
Loading...Loading more...
AboutBlogChangelogRoadmap