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

How the Bell Labs Holmdel Complex Inspired ‘Severance’
atlasobscura.com·4h
🖥️Terminal Renaissance
Nova Lake-AX: Intel is apparently working on a competitor to AMD's Strix Halo
heise.de·1h
⚡Nordic Processors
About our proof-of-concept LLM tool for navigating Debian's manpages
gwolf.org·1d
🦀Rust Macros
Topological symmetry in quantum field theory (2024)
ems.press·5h·
Discuss: Hacker News
🔀Category Theory
Reverse Engineering the Miele Diagnostic Interface
medusalix.github.io·1d·
Discuss: Hacker News
⚙️Cassette Mechanics
MCP: Bringing mashups back!
blog.pamelafox.org·2h·
Discuss: www.blogger.com, Hacker News
🔌Interface Evolution
Transitioning to Virtual Threads Using the Micronaut Loom Carrier
micronaut.io·2d·
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·18h
🧠Intelligence Compression
RAG at the Crossroads - Mid-2025 Reflections on AI’s Incremental Evolution | RAGFlow
ragflow.io·7h·
Discuss: Hacker News, r/LocalLLaMA
🌀Brotli Internals
DPNO: A Dual Path Architecture For Neural Operator
arxiv.org·12h
📊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·3d·
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·12h
🧠Machine Learning
LanePerf: a Performance Estimation Framework for Lane Detection
arxiv.org·12h
🧠Machine Learning
Waiting is worth it and can be improved with predictions
arxiv.org·12h
📡Information theory
On the Limitations of Large Language Models (LLMs): False Attribution
arxiv.org·12h
📝ABNF Extensions
AI whiplash, and Neovim in the age of AI
dlants.me·1d·
Discuss: Hacker News, r/neovim
✨Effect Handlers
Loading...Loading more...
AboutBlogChangelogRoadmap