TaMaRa: Towards a Triple Modular Redundancy Pass for Yosys
blog.yosyshq.com·2d·
Discuss: Lobsters, Hacker News
🧩RISC-V
This is an excellent patch review by an expert, i.e., Thomas :) And it should be like this. Oh, a few days back I saw one from Greg too, a similar kind.... in t...
lore.kernel.org·16h·
Discuss: r/linux
🔍eBPF
RTL generation for custom CPU Mrav
popovicu.com·2d
🧩RISC-V
vLLM Performance Tuning: The Ultimate Guide to xPU Inference Configuration
cloud.google.com·6h
🏗️AI Infrastructure
Hardware Technologies And Algorithms for Vector Symbolic Architectures (Purdue Univ., Georgia Tech)
semiengineering.com·38m
🧠Neuromorphic Chips
Relacy Race Detector is a verifier for relaxed memory models
1024cores.net·8h·
Discuss: Hacker News
🔌Embedded Rust
Do What? Teaching Vision-Language-Action Models to Reject the Impossible
arxiv.org·18h
🧩Low-code
Formal verification effort for the ABDK Math 64.64 library using echidna/hevm
github.com·8h·
Discuss: Hacker News
λFunctional Programming
Capture Checking in Scala
nrinaudo.github.io·17h·
Discuss: Hacker News
🔍Static Analysis
Claude Code Gets a Second Opinion from GPT-5
proxymock.io·8h·
Discuss: Hacker News
🤖AI agents
Quantifying Thermal Gradient Impact on 40-Layer Stack Die Reliability through Bayesian Network Analysis
dev.to·3d·
Discuss: DEV
⚡Hardware Acceleration
Reverse Engineered Raspberry Pi Compute Module 5
github.com·1d·
Discuss: Hacker News
🍓single board computers
Evaluation of Hashing Algorithms Ascon, SHA256, SHA512 and BLAKE3 on a Cortex M7
aa55.dev·1d·
Discuss: Hacker News
🔌Embedded Rust
The gaming PC you need to build for 2026
xda-developers.com·7h
🖥computers
Go’s unsafe: Unlocking Performance Hacks with a Risk
dev.to·6h·
Discuss: DEV
🦕Deno
Stable, Mutable References for Ante
antelang.org·9h·
Discuss: Hacker News, r/programming
λFunctional Programming
The MLOps Maturity Playbook: Practical Steps to Production-Ready ML
blog.devops.dev·10h
🏗️AI Infrastructure
From Logic to Linear Algebra: How AI Is Rewiring the Computer
journal.hexmos.com·1d·
Discuss: Hacker News, r/programming
⚡Hardware Acceleration
A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·1d·
Discuss: Lobsters, Hacker News
☁️Serverless Rust
Code Does Not Lie
nocomplexity.substack.com·14h·
Discuss: Substack
🔍Static Analysis