Typst for Your Code Blocks
lambdaland.orgยท3d
๐Terminal Typography
Flag this post
Safeguarded AI (Part 2)
johncarlosbaez.wordpress.comยท3d
โ๏ธProof Engineering
Flag this post
Show HN: I ended up vibecoding a full fledged interpreter when ads annoyed me
๐ฆRust Macros
Flag this post
Show HN: Wolfrominoes
๐ฒCellular Automata
Flag this post
People test Nano Banana with PDF paper to whiteboard. I did the exact opposite
๐Text Chunking
Flag this post
Railway Oriented Programming
๐งฌFunctional Programming
Flag this post
LLM on AWS with Bedrock and Understanding Non-Determinism in Generative Models
๐ปLocal LLMs
Flag this post
A New Bridge Links the Strange Math of Infinity to Computer Science
๐Mathematical Art
Flag this post
Day 43: Python Valid Parentheses Checker, Stack-Based Bracket Validation with Mapping and Loop Scanning
โ
Format Verification
Flag this post
Beyond the Hype: How to Use AI to Actually Increase Your Productivity as a Dev
docker.comยท1d
โกProof Automation
Flag this post
OSS interview-prep repo for AI, agent architectures and tool-calling
โ๏ธLean Tactics
Flag this post
A Subsets.py Step-by-Step Visualization! (With Lyrics)
youtube.comยท1d
๐Lempel-Ziv
Flag this post
Incorporating Self-Rewriting into Large Language Model Reasoning Reinforcement
arxiv.orgยท2d
๐ปProgramming languages
Flag this post
Building Tornago: A Go Library for Tor Integration Born from Fraud Prevention Needs
๐ง
Tor Networks
Flag this post
Loading...Loading more...