If Nix Then Nix
whimsicalcode.com·11h·
Discuss: Hacker News
🐧Linux
a word to my students
blog.ayjay.org·13h
🧩Theorem Proving
How to Make the Most of Veo3, WAN 2.2, Hailuo-AI, and Qwen-Image on Textideo
indiehackers.com·1d·
Discuss: Hacker News
⚡Concurrency
Keep local web-hosted lists of web links and mirrors, with public links and other goodies
reddit.com·15h·
Discuss: r/opensource
👐Open Source Software
Unsupervised Learning NO. 494
newsletter.danielmiessler.com·5h
🔗Parser Combinators
Poor man's autoformatter with treesitter + editorconfig
reddit.com·3d·
Discuss: r/neovim
📝Lisp
ABSOLUTE POWER (A short story)
lesswrong.com·2d
🤖Sci-Fi
Beyond The Hype: What AI Can Really Do For Product Design
smashingmagazine.com·1d
🧩Theorem Proving
kamailio/kamailio
github.com·3h
👐Open Source Software
Feedback on Masterit.ai – AI Interview Platform
news.ycombinator.com·17h·
Discuss: Hacker News
🧩Theorem Proving
Trying to run a local offline coding agent with qwen code
github.com·2d·
Discuss: r/LocalLLaMA
👐Open Source Software
Semantic code search for Neovim – ask in your language
reddit.com·3d·
Discuss: r/neovim
🧮Programming Language Theory
Python matures: data science and Rust integration dominate
techzine.eu·1d
🦀Rust
Excel + AI: Microsoft brings new 'COPILOT' function directly into spreadsheet cells - GeekWire
news.google.com·11h
🤖Sci-Fi
How to make savestates?
reddit.com·13h·
Discuss: r/godot
🧫Cellular Automata
My First Agent build with qwen3
reddit.com·2d·
Discuss: r/LocalLLaMA
🧭SMT Solvers
Teaching the model: Designing LLM feedback loops that get smarter over time
venturebeat.com·3d
🧩Theorem Proving
Latent Plan Transformer for Trajectory Abstraction: Planning as Latent Space Inference
arxiv.org·1d
🎲Probabilistic Programming
🚀 Leveling Up in Generative AI
dev.to·2d·
Discuss: DEV
🧮Programming Language Theory
Breaking Out of Tutorial Hell
dev.to·4d·
Discuss: DEV
🧩Theorem Proving