📦 Code Density

Memory Efficiency, Instruction Compression, Thumb Mode, RISC Optimization

Three ways formally verified code can go wrong in practice
buttondown.com·16h
📜Proof Carrying Code
The Dwarves Beneath the Kernel: Forging BTF for eBPF
bootlin.com·2d
📺VT100
Modern C and initializing an array
subethasoftware.com·1d
🗂Data structures
iPhone 17 Pro Max review: orange you glad the battery is bigger
techcrunch.com·17h
🌈Color Science
Revisiting Karpathy's 'Unreasonable Effectiveness of Recurrent Neural Networks'
gilesthomas.com·8h·
Discuss: Hacker News
🎧Learned Audio
Reverse Engineering keyboard firmware with Ghidra
blog.usedbytes.com·2d·
Discuss: Hacker News
🔓Reverse engineering
Introducing OpenZL: An Open Source Format-Aware Compression Framework
engineering.fb.com·4d·
Discuss: Lobsters, Hacker News, r/cpp, r/programming
⚡Modern Compression
Enhanced SoC Design via Adaptive Topology Optimization with Reinforcement Learning
dev.to·1d·
Discuss: DEV
🧩RISC-V
SPAD: Specialized Prefill and Decode Hardware for Disaggregated LLM Inference
arxiv.org·1d·
Discuss: r/LLM
💻Local LLMs
Panther Lake sets stage for Intel's 2 nm comeback, but many details still TBD
theregister.com·1d
⚡Hardware Transactional Memory
Speed Matters: How We Achieve the Fastest Web Agent
browser-use.com·1d·
Discuss: Hacker News
🎬WebCodecs
Show HN: Sweep, AI autocomplete for JetBrains that rewrites code
sweep.dev·3d·
Discuss: Hacker News
🌳Incremental Parsing
JVM stack is about to be massively modernized
medium.com·16h·
Discuss: Hacker News
🔗Dependency Resolution
Here is Panther Lake, Intel’s 2026 laptop chip with next-gen graphics
theverge.com·1d
🖥️Modern Terminals
BQN "Macros" with •Decompose (2023)
saltysylvi.github.io·11h·
Discuss: Hacker News
🦀Rust Macros
Parallelizing Cellular Automata with WebGPU Compute Shaders
vectrx.substack.com·1d·
Discuss: Substack
🔲Cellular Automata
Operable Software
ferd.ca·20h·
Discuss: Hacker News
👁️System Observability
Hardware Vulnerability Allows Attackers to Hack AI Training Data – NC State News
news.ncsu.edu·13h·
Discuss: Hacker News
🔐RISC-V Cryptography
The Trillion Dollar AI Software Development Stack
a16z.com·12h·
Discuss: Hacker News
⚡Proof Automation
I built a translator for spatial thinking (because I can't interview in Python)
graemefawcett.ca·14h·
Discuss: Hacker News
🔗Concatenative Programming