📟 CLI Design

user experience, command interfaces, affordances, discoverability

It's the certificates, stupid!
reverse.put.as·13h
🏺Kerberos Archaeology
Hughes: LVFS Sustainability Plan
lwn.net·19h
📦Git LFS
How to communicate with intent
jyn.dev·5h·
Discuss: Lobsters
🔄Session Type Inference
Function Colors Represent Different Execution Contexts
danieltan.weblog.lol·2d·
Discuss: r/programming
✨Effect Handlers
How Does a Blind Model See the Earth?
outsidetext.substack.com·1d·
Discuss: Substack
🧮Kolmogorov Bounds
Google rolls out AI coding tool for GitHub repos
infoworld.com·4d·
Discuss: Hacker News
🔓Open Source Software
Adding HUE function to graphics library
hackster.io·1h
🌈Color Science
How Well Do LLMs Perform on a Raspberry Pi 5?
stratosphereips.org·23h·
Discuss: Hacker News
🎯Emulator Accuracy
Rust's Annual Tech Report: Trusted Publishing for Packages and a C++/Rust Interop Strategy
developers.slashdot.org·1d
⚡Dependent Rust
Secure Boot and You
blog.elijahs.space·17h·
Discuss: Hacker News
🔒Secure Boot
A Love Letter to My Future Employer
catzkorn.dev·4d·
Discuss: Hacker News
🐚Shell Calculus
Show HN: Veo 3: AI Video with Built-In Sound
veo3-ai.co·3h·
Discuss: Hacker News
🎥Streaming Codecs
GPT-5 Review: Welcome to the Stone Age
latent.space·4d·
Discuss: Hacker News
⚡Proof Automation
The Trixzon Protocol: Turning Caffeine and Chaos into Capital
dev.to·2d·
Discuss: DEV
🔍BitFunnel
Tailored Emotional LLM-Supporter: Enhancing Cultural Sensitivity
arxiv.org·8h
💻Local LLMs
Can You Trick the Grader? Adversarial Persuasion of LLM Judges
arxiv.org·8h
🎯Interactive Provers
WTF is Autonomous Systems?
dev.to·2d·
Discuss: DEV
🏠Home Automation
AI: Do or Don’t Believe the Hype
devops.com·3d
⚙️Proof Engineering
Automated Fault-Tolerant Path Planning for Mobile Robots in Dynamic Environments via Bio-Inspired Reinforcement Learning
dev.to·2d·
Discuss: DEV
🔲Cellular Automata
You Can Build Whatever You Want With AI These Days, But… It’s Not Fun Anymore
dev.to·2d·
Discuss: DEV
🚀Indie Hacking