An enough week
blog.mitrichev.ch·1d·
Discuss: blog.mitrichev.ch
🌲Deforestation
Ship Broken Things
matmul.net·1d·
Discuss: Hacker News
🌳Tree Shaking
The Trillion Dollar AI Software Development Stack
a16z.com·33m·
Discuss: Hacker News
🎭Program Synthesis
On the Pure Quantum Polynomial Hierarchy and Quantified Hamiltonian Complexity
arxiv.org·1d
∀Quantified Types
GlobalFoundries, MIPS, and the Chiplet Race for AI Datacenters
semiwiki.com·1d
💾Zig Allocators
Three ways formally verified code can go wrong in practice
buttondown.com·4h
📜Proof Languages
LED Strips
revk.uk·8h·
Discuss: www.revk.uk
🔧RISC-V
Slip – A Lisp System in JavaScript
lisperator.net·8h·
Discuss: Hacker News
🌱Minimal Lisps
Parameterized Complexity of Temporal Connected Components: Treewidth and k-Path Graphs
arxiv.org·2d
🕸️Tarjan Algorithms
Fast Matrix Multiply on an Apple GPU
percisely.xyz·3d·
Discuss: Hacker News, Hacker News
🔀SIMD Programming
How to store ordered information in a Relational Database (2015)
softwareengineering.stackexchange.com·1d·
Discuss: Lobsters, Hacker News
🔗Concatenative Theory
1k LEDs Is No Limit
xayax.net·1d·
Discuss: Lobsters, Hacker News
⚡Live Programming
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blog·19h·
Discuss: Hacker News, r/programming
📝Rope Editors
Scalable Semantic Map Generation via Hierarchical Graph Optimization
dev.to·2h·
Discuss: DEV
🗺️Region Inference
Iterated Development and Study of Schemers (IDSS)
lesswrong.com·7h
🏰Capability Machines
MetaGraph: Scalable annotated de Bruijn graphs for DNA indexing and alignment
github.com·1d·
Discuss: Hacker News
🌳Tree Diffing
Drive 16 (or More) LEDs with Two 74HC595 Shift Registers Using Only 3 Arduino Pins
dev.to·19h·
Discuss: DEV
🔍Peephole Optimization
IBM Ships Homegrown “Spyre” Accelerators, Embraces Anthropic For AI Push
nextplatform.com·1h
🏰Capability Machines
Programmer in Wonderland
binaryigor.com·1d·
Discuss: Hacker News
📚Self-Documenting Code
Unforgettable factory revisited
holyblackcat.github.io·17h·
Discuss: r/cpp
🪆Embedded DSLs