Certificates and Witnesses for Multi-objective {\omega}-regular Queries in Markov Decision Processes
arxiv.org·1d
🎯Performance Proofs
TaMaRa: Towards a Triple Modular Redundancy Pass for Yosys
blog.yosyshq.com·3d·
Discuss: Lobsters, Hacker News
🔍FPGA Verification
RP2040 Assembly Language Mix and Match
hackaday.com·2d
🔧RISC-V Assembler
Qt for MOSA: FACE Conformant Qt for Aerospace and Defense Software
qt.io·2h
⚡SMT Applications
Formal Methods for Stellar DeFi: Verifying Lending Protocol with Certora Sunbeam Prover
blog.positive.com·1d
✅Format Verification
Research, Review, Rebuild: Intelligent Modernisation with MCP and Strategic Prompting
martinfowler.com·18m
🦋Format Metamorphosis
d-Matrix Corsair In-Memory Computing For AI Inference at Hot Chips 2025
servethehome.com·16h
⚡Cache Coherence
Model-based Testing Distributed Systems with P Language (2021)
mydistributed.systems·23h·
Discuss: Lobsters, Hacker News, r/programming
📞Session Types
Stop Being a Replaceable Printer
dev.to·5h·
Discuss: DEV
🔄Reproducible Builds
SOC Visibility Quad: Why Application Telemetry Completes the Framework | Oligo Security
oligo.security·1h
👁️System Observability
Implementing Forth in Go and C
eli.thegreenplace.net·10h·
Discuss: Lobsters, Hacker News, Hacker News
🔗Concatenative Programming
How to Slow Down a Program? And Why it Can Be Useful.
stefan-marr.de·4h·
Discuss: Lobsters, Hacker News
🚀Compiler Optimizations
Dependent types I › Universes, or types of types
jonmsterling.com·8h·
Discuss: Hacker News
🔤Type Theory
Relacy Race Detector is a verifier for relaxed memory models
1024cores.net·2d·
Discuss: Hacker News
⚡Hardware Transactional Memory
Using panic metadata to recover source code information from Rust binaries | cxiao.net
cxiao.net·1d
🦀Rust Macros
01 Getting Started with the Trenz TE0950 Board
hackster.io·4h
⚡Homebrew CPUs
Athos Silicon: SoC with redundant UCIe chiplets for autonomous driving and more
heise.de·1d
⚡Nordic Processors
State of the art for reducing executable size with optimized program
discourse.llvm.org·3h·
Discuss: Lobsters, Hacker News
🔗Static Linking
Guessing Game: Haskell Style
entropicthoughts.com·1d
👑Dependent Haskell
It’s a Cold Day in Developer Hell, So I Must Roll My Own Crypto
soatok.blog·3h
🌳Archive Merkle Trees