🐿️ 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·7h
📦METS Containers
About our proof-of-concept LLM tool for navigating Debian's manpages
gwolf.org·18h
🦀Rust Macros
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·19h·
Discuss: r/homelab
🖥️Terminal Renaissance
Reverse Engineering the Miele Diagnostic Interface
medusalix.github.io·14h·
Discuss: Hacker News
⚙️Cassette Mechanics
Transitioning to Virtual Threads Using the Micronaut Loom Carrier
micronaut.io·1d·
Discuss: Hacker News
🌊Stream Processing
How I Doubled My Lookup Performance with a Bitwise Trick
maltsev.space·2d
🔢Bitwise Algorithms
Evaluating generative AI models with Amazon Nova LLM-as-a-Judge on Amazon SageMaker AI
aws.amazon.com·7h
🧠Intelligence Compression
A Discrete Analog of Tutte's Barycentric Embeddings on Surfaces
arxiv.org·1h
🌐Computational Topology
Machine Learning Fundamentals: dimensionality reduction
dev.to·1d·
Discuss: DEV
📐Linear Algebra
My favorite use-case for AI is writing logs
vickiboykis.com·2d
🌳Incremental Parsing
Monotone weak distributive laws over the lifted powerset monad in categories of algebras
arxiv.org·1h
🧮Algebraic Archives
[R][D] Interpretability as a Side Effect? Are Activation Functions Biasing Your Models?
reddit.com·1d·
Discuss: r/MachineLearning
📊Learned Metrics
The Age of Self-Evolving AI Is Here
towardsdatascience.com·3h
⚡Incremental Computation
MUPAX: Multidimensional Problem Agnostic eXplainable AI
arxiv.org·1h
🧠Machine Learning
Using AI in the development of stdlib
dev.to·10h·
Discuss: DEV
📏Code Metrics
DPNO: A Dual Path Architecture For Neural Operator
arxiv.org·1h
📊Quantization
I've been coding with AI for two years. Here is what I've learned
nathanpeck.com·1d·
Discuss: Hacker News
💾Persistence Strategies
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·22h
🔍RegEx Engines
Loading...Loading more...
AboutBlogChangelogRoadmap