www.youtube.com/watch?v=jfNO... I started installing Omarchy, but my wife found out. She said: It is either DHH or me! 😠

🥳🥳🥳

The rumours were true: Installing and setting up Haskell in 2025 is a breeze. Install ghcup. Use that to install ghc, Cabal and HLS. #Haskell feels ergonomic and modern. Took an hour from start till I had made my sample app with unit tests in VS Code.

The 2020's have to be the decade of great tooling for #Haskell. More investment in Developer Experience, reliable foundations and predictable performance will see us gain a lot of street cred.

Lean 4 is a theorem prover that has been adapted by working mathematicians. But it is also a nice Haskell style programming language. Solid with good tooling. I was productive right away.

A pure functional programming language has long been a utopian dream. We suddenly have 3 strong contenders: * @haskell.org with better tooling * Lean 4, adopted by mathematicians * @unison-lang.org out in v 1.0 Good time to revisit pure.

🎉 Unison 1.0 has landed! After years of engineering, design, and community collaboration, we’re excited to announce this milestone! Spread the word!

How the Universe Emerges from Nothing Urs Schreiber starts with nothing and uses category theory and Hegel's dialectic process to build * Pure being * Fermions * Bosons * 11 dimensional Super Gravity * M5-branes from M-theory Cool. But maybe it's a magic trick 🎩 🪄 www.youtube.com/watch?v=1KUh...

Trying to understand AI’s circular financing and how concerning this is. The best resource I found is by @pboyle.bsky.social Is AI’s Circular Financing Inflating a Bubble? www.youtube.com/watch?v=NbL7...

I tried #TinyGo, and found it more ergonomic than: Android IDE Bare metal C Embedded Rust Embassy PlatformIO Simple boards worked out of the box, but I had problems with TinyGo on multi MCU boards. But TinyGo has growing support: www.youtube.com/watch?v=Gmhz...

Arduino Uno r1 has 2 KB of SRAM and has let millions play with electronics ❤️ Qualcomm just bought Arduino and released new Arduino Uno Q, which has 2 GB of RAM and 16 GB of flash for vision and edge AI. It runs Linux and Python. Could level up electronics tinkering. www.youtube.com/watch?v=xz3O...

Microprocessors are messy 😵‍💫 Tried many abstractions to simplify, but I surrendered and embraced bare metal and embedded C. Annoying to read a 300 page pdf datasheet in order to program a microprocessor, but it's better than leaky abstractions. europe1.discourse-cdn.com/arduino/orig...

Can Rust's strong types simplify microcontroller programming? Tried embedded Rust on Raspberry Pi Pico 2, with good Rust bindings. It's still messy. Got it to work after watching this video by @drjonea.bsky.social Maybe #EmbeddedRust has reached critical mass now. www.youtube.com/watch?v=oWTh...

Is Mojo 🔥 Ready? Documentation states 2 heavy dependencies: * Pixi tool recommended * Needs Ubuntu 22.04 LTS on Linux I installed Mojo with uv tool, that worked on nightly build ✅ Compiled Conway's Game of Life on Fedora, it segfaulted, but worked after fixing Pygame bindings ☑️ Is that ready? 🤔

Earlier today I thought: C++ will never catch up to Chris Lattner's Mojo 🔥 Next up is Herb Sutter, the C++ language design genius, with the silver tongue. He says that nothing will be the same now that C++26 has reflection 🤩 Language development is moving fast now 🏃 www.youtube.com/watch?v=kKbT...

Mike Shah walks through the Mojo documentation, and tests Mojo in 1 hour. Mojo took many good ideas from C++, CUDA, Rust and Zig, wrapped in Python syntax. I could call Python from Mojo, and Mojo from Python after an hour. That could come in handy ... www.youtube.com/watch?v=ybdb...

I hesitated installing Mojo since it needs Pixi, a new Python version and package manager. I've already used: asdf, Conda, Nix, Pip, Pipenv, Poetry, Pyenv, uv, venv, virtualenv. Each has a different place to install Python and package to. 😵‍💫 Why did Mojo choose Pixi? www.youtube.com/watch?v=UeyM...

Mojo is the most promising new programming language. It combines ideas from C++, CUDA, Python, Rust, and Zig. 🐍 Last year it was too alpha, but I took a second look. The Mojo tutorial example is Conway's Game of Life. I got it compiled and running in around 1 hour. Impressive. ✨

First static engine test successful 🚀 Next test coming up soon. www.youtube.com/live/haQRHGL...

Can We Save The Web From AI? — With Cloudflare CEO Matthew Prince AI takes away the incentive to produce web content, when web search no longer takes people to web pages. Some ideas for a new business model. www.youtube.com/watch?v=iIsX...

Sunday, August 17th, 2025, Copenhagen Suborbitals will conduct a second test of a nitrogen evaporator. 🚀 It evaporates liquid nitrogen, to push liquid oxygen and ethanol into a rocket's combustion chamber, against 20 bar pressure. Like a turbo pump, but simpler. www.youtube.com/watch?v=qjGS...

I've been running desktop Linux privately for 1 month. Surprisingly little to report 🙊 Fedora 42 is almost as good as macOS and Windows 11, but I liked: * Minimalism * Less built in AI * Privacy * Less bloat * Novelty No strong reason to switch, but nice to have an open source option ✨

Replacing burned out spark igniter, with glow plug, before next static engine test

