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

Things I Learned on the Road II
pballew.blogspot.com·1d·
Discuss: www.blogger.com
🛡️Proof-Carrying Archives
Slim, fanless & powerful
blogger.com·22h
🧲RISC-V Preservation
Intel exit in Magdeburg: "This is not a good day for Europe"
heise.de·17h
🇩🇪German Computing
Extracting Data From AI Models: A Tale of Three Approaches
blog.scottlogic.com·2d
🌳Incremental Parsing
10 Critical Mistakes that Silently Ruin Machine Learning Projects
machinelearningmastery.com·2d
🧠Intelligence Compression
Nullable but Not Null
efe.me·15h·
Discuss: Lobsters, Hacker News, r/programming
✅Format Validation
Dell 7910 precious tower for AI homelab upgrading to dual E5-2697 v4 unable to post
dell.com·17h·
Discuss: r/homelab
🔒Secure Boot
Post-quantum TLS in Python
aws.amazon.com·1d
🔐Quantum Security
How Solid Protocol Restores Digital Agency
schneier.com·1d·
Discuss: Hacker News
🔗Data Provenance
Foreword for Fuzz Testing Book
pages.cs.wisc.edu·3d·
Discuss: Lobsters, Hacker News
🐛Fuzzing
DeLLMa: Decision Making Under Uncertainty with Large Language Models
dellma.github.io·2d·
Discuss: Hacker News
🔗Constraint Handling
Agents Are Not Tools
discuss.google.dev·2d·
Discuss: Hacker News
🔐Capability Systems
The AI Safety Puzzle Everyone Avoids: How To Measure Impact, Not Intent.
lesswrong.com·3d·
Discuss: Hacker News
✨Effect Handlers
How to Make Docker Builds Faster with Layer Caching
hackernoon.com·1d
🐚Shell Optimization
Modern Data Warehousing: Principles, Design, and Best Practices
dev.to·10h·
Discuss: DEV
🗄️Database Internals
Interfacing HLK LD2420 24GHz Radar Sensor with Arduino
hackster.io·3d
🔍FPGA Verification
Performance implications of unchecked functions like unwrap_unchecked, unreachable, etc.
reddit.com·3d·
Discuss: r/rust
🔒Type Safety
Why I’m Starting to Prefer AI-Native IDEs Over Traditional Ones
dev.to·12h·
Discuss: DEV
🌳Incremental Parsing
More restoration work on 2501 Card Reader - buttons, lights, cable repair, short circuit check
rescue1130.blogspot.com·1d·
Discuss: rescue1130.blogspot.com
🗃️Punch Card Recovery
Novel Multi-Agent Action Masked Deep Reinforcement Learning for General Industrial Assembly Lines Balancing Problems
arxiv.org·3d
🔲Cellular Automata
Loading...Loading more...
AboutBlogChangelogRoadmap