⚖️ RISC-V Formal

ISA Verification, Instruction Semantics, Hardware Proofs, Architecture Validation

Discretizing and quantizing neural nets
danmackinlay.name·2d
📊Quantization
Beginner here.
microcenter.com·2d·
Discuss: r/homelab
📺yt-dlp
The First Large Visual Memory Model
memories.ai·2d·
Discuss: Hacker News
📼Tape Emulation
Age Verification in the EU, Ambitious goals, missed privacy opportunities
docs.yivi.app·10h·
Discuss: Hacker News
🔤EBCDIC Privacy
21 years ago Ruby on Rails had it's first version 0.5.0
rubytalk.org·3d·
Discuss: Hacker News
🧬Bitstream Evolution
Technical approach for classifying human-AI interactions at scale
microsoft.com·4d·
Discuss: Hacker News
🌀Brotli Internals
First release candidate of systemd 258 is here
theregister.com·1d·
Discuss: Hacker News
🔌Operating system internals
The many, many, many JavaScript runtimes of the last decade
buttondown.com·4h·
Discuss: Hacker News, r/javascript
🔌Interface Evolution
Getting Into Flow State with Agentic Coding
kau.sh·4d·
Discuss: Hacker News
⚡Proof Automation
The Context Illusion: Why LLMs Don't Know Your Code Like You Think They Do
dev.to·5d·
Discuss: DEV
✨Effect Handlers
The Context Illusion: Why LLMs Don't Know Your Code Like You Think They Do
dev.to·5d·
Discuss: DEV
✨Effect Handlers
TextSAM-EUS: Text Prompt Learning for SAM to Accurately Segment Pancreatic Tumor in Endoscopic Ultrasound
arxiv.org·2d
🧠Machine Learning
Prompt Injection Attacks: Hacking AI Through Conversation
infosecwriteups.com·3d
⚡Proof Automation
Forget Prompt Engineering — The Real Skill Is Specification Writing
hackernoon.com·4d
⚙️TLA+
Bitcoin Mining Could Make Our Electricity Grids Smarter
hackernoon.com·3h
🤝Distributed Consensus
Contraction, Criticality, and Capacity: A Dynamical-Systems Perspective on Echo-State Networks
arxiv.org·2d
🔲Cellular Automata
Python Fundamentals: collections module
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
A lightweight library for portable low-level GPU computation using WebGPU
github.com·2d·
Discuss: Hacker News
🔩Systems Programming
🚀 Building a Scalable Task Manager API in Go with Clean Architecture
dev.to·7h·
Discuss: DEV
⚡gRPC
🚀 Just discovered this 2-minute productivity hack:
dev.to·6h·
Discuss: DEV
🔍BitFunnel