🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🔧 Hardware Verification

Formal Methods, Circuit Correctness, Model Checking, Silicon Validation

RTL generation for custom CPU Mrav
popovicu.com·6d
⚙️Modern Assembly
Checkpoints for Claude Code
apps.apple.com·1d·
Discuss: Hacker News
🚀Compiler Optimizations
Simulating the Commodore PET
hackaday.com·2d
🎮Gameboy Emulation
How we made Kagi Assistant load twice as fast
jacobwinters.com·9h·
Discuss: Hacker News
🗄️Database Internals
Alpay Algebra: Solving the "Unsolvable" or Just Changing the Rules?
lightcapai.medium.com·2d·
Discuss: Hacker News
👑Isabelle
Formal verification effort for the ABDK Math 64.64 library using echidna/hevm
github.com·4d·
Discuss: Hacker News
✅Format Verification
Toward Digital Well-Being: Using Generative AI to Detect and Mitigate Bias in Social Networks
towardsdatascience.com·9h
🎛️Feed Filtering
RTX 5090: Benchmark tests, reviews, and the latest news
tomshardware.com·8h
🎬WebCodecs
P2C: Path to Counterfactuals
arxiv.org·20h
🔍BitFunnel
Beyond CAP: Understanding the PACELC Theorem in Distributed Systems
dev.to·19h·
Discuss: DEV
🤝Distributed Consensus
I built a production app in a week by managing a swarm of 20 AI agents
zachwills.net·2d·
Discuss: Hacker News
🤖Network Automation
Enhanced Lithium Cobalt Oxide Coating Optimization via Multi-Modal Data Integration & Bayesian Hyperparameter Tuning
dev.to·1d·
Discuss: DEV
🏠Homelab Archaeology
GENRE-CMR: Generalizable Deep Learning for Diverse Multi-Domain Cardiac MRI Reconstruction
arxiv.org·20h
🧲Magnetic Resonance
Put a ring on it: a lock-free MPMC ring buffer
h4x0r.org·3d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
⚡Hardware Transactional Memory
Blind Source Separation-Enabled Joint Communication and Sensing in IBFD MIMO Systems
arxiv.org·20h
⏱️SMPTE Timecode
Hallucinating with AI: AI Psychosis as Distributed Delusions
arxiv.org·1d
🔍Vector Forensics
Techniques to Master Claude Code for Efficient AI
dev.to·16h·
Discuss: DEV
🦀Rust Macros
Bitcoin as an Interplanetary Monetary Standard with Proof-of-Transit Timestamping
arxiv.org·20h
🌳Archive Merkle Trees
Automated Cognitive Mapping via Hierarchical Semantic Graph Refinement and Reinforcement Learning
dev.to·1d·
Discuss: DEV
🔲Cellular Automata
Disentangling Latent Embeddings with Sparse Linear Concept Subspaces (SLiCS)
arxiv.org·20h
🧮Vector Embeddings
Loading...Loading more...
AboutBlogChangelogRoadmap