Experimenting with Apple’s AI models inside Shortcuts
sixcolors.com·2h
⚡Proof Automation
Song recommendations from F# combinators
blog.ploeh.dk·2d
🔗Functional Compilers
Mike Driscoll: An Intro to ty – The Extremely Fast Python type checker
blog.pythonlibrary.org·5h
🎯Gradual Typing
Spatial Shell
spatial-shell.app·22h·
Discuss: Hacker News
🪟Awesome windows command-line
Insufficiently known POSIX shell features (2011)
apenwarr.ca·2d·
Discuss: Hacker News, r/programming
📝Shell Parsing
Programming by Backprop: LLMs Acquire Reusable Algorithmic Abstractions During Code Training
arxiv.org·1d
💻Local LLMs
LR(1) parse-tables generator
github.com·1d·
Discuss: Lobsters, Hacker News
🔍Z3 Parsing
Building a Language Server
bullno1.com·2d·
Discuss: Hacker News, r/programming
🗣️Domain-Specific Languages
Vibe Coding a Speed Reading App with Python in Just 15 Minutes
kdnuggets.com·4h
🗜️LZSS Variants
The Guide to the Foundation Models Framework
azamsharp.com·4h·
Discuss: Hacker News
λLambda Formalization
Nix Development Setup for Factor
toast.al·1d·
Discuss: Lobsters, Hacker News
❄nix
Building a Go Concurrency Task Scheduler: Efficient Task Processing Unleashed
dev.to·17h·
Discuss: DEV
🌊Stream Processing
CloneDex: Rebuilding OpenAI Codex with VibeKit
vibekit.sh·6h·
Discuss: Hacker News
🔄Sync Engine
How much slower is random access, really?
samestep.com·2d·
Discuss: Hacker News
📼Tape Encoding
The collective waste caused by poor documentation
shanrauf.com·16h·
Discuss: Hacker News
📦Deflate
Flame Graph Performance Truth Analysis（1750839255230100）
dev.to·9h·
Discuss: DEV
⚡Performance Tools
Your Guide to the Python print() Function
realpython.com·4h
📝Concrete Syntax
how i use my terminal
jyn.dev·2d·
Discuss: Lobsters, Hacker News
🪟Awesome windows command-line
Patterns for Compounding the Value of LLM interactions
spin.atomicobject.com·6h·
Discuss: Hacker News
🔗Constraint Handling
Learn Makefiles
makefiletutorial.com·5d·
Discuss: Hacker News, r/programming
🐚Bash Combinators