find me at @kha@functional.cafe
Karlsruhe, Germany
Joined July 2009
- Tweets5K
- Following185
- Followers1.1K
- Likes1.5K
Sebastian Ullrich retweeted
We are excited to share the news of the Lean Focused Research Organization (FRO): lean-fro.org/! A new nonprofit dedicated to advancing the Formal Mathematics revolution, we aim to tackle the challenges of scalability, usability, and proof automation in Lean.
Sebastian Ullrich retweeted
Unreasonably excited about some upcoming additions to our Rust Book Experiment!!
ALT A screenshot of a Rust code snippet. Each line of code is annotated with the changes in permissions on paths after executing a given line. For example, `let z = &mut x` removes read/write/own permissions on x, and gives read/write permissions to *z.
Sebastian Ullrich retweeted
A bunch of us have been working on translating mathematics to a form a computer can understand (specifically #leanprover). Here's an early version: @XenaProject @derKha (video at youtu.be/_NMquXd0Qos)
Sebastian Ullrich retweeted
ICYMI: Sebastian Ullrich (KIT) at #RacketCon
Metaprograms and Proofs: Macros in Lean 4
youtu.be/n1Pd0GeHsAY
@derKha @leanprover #leanprover #metaprogramming #macros
Sebastian Ullrich retweeted
The main character of Twitter cannot be Twitter. This violates the axiom of regularity of Zermelo-Fraenkel set theory. The entire social network would be non-well-founded
en.wikipedia.org/wiki/Axiom_…
Don't think I've seen nearly as many people leave for Mastodon as today. I'm not quite decided yet, but I am now prepared: types.pl/@kha
Ran @debirdify again, this is probably good enough to focus mostly on Mastodon from now on. The types.pl vibes are great.
ALT screenshot of https://pruvisto.org/debirdify/ We searched 222 Twitter accounts and found 39 accounts with Fediverse IDs, spread over 19 instances. (see below for CSV export) Most Relevant Instances The following ranking shows the instances that Debirdify considers most relevant to you based on the Fediverse accounts we found according to your query. types.pl 41.39 chaos.social 13.52 mastodon.social 6.20
Sebastian Ullrich retweeted
The German Government has set up its own #Mastodon server so all its official accounts are easy to find.
Validation going the same way as email: if you're on the official domain, you work for us.
(HT @anthonyzach)
social.bund.de/explore
Sebastian Ullrich retweeted
Amsterdam airport police running after hundreds of climate activists blocking private jets while on bicycles is objectively funny nos.nl/l/2451147
Sebastian Ullrich retweeted
“go to discord” listen i want to Post and i want a number under the Post to go up and i want to go back to it later and see that i’m Good. i do not want to be rehabilitated back into human conversation by the methadone of emoji under a comment no one will see again within 5 mins
Played a few rounds of Fall Guys again with a friend after a loong time and... what the heck is everyone else doing
Sebastian Ullrich retweeted
Twitter's machine learning ethics & transparency (META) team led by our friend @ruchowdh, has been laid off along with countless other workers. What's happening there should be a wakeup call on the consequences of leaving our technological future to the whims of billionaires.