user experience, command interfaces, affordances, discoverability

Collecting my thoughts about notation and user interfaces
interconnected.org·1d·
Discuss: Hacker News
📝Concrete Syntax
Best AI Coding Tools for Rust Projects: IDEs vs Terminals
dev.to·1d·
Discuss: DEV
Proof Automation
The Data Backbone of LLM Systems
infoq.com·21h·
Discuss: Lobsters
🔗Constraint Handling
An Enactivist Approach to Human-Computer Interaction: Bridging the Gap Between Human Agency and Affordances
arxiv.org·2d
🎨Nordic UX
The Trellis: A Gardening Metaphor for Software Engineering
sinclairtarget.com·1h·
Discuss: Hacker News
📏Code Metrics
Jef Raskin’s cul-de-sac and the quest for the humane computer
arstechnica.com·3h
🍎Apple Computing
Tool-space interference in the MCP era: Designing for agent compatibility at scale
microsoft.com·22h·
Discuss: Hacker News
🔗Topological Sorting
Issue 726
iosdevweekly.com·14h
🔌Operating system internals
Debian Upgrade Marathon: 3.1 Sarge
wrongthink.link·3h·
🕸️WASM Archives
Architecting Precision: Breakthrough Frameworks Redefine Systems and Data Integration
hackernoon.com·1d
🔧KAITAI
Unlocking Team Superpowers: The Secret Language of Spatial Harmony by Arvind Sundararajan
dev.to·7h·
Discuss: DEV
🔲Cellular Automata
AI Assistance for Software Teams: The State of Play • Birgitta Böckeler • GOTO 2024
youtube.com·2d
🔄Language Evolution
Show HN: Speech-to-text CLI in Rust with Nvidia Parakeet-local, fast, extensible
elvin.engineering·1d·
Discuss: Hacker News
🎙️Whisper
An ER Trip in Ireland Taught Me Why Convex Is Saving Startups from Themselves
hackerpug.ghost.io·1d·
Discuss: Hacker News
🌀Brotli Internals
Building a shared world with systems we don't understand–what could go wrong?
syntheticauth.ai·1d·
Discuss: Hacker News
⚙️Proof Engineering
Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·1d·
Discuss: Hacker News
💧Liquid Types
Show HN: Llmswap – Universal AI SDK and Code Generation CLI
sreenathmenon.com·1d·
Discuss: Hacker News
🪟Awesome windows command-line
Show HN: Vibe Code Kit code with confidence
vibecodekit.dev·16h·
Discuss: Hacker News
Proof Automation
Using AI to Augment, Not Automate Your Writing
blog.apiad.net·21h·
Discuss: Hacker News
Proof Automation
Improving Cursor Tab with RL
cursor.com·10h·
Discuss: Hacker News
🎛️Feed Filtering