Diego Dorn

I'm trying to make our world a better place for everyone.

Preventing risks from AI systems.

• Creation of the Benchmarks for the Evaluation of LLM Supervision (BELLS) at CeSIA.
• Teaching at 10-day summer schools on systemic risk from AI
• The Safe AI Lausanne student club

Developing tools to empower humans.

• Pucoti, a purposeful countdown timer
• Vent Frais, a deck of cards to foster deep discussions
• An LLM-based typo fixer on which the user has control
• A distributed platform to increase confidence in mathematical proofs
• A training interface for Effectively Handling Disagreements

Fun things.

• My hot chocolate recipe schema
• A 2D esolang I co-created

Deep ideas that have influenced me and to which I often come back.

Recommended readings.

• Slow Productivity by Cal Newport
• Starmaker by Olaf Stapledon
• Paul Graham's essays, especially Life is Short, How to Work Hard, and The Acceleration of Addictiveness
• If you're considering a PhD in the next 5 years, read the great and detailed advice from a CMU prof early.

Great movies.

• Seaspiracy, on the catastrophic impact of the fishing industry.

Some truly wonderful tools and services I've found. More tools should embrace their philosophies.

Fantastic Free tools

• Syncthing, to synchronize between anything
• uBlock Origin, to remove ads, trackers, and annoyances from the web
• Logseq, for note-taking
• Immich, a great self-hosted Google Photos equivalent
• Actual Budget, for personal finances

Fantastic tools despite being closed.

• Migadu, a no-bullshit email provider

  Migadu is fantastic. You can have as many mailboxes, domains, and aliases you want. It's extremely customizable and you pay in tiers for what you use (storage & number of emails sent). Better than the 10+ other I've tried. Not for mailing lists.

• Amazing Marvin, an extremely customizable personal task management

  I've paid for Amazing Marvin since 2021. It can emulate many other task management systems, and I always find a way to build the system I need... without it being overwhelmingly complex!

• Kagi Search, a paid search engine much better than Google

  I have been using it only since 2024, but I find things so much faster, and nicer things too. It downranks ad and tracker loaded websites, you can adjust the weights of websites to see them more or less, and it even surfaces great personal blogs.

• Beeper, a chat applications aggregator

  Still a bit hacky, but can show you your messages from 12 chat apps in a single interface. Apart from that, youcan auto-archive chats once you've answered to see only the ones that need attention.

Last updated on 2025-02-15