⚖️ RISC-V Formal

ISA Verification, Instruction Semantics, Hardware Proofs, Architecture Validation

surgicalstainless - three's company - The Murderbot Diaries - Martha Wells [Archive of Our Own]
archiveofourown.org·11h
🕹️Retro Gaming
Show HN: Rotel – Fast and Efficient OpenTelemetry Collection in Rust
rotel.dev·2d·
Discuss: Hacker News
🌊Stream Processing
Git Is a Directed Acyclic Graph and What the Heck Does That Mean?
medium.com·22h·
Discuss: Hacker News
🌳Git Internals
How DeepSeek and Open-Source Models Are Shaking Up AI
bloomberg.com·21h·
Discuss: Hacker News
🔓Open Source Software
How should we learn from bugs?
typesanitizer.com·3d·
Discuss: Hacker News, r/programming
🦀Rust Macros
Most MCP servers won't last and that's okay
00f.net·9h·
Discuss: Hacker News, r/programming
📞Session Types
Claude Code vs. Cursor
open-data-analytics.medium.com·1d·
Discuss: Hacker News
🏗️Compiler Archaeology
Constitutional Court: State Trojans are taboo for "everyday crime"
heise.de·5h
🌐WARC Forensics
TSMC employees reportedly stole 2nm trade secrets to share with Rapidus — accused are said to have shared 'hundreds of process integration technical photos'
tomshardware.com·21h·
Discuss: r/hardware
🔬Hardware Forensics
Show HN: Automating a manual biotech process that should have died years ago
news.ycombinator.com·9h·
Discuss: Hacker News
📄Document Digitization
New NVMe specifications for AI, cloud, enterprise and client applications
heise.de·2d
💾Persistent Memory
🧾 You Could Be Owed Money and Not Even Know It — Here's How to Check
dev.to·1h·
Discuss: DEV
🚀Indie Hacking
How to build a GitHub PR review agent that analyses your repo and auto-merges
xpander.ai·1h·
Discuss: Hacker News
🔓Open Source Software
Hardware tips for Proxmox with truenas+Jellyfin+Nextcloud(or owncloud)+ several plugins to jellyfin
reddit.com·2h·
Discuss: r/homelab
🖥Home Lab Setup
Enhanced Antibody-Cytokine Fusion with Dynamic Immune Checkpoint Modulation for Targeted Cancer Therapy
dev.to·9h·
Discuss: DEV
🏛️Byzantine Archival
SMART-Ship: A Comprehensive Synchronized Multi-modal Aligned Remote Sensing Targets Dataset and Benchmark for Berthed Ships Analysis
arxiv.org·2d
📊Learned Metrics
DRIVE-T: A Methodology for Discriminative and Representative Data Viz Item Selection for Literacy Construct and Assessment
arxiv.org·13h
🗺️Competency Maps
MIDAR: Mimicking LiDAR Detection for Traffic Applications with a Lightweight Plug-and-Play Model
arxiv.org·1d
📊Computational Geometry
Estimation of Hemodynamic Parameters via Physics Informed Neural Networks including Hematocrit Dependent Rheology
arxiv.org·1d
🌀Riemannian Computing
Dynamic Noise Attenuation via Spatio-Temporal Adaptive Barriers in Railway Systems
dev.to·12h·
Discuss: DEV
⚙️Tape Engineering