🐿️ 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·14h
📦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·1d
🦀Rust Macros
CVE-2025-4919: Corruption via Math Space in Mozilla Firefox
thezdi.com·2d
🦀Rust Verification
PCIE 5.0 x16 to x8x8 bifurcation
c-payne.com·1d·
Discuss: r/homelab
🖥️Terminal Renaissance
Reverse Engineering the Miele Diagnostic Interface
medusalix.github.io·22h·
Discuss: Hacker News
⚙️Cassette Mechanics
Tao: The Power of the Graph (2013)
engineering.fb.com·1h·
Discuss: Hacker News
🌳B-tree Optimization
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·1d·
Discuss: Hacker News
🦋Format Metamorphosis
Three unrelated thoughts about working with LLMs
henrycourse.com·1d·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Hierarchical Modeling (H-Nets)
cartesia.ai·2d·
Discuss: Hacker News
🌀Hyperbolic Geometry
Sandboxing AI - Extending AI Responsibly
dev.to·2d·
Discuss: DEV
🔒WASM Capabilities
[R][D] Interpretability as a Side Effect? Are Activation Functions Biasing Your Models?
reddit.com·2d·
Discuss: r/MachineLearning
📊Learned Metrics
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·9h
🧠Machine Learning
LanePerf: a Performance Estimation Framework for Lane Detection
arxiv.org·9h
🧠Machine Learning
How Apex Fusion and Well-Typed Are Shaping the Future of Institutional DeFi on Cardano
hackernoon.com·1d
🤝Distributed Consensus
Machine Learning Fundamentals: dropout
dev.to·19h·
Discuss: DEV
🌊Stream Processing
Waiting is worth it and can be improved with predictions
arxiv.org·9h
📡Information theory
On the Limitations of Large Language Models (LLMs): False Attribution
arxiv.org·9h
📝ABNF Extensions
Loading...Loading more...
AboutBlogChangelogRoadmap