Poetic ✍️ Google Gemini is probably reading Jack Kerouac poems, when he is not summarizing my Google search 🔍

Today I tracked down an AI engineer and asked: Is AI making giant leaps ahead? Or are we in an AI bubble with unsustainable AI spendings? He said both. Nobody knows ... 🤷‍♂️ It is not just me who is confused 🤖 😵‍💫 🤖

Are AI's Economics Unsustainable? — With Ed Zitron @edzitron.com argues that AI is a bubble, and makes good arguments. While Meta argues that personal super intelligence is around the corner. I am confused 😵‍💫 And what do I do with my super intelligence? www.youtube.com/watch?v=UZEn...

David Heinemeier Hansson on growing public cloud spending. (Projected to top $700 billion in 2025) Watch his talk, before you hire FinOps consultants to lower your cloud cost. www.youtube.com/watch?v=a30v...

Post mortem for a spark igniter, which malfunctioned when engine hit 1300 degrees celsius, during static engine test.

Esox Regina

My digital privacy criteria is: How much do you get for the privacy you give up? ⚖️ Google gives me great services and knows everything about me. But now AI is everywhere, so paying $5 per month for private emails and documents makes sense. I also pay to avoid ads on YouTube.

EuroSpaceport has secured ESA backing for its North Sea floating launch platform, with Poland's SpaceForest set to launch its Perun rocket from it in 2026. europeanspaceflight.com/esa-backs-eu...

New result from CERN (@lhcb.bsky.social) finds CP violation in the decay of baryons for the first time. Not unexpected - and not violation of baryon number itself! - but hopefully one more step in understanding why there is more matter than antimatter in the universe. gizmodo.com/cern-physici...

It’s the end of the world as we know it (and i feel fine) by R.E.M. 1987 www.youtube.com/watch?v=Z0GF...

I installed Fedora 42 Linux on my laptop 3 days ago. Only a few issues with sound and power saving. Easy install dev box. Almost too easy. 👶 💻 I followed @jaythelinuxguy.bsky.social's excellent dual boot install guide, to avoid secure booting pitfalls. www.youtube.com/watch?v=z5xH...

I want to install Arch Linux, but it does not ship with secure boot. My last dual boot was MX Linux and Win 10. They had issues around secure booting 💔 I spent hours on this during Covid lockdown, but my laptop never recovered. I read @xkcd.com's dual boot strip when I get that urge xkcd.com/349/

Installed desktop Linux to better control AI and privacy. #Fedora 42 has an easy dual boot installer and looks modern. #Flatpak installed all my apps with sand boxing for better cyber security. My last dual boot had problems with secure booting and that dated 1990s Linux look.

Desktop Linux has perpetually been far behind. PC, Mac and devices are racing to integrate AI features. 🤖 Maybe lack of AI will be Linux' killer application, for privacy concerned users. Here DHH demos #Omarchy, his ergonomic #Desktop-Linux install script. www.youtube.com/watch?v=I5Mn...

LOX spring cleaning 🧽 🧹

New prints of Power Lines Drawings added to my store this spring: #88 (Saint Paul, MN) #95 (Chicago, Pilsen) #128 (Ferndale, MI) #129 (Huntington Woods, MI) marcusmerritt.bigcartel.com

Summer Solstice 🌞

Autechre - Bike from 1993. Their music style is ambient industrial, glitch and IDM. I forgot about them, but they are holding up well. www.youtube.com/watch?v=qkTJ...

Norman Wildberger is back on Youtube. His deleted videos on constructive mathematics have been restored, questioning ZFC as a foundation of math. He presents a new paper: Hyper-Catalan Series Solutions to Polynomial Equations He explains its use on quintic equation www.youtube.com/watch?v=oIHd...

Today I explained A rocket engine is a lot of steel and a little trigonometry. 👷‍♂️ My audience turned out to be an academic doing research in Rotating Detonation Engines. 🎓 RDE is a brilliant idea, but very complicated for computational fluid dynamics. 😰 www.youtube.com/watch?v=dENz...

My music vocabulary had shrunk to Electronica, Jazz and Pop. I found this incredible music taxonomy: Ishkur's Guide to Electronic Music music.ishkur.com It has around 100 music genres e.g. Chiptune, Chill Out, Downtempo, Dark Ambient, Goa Trance and Nu Jazz. Many examples ordered by year

My recent cloud stack: AWS, Docker, FastAPI, Flink, Flink Kubernetes Operator, Helm, Helm Charts, Kubeflow, Kubernetes, PyTorch, SageMaker, Scala, Terraform. I felt: Challenging 😓, but better than multi-cloud engineer

Back in the old world 🏰 🪩 Sounds like it did 30 years ago 🕺 Thank you Spotify AI 🤖 it is all coming back www.youtube.com/watch?v=JOfd...

I wondered how the Isar Aerospace engineers felt about seeing their beautiful new Spectrum rocket crash after 30 seconds of flight. A few of their guidance, navigation and control engineers stopped by on their way back from Andøya, Norway, and went out for beers. They looked genuinely happy. 😃

Watched the first launch of the Isar Aerospace Spectrum rocket with several rocket engineers. They cheered at take off. Isar Aerospace chief executive had said that he would be happy with a 30 seconds flight.

@shawnhymel.bsky.social has lecture series on so many topics I am trying to learn. Including his excellent #FreeCAD series. It covers the new FreeCAD v1.0 and has 3D printing examples. www.youtube.com/watch?v=8VPY...