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

Blancco Autopilot Detection Named Technical Innovation of the Year in Stevie Awards for Technology Excellence
blancco.com·2d
🔗Data Provenance
Writing Your Own Simple Tab-Completions for Bash and Zsh
mill-build.org·2d·
Discuss: Hacker News, r/programming
⌨️Terminal Customization
A Spellchecker Used to Be a Major Feat of Software Engineering
prog21.dadgum.com·1d·
Discuss: Lobsters, Hacker News
🌳Trie Structures
PCIe 8.0 Announced by the PCI-SIG Will Double Throughput Again
servethehome.com·1h
🖥️Modern Terminals
How to build the #1 open source terminal-use agent
letta.com·3d·
Discuss: Hacker News
🖥️Modern Terminals
Building a Factory Test Framework for ECU Low-Level APIs in CAN-Based HIL Systems
hackernoon.com·5d
🔍FPGA Verification
Latent Preference Bandits
arxiv.org·1d
🎯Content Recommendation
Uncertainty-aware Predict-Then-Optimize Framework for Equitable Post-Disaster Power Restoration
arxiv.org·1d
🧠Machine Learning
Automated Gravitational Waveform Parameter Estimation via Hybrid Neural Network and Bayesian Inference
dev.to·2d·
Discuss: DEV
🧮Kolmogorov Bounds
Moving Forward: Builders Are Proving What’s Possible With CARV’s AI Stack
hackernoon.com·20h
🚀Indie Hacking
Update on my Go CLI: You gave feedback, I listened. Announcing Open Workbench v0.6.0 with multi-service support & more.
reddit.com·1d·
Discuss: r/golang
🔓Open Source Software
🧠Building neuro-symbolic AI Alone... Help is welcome
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
SimpSave: Minimalistic and Immediate Python Data Persistence for Student Projects and Lightweight Scripts
dev.to·2d·
Discuss: DEV
📦Deflate
ATR Kinase Pathway Modulation via Synthetic MicroRNA Mimics for Enhanced Genome Stability in Replication Stress
dev.to·15h·
Discuss: DEV
🧬Copy Number Variants
FreeBSD Errata Notice FreeBSD-EN-25:12.efi
bsdsec.net·1d
🐡OpenBSD
Calibrating Deep Neural Network using Euclidean Distance
arxiv.org·1d
📊Learned Metrics
Core – A self-governing AI that modifies its own code via a constitution
github.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
🤖 How I Transformed My Crypto Trading with AI: From 3-Hour Research to 15-Minute Intelligence
dev.to·14h·
Discuss: DEV
🔍BitFunnel
Speech-to-LaTeX: New Models and Datasets for Converting Spoken Equations and Sentences
arxiv.org·3d
🎙️Whisper
Guided Delegation: Adding Context7 Documentation to My Maven Tools MCP Server
dev.to·2d·
Discuss: DEV
🔗Dependency Resolution
Loading...Loading more...
AboutBlogChangelogRoadmap