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

Alignment Monitoring
arxiv.org·5h
🎯Performance Proofs
Big O vs Hardware: Better Complexity ≠ Better Performance
blog.codingconfessions.com·14h
🔢Bitwise Algorithms
LLMs won't save you from bad software engineering culture
atelfo.github.io·7h·
Discuss: Hacker News
🔄Language Evolution
Advantech unveils NXP i.MX 95 SMARC 2.2 and OSM Size L system-on-modules
cnx-software.com·4h
🔐HSM Integration
miniHDL: A Python Hardware Description Language DSL
nicholas.carlini.com·2d·
Discuss: Hacker News
⚡Circuit Design
General CPU µArch Research Thread
forums.anandtech.com·1d
⚙️RISC-V Microcode
Automating Boundary Filling in Cubical Type Theories
arxiv.org·5h
🔶Cubical Type Theory
Challenges of Pseudocode Expansion
funcall.blogspot.com·2h·
Discuss: www.blogger.com
🔗Lisp
Testing races with a synchronizing Decorator
blog.ploeh.dk·1h
🔄Sync Engine
Introductory Computer Science and Software Engineering Topics
albertyw.com·7h
🛠Language Design
Making a custom CPU
popovicu.com·1d
⚡Homebrew CPUs
The Hidden Cost of Performance: How High-Load Specialization Warps Engineering Intuition
hackernoon.com·18h
🎯Performance Forensics
An Easy Problem Made Hard: Rust & Binary Trees
mmhaskell.com·48m
🔒Linear Types
Understanding The LEGO Interface B Serial Communication
hackster.io·21h
📟Vintage Protocols
On This Day in Math - August 4
pballew.blogspot.com·4h·
Discuss: www.blogger.com
📜Manuscript Algebras
Week 7 — Learning Basic Concepts of Cybersecurity
infosecwriteups.com·4h
🔐Capability Systems
Transpiling a Forth dialect to LLVM IR
onirom.fr·2d
🚀Compiler Optimizations
libopencm3/libopencm3
github.com·7h
🦾ARM Assembly
How to Create Unbreakable Job Security: A Software Developer's Guide to Making Yourself Indispensable
getparthenon.com·1h·
Discuss: Hacker News, r/programming
💾Persistence Strategies
Release AI Agent Code Safely - Production CI/CD & Secrets
dev.to·3h·
Discuss: DEV
⚡Proof Automation
Loading...Loading more...
AboutBlogChangelogRoadmap