⚖️ RISC-V Formal

ISA Verification, Instruction Semantics, Hardware Proofs, Architecture Validation

Proofreading with ChatGPT
leancrew.com·1d
📜Text Collation
Self Hosting Nightscout on Raspberry Pi
broderic.blog·2d·
Discuss: Hacker News
🔌Single Board PC
Researchers warn of visual attacks in Augmented Reality
heise.de·14h
💿Optical Forensics
Inverting matrices and bilinear functions
johndcook.com·1d·
Discuss: Hacker News
📐Linear Algebra
Moving on from XML? A teaser for a possible alternative
genodians.org·2d·
Discuss: Hacker News
📝Concrete Syntax
K8s multicluster HA for Queue Messaging systems.
reddit.com·7h·
Discuss: r/kubernetes
🏠Homelab Clustering
We found a bug in Go's ARM64 compiler
blog.cloudflare.com·5d·
Discuss: Lobsters, Hacker News, r/golang, r/programming
📜Proof Carrying Code
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
Att&Df: Update the Operating System's "Dead Drop"
zenodo.org·4d·
Discuss: Hacker News
🛡️eBPF Security
Is a Raspberry Pi Zero 2W powerful enough for a vision-controlled robotic desk lamp?
reddit.com·7h·
Discuss: r/homelab
🔌Single Board PC
Intent Weaving for AI Coding Agents
autohand.ai·3d·
Discuss: Hacker News
⚡Proof Automation
CVE Deep Dive : CVE-2025–32462
infosecwriteups.com·18h
🎫Kerberos Exploitation
Is AI ready to pop?
aardvark.co.nz·1d
🤖AI Curation
Curing Miracle Steps in LLM Mathematical Reasoning with Rubric Rewards
arxiv.org·3d
🧮Theorem Proving
LLMs Learn to Deceive Unintentionally: Emergent Misalignment in Dishonesty from Misaligned Samples to Biased Human-AI Interactions
arxiv.org·3d
🔲Cellular Automata
SEPhIA: <1 laser/neuron Spiking Electro-Photonic Integrated Multi-Tiled Architecture for Scalable Optical Neuromorphic Computing
arxiv.org·3d
🌈Holographic Storage
A Design-based Solution for Causal Inference with Text: Can a Language Model Be Too Large?
arxiv.org·22h
🧠Intelligence Compression
Stop the API-Breaking Changes: A Developer's Guide to Smarketing
dev.to·15h·
Discuss: DEV
📡Feed Archaeology
Low Complexity Detector for XL-MIMO Uplink: A Cross Splitting Based Information Geometry Approach
arxiv.org·22h
🧮Kolmogorov Complexity