⚖️ RISC-V Formal

ISA Verification, Instruction Semantics, Hardware Proofs, Architecture Validation

Bazel and action (non-) determinism
blogsystem5.substack.com·5d·
Discuss: Substack
🔄Reproducible Builds
Visualizing TCP
research.swtch.com·7h·
Discuss: Hacker News
📡Network Archaeology
What Is a Terminal?
wezterm.org·2d·
Discuss: Hacker News
📟Terminals
Real-time Feature Generation at Lyft // Rakesh Kumar // #334
podcasters.spotify.com·1d
📊Count-Min Sketch
Koske, a new AI-Generated Linux malware appears in the threat landscape
securityaffairs.com·1d
🔓Hacking
A reckless introduction to Hindley-Milner type inference
reasonableapproximation.net·5d·
Discuss: Lobsters, r/programming
🔤Type Theory
New AI architecture delivers 100x faster reasoning than LLMs with just 1,000 training examples
venturebeat.com·1d·
Discuss: Hacker News, r/LocalLLaMA
🔲Cellular Automata
Ollama and MCP – A blog about AI by AI, with help from me
blog.aridgwayweb.com·3d·
Discuss: Hacker News
🔌Interface Evolution
The Joy of a Boring Codebase
trunk.io·2d·
Discuss: Hacker News
📏Code Metrics
Interfacing HLK LD2420 24GHz Radar Sensor with Arduino
hackster.io·3d
🔍FPGA Verification
Prompt Injection Attacks: Hacking AI Through Conversation
infosecwriteups.com·2d
⚡Proof Automation
Linux Will Finally Be Able To Reboot Apple M1/M2 Macs With The v6.17 Kernel
phoronix.com·1d·
Discuss: r/linux
🔌Operating system internals
Contraction, Criticality, and Capacity: A Dynamical-Systems Perspective on Echo-State Networks
arxiv.org·2d
🔲Cellular Automata
Python Fundamentals: collections module
dev.to·16h·
Discuss: DEV
🌀Brotli Internals
Paper Notes - From Mind to Machine: The Rise of Manus AI as a Fully Autonomous Digital Agent
dev.to·8h·
Discuss: DEV
⚙️TLA+
What is Machine Learning?
dev.to·3h·
Discuss: DEV
🧠Machine Learning
AI Course in Bangalore: Learn Inferential Statistics for AI
dev.to·1d·
Discuss: DEV
🧠Intelligence Compression
Experience is the Best Teacher: Grounding VLMs for Robotics through Self-Generated Memory
arxiv.org·4d
📼Tape Combinators
VERIRAG: Healthcare Claim Verification via Statistical Audit in Retrieval-Augmented Generation
arxiv.org·2d
⚡Proof Automation
Intel promises sweeping changes to combat stagnation with new foundry strategy, AI focus, and the return of Hyper-Threading — but losses threaten to curtail amb...
tomshardware.com·1d
🖥️Terminal Renaissance