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

Using the Golden Ratio to Construct Poems
poetrywithmathematics.blogspot.com·6h·
Discuss: poetrywithmathematics.blogspot.com
📜TEI Encoding
Replacing leaky capacitors in a Macintosh SE/30: this time with modern SMD ones
classic-computers.org.nz·4d
⚡Circuit Archaeology
Supernova blast sculpts ghostly hand-shaped nebula in the cosmos (video)
space.com·6h
📡RSS
Unity reintroduces the Runtime Fee through its Industry license
unity.com·4d·
Discuss: Hacker News
🔓Open Source Software
Google tests QR code verification for text messages
engadget.com·10h
📜Proof Carrying Code
The History of The New Yorker’s Vaunted Fact-Checking Department
newyorker.com·12h·
Discuss: Hacker News
🧪Archive Fuzzing
A disgruntled worker built his own kill-switch malware to take down his former employer - and it didn't pay off
techradar.com·1d
🔓Hacking
180 Years of Scientific American Means 180-Degree Turns in Science—Here Are Some of the Wildest Ones
scientificamerican.com·12h
🌡️Preservation Physics
AI Landscape Design: The Ultimate Guide to Transforming Outdoor Spaces
dev.to·1d·
Discuss: DEV
🔲Cellular Automata
‘The Immutable Laws of Security’ at 25: 5 corollaries for a new era
reversinglabs.com·5d
🔒WASM Capabilities
Look at my Passy (I have made a password manager =)
reddit.com·4d·
Discuss: r/golang
🔓Password Cracking
How AI-Created Code Will Strain DevOps Workflows
devops.com·4d
⚙️Proof Engineering
Dynamic Network RTK Calibration via Federated Gradient Descent with Adaptive Noise Profiling
dev.to·4d·
Discuss: DEV
📊Quantization
AeroDuo: Aerial Duo for UAV-based Vision and Language Navigation
arxiv.org·3d
🤖Advanced OCR
This DeWalt Drill and Driver Set Is 30% Off for Amazon’s Labor Day Sale
lifehacker.com·8h
❄️Nix Adoption
Thought Leadership & AMD Vision - removed official AMD presentation
forums.anandtech.com·4d
🧲RISC-V Archaeology
Agentic AI: The Next Frontier in Enterprise Decision‑Making
dev.to·3d·
Discuss: DEV
🌊Stream Processing
Nvidia responds to reports that its H20 GPU for China is ending production — next-gen B30A green light "up to the United States government," according to CEO Je...
tomshardware.com·3d
🖥️Modern Terminals
ReaLM: Reflection-Enhanced Autonomous Reasoning with Small Language Models
arxiv.org·6d
💻Local LLMs
The Interpretability Analysis of the Model Can Bring Improvements to the Text-to-SQL Task
arxiv.org·5d
🧮Datalog Engines
Loading...Loading more...
AboutBlogChangelogRoadmap