Literate testing with pytest-bashdoctest helps keep your Bash examples up-to-date
danielnouri.org·20h
📝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·23h·
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
The 9 Best CLIs with Artificial Intelligence
dev.to·8h·
Discuss: DEV
📟CLI Design
An enough week
blog.mitrichev.ch·2d·
Discuss: blog.mitrichev.ch
🧮Z3 Solver
Evaluating LLM-Generated Legal Explanations for Regulatory Compliance in Social Media Influencer Marketing
arxiv.org·2d
🔍Information Retrieval
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·13h·
Discuss: DEV
🎙️Whisper
Tech With Tim: Cancel Your AI subscriptions | This All-in-one AI is All You Need (ChatLLM Review)
dev.to·1h·
Discuss: DEV
🔄Sync Engine
Title: Anthropic's Claude AI Model Now Supports Longer Prompts with a Million-Token Context Window
dev.to·9h·
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·21h·
Discuss: DEV
🎙️Whisper
Tech With Tim: Cancel Your AI subscriptions | This All-in-one AI is All You Need (ChatLLM Review)
dev.to·15h·
Discuss: DEV
🎙️Whisper
Tech With Tim: Cancel Your AI subscriptions | This All-in-one AI is All You Need (ChatLLM Review)
dev.to·11h·
Discuss: DEV
🌊Streaming Algorithms