⚖️ RISC-V Formal

ISA Verification, Instruction Semantics, Hardware Proofs, Architecture Validation

China’s Role in the May 2025 India-Pakistan Conflict: Strategic and Global Implications
belfercenter.org·1d
🇷🇺Russian Computing
Uncovering an ancient mechanism of growth and development in land plants
phys.org·22h
🧬Copy Number Variants
You were compliant yesterday – but are you today?
jamf.com·22h
❄️Nix Adoption
A language model built for the public good
jmason.ie·2d
💻Local LLMs
Why I don't allow AI-generated content on my blog
seangoedecke.com·12h
⚡Proof Automation
Is SOC2 the new tech protection racket?
readmargins.com·1d·
Discuss: Hacker News
🏠Homelab Pentesting
Is dual-stack (ipv4+ipv6) ready for production?
reddit.com·2d·
Discuss: r/kubernetes
📡Network Stack
K8s Storage & Backups: Using Velero with OpenEBS LocalPV-LVM
reddit.com·14h·
Discuss: r/kubernetes
🏠Homelab Preservation
From zero to RAG engineer: 1200 hours of lessons so you don't repeat my mistakes
bytevagabond.com·2d·
Discuss: Hacker News
📄Text Chunking
TLS and QUIC: A Masochist's Guide
quic.video·2d·
Discuss: Hacker News
🌐DNS over QUIC
Why I believe in AGI (again)
guzey.com·2d·
Discuss: Hacker News
🔲Cellular Automata
Intel XeSS 2.1 Released With Frame Generation For Non-Intel GPUs But Still A Binary Mess
phoronix.com·1d
🎯Emulator Accuracy
The Art of the Hack: From Suspicion to Submission
dev.to·1d·
Discuss: DEV
🚀Indie Hacking
🧘 Code Like Krishna Said: 'To Work You Have the Right, But Not the Fruits Thereof'
dev.to·20h·
Discuss: DEV
📦Git LFS
3 Node K3s Cluster + NAS 3D Printed Mini Rack Project
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
Few-Shot Vision-Language Reasoning for Satellite Imagery via Verifiable Rewards
arxiv.org·3d
🧮Kolmogorov Complexity
Deciphering interventional dynamical causality from non-intervention complex systems
arxiv.org·1d
✨Effect Handlers
An Empirical Study on the Amount of Changes Required for Merge Request Acceptance
arxiv.org·1d
🔓Open Source Software
Stop Prompting, Start Designing: 5 Agentic AI Patterns That Actually Work
dev.to·1d·
Discuss: DEV
🔗Constraint Handling
FairReason: Balancing Reasoning and Social Bias in MLLMs
arxiv.org·1d
📏Linear Logic