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

Retrobatch 2.3 Is Out
shapeof.com·47m
📄PDF Internals
You Think You Know the Difference Between Planets and Moons. You Don’t.
popularmechanics.com·15m
🏛️Philosophy
To Infinity… But Not Beyond!
meyerweb.com·2h
🖋Typography
Abstract algebra structures made easy
blog.sesse.net·4d
🔀Category Theory
How Agentic AI Helps with Adaptive Cloud Risk Assessment with Agent Vikram
blog.qualys.com·2h
👁️Observatory Systems
Java Thread Dump Analyzer – Identify and Solve Threading Issues
threadanalyzer.online·14h·
Discuss: Hacker News
⚡Performance Tools
A short statistical reasoning test
emiruz.com·3d·
Discuss: Lobsters, Hacker News
🧮Kolmogorov Bounds
Arm pivots toward building its own chips, hires Amazon AI chip leader Rami Sinno
techspot.com·1d
🦾ARM Assembly
Informal e-waste recycling in Pakistan: A hidden environmental crisis
phys.org·4h
📼Cassette Archaeology
I made Python uncrashable, it catches every exception
github.com·1d·
Discuss: Hacker News
🧪Binary Fuzzing
A 3D-printed aluminum mirror could enhance CubeSat observations
phys.org·1d
🔬Projection Optics
Small Projects Thread Feedback
reddit.com·2d·
Discuss: r/golang
🎯Gradual Typing
How best to connect 3 switches together? Sounds like a stupid question, but hear me out.
reddit.com·2h·
Discuss: r/homelab
🖥Home Lab Setup
Prompter: Jupyter-Like LLM Notebooks for VSCode
github.com·1d·
Discuss: Hacker News
📺Terminal UI
CALYPSO: Forecasting and Analyzing MRSA Infection Patterns with Community and Healthcare Transmission Dynamics
arxiv.org·13h
🧠Machine Learning
Correlations Are Ruining Your Gradient Descent
arxiv.org·13h
🧠Machine Learning
A missing enzyme-rescue metabolite as cause of a rare skeletal dysplasia
nature.com·1h
🧬Copy Number Variants
Enhancing Supervised Composed Image Retrieval via Reasoning-Augmented Representation Engineering
arxiv.org·2d
🗂️Vector Search
Graphon Mean-Field Logit Dynamic: Derivation, Computation, and Applications
arxiv.org·1d
🔲Cellular Automata
Automated Metadata Enrichment for Long-Tail Digital Archives via Knowledge Graph Fusion and Semantic Reasoning
dev.to·2d·
Discuss: DEV
🤖Archive Automation
Loading...Loading more...
AboutBlogChangelogRoadmap