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

An engineer’s path from data loss to software preservation
softwareheritage.org·1d
🔄Archival Workflows
CVE-2025-4919: Corruption via Math Space in Mozilla Firefox
thezdi.com·2d
🦀Rust Verification
Breaking Disassembly — Abusing symbol resolution in Linux programs to obfuscate library calls ️🎭
blog.elmo.sg·5d
🔗Static Linking
PCIE 5.0 x16 to x8x8 bifurcation
c-payne.com·12h·
Discuss: r/homelab
🖥️Terminal Renaissance
Slopsquatting: AI's Contribution to Supply Chain Attacks
hackerone.com·1d
🔒WASM Capabilities
Writing the Perfect Question (2010)
codeblog.jonskeet.uk·1h·
Discuss: Hacker News
🔗Constraint Handling
[R] Interesting paper on cost-aware prompt optimization (CAPO)
reddit.com·1d·
Discuss: r/MachineLearning
🏗️Compiler Archaeology
Solving the Context Rot Problem for Coding Agents
install.md·1d·
Discuss: Hacker News
🌳Incremental Parsing
The Impact of Prompt Bloat on LLM Output Quality
mlops.community·11h·
Discuss: Hacker News
✨Effect Handlers
Can We Predict Alignment Before Models Finish Thinking? Towards Monitoring Misaligned Reasoning Models
arxiv.org·18h
💻Local LLMs
Why We Develop EloqDB Mainly in C++
eloqdata.com·7h·
Discuss: Hacker News
🦀Rust Borrowing
You Are in a Box
jyn.dev·3d·
Discuss: Lobsters, Hacker News
🐚Shell Calculus
Redefining Data Operations With Data Flow Programming in CocoIndex
hackernoon.com·10h
🌊Stream Processing
Machine Learning Fundamentals: dimensionality reduction tutorial
dev.to·7h·
Discuss: DEV
📐Vector Dimensionality
Finding Order-Preserving Subgraphs
arxiv.org·1d
🕸️Graph Algorithms
Coming to ISO C++ 26 Standard: An AI Acceleration Edge
thenewstack.io·3d·
Discuss: Hacker News
🔩Systems Programming
Improving Data and Parameter Efficiency of Neural Language Models Using Representation Analysis
arxiv.org·18h
🧮Kolmogorov Complexity
Reversing Google's New VM-Based Integrity Protection: PairIP
blog.byterialab.com·1d·
Discuss: Hacker News
🌐WASI
How I Doubled My Lookup Performance with a Bitwise Trick
maltsev.space·2d
🔢Bitwise Algorithms
C++ Trailing Return Types (2022)
danielsieger.com·13h·
Discuss: Lobsters, Hacker News, r/programming
🔗Concatenative Programming
Loading...Loading more...
AboutBlogChangelogRoadmap