⚖️ RISC-V Formal

ISA Verification, Instruction Semantics, Hardware Proofs, Architecture Validation

The Dwarves Beneath the Kernel: Forging BTF for eBPF
bootlin.com·4d
📺VT100
The superintelligence dream has descended into a mountain of AI ‘slop’
telegraph.co.uk·17h
⚖️Emulation Ethics
One of Our Oldest Sci-Fi Franchises Is Back. The New Movie Is Woefully Out of Step With Our Moment.
slate.com·19h·
Discuss: Hacker News
🖥️Terminal Renaissance
Learning from software errors – Part 3: A Mars probe gets out of control
heise.de·2d
📞Session Types
Neuro-Symbolic AI
en.wikipedia.org·2d·
Discuss: Hacker News
🔲Cellular Automata
The Day I Hacked XCTrack
blog.syrac.org·2d·
Discuss: Hacker News
🔐PKI Archaeology
The Future of Authenticity: The Human-Made Mark
samueleamato.xyz·13h·
Discuss: Hacker News
🎧Learned Audio
Revisiting Karpathy's 'Unreasonable Effectiveness of Recurrent Neural Networks'
gilesthomas.com·2d·
Discuss: Hacker News
🎧Learned Audio
New 20,000mAh rugged smartphone claims to triple onboard system memory to 48GB of RAM using a special trick - Oscal and others need to come clean with their har...
techradar.com·12h
💾Persistent Memory
Updated Buildroot support for STM32MPU platforms, ST BSP v6.1
bootlin.com·2d
🔌Operating system internals
I tested the LaCie Rugged SSD4 - and it's blindingly quick, I found that speed comes at a cost
techradar.com·1d
🖥️Modern Terminals
Reimagine Libraries management as Apps using Agentic Executable framework
dev.to·5h·
Discuss: DEV
🧱Immutable Infrastructure
Microsoft Agent Framework Building a Human-in-the-Loop User Search Workflow : Part-V
dev.to·6h·
Discuss: DEV
🌊Stream Processing
LLP: LLM-based Product Pricing in E-commerce
arxiv.org·2h
🔍BitFunnel
Eager to learn with k8s and start my homelab. Config ideas with a NAS, pi5, and a Gaming PC?
reddit.com·14h·
Discuss: r/homelab
🏠HomeLab
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·10h·
Discuss: DEV
📊Multi-vector RAG
Sparse components distinguish visual pathways & their alignment to neural networks
arxiv.org·2h
🧠Neural Codecs
DPCformer: An Interpretable Deep Learning Model for Genomic Prediction in Crops
arxiv.org·2h
🧠Machine Learning
Joint Detection, Channel Estimation and Interference Nulling for Terrestrial-Satellite Downlink Co-Existence in the Upper Mid-Band
arxiv.org·2h
📡Bluetooth Archaeology
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·16h·
Discuss: DEV
📊Multi-vector RAG