⚖️ 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
I have seen the compounding teams
sundaylettersfromsam.substack.com·19h·
Discuss: Substack
⚔️Lean Tactics
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
OpenAI's inflated valuation, as I understand it
taloranderson.com·1d·
Discuss: Hacker News
💻Local LLMs
Emerging technologies and national security intelligence
tandfonline.com·21h
🔐Capability Systems
The Case for Separating Thinking (GPU) and Compute (CPU)
gojiberries.io·2h·
Discuss: Hacker News
⚡Z3 Optimization
Is DevRel Just About Events, or Something Deeper?
dev.to·1d·
Discuss: DEV
🌐Protocol Synthesis
Updated Buildroot support for STM32MPU platforms, ST BSP v6.1
bootlin.com·1d
🔌Operating system internals
Is the End of Detection-Based Security Here?
thenewstack.io·1d
🎯Threat Hunting
AI-Driven Ethical Risk Assessment & Mitigation in Supply Chain Compliance
dev.to·1d·
Discuss: DEV
🔗Supply Chain
I tested the LaCie Rugged SSD4 - and it's blindingly quick, I found that speed comes at a cost
techradar.com·15m
🖥️Modern Terminals
End-to-end testing of Gen AI Apps
dev.to·18h·
Discuss: DEV
🔍Concolic Testing
I built a translator for spatial thinking (because I can't interview in Python)
graemefawcett.ca·1d·
Discuss: Hacker News
🔗Concatenative Programming
LLC Artificial Intelligence Trained to Lie by Omission
dev.to·17h·
Discuss: DEV
📏Code Metrics
[Help] TrueNas issues
reddit.com·12h·
Discuss: r/homelab
🏠HomeLab
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