⚖️ RISC-V Formal

ISA Verification, Instruction Semantics, Hardware Proofs, Architecture Validation

Kubernetes: From a Federation of Bazaars to the AI Frontier
thenewstack.io·6h
🏠Homelab Federation
Researchers warn of visual attacks in Augmented Reality
heise.de·11h
💿Optical Forensics
Inverting matrices and bilinear functions
johndcook.com·1d
📐Linear Algebra
Intelligent Hillclimbing
judgmentlabs.ai·13h·
Discuss: Hacker News
📏Code Metrics
Can AI Co-Design Distributed Systems? Scaling from 1 GPU to 1k
harvard-edge.github.io·3d·
Discuss: Hacker News
🎯Performance Proofs
What Machines Don't Know
mail.cyberneticforests.com·1d·
Discuss: Hacker News
🔲Cellular Automata
I Replaced My Toaster's Firmware and Now I'm a Fugitive
jxself.org·3d
🔓Hacking
Hardware Stockholm Syndrome
programmingsimplicity.substack.com·6d·
Discuss: Substack
🔩Systems Programming
Intent Weaving for AI Coding Agents
autohand.ai·3d·
Discuss: Hacker News
⚡Proof Automation
CVE Deep Dive : CVE-2025–32462
infosecwriteups.com·16h
🎫Kerberos Exploitation
The Library Method: Understanding @cache
dev.to·3d·
Discuss: DEV
⚡Cache Theory
Precision Guidance: Autonomously Navigating the Body's Vascular System by Arvind Sundararajan
dev.to·3h·
Discuss: DEV
🌀Riemannian Computing
LLMs Learn to Deceive Unintentionally: Emergent Misalignment in Dishonesty from Misaligned Samples to Biased Human-AI Interactions
arxiv.org·3d
🔲Cellular Automata
Curing Miracle Steps in LLM Mathematical Reasoning with Rubric Rewards
arxiv.org·3d
🧮Theorem Proving
SEPhIA: <1 laser/neuron Spiking Electro-Photonic Integrated Multi-Tiled Architecture for Scalable Optical Neuromorphic Computing
arxiv.org·3d
🌈Holographic Storage
Go Memory Optimization: Real-World Lessons from the Trenches
dev.to·23h·
Discuss: DEV
🧠Memory Allocators
Troubleshooting high Power Consumption of Dell R740xd
reddit.com·1d·
Discuss: r/homelab
🔌Operating system internals
A Design-based Solution for Causal Inference with Text: Can a Language Model Be Too Large?
arxiv.org·19h
🧠Intelligence Compression
Stop the API-Breaking Changes: A Developer's Guide to Smarketing
dev.to·12h·
Discuss: DEV
📡Feed Archaeology
Low Complexity Detector for XL-MIMO Uplink: A Cross Splitting Based Information Geometry Approach
arxiv.org·19h
🧮Kolmogorov Complexity