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

Hardware Formal Methods, FPGA Validation, Logic Synthesis, Digital Design Proofs

Extensions and Shadows (8)
sites.psu.edu·2d
🧮Kolmogorov Bounds
Synthetic or artificial?
rhollick.wordpress.com·6h
🔲Cellular Automata
How to sell open source technology to the government
openthc.com·6h·
Discuss: Hacker News, r/opensource
🔓Open Source Software
Emacs: The macOS Bug
xlii.space·2h·
Discuss: Lobsters, Hacker News
🖥️Vintage Macintosh
Robotics Levels of Autonomy
semianalysis.com·4h·
Discuss: Hacker News
🔐Capability Systems
Security platform: Socket expands security offering with Scala and Kotlin
heise.de·1d
💧Liquid Types
Private key and password protection by steganographic image encryption
arxiv.org·17h
🦠Parasitic Storage
Confusion Matrix Made Simple: Accuracy, Precision, Recall & F1-Score
towardsdatascience.com·4h
🔍Information Retrieval
Chain-of-Cooking:Cooking Process Visualization via Bidirectional Chain-of-Thought Guidance
arxiv.org·17h
🧮Algorithmic Cooking
Digital identity management system with blockchain:An implementation with Ethereum and Ganache
arxiv.org·17h
🔐PKI Archaeology
Learning to See Inside Opaque Liquid Containers using Speckle Vibrometry
arxiv.org·1d
📊Spectrograms
Deep Dive into Transformer’s Attention: Scale, Mask, Dropout and More
dev.to·13h·
Discuss: DEV
📊Learned Metrics
Knowledge-Guided Memetic Algorithm for Capacitated Arc Routing Problems with Time-Dependent Service Costs
arxiv.org·17h
🔗Topological Sorting
Failure Risk Prediction in a MOOC: A Multivariate Time Series Analysis Approach
arxiv.org·17h
🧪Data science
Streamline GitHub workflows with generative AI using Amazon Bedrock and MCP
aws.amazon.com·4h
🌊Streaming Systems
Ultra-Low-Latency Edge Inference for Distributed Sensing
arxiv.org·1d
⧗Information Bottleneck
Pattern matching across different languages
dev.to·6d·
Discuss: DEV
🧮Algebraic Datatypes
Vulnerability Mitigation System (VMS): LLM Agent and Evaluation Framework for Autonomous Penetration Testing
arxiv.org·17h
🛡️WASM Sandboxing
AgriEval: A Comprehensive Chinese Agricultural Benchmark for Large Language Models
arxiv.org·17h
📐Binary Grammars
RestoreAI - Pattern-based Risk Estimation Of Remaining Explosives
arxiv.org·1d
🧠Machine Learning
Loading...Loading more...
AboutBlogChangelogRoadmap