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

The Best Multitools for Fixing Things in a Pinch
popularmechanics.com·1d
💾Floppy Imaging
ImitationGame - Unconscious Ship Magnet
archiveofourown.org·1d
🔲Cellular Automata
Anukari has macros, and a preset API
anukari.com·2h·
Discuss: Hacker News
✨Algebraic Effects
5K monitors are going mainstream as LG unveils a 40-inch curved ultrawide model with Thunderbolt 5 - and a hefty price tag
techradar.com·2h
🖥️Modern Terminals
In-Network Leaderless Replication for Distributed Data Stores
vldb.org·2d·
Discuss: Lobsters, Hacker News, r/programming
🔀CRDT
Our $100M Series B
oxide.computer·3d·
Discuss: Lobsters, Hacker News
🖥️Terminal Renaissance
Got my best friend into linux and now hes falling down the rabbithole
reddit.com·1d·
Discuss: r/linux
🕹️Retro Gaming
[Success] iBook Clamshell Soldered RAM Upgrade
lowendmac.com·5d
💾Memory Mapping
Design of a bioinspired robophysical antenna for insect-scale tactile perception and navigation
arxiv.org·1d
✋Tactile Computing
Show HN: TyxonQ, A Chinese Full-Stack Quantum Software Framework on Real Machine
github.com·3d·
Discuss: Hacker News
⚛️Quantum Compilers
As Software Scales, So Does Its Energy Appetite
hackernoon.com·2d
🔌Interface Evolution
Show HN: Demitter – Distributed Node.js Event Emitter (Pub/Sub)
github.com·1d·
Discuss: Hacker News
🔄Sync Engine
The Effect of Prior Parameters on Standardized Kalman Filter-Based EEG Source Localization
arxiv.org·1d
🌈Spectral Methods
NEWS ROUNDUP – 1st August 2025
digitalforensicsmagazine.com·1d
🛡Cybersecurity
Revolutionize Your AI Workflow with Prompt Optimizer!
dev.to·1d·
Discuss: DEV
🤖Archive Automation
Designing for Self-Regulation in Informal Programming Learning: Insights from a Storytelling-Centric Approach
arxiv.org·2d
📝Compiler Design
We Asked 100+ AI Models to Write Code. Here’s How Many Failed Security Tests
veracode.com·1d·
Discuss: Lobsters, Hacker News
📜Proof Carrying Code
Why LLMs struggle with analytics
dev.to·4d·
Discuss: DEV
🗄️Database Internals
Show HN: AgentOS-An Early OS for Coding Agents Memory and Execution and Learning
news.ycombinator.com·2d·
Discuss: Hacker News
🌐WASI
From Red Errors to Real Confidence
dev.to·2d·
Discuss: DEV
⚔️Lean Tactics
Loading...Loading more...
AboutBlogChangelogRoadmap