⚖️ 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·14h
🎬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·11h
💾Floppy Imaging
Cisco Silicon One P200 and Cisco 8223 for 51.2T Scale Across Networking
servethehome.com·1d
🏠Homelab Federation
Real-Time Disaster Response via Distributed CubeSat EO with Adaptive Spectral Unmixing
dev.to·5h·
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·14h·
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·23h
🚀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
Scalable Semantic Map Generation via Hierarchical Graph Optimization
dev.to·1d·
Discuss: DEV
⚡Incremental Computation
Server CPU: Clearwater Forest comes as Xeon 6+ with up to 288 cores
heise.de·2d
⚡Nordic Processors
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·1d·
Discuss: DEV
📊Multi-vector RAG
Automated Fault Prediction and Residual Lifetime Estimation in Cryogenic Pumps via Dynamic Bayesian Network (DBN)
dev.to·1d·
Discuss: DEV
📊Quantization
Unlock Deep Learning Stability: Navigate the Activation Function Galaxy with 9 Dimensions!
dev.to·20h·
Discuss: DEV
🧠Machine Learning
Tech With Tim: How to Build AI Agents in Python
dev.to·12h·
Discuss: DEV
⚔️Lean Tactics