⚖️ RISC-V Formal

ISA Verification, Instruction Semantics, Hardware Proofs, Architecture Validation

Our Progress in 365 days
lowendmac.com·1d
🍎Apple Computing
InfoSec News Nuggets 10/14/2025
aboutdfir.com·2h
🛡Cybersecurity
The Pragmatic Engineer 2025 Survey: What’s in your tech stack? Part 3
newsletter.pragmaticengineer.com·20m
👁️Observatory Systems
The cost of design iteration in software engineering
ayende.com·1d
⚙️Proof Engineering
Super memo is better than FSRS, by far
supermemo.com·18h·
Discuss: Hacker News
🧠Intelligence Compression
OpenAI, Broadcom Forge Multibillion-Dollar Chip-Development Deal
slashdot.org·1d
🖥️Modern Terminals
Revisiting SailfishOS
geekyschmidt.com·1d·
Discuss: Lobsters, Hacker News
🐧FOSS
Hardware Vulnerability Allows Attackers to Hack AI Training Data – NC State News
news.ncsu.edu·3d·
Discuss: Hacker News
🔐RISC-V Cryptography
The Wild Vibe
jarv.org·2d·
Discuss: Hacker News
🌀Brotli Internals
The Hyped Distro
tedium.co·20h·
Discuss: Hacker News
🔌Operating system internals
Context Engineering for Coding Agents
hackernoon.com·3d
🌳Incremental Parsing
Text2Stories: Evaluating the Alignment Between Stakeholder Interviews and Generated User Stories
arxiv.org·1d
⚙️Compression Benchmarking
Flow-Opt: Scalable Centralized Multi-Robot Trajectory Optimization with Flow Matching and Differentiable Optimization
arxiv.org·1d
⚡Z3 Optimization
Human Uncertainty-Aware Data Selection and Automatic Labeling in Visual Question Answering
arxiv.org·11h
📊Learned Metrics
Semi-disentangled spatiotemporal implicit neural representations of longitudinal neuroimaging data for trajectory classification
arxiv.org·11h
🌀Riemannian Computing
In-Context Learning Is Provably Bayesian Inference: A Generalization Theory for Meta-Learning
arxiv.org·11h
🧠Machine Learning
Enhanced Grid Integration via Adaptive Resonance Q-Learning for Microgrid Stability
dev.to·9h·
Discuss: DEV
⚡Incremental Computation
Quantum Autonomy: Algorithms That Design Themselves by Arvind Sundararajan
dev.to·2d·
Discuss: DEV
⚛️Quantum Algorithms
I want to eventually upgrade my little server into something better… suggestions?
reddit.com·2d·
Discuss: r/homelab
🖥️Modern CPU
Conformal Risk Training: End-to-End Optimization of Conformal Risk Control
arxiv.org·1d
🧠Machine Learning