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

Algorithmic Sound Design with L-Systems and Granular Synthesis

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

Is COSMIC DE mogging KDE Plasma?

There are many themes, but this one is yours

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

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

Wayland desktop for Linux with skeuomorphic design

Data-oriented Design for Mortals

45 years later, the Sinclair ULA design documents surface

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 →