IDfRA: Self-Verification for Iterative Design in Robotic Assembly
arxiv.org·1d
🔧Hardware Verification
Program Optimisations via Hylomorphisms for Extraction of Executable Code
drops.dagstuhl.de·1d·
Discuss: Hacker News
👑Coq Tactics
Broken Trust: Fixed Supermicro BMC Bug Gains a New Life in Two New Vulnerabilities
binarly.io·12h
🛡️RISC-V Security
AI Evals: Why Generic Metrics Hurt Your Product
decodingml.substack.com·20h·
Discuss: Substack
📏Code Metrics
Device-independent method certifies genuinely entangled subspaces in photonic and superconducting systems
phys.org·12h
⚛️Quantum Compression
Scaling Speculative Decoding with Lookahead Reasoning
hao-ai-lab.github.io·1d
🔧Reed-Solomon Decoders
AD-VF: LLM-Automatic Differentiation Enables Fine-Tuning-Free Robot Planning from Formal Methods Feedback
arxiv.org·2h
💻Programming languages
From Rust to Reality: The Hidden Journey of Fetch_max
questdb.com·9h·
Discuss: Lobsters, Hacker News, r/programming, r/rust
🦀Rust Macros
Success with the bench testing of the 1130 MRAM memory board finally
rescue1130.blogspot.com·1d·
Discuss: rescue1130.blogspot.com
⚡Circuit Archaeology
BYOVD to the next level (part 1) — exploiting a vulnerable driver (CVE-2025-8061)
blog.quarkslab.com·1d
🛡️RISC-V Security
Compositional Interface Refinement Through Subtyping in Probabilistic Session Types
arxiv.org·1d
📞Session Types
The Point Is Addressing
cacm.acm.org·13h·
Discuss: Hacker News
⚡Hardware Transactional Memory
Verifying User Interfaces using SPARK Ada: A Case Study of the T34 Syringe Driver
arxiv.org·1d
✅Format Verification
Variation in Verification: Understanding Verification Dynamics in Large Language Models
arxiv.org·1d
🧪Binary Fuzzing
Proof Rules for MetaSMT
philipzucker.com·2d
🧮Z3 Solver
Walking around the compiler
bernsteinbear.com·1d·
Discuss: Lobsters, Hacker News
🏗️Compiler Archaeology
GPT-5’s Enhanced Reasoning Comes With a Steep Hidden Cost
thenewstack.io·15h
🔍Concolic Testing
X Design Notes: Pattern Matching II
blog.polybdenum.com·2d
💻Programming languages
Diagnosing Violations of State-based Specifications in iCFTL
arxiv.org·1d
🛡️Archive Verification
VerilogMonkey: Exploring Parallel Scaling for Automated Verilog Code Generation with LLMs
arxiv.org·1d
🔍FPGA Verification