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

Data Lakehouse Security: Supporting Scalable Analytics and AI Workloads
blog.min.io·10h
📦METS Containers
An engineer’s path from data loss to software preservation
softwareheritage.org·2d
🔄Archival Workflows
About our proof-of-concept LLM tool for navigating Debian's manpages
gwolf.org·22h
🦀Rust Macros
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·23h·
Discuss: r/homelab
🖥️Terminal Renaissance
Reverse Engineering the Miele Diagnostic Interface
medusalix.github.io·18h·
Discuss: Hacker News
⚙️Cassette Mechanics
How I Doubled My Lookup Performance with a Bitwise Trick
maltsev.space·2d
🔢Bitwise Algorithms
Migrating over 30 lambdas from Serverless Framework with LLMs
intmaker.com·23h·
Discuss: Hacker News
🦋Format Metamorphosis
Three unrelated thoughts about working with LLMs
henrycourse.com·1d·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Using AI in the development of stdlib
dev.to·14h·
Discuss: DEV
📏Code Metrics
[D] Signal/Info Processing Vs. ML Specializations in Master-Level Programs
reddit.com·1h·
Discuss: r/MachineLearning
🧠Machine Learning
DPNO: A Dual Path Architecture For Neural Operator
arxiv.org·5h
📊Quantization
I've been coding with AI for two years. Here is what I've learned
nathanpeck.com·1d·
Discuss: Hacker News
💾Persistence Strategies
Hierarchical Modeling (H-Nets)
cartesia.ai·2d·
Discuss: Hacker News
🌀Hyperbolic Geometry
Sandboxing AI - Extending AI Responsibly
dev.to·2d·
Discuss: DEV
🔒WASM Capabilities
Regex Is a 70-Year-Old Dinosaur—Here’s the Modern Alternative
hackernoon.com·1d
🔍RegEx Engines
WaveletInception Networks for Drive-by Vibration-Based Infrastructure Health Monitoring
arxiv.org·5h
🧠Machine Learning
LanePerf: a Performance Estimation Framework for Lane Detection
arxiv.org·5h
🧠Machine Learning
How Apex Fusion and Well-Typed Are Shaping the Future of Institutional DeFi on Cardano
hackernoon.com·1d
🤝Distributed Consensus
Loading...Loading more...
AboutBlogChangelogRoadmap