⚖️ RISC-V Formal

ISA Verification, Instruction Semantics, Hardware Proofs, Architecture Validation

Open source microprocessors with Jan Pleskac
opensourcesecurity.io·4d
🔬Hardware Forensics
Intel confirms it will cut a third of its workforce by the end of 2025
engadget.com·18h
🖥️Hardware Architecture
The State of Flash Attention on ROCm
zdtech.substack.com·1d·
Discuss: Substack
📊Performance Profiling
Show HN: Unied Lightweight Terminal Code and Text Editor with Advanced Commands
news.ycombinator.com·1d·
Discuss: Hacker News
📺Terminal UI
The AI Safety Puzzle Everyone Avoids: How To Measure Impact, Not Intent.
lesswrong.com·2d·
Discuss: Hacker News
✨Effect Handlers
Designing for the different stages of a system's life
exploring-better-ways.bellroy.com·3d·
Discuss: Hacker News
💾Persistence Strategies
Benchmarking Amazon Nova: A comprehensive analysis through MT-Bench and Arena-Hard-Auto
aws.amazon.com·21h
🎙️Whisper
New AMD Linux Driver Ushers In Seamless Firmware Servicing "SFS"
phoronix.com·17h
🔐HSM Integration
On zero-order consistency residue and background pressure for the conservative SPH fluid dynamics
arxiv.org·11h
🔗Tailscale
RAG Isn’t Enough. Context Engineering is how real AI gets built
dev.to·17h·
Discuss: DEV
🌀Brotli Internals
PDB-Eval: An Evaluation of Large Multimodal Models for Description and Explanation of Personalized Driving Behavior
arxiv.org·11h
🌀Differential Geometry
FreeBSD Guide to Lock-In Free Infrastructure
discoverbsd.com·7h
🔌Operating system internals
ViGText: Deepfake Image Detection with Vision-Language Model Explanations and Graph Neural Networks
arxiv.org·11h
🤖Advanced OCR
From Chaos to Control: How We Built Classent to Transform Car Wash Operations with Bolt
dev.to·8h·
Discuss: DEV
🌊Streaming Systems
Incentivised Orchestrated Training Architecture (IOTA): A Technical Primer for Release
arxiv.org·11h
🌊Streaming Systems
Boosting Ray Search Procedure of Hard-label Attacks with Transfer-based Priors
arxiv.org·1d
👁️Perceptual Hashing
Vibecoding a High Performance System
andrewkchan.dev·2d·
Discuss: Hacker News
👁️System Observability
AtrousMamaba: An Atrous-Window Scanning Visual State Space Model for Remote Sensing Change Detection
arxiv.org·2d
📐Projective Geometry
CHIMERA: Compressed Hybrid Intelligence for Twin-Model Enhanced Multi-Agent Deep Reinforcement Learning for Multi-Functional RIS-Assisted Space-Air-Ground Integ...
arxiv.org·2d
🧠Intelligence Compression
G.Skill Trident Z5 Neo RGB DDR5-6000 is the current top 96GB memory kit for AMD CPUs — Trident Z5 Neo RGB C26 2x48GB Review
tomshardware.com·2d
🖥️Hardware Architecture