Zig in 30 Minutes
๐ฆMIR Optimization
Flag this post
The Secret Life of Go
๐Self-Documenting Code
Flag this post
I built a comprehensive PWA toolbox (PDF/Image tools) using Vanilla JS and no build step.
๐Browser REPLs
Flag this post
May-June 2025 Progress in Guaranteed Safe AI
lesswrong.comยท2d
๐ญProgram Synthesis
Flag this post
People test Nano Banana with PDF paper to whiteboard. I did the exact opposite
๐๏ธTerm Indexing
Flag this post
Infix Versus Prefix Operators
irreal.orgยท16h
๐ญDelimited Continuations
Flag this post
Personal Partial Evaluation: Clojure/Conj 2025
clojurecivitas.github.ioยท2d
๐ฌInteractive REPLs
Flag this post
Portmanteau
๐Concatenative Theory
Flag this post
I tested this minimalist Todoist alternative โ and it made me actually finish my tasks
xda-developers.comยท10h
๐Gradual Effects
Flag this post
Weekly Bookmarks
inkdroid.orgยท3h
๐ชขRope Data Structures
Flag this post
Template Thoughts and the Synthwave Project
jdtorian.bearblog.devยท1d
๐ indieweb
Flag this post
The Sacrilegious Coder
๐Self-Documenting Code
Flag this post
Built an OKLCH-based perceptually uniform color palette/theme builder
โจCode Formatters
Flag this post
<p>**Abstract:** This paper introduces a novel system for automating the formalization and verification of proofs within Homotopy Type Theory (HoTT). Leveraging...
freederia.comยท1d
โ๏ธInference Rules
Flag this post
Show HN: I ended up vibecoding a full fledged interpreter when ads annoyed me
๐ฑMinimal Interpreters
Flag this post
original โ
protesilaos.comยท1d
โจCode Formatting
Flag this post
Notes for November 17-22
taoofmac.comยท10h
๐Bootstrapping
Flag this post
Loading...Loading more...