Nineteen
🧮Functional Programming
Flag this post
Dive into Systems
🔲Cellular Automata
Flag this post
Python steering council accepts lazy imports
λHaskell
Flag this post
Do I want Coders to Code?
🎲Roguelike development
Flag this post
Rouille – Rust Programming, in French
⚔Roguelike
Flag this post
Launching DeFi Without Backend Chaos
⚡Algebraic Effects
Flag this post
Protest: An ergonomic, powerful, and feature-rich property testing library with minimal boilerplate.
Beyond computational assumptions: How BGKW replaced hardness with isolation
🔲Cellular Automata
Flag this post
Writing a DOS Clone in 2019
🌳BSP Trees
Flag this post
Position: Vibe Coding Needs Vibe Reasoning: Improving Vibe Coding with Formal Verification
arxiv.org·1d
⚡Algebraic Effects
Flag this post
Exchange experience with Claude, 20+ years experience professional using claude code.
🎲Roguelike development
Flag this post
H-FA: A Hybrid Floating-Point and Logarithmic Approach to Hardware Accelerated FlashAttention
arxiv.org·1d
⚡Algebraic Effects
Flag this post
I'm working on a project I've been dreaming about for months and it feels good
🎲Roguelike development
Flag this post
The Learning Loop and LLMs
⚡Algebraic Effects
Flag this post
[TUI] Ricing the original Rogue
⚔Roguelike
Flag this post
Loading...Loading more...