⚖️ RISC-V Formal

ISA Verification, Instruction Semantics, Hardware Proofs, Architecture Validation

LSM trees in postgres
notes.billmill.org·4h
🌲B-tree Variants
Back 2 Basics - NMOS Switch
mikecoats.com·1d
🔌Microcontrollers
Free Things Are Complicated (Especially the Sphere Spectrum!)
grossack.site·1d
🧮Algebraic Archives
Multiple vulnerabilities in the web management interface of Intelbras routers
seclists.org·1d
🌐Network Protocols
[D] Gemini officially achieves gold-medal standard at the International Mathematical Olympiad
reddit.com·1h·
Discuss: r/MachineLearning
📰SGML
Genesis CCA: Special Effects and Final Polish
bumbershootsoft.wordpress.com·2d
📼Retro Games
Dennis Ritchie: The Man Who Gave Us C Language
karthikwritestech.com·1d·
Discuss: Hacker News, r/programming
🐚Shell Calculus
Beyond the Migration: Optimizing Legacy Code for AI Performance & Scalability
dev.to·18h·
Discuss: DEV
🌊Streaming Systems
AI Sovereignty: The Emperor Has No Clothes
engineeringprompts.substack.com·7h·
Discuss: Substack
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
The Missing Guide to Prompt Engineering
appetals.com·10h·
Discuss: Hacker News
🧠Intelligence Compression
An Introduction to GPU Profiling and Optimization
bitsand.cloud·1d·
Discuss: Hacker News, r/programming
📊Performance Profiling
Comparison of MGR, SunView, OpenWindows and X11R6 (2022)
oldvcr.blogspot.com·4h·
Discuss: Hacker News
🕸️WASM Archives
Portable Forensics with Toby: A Raspberry Pi Toolkit
bakerstreetforensics.com·23h·
Discuss: Hacker News
💾Disk Utilities
I built an MCP server for observability, here's my unhyped take
signoz.io·2d·
Discuss: Hacker News
🛡️Error Boundaries
LLM-in-a-Box: A Templated, Self-Hostable Framework for Generative AI
github.com·23h·
Discuss: Hacker News
🦋Format Metamorphosis
Fmtlib / fmt A modern formatting library
github.com·1d·
Discuss: Hacker News
🦀Rust Macros
Responsible AI in Enterprise Applications: A Practitioner's View
jjude.com·1d·
Discuss: Lobsters, Hacker News
🔐Capability Systems
Just Like a Human
blog.raymond.burkholder.net·4h
🖥️Terminal Renaissance
Complete Beginner's Guide to GenAI Development: From Python to Production-Ready AI Agents
dev.to·1d·
Discuss: DEV
🌳Context free grammars
Scavenger Malware Distributed via ESLint-Config-Prettier NPM Package Hack
invokere.com·9h·
Discuss: Hacker News
📦Container Security