Loading...

Tag trends are in beta. Feedback? Thoughts? Email me at [email protected]

What Happened to the Desktop Metaphor?

The Lightbulb Computer

Furifont, a Japanese font that shows furigana

A tale of four theorem provers, or: A (reasonably) opinionated comparison of Isabelle/HOL, Lean, HOL4, and Agda

Is COSMIC DE mogging KDE Plasma?

Design mistakes I made in my open-source project git-sim in 2022

There are many themes, but this one is yours

Apple's "Clean Design" Is Stupidity When It Comes to Hiding Fire Extinguishers

Wayland desktop for Linux with skeuomorphic design

Algorithmic Sound Design with L-Systems and Granular Synthesis

Data-oriented Design for Mortals

45 years later, the Sinclair ULA design documents surface

A History of Curves and Surfaces in Computer Aided Geometric Design [pdf]

The hidden design compromises of Docker layers

GPT-Synopsys: Frontier Intelligence to Revolutionize Chip Design

AI-assisted PCB design for KiCad 10

Mozilla met with Microsoft to discuss their harmful design practices

API design question: should a 407 from a proxy check be Ok or Err?

OTel-Native by Design – Building Products That Export to Any Observability Stack

Show HN: SVG Spark – 10 client-side SVG design and dev tools

Arjan's Software Design Mastery Course Reviews

Traits, the programming language i am working on it just gets traits so any kind of idea you can share over it syntax design i will try to add some of them.

How good is AI at SWE systems design?

Ideas on modernizing the open-source desktop

Vintage Scientific Papers with LaTeX

Scott Jenson: Are we going to use the same Desktop UX forever? [video]

A Design Space Exploration of Async/Await

Apple's Dimensional Drawings

evergarden

Klassik Revives the KDE 3 Desktop on Modern Plasma 6

More →