Literate testing with pytest-bashdoctest helps keep your Bash examples up-to-date
danielnouri.org·1d
📝Shell Parsing
Open Lineage
usenix.org·2d
🔌Interface Evolution
Notes on switching to Helix from vim
jvns.ca·2d·
Discuss: Lobsters, Hacker News
🪟Awesome windows command-line
Let’s talk about LLM guardrails
blog.adnansiddiqi.me·1d·
Discuss: Hacker News
🎯Proof Tactics
Use AI to Generate Visual AI Agents
ainiro.io·1d·
Discuss: Hacker News
🎙️Whisper
Three ways formally verified code can go wrong in practice
buttondown.com·1d·
Discuss: Lobsters, Hacker News
📜Proof Carrying Code
Targeted Digital Twin via Flow Map Learning and Its Application to Fluid Dynamics
arxiv.org·2d
🔲Cellular Automata
80 Days, 80 Python Challenges: The Project That Will Turn Me Into a Better Coder! 🐍 (My First Post)
dev.to·41m·
Discuss: DEV
📊APL Heritage
🧱 The SOLID Principles Explained (Like You’re a Developer Who Actually Writes Code)
dev.to·1h·
Discuss: DEV
🐚Shell Calculus
Tech With Tim: Why 1M People Tried This AI Coding Tool (Full Vibe Coding Tutorial)
dev.to·18h·
Discuss: DEV
🎙️Whisper
Tech With Tim: Cancel Your AI subscriptions | This All-in-one AI is All You Need (ChatLLM Review)
dev.to·6h·
Discuss: DEV
🔄Sync Engine
Title: Anthropic's Claude AI Model Now Supports Longer Prompts with a Million-Token Context Window
dev.to·14h·
Discuss: DEV
🤖Lisp Machines
Building a Streaming Data Pipeline with Kafka and Spark: Real-Time Analytics Implementation Guide
dev.to·2d·
Discuss: DEV
🌊Apache Kafka
Machines in the Crowd? Measuring the Footprint of Machine-Generated Text on Reddit
arxiv.org·3d
🏛Digital humanities
The rapidly evolving field of artificial intelligence has le
dev.to·1d·
Discuss: DEV
🧭Content Discovery
Tech With Tim: Cancel Your AI subscriptions | This All-in-one AI is All You Need (ChatLLM Review)
dev.to·1d·
Discuss: DEV
🎙️Whisper
Tech With Tim: Cancel Your AI subscriptions | This All-in-one AI is All You Need (ChatLLM Review)
dev.to·20h·
Discuss: DEV
🎙️Whisper
Tech With Tim: Cancel Your AI subscriptions | This All-in-one AI is All You Need (ChatLLM Review)
dev.to·16h·
Discuss: DEV
🌊Streaming Algorithms
Tech With Tim: Cancel Your AI subscriptions | This All-in-one AI is All You Need (ChatLLM Review)
dev.to·2h·
Discuss: DEV
🌊Streaming Algorithms
The Complete Guide to Building High-Quality Backlinks in 2025
dev.to·2d·
Discuss: DEV
🧭Content Discovery