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
pseudorun.techยท17hยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
Flag this post
Show HN: Wolfrominoes
demos.samgentle.comยท6hยท
Discuss: Hacker News
๐Ÿ”ฒCellular Automata
Flag this post
People test Nano Banana with PDF paper to whiteboard. I did the exact opposite
quickchat.aiยท12hยท
Discuss: Hacker News
๐Ÿ“„Text Chunking
Flag this post
Railway Oriented Programming
fsharpforfunandprofit.comยท3dยท
Discuss: Hacker News
๐ŸงฌFunctional Programming
Flag this post
Show HN: I built Hilm.ai, a personal finance AI agent
hilm.aiยท11hยท
Discuss: Hacker News
๐ŸŽ™๏ธWhisper
Flag this post
LLM on AWS with Bedrock and Understanding Non-Determinism in Generative Models
dev.toยท16hยท
Discuss: DEV
๐Ÿ’ปLocal LLMs
Flag this post
A New Bridge Links the Strange Math of Infinity to Computer Science
quantamagazine.orgยท1dยท
๐Ÿ“Mathematical Art
Flag this post
Day 43: Python Valid Parentheses Checker, Stack-Based Bracket Validation with Mapping and Loop Scanning
dev.toยท3hยท
Discuss: DEV
โœ…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
A Bayesian Analysis of Biblical Prophesies
madebynathan.comยท2hยท
Discuss: Hacker News
๐Ÿ“ŠHyperLogLog
Flag this post
OSS interview-prep repo for AI, agent architectures and tool-calling
github.comยท11hยท
Discuss: Hacker News
โš”๏ธLean Tactics
Flag this post
Implementing Custom Autocomplete in VSCode
dganev.comยท1dยท
Discuss: Hacker News
๐ŸŽฏGradual Typing
Flag this post
[P] Interactive Advanced Llama Logit Lens
reddit.comยท8hยท
๐ŸŒณContext free grammars
Flag this post
MCP Apps: Bringing Interactive UIs to AI Conversations
blog.fka.devยท1dยท
Discuss: Hacker News
๐ŸŒณIncremental Parsing
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
dev.toยท3hยท
Discuss: DEV
๐Ÿง…Tor Networks
Flag this post
What is GNU Emacs and do you want a copy? (1986)
gnu.orgยท12hยท
Discuss: Hacker News
๐Ÿ“ŸTerminals
Flag this post