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

Advent of Code: 500 Stars
elly.town·2d
🔗Topological Sorting
Wake on Lan over WiFi For any Pc
github.com·23h·
Discuss: r/homelab
🔌Single Board PC
The case against Almost Always `auto` (AAA)
gist.github.com·1d·
Discuss: Hacker News, r/cpp
🔒Type Safety
Tau² Benchmark in Action: Early Results and Key Takeaways
quesma.com·2d·
Discuss: Hacker News
🔍Concolic Testing
The AI Engineer's Guide to LLM Observability with OpenTelemetry
agenta.ai·3d·
Discuss: Hacker News
👁️System Observability
Hyper-Resolution Temporal Texture Synthesis via Conditional GANs for Real-Time Video Restoration
dev.to·10h·
Discuss: DEV
🎬Video Codecs
Normality and the Turing Test
arxiv.org·2d
🎯Automata theory
There's a gap between AI coding demos and daily reality
github.com·1d·
Discuss: Hacker News
⚡Proof Automation
How a Hackathon Rejection Became 6,000+ PyPI Downloads
dev.to·6h·
Discuss: DEV
🔒WASM Capabilities
Automated Optimization of Novel β-Lactamase Inhibitors via Multi-Objective Bayesian Optimization and In Silico Screening
dev.to·21h·
Discuss: DEV
🧮Z3 Applications
<i>PICALM</i> Alzheimer’s risk allele causes aberrant lipid droplets in microglia
nature.com·7h
🧬Copy Number Variants
Stealth Mode for Smart Factories: Protecting Machine Code with Adaptive AI
dev.to·20h·
Discuss: DEV
🔍Vector Forensics
Automated Hyperparameter Optimization for False Discovery Rate Control via Bayesian Neural Networks
dev.to·1d·
Discuss: DEV
🧠Machine Learning
From Pixel to Perfection: Instant 3D Models from Single Images by Arvind Sundararajan
dev.to·13h·
Discuss: DEV
🏺Computational Archaeology
Safety-Critical Multi-Agent MCTS for Mixed Traffic Coordination at Unsignalized Roundabout
arxiv.org·19h
🔲Cellular Automata
Prompting Away Stereotypes? Evaluating Bias in Text-to-Image Models for Occupations
arxiv.org·19h
🏛Digital humanities
Beyond Ensembles: Simulating All-Atom Protein Dynamics in a Learned Latent Space
arxiv.org·19h
🔲Cellular Automata
Fairness in Federated Learning: Trends, Challenges, and Opportunities
arxiv.org·19h
🤐Secure Multiparty
Comprehensive Signal Quality Evaluation of a Wearable Textile ECG Garment: A Sex-Balanced Study
arxiv.org·2d
📊Spectrograms
Had a homelab for years, but finally I have a rack to put it in!
reddit.com·18h·
Discuss: r/homelab
🏠HomeLab
Loading...Loading more...
AboutBlogChangelogRoadmap