⚖️ RISC-V Formal

ISA Verification, Instruction Semantics, Hardware Proofs, Architecture Validation

Saab tar miljardavtal från Försvarets materielverk
omni.se·2h
🇸🇪Swedish Cryptanalysis
TDM exceptions (not just the three-step test) don’t allow all unlicensed AI development
ipkitten.blogspot.com·3h·
Discuss: ipkitten.blogspot.com
⚖️Emulation Ethics
Installing SearXNG on AlmaLinux/RHEL/Rocky Linux with Podman and SELinux
neelc.org·18h
📻Homebrew Protocols
From artificial atoms to quantum information machines: Inside the 2025 Nobel Prize in physics
phys.org·58m
⚛️Quantum Storage
How I provide technical clarity to non-technical leaders
seangoedecke.com·1d
⚙️Proof Engineering
Show HN: A SQL integration for Notion databases
yourdata.tech·4h·
Discuss: Hacker News
🌀Brotli Internals
Simplifying OpenTelemetry pipelines in Kubernetes
fatihkoc.net·10h·
Discuss: Hacker News, r/devops
👁️Observatory Systems
Erlang-Red Walkthrough – Visual FBP for Telecom: Diameter AAA on Erlang/OTP
blog.tadsummit.com·3d·
Discuss: Hacker News
🌐Protocol Synthesis
Jankiest rpi router
mloduchowski.com·4d·
Discuss: r/homelab
🔌Single Board PC
Getting out of my own way: Lessons from becoming a Staff Engineer
kevinlondon.com·2h·
Discuss: Hacker News
🐚Shell Calculus
Stop Worrying and Love the Bomb
bitbytebit.substack.com·2d·
Discuss: Substack
⚙️Build Archaeology
Is DevRel Just About Events, or Something Deeper?
dev.to·3d·
Discuss: DEV
🌐Protocol Synthesis
Ladder-Topology Multi-Level Inverter Optimization via Hybrid Metaheuristic with Adaptive Harmonic Constraint
dev.to·11h·
Discuss: DEV
⚡Incremental Computation
(FULLY OPEN SOURCE) open-computer-use: Computer agents working on their own VMs
github.com·1d·
Discuss: Hacker News
🏠Homelab Orchestration
Applied Materials preps for 'Angstrom Era' in chipmaking — spearheaded by its new Kinex, Xtera, and PROVision 10 systems
tomshardware.com·1d
⚡Nordic Processors
Intel Posts Patches For New VFIO Xe PCI Linux Driver
phoronix.com·1d
🛡️RISC-V Security
Valid Stopping for LLM Generation via Empirical Dynamic Formal Lift
arxiv.org·4d
💻Programming languages
Updated Intel Patches For Cache Aware Scheduling Net A 44% Win For AMD EPYC
phoronix.com·3h·
Discuss: r/hardware
📊Performance Profiling
LLC Artificial Intelligence Trained to Lie by Omission
dev.to·2d·
Discuss: DEV
📏Code Metrics
Homelab setup feedback and comments.
preview.redd.it·10h·
Discuss: r/homelab
🏠HomeLab