64-bit PCI versus PCI-X
rubenerd.com·21h
🕸️WASM Archives
Implicit `operator bool` participates in comparison
quuxplusone.github.io·2d
🦀Rust Verification
Python 3.14 - What didn't make the headlines
bitecode.dev·6h
📟Terminals
SAT problems are kind of cool
blog.karanjanthe.me·4d·
Discuss: Hacker News
🧮SMT Solvers
Slashdot Is Down [503]
slashdot.org·8h·
Discuss: Hacker News
🧲RISC-V Archaeology
Falsehoods Vibe Coders Believe About LLMs
wilsonhobbs.com·3d·
Discuss: Hacker News
💧Liquid Types
Faking a Rational Design Process in the AI Era: Why Documentation Matters
albertsikkema.com·2d·
Discuss: Hacker News
⚙️Proof Engineering
The Next Computing Revolution: Bringing Processing Inside Memory
computer.org·5d·
Discuss: Hacker News
⚡Hardware Transactional Memory
The IP risks of LLMs at work are nontrivial
augmentedswe.com·4h·
Discuss: Hacker News
🔄Language Evolution
The Chip That Spoke Lisp
jxself.org·5d
🤖Lisp Machines
Vibing a Non-Trivial Ghostty Feature
mitchellh.com·1d·
Discuss: Lobsters, Hacker News
🔌Interface Evolution
A Manifesto for the Programming Desperado
github.com·2d·
Discuss: Hacker News
💻Programming languages
[Help] TrueNas issues
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
Online KubeDiagrams Service
reddit.com·9h·
Discuss: r/kubernetes
📦Container Security
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·1d·
Discuss: DEV
📊Multi-vector RAG
How I provide technical clarity to non-technical leaders
seangoedecke.com·20h·
Discuss: Hacker News
⚙️Proof Engineering
Quantum AI: Automating Serendipity in Scientific Discovery
dev.to·18h·
Discuss: DEV
🔐Quantum Security
Cartridge Chaos: The Official Nintendo Region Converter and More!
nicole.express·6h·
Discuss: Hacker News
📼Retro Games
ResAD: Normalized Residual Trajectory Modeling for End-to-End Autonomous Driving
arxiv.org·2d
🌀Riemannian Computing
Oct 26 2025 : Intro to Screen Printing
nycresistor.com·1d
⚙️DIY Electronics