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·21h·
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·12h
🏗️AI Infrastructure
Hardware Technologies And Algorithms for Vector Symbolic Architectures (Purdue Univ., Georgia Tech)
semiengineering.com·6h
🧠Neuromorphic Chips
Relacy Race Detector is a verifier for relaxed memory models
1024cores.net·14h·
Discuss: Hacker News
🔌Embedded Rust
Do What? Teaching Vision-Language-Action Models to Reject the Impossible
arxiv.org·1d
🧩Low-code
Formal verification effort for the ABDK Math 64.64 library using echidna/hevm
github.com·13h·
Discuss: Hacker News
λFunctional Programming
Capture Checking in Scala
nrinaudo.github.io·22h·
Discuss: Hacker News
🔍Static Analysis
Claude Code Gets a Second Opinion from GPT-5
proxymock.io·13h·
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·13h
🖥computers
How I Make Claude Code Work for Me (Aug 2025)
craftingteams.substack.com·2h·
Discuss: Substack
🧩Low-code
Go’s unsafe: Unlocking Performance Hacks with a Risk
dev.to·12h·
Discuss: DEV
🦕Deno
It takes 26 yottabytes of RAM to typecheck a union of Safe Integers
jacobasper.com·3h·
Discuss: Hacker News
🔌Embedded Rust
Stable, Mutable References for Ante
antelang.org·14h·
Discuss: Hacker News, r/programming
λFunctional Programming
The MLOps Maturity Playbook: Practical Steps to Production-Ready ML
blog.devops.dev·16h
🏗️AI Infrastructure
Intel's Clearwater Forest E-Core Server Chip at Hot Chips 2025
old.chipsandcheese.com·1h·
Discuss: Hacker News
🔌Embedded Rust