⚖️ RISC-V Formal

ISA Verification, Instruction Semantics, Hardware Proofs, Architecture Validation

DCP-o-matic • Is non-zero entry point on subtitles a thing now?
dcpomatic.com·12h
🎬Cinema Codecs
We May Have a Path to the Fundamental Theory of Physics (2020)
writings.stephenwolfram.com·1d·
Discuss: Hacker News
⏰Time Crystals
A new breed of analyzers
daniel.haxx.se·2d·
Discuss: Lobsters, Hacker News, r/programming
🐛Fuzzing
Save Your USB-C Plugs From Oblivion
hackaday.com·9h
💾Floppy Imaging
Cisco Silicon One P200 and Cisco 8223 for 51.2T Scale Across Networking
servethehome.com·1d
🏠Homelab Federation
Latest Software Development News: Mid-October 2025 Roundup
dev.to·10h·
Discuss: DEV
🔄Language Evolution
Real-Time Disaster Response via Distributed CubeSat EO with Adaptive Spectral Unmixing
dev.to·3h·
Discuss: DEV
📥Feed Aggregation
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
HLA-A*31:01-Associated Drug-Induced Stevens-Johnson Syndrome Prediction via Multi-Modal Federated Learning
dev.to·12h·
Discuss: DEV
📈Mutual Information
Complete Guide to Audio Processing in Python: From Spectrograms to Real-Time Applications
dev.to·1d·
Discuss: DEV
📊Spectral Analysis
Automated Graph Neural Network Calibration for Robust Decentralized Sensor Fusion
dev.to·1d·
Discuss: DEV
🤝Consensus Networks
The Day the CEO of Meta Stopped to Like My Vision
hackernoon.com·21h
🚀Indie Hacking
DEGS: Deformable Event-based 3D Gaussian Splatting from RGB and Event Stream
arxiv.org·2d
🌀Differential Geometry
Integral Signatures of Activation Functions: A 9-Dimensional Taxonomy and Stability Theory for Deep Learning
arxiv.org·2d
🧠Machine Learning
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·1d·
Discuss: DEV
📊Multi-vector RAG
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·5h·
Discuss: DEV
📊Multi-vector RAG
Scalable Semantic Map Generation via Hierarchical Graph Optimization
dev.to·1d·
Discuss: DEV
⚡Incremental Computation
In-Depth Analysis: "Attention Is All You Need"
dev.to·1d·
Discuss: DEV
🧠Intelligence Compression
Server CPU: Clearwater Forest comes as Xeon 6+ with up to 288 cores
heise.de·2d
⚡Nordic Processors