Mastodawn

Bernd Kolb Aug 14, 2023

Oh no :-((( @stilkov , you will be missed :-(

https://www.innoq.com/en/news/2023/08/stefan-tilkov-english/

Stefan Tilkov

INNOQ Deutschland mourns the loss of its co-founder and CEO, Stefan Tilkov.

Bernd Kolb Jul 11, 2023

Interesting and well made! https://ig.ft.com/climate-game

The Climate Game — Can you reach net zero?

See if you can save the planet from the worst effects of climate change

Bernd Kolb Mar 13, 2023

Bastian Allgeier Mar 12, 2023

What an amazing project by a 17-year old https://climatejets.org/

Private Jet Emissions - ClimateJets

Ever wondered about the carbon emissions of the ultra-rich? Explore the climate implications of private aircraft at ClimateJets.

Bernd Kolb Mar 10, 2023

Show thread

Martin Kleppmann Mar 9, 2023

Version control is essential for software developers, but Git is only really suitable for plain text files. Users of WYSIWYG text editors, graphics software, spreadsheets, etc. don’t get the benefits of version control (diffing, branching, merging, viewing history, etc).

Upwelling is a first step towards figuring out how we could build version control concepts into non-plain-text apps (in this case, a rich text editor) in a way that is usable but still powerful.

Bernd Kolb Feb 24, 2023

Ulrike Franke Feb 24, 2023

I am one of the initial signatories of this open letter in support of Ukraine, calling on the German government to continue military support for Ukraine.

https://www.change.org/p/solidarit%C3%A4t-mit-der-ukraine-manifest-f%C3%BCr-freiheit-in-europa

Petition unterschreiben

Solidarität mit der Ukraine: Manifest für Freiheit in Europa!

Change.org

Bernd Kolb Feb 4, 2023

Programming Languages Delft Feb 4, 2023

Hello, world! We are the Programming Languages group at TU Delft. Our current members on Mastodon are @casperbp, @dennis, @virtlink, @liesnikov, @baboum, @casvdrest, @pdmosses, @sarantja and @agdakx. Stay tuned to this channel to hear all the latest updates from Delft about #Spoofax, #Agda, #TypeTheory, #ModularLanguages, #WeakMemoryModels, and #ProgrammingLanguages in general. #introduction

Bernd Kolb Dec 12, 2022

@kevlin one for you :-)

Bernd Kolb Dec 5, 2022

While the results when playing with #ChatGPT (and looking at examples of others) are really impressive at first glance, it also needs to be directed very closely. It gives you the obvious results, but not the ones a person with experience would come up with. This involves technical aspects as well as social norms or other undesired behavior. Am I wrong?

Bernd Kolb Nov 26, 2022