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

Show HN: Generative Graphics LLM Benchmark
ggbench.com·1d·
Discuss: Hacker News
🖥️Terminal Emulators
Why might it be necessary for Coalton to be a language in itself?
gist.github.com·15h·
Discuss: Hacker News
🧠Lisp Dialects
Automated Anomaly Detection in Semiconductor Fabrication via Multi-Modal Graph Neural Networks
dev.to·1d·
Discuss: DEV
🔬Hardware Forensics
Recent cross-research on LLM and RL on ArXiv
github.com·1d·
Discuss: Hacker News
🔲Cellular Automata
The Imminent Deprecation of memory_order:consume
people.kernel.org·1h·
Discuss: Hacker News
🔩Systems Programming
\(X\)-evolve: Solution space evolution powered by large language models
arxiv.org·15h
🛠Language Design
Autonomous Dynamic Voltage Scaling via Reinforcement Learning for Power Efficiency in High-Performance Computing
dev.to·23h·
Discuss: DEV
⚡Incremental Computation
🛠 Type‑Safe DSLs in Go — No Magic, Just Go ⚡
dev.to·14h·
Discuss: DEV
🌐Protocol Synthesis
PYNQ-Z2 Music Visualizer
hackster.io·5h
⚡Homebrew CPUs
Automated Dynamic Load Balancing in Heavy-Lift Crane Operations via Reinforcement Learning
dev.to·15h·
Discuss: DEV
🏠Homelab Orchestration
Pushing the Envelope of LLM Inference on AI-PC
arxiv.org·15h
💻Local LLMs
Fast and Generalizable parameter-embedded Neural Operators for Lithium-Ion Battery Simulation
arxiv.org·15h
🧠Neural Codecs
Dynamic Virtual Commissioning via Hybrid Agent-Based Simulation & Reinforcement Learning
dev.to·1d·
Discuss: DEV
🧩WASM Components
Generic Containers in C: Safe Division Using Maybe
uecker.codeberg.page·1d·
Discuss: Hacker News, r/programming
🔒Type Safety
Efficient and Reliable Hitting-Set Computations for the Implicit Hitting Set Approach
arxiv.org·15h
🎯Performance Proofs
Enhanced Receptor Tyrosine Kinase (RTK) Signal Deciphering via Multi-Modal Adaptive Network (SMAN)
dev.to·3h·
Discuss: DEV
🧠Machine Learning
Automated Fault Injection Pattern Recognition via Multi-Modal Hypernetwork Analysis
dev.to·2d·
Discuss: DEV
🔍Concolic Testing
Automated Anomaly Detection in UL 508A Industrial Control Panels via Graph Neural Networks
dev.to·1d·
Discuss: DEV
🎯Threat Hunting
Edge Detection for Organ Boundaries via Top Down Refinement and SubPixel Upsampling
arxiv.org·15h
🤖Advanced OCR
In over my head a bit
reddit.com·14h·
Discuss: r/homelab
🏠HomeLab
Loading...Loading more...
AboutBlogChangelogRoadmap