⚖️ RISC-V Formal

ISA Verification, Instruction Semantics, Hardware Proofs, Architecture Validation

Codeminer42 Dev Weekly #82
blog.codeminer42.com·2d
🎯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·3d·
Discuss: Hacker News
🌊Stream Processing
I have seen the compounding teams
sundaylettersfromsam.substack.com·1d·
Discuss: Substack
⚔️Lean Tactics
OpenAI's inflated valuation, as I understand it
taloranderson.com·2d·
Discuss: Hacker News
💻Local LLMs
Emerging technologies and national security intelligence
tandfonline.com·1d
🔐Capability Systems
Experimenting with B+Tree + WAL replication: 1K writes/sec, 2K readers, 1.2M aggregate ops/sec
reddit.com·6h·
Discuss: r/golang
🌲B-tree Variants
Is the End of Detection-Based Security Here?
thenewstack.io·2d
🎯Threat Hunting
Side project - MV864A restoration - substantial progress in reverse engineering
rescue1130.blogspot.com·3d·
Discuss: rescue1130.blogspot.com
⚡Circuit Archaeology
Cisco Silicon One P200 and Cisco 8223 for 51.2T Scale Across Networking
servethehome.com·1d
🏠Homelab Federation
Integral Signatures of Activation Functions: A 9-Dimensional Taxonomy and Stability Theory for Deep Learning
arxiv.org·2d
🧠Machine Learning
Avalue EPC-ASL Intel N97 fanless industrial mini PC is designed for 24/7 operation
cnx-software.com·2d
🔌Single Board PC
Is this the Rolls-Royce of eGPU docks? Impossibly thin and wood-adorned Humbird has a 500W GaN PSU, an LCD screen, an SSD slot, card readers - and even a quinte...
techradar.com·2h
🖥️Modern Terminals
Scalable Semantic Map Generation via Hierarchical Graph Optimization
dev.to·2d·
Discuss: DEV
⚡Incremental Computation
Easily generate different NLP Task prompts for popular generative models
github.com·3h·
Discuss: Hacker News
🎙️Whisper
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·1d·
Discuss: DEV
🧠Machine Learning
Tech With Tim: How to Build AI Agents in Python
dev.to·19h·
Discuss: DEV
⚔️Lean Tactics
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·15h·
Discuss: DEV
📊Multi-vector RAG