⚖️ RISC-V Formal

ISA Verification, Instruction Semantics, Hardware Proofs, Architecture Validation

Scorecarder Spotlight: Minh Pham
securityscorecard.com·1d
🎯Threat Hunting
All the Water Rising
amandaguinzburg.substack.com·23h·
Discuss: Substack
🚀Indie Hacking
“An Unashamed Proposal,” by Kiran Desai
newyorker.com·1h
🎯Gradual Typing
I Configure BorgBackup and Borgmatic
justus.pw·2d·
Discuss: Hacker News
🍎Apple Archive
OpenIPC is an alternative open firmware for your IP camera
openipc.org·2d·
Discuss: Hacker News
🎬Video Codecs
MLCommons Releases MLPerf Client v1.0
mlcommons.org·2d·
Discuss: Hacker News
🎙️Whisper
Robotics Levels of Autonomy
semianalysis.com·3d·
Discuss: Hacker News
🔐Capability Systems
Steve Job’s Cabinet
irreal.org·1d
🍎Apple Computing
Rebuilding an old project paid off, literally!
pro.hextaui.com·2d·
Discuss: Hacker News
🎬WebCodecs
5 Best Sites To Buy Verified Cash app Accounts In This 2025
dev.to·19h·
Discuss: DEV
✅Checksum Validation
2000 words about arrays and tables
buttondown.com·3d·
Discuss: Lobsters, Hacker News, r/programming
🗂Data structures
Verification debt is the AI era's technical debt
kevinbrowne.ca·2d·
Discuss: Hacker News
⚙️Proof Engineering
MLPerf Client 1.0 AI benchmark released — new testing toolkit sports a GUI, covers more models and tasks, and supports more hardware acceleration paths
tomshardware.com·1d
📊Performance Profiling
PesudoCLI - your AI man pages.
dev.to·22h·
Discuss: DEV
⚡Redis Internals
The Effect of Prior Parameters on Standardized Kalman Filter-Based EEG Source Localization
arxiv.org·2d
🌈Spectral Methods
Dual Cross-image Semantic Consistency with Self-aware Pseudo Labeling for Semi-supervised Medical Image Segmentation
arxiv.org·4d
🌀Riemannian Computing
Boardcon Compact3576 – A feature-rich Rockchip RK3576 SBC with Android 14 and Debian 12 support
cnx-software.com·5d
🔌Operating system internals
Understanding Linear Regression Inside-Out: Practical Implementation with scikit-learn and TensorFlow
dev.to·19h·
Discuss: DEV
📊Quantization
Show HN: AI personas in executable .aix files (run like containers)
github.com·3d·
Discuss: Hacker News
⚡Homebrew CPUs
AI Will Replace 90% of Programmers (And Why That's a Good Thing)
dev.to·1d·
Discuss: DEV
🔄Language Evolution