We Programmers Need "Results"
📜Proof Carrying Code
Flag this post
10-26-building-the-rope-operation-for-tensorrent-hardware at Clehaxze
clehaxze.tw·1d
⚡SIMD Vectorization
Flag this post
"use workflow": Understanding Directives
🐚Shell Monads
Flag this post
Wednesday 26 November - 11am
informatics.ed.ac.uk·8h
🎵Audio ML
Flag this post
Unsplittable Cost Flows from Unweighted Error-Bounded Variants
arxiv.org·1d
🧮Algebraic Datatypes
Flag this post
GSoC '25: Parallel Macro Expansion
🦀Rust Macros
Flag this post
How to Use Zorn's Lemma
⚔️Lean Theorem
Flag this post
The Myth of Single-Threaded JavaScript: Inside the Language’s Hidden Concurrency Engine
hackernoon.com·12h
🌊Stream Processing
Flag this post
JS/TS Functions Orchestrator
🔗Concatenative Programming
Flag this post
Fil-C: A memory-safe C implementation
🧠Separation Logic
Flag this post
Splitting (Empty) Strings (2017)
🧠Lisp Dialects
Flag this post
A bestiary of single-file programming language implementations
🔗Concatenative Programming
Flag this post
Refactoring in Go
🔓Reverse engineering
Flag this post
Speedrunning an RL Environment
⚔️Lean Tactics
Flag this post
Using Python Optional Arguments When Defining Functions
realpython.com·1d
🔗Lisp
Flag this post
Loading...Loading more...