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

Computer Architecture Lessons from the Kitchen
sigarch.org·2d
🧮Algorithmic Cooking
Azure apparatchik shows custom silicon keeping everything locked down
theregister.com·17h
🔐HSM Integration
Librem Post Quantum Cryptography Comms Server
puri.sm·15h·
Discuss: Hacker News
🔐HSM Integration
Paradigms of Intelligence Team
github.com·1d·
Discuss: Hacker News
🔲Cellular Automata
Structural vs. Mathematical “Under” (2023)
dyalog.com·1d·
Discuss: Lobsters, Hacker News, r/programming
🐚Shell Calculus
Understanding Tool-Integrated Reasoning
arxiv.org·10h
🔗Constraint Handling
Abhinav Sarkar: A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·3d
🔗Functional Compilers
How to Run Multiple LLMs Locally Using Llama-Swap on a Single Server
kdnuggets.com·2h
⚙️WASM Runtime
How I Make Claude Code Work for Me (Aug 2025)
craftingteams.substack.com·1d·
Discuss: Substack
🔩Systems Programming
Many hate on Object-Oriented Programming. But some junior programmers seem to mostly echo what they've heard experienced programmers say. In this blog post I tr...
zylinski.se·14h·
Discuss: Hacker News, r/programming
🔩Systems Programming
Make and SQL: An old new way for Data Science workloads
vasvir.wordpress.com·20h·
Discuss: Hacker News
🦀Rust Macros
Positional Embeddings in Transformers: A Math Guide to RoPE & ALiBi
towardsdatascience.com·1d
📐Geometric Hashing
The TTY Demystified
linusakesson.net·1d·
Discuss: Hacker News, r/programming
📟Terminals
Interpretable Early Failure Detection via Machine Learning and Trace Checking-based Monitoring
arxiv.org·1d
🔧Hardware Verification
Trying to get error backtraces in rust libraries right
iroh.computer·22h·
Discuss: Lobsters, Hacker News, r/rust
🔒Linear Types
Why Is Everyone Buying Change Data Capture?
estuary.dev·19h·
Discuss: Hacker News
🌊Stream Processing
LLM VRAM Usage Cut by 45x? What Jet-Nemotron Means for Local Users
hardware-corner.net·11h·
Discuss: Hacker News
🖥️Hardware Architecture
Thoughts on systems thinking and production excellence from Release It
stevenoxley.com·23h·
Discuss: Hacker News
🛡️Error Boundaries
vLLM on x86: Because Not Everyone Can Afford a GPU Cluster
dev.to·1d·
Discuss: DEV
⚡Homebrew CPUs
Context Engineering ( RAG 2.0): The Next Chapter in GenAI
medium.com·5h·
Discuss: Hacker News
🌀Brotli Internals
Loading...Loading more...
AboutBlogChangelogRoadmap