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

Physicists Break Quantum Barrier With Record-Breaking Qubit Coherence
scitechdaily.com·19h
⚛️Quantum Tape
AI Math Olympiad wins revive the debate over symbols, reasoning, and the nature of intelligence
the-decoder.com·1d
🧮Theorem Proving
Video and transcript of talk on "Can goodness compete?"
joecarlsmith.com·10h·
Discuss: Hacker News
🔲Cellular Automata
Coding with LLMs in the summer of 2025 (an update)
antirez.com·3d·
Discuss: Lobsters, Hacker News, r/programming
🛠Language Design
Docker MCP Catalog: Finding the Right AI Tools for Your Project
docker.com·3h
🏠Homelab Orchestration
Contextualizing ancient texts with generative neural networks
nature.com·6h·
Discuss: Hacker News
🤖AI Paleography
G.Skill Trident Z5 Neo RGB DDR5-6000 is the current top 96GB memory kit for AMD CPUs — Trident Z5 Neo RGB C26 2x48GB Review
tomshardware.com·11h
🖥️Hardware Architecture
HuggingGraph: Understanding the Supply Chain of LLM Ecosystem
arxiv.org·1d
🔗Supply Chain
I co-authored books with GPT. It became more than a mirror
news.ycombinator.com·3h·
Discuss: Hacker News
📼Cassette Linguistics
Help Choosing Hardware for My Homelab Staging Sites & Learning Stack
reddit.com·6h·
Discuss: r/homelab
🏠HomeLab
Machine Learning Fundamentals: ensemble learning project
dev.to·3d·
Discuss: DEV
🌊Stream Processing
Level Up Your Go Code: Must-Know Design Patterns for Cleaner, Scalable Apps
dev.to·1d·
Discuss: DEV
🔧Binary Parsers
Learning-Based Modeling of a Magnetically Steerable Soft Suction Device for Endoscopic Endonasal Interventions
arxiv.org·1d
🧲Magnetic Tribology
FastSmoothSAM: A Fast Smooth Method For Segment Anything Model
arxiv.org·1d
📐Projective Geometry
How LLMs Comprehend Temporal Meaning in Narratives: A Case Study in Cognitive Evaluation of LLMs
arxiv.org·1d
🧠Intelligence Compression
Recursive Equations For Imputation Of Missing Not At Random Data With Sparse Pattern Support
arxiv.org·19h
🌸Bloom Variants
A Multimodal Deviation Perceiving Framework for Weakly-Supervised Temporal Forgery Localization
arxiv.org·19h
👁️Perceptual Hashing
Sensor-free AI predictive maintenance system deployed
railjournal.com·7h
🤖Tape Automation
SceneLoom: Communicating Data with Scene Context
arxiv.org·19h
🏛Digital humanities
Carly's Cuts: Simplicity and Struggle
dev.to·13h·
Discuss: DEV
🔗Concatenative Programming
Loading...Loading more...
AboutBlogChangelogRoadmap