⚖️ RISC-V Formal

ISA Verification, Instruction Semantics, Hardware Proofs, Architecture Validation

lightsleep vs deepsleep on Raspberry Pi Pico
scruss.com·6h
🔌Single Board PC
Torn between Amsterdam and the US for grad school, she made a pros and cons list to guide her decision. Take a look.
businessinsider.com·7h
🌈Color Science
The Untold Revolution Beneath iOS 26. WebGPU Is Coming Everywhere
brandlens.io·7h·
Discuss: r/programming
🎬WebCodecs
Another Linux utility is being rewritten in Rust
neowin.net·2d·
Discuss: Hacker News
🐚Bash FP
Computer Architecture Extending The Von Neumann Model With A Dedicated Reasoning Unit For Native Artificial General Intelligence(TU Munich, Pace U.)
semiengineering.com·4d·
Discuss: Hacker News
🇷🇺Russian Computing
The semiconductor industry is losing billions of dollars ever year because of this obscure little quirk
techradar.com·14h
🖥️Modern Terminals
Profiling without Source code – how I diagnosed Trackmania stuttering
larstofus.com·13h·
Discuss: Hacker News
🎮Game Decompilation
[D] Do you think that Muon Optimizer can be viewed through the lens of explore-exploit?
reddit.com·1d·
Discuss: r/MachineLearning
🔲Lattice Cryptography
Kimi K2: First Open Model to Challenge Claude
blog.kilocode.ai·4d·
Discuss: Hacker News
📏Code Metrics
Proxmox + Ceph in C612 or HBA
reddit.com·14h·
Discuss: r/homelab
💾Proxmox Storage
Writing With Emacs: Two Out Of Three Ain’t Bad
irreal.org·15h
💻Programming languages
Discovering the dynamics of \emph{Sargassum} rafts' centers of mass
arxiv.org·3h
🔲Cellular Automata
Linux 6.17 Looks To Address An Old & Obscure Kernel Limitation From 1993
phoronix.com·1d
🔩Systems Programming
Unit Testing in Golang: A Complete Guide with Examples
dev.to·18h·
Discuss: DEV
🧪Property-Based Testing
Why I Had to Build My Own AI Tools (And What Came Out of It)
dev.to·1d·
Discuss: DEV
⚡Proof Automation
What Vibe Coding Actually Looks Like for a Senior Engineer
dev.to·3d·
Discuss: DEV
⚡Proof Automation
An Empirical Study of Complexity, Heterogeneity, and Compliance of GitHub Actions Workflows
arxiv.org·3d
📏Code Metrics
Automated Hybrid Grounding Using Structural and Data-Driven Heuristics
arxiv.org·4d
📏Linear Logic
Perfecting anti-aliasing on signed distance functions
blog.pkh.me·1d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🎨LUT Compression
PyCon Portugal 2025 talks mafia
mathspp.com·21h
🌐Protocol Synthesis