⚖️ RISC-V Formal

ISA Verification, Instruction Semantics, Hardware Proofs, Architecture Validation

Codeminer42 Dev Weekly #82
blog.codeminer42.com·1d
🎯Gradual Typing
We May Have a Path to the Fundamental Theory of Physics (2020)
writings.stephenwolfram.com·1d·
Discuss: Hacker News
⏰Time Crystals
N8n vs. Windmill vs. Temporal
blog.arcbjorn.com·2d·
Discuss: Hacker News
🌊Stream Processing
Intel's open source future in question as exec says he's done carrying the competition
theregister.com·2d·
Discuss: Hacker News, r/hardware
🔓Open Source Software
A new breed of analyzers
daniel.haxx.se·1d·
Discuss: Lobsters, Hacker News, r/programming
🐛Fuzzing
Save Your USB-C Plugs From Oblivion
hackaday.com·4h
💾Floppy Imaging
I built a translator for spatial thinking (because I can't interview in Python)
graemefawcett.ca·1d·
Discuss: Hacker News
🔗Concatenative Programming
Side project - MV864A restoration - substantial progress in reverse engineering
rescue1130.blogspot.com·2d·
Discuss: rescue1130.blogspot.com
⚡Circuit Archaeology
Coreboot 25.09 Released With 19 More Motherboards Supported, Better amdfwtool For Turin
phoronix.com·1d
🔌Operating system internals
Enhancing Vector Signal Generator Accuracy with Adaptive Polynomial Regression Calibration
dev.to·1d·
Discuss: DEV
📡Audio Modulation
Cisco Silicon One P200 and Cisco 8223 for 51.2T Scale Across Networking
servethehome.com·1d
🏠Homelab Federation
Oct 29 2025 : Build Your Own ArduTouch Synthesizer Workshop
nycresistor.com·14h
🎹MIDI Archaeology
`shimmy` Rust inference server uses bindings to a C library... and runs Python scripts in the shell
reddit.com·2d·
Discuss: r/rust
🦀Rust Macros
Tech With Tim: Why 1M People Tried This AI Coding Tool (Full Vibe Coding Tutorial)
dev.to·5h·
Discuss: DEV
🌀Brotli Internals
Complete Guide to Audio Processing in Python: From Spectrograms to Real-Time Applications
dev.to·20h·
Discuss: DEV
📊Spectral Analysis
Less Is More: Recursive Reasoning with Tiny Networks
github.com·3d·
Discuss: Hacker News
📊Quantization
Tech With Tim: Why 1M People Tried This AI Coding Tool (Full Vibe Coding Tutorial)
dev.to·7h·
Discuss: DEV
🎬WebCodecs
Latest Software Development News: Mid-October 2025 Roundup
dev.to·5h·
Discuss: DEV
🔄Language Evolution
Automated Parameter Calibration in Physics-Based Robot Simulation via Bayesian Optimization
dev.to·2d·
Discuss: DEV
⚡Incremental Computation
The Porcelain to Come
stackdiver.com·1d·
Discuss: Hacker News
🔲Cellular Automata