⚖️ RISC-V Formal

ISA Verification, Instruction Semantics, Hardware Proofs, Architecture Validation

Codeminer42 Dev Weekly #82
blog.codeminer42.com·2d
🎯Gradual Typing
N8n vs. Windmill vs. Temporal
blog.arcbjorn.com·3d·
Discuss: Hacker News
🌊Stream Processing
Save Your USB-C Plugs From Oblivion
hackaday.com·20h
💾Floppy Imaging
Emerging technologies and national security intelligence
tandfonline.com·1d
🔐Capability Systems
Cisco Silicon One P200 and Cisco 8223 for 51.2T Scale Across Networking
servethehome.com·1d
🏠Homelab Federation
Side project - MV864A restoration - substantial progress in reverse engineering
rescue1130.blogspot.com·3d·
Discuss: rescue1130.blogspot.com
⚡Circuit Archaeology
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·5h
🖥️Modern Terminals
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·21h·
Discuss: DEV
⚔️Lean Tactics
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·17h·
Discuss: DEV
📊Multi-vector RAG
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·3h·
Discuss: DEV
📊Multi-vector RAG
Scalable Semantic Map Generation via Hierarchical Graph Optimization
dev.to·2d·
Discuss: DEV
⚡Incremental Computation
In-Depth Analysis: "Attention Is All You Need"
dev.to·2d·
Discuss: DEV
🧠Intelligence Compression
Easily generate different NLP Task prompts for popular generative models
github.com·6h·
Discuss: Hacker News
🎙️Whisper
PLSEMANTICSBENCH: Large Language Models As Programming Language Interpreters
arxiv.org·5d
💻Programming languages
Server CPU: Clearwater Forest comes as Xeon 6+ with up to 288 cores
heise.de·3d
⚡Nordic Processors
AI Renaissance: Bridging the Gap Between Intuition and Logic
dev.to·2d·
Discuss: DEV
🤖Paleographic AI
INFER : Learning Implicit Neural Frequency Response Fields for Confined Car Cabin
arxiv.org·2d
👂Psychoacoustic Coding
Evaluating Small Vision-Language Models on Distance-Dependent Traffic Perception
arxiv.org·2d
🧠Machine Learning