Python Morsels Lifetime Access Sale
treyhunner.comยท1d
๐ญRacket
Flag this post
Contributing to opensource
๐Self-Documenting Code
Flag this post
Learn AI-Assisted Programming With Junie: Free Courses From JetBrains Academy and Nebius
blog.jetbrains.comยท2d
๐Educational Compilers
Flag this post
Understanding PL/SQL Collections: Associative Arrays, Nested Tables, and VARRAYs
๐Row Typing
Flag this post
The Secret Life of Python: Bytecode Secrets - What Python Really Runs
๐Bytecode Interpreters
Flag this post
I'm a thirty year old dude who wants to start over and learn to program and motivation is really hard to come by.
๐Literate Programming
Flag this post
Personal Partial Evaluation: Clojure/Conj 2025
clojurecivitas.github.ioยท2d
๐Concatenative
Flag this post
The age of personalized software
discuss.samsaffron.comยท4h
๐ฎLanguage Ergonomics
Flag this post
I built a comprehensive PWA toolbox (PDF/Image tools) using Vanilla JS and no build step.
๐Browser REPLs
Flag this post
Actually using ed | Arabesque
blog.sanctum.geek.nzยท15h
๐ปTerminal Control
Flag this post
On Cloudfare and Unwrap
โ๏ธTOML Parsers
Flag this post
What's New in .NET 10 and C# 14
๐Cross-Platform FFI
Flag this post
The Sacrilegious Coder
๐Self-Documenting Code
Flag this post
Perennial Technical Reading List
๐ฑBytecode Design
Flag this post
Building an impossible Tic-Tac-Toe with Minimax and LemonadeJS
๐ชPlayground Compilation
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
Why Not Just Train For Interpretability?
lesswrong.comยท1d
๐ฑMinimal Interpreters
Flag this post
Loading...Loading more...