A tale of four theorem provers, or: A (reasonably) opinionated comparison of Isabelle/HOL, Lean, HOL4, and Agda https://lobste.rs/s/4dwrz0 #design #plt
https://blueberrywren.dev/blog/primes/
#design
538 posts · Last used 8h
There are many themes, but this one is yours https://lobste.rs/s/3zcaxw #a11y #design #vibecoding
https://earendil.com/posts/system-theme/
Is COSMIC DE mogging KDE Plasma? https://lobste.rs/s/7qjhic #design #linux
https://thelibre.news/is-cosmic-de-mogging-kde-plasma/
Klassik Revives the KDE 3 Desktop on Modern Plasma 6 via @fs111@mastodon.xyz https://lobste.rs/s/qmcuiv #design
https://linuxiac.com/klassik-revives-the-kde-3-desktop-on-modern-plasma-6/
Boosted by @welcome@friends.deko.cloud
Greetings, Mastodon!
I’m Akira, a multidisciplinary designer, UX/UI designer, 3D artist, and engineer.
I’ll be sharing my UX case studies, 3D experiments, sketches, illustrations, creative projects, and design thoughts here.
I’m still learning, experimenting, and figuring things out as I go. This is a place to document that journey, one project at a time.
Still learning. Still experimenting. Still making.
Let’s see where this goes.
#Introduction #Design #UXDesign #3DArt
What Would A Serious AI Product Look Like? https://lobste.rs/s/q2rymh #a11y #design #vibecoding
https://blog.glyph.im/2026/09/serious-ai-product.html
How a character from 'The Addams Family' is shaping the future of robotics
https://www.fastcompany.com/91611631/eth-zurich-soft-robotocs-lab-robotic-hand
#Robotics #Innovation #Design
Step inside the 'Home of the Future', from design fantasies to modernist architecture
https://www.wallpaper.com/architecture/architecture-events/home-of-the-future-exhibition-lacma-usa
#Architecture #Design #Future
In Milan, Prada Galleria weaves past and present across eight floors
https://www.wallpaper.com/fashion-beauty/prada-galleria-opens-in-milan
#Fashion #Design #Milan
