Literate testing with pytest-bashdoctest helps keep your Bash examples up-to-date
danielnouri.orgยท23h
๐Ÿ“Shell Parsing
Open Lineage
usenix.orgยท2d
๐Ÿ”ŒInterface Evolution
Notes on switching to Helix from vim
jvns.caยท2dยท
๐ŸชŸ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ยท
๐Ÿ“œProof Carrying Code
Targeted Digital Twin via Flow Map Learning and Its Application to Fluid Dynamics
arxiv.orgยท2d
๐Ÿ”ฒCellular Automata
Title: Anthropic's Claude AI Model Now Supports Longer Prompts with a Million-Token Context Window
dev.toยท11hยท
Discuss: DEV
๐Ÿค–Lisp Machines
ACE: Attribution-Controlled Knowledge Editing for Multi-hop Factual Recall
arxiv.orgยท2d
โœจEffect Handlers
Tech With Tim: Why 1M People Tried This AI Coding Tool (Full Vibe Coding Tutorial)
dev.toยท16hยท
Discuss: DEV
๐ŸŽ™๏ธWhisper
Tech With Tim: Cancel Your AI subscriptions | This All-in-one AI is All You Need (ChatLLM Review)
dev.toยท4hยท
Discuss: DEV
๐Ÿ”„Sync Engine
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 Complete Guide to Building High-Quality Backlinks in 2025
dev.toยท2dยท
Discuss: DEV
๐ŸงญContent Discovery
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ยท18hยท
Discuss: DEV
๐ŸŽ™๏ธWhisper
Tech With Tim: Cancel Your AI subscriptions | This All-in-one AI is All You Need (ChatLLM Review)
dev.toยท14hยท
Discuss: DEV
๐ŸŒŠStreaming Algorithms
Automated Spectral Anomaly Detection via Hyperdimensional Pattern Mapping in Transient Absorption Spectroscopy
dev.toยท2dยท
Discuss: DEV
๐ŸŒˆSpectroscopy