@Leon@liker.social2025-02-20 12:05:38
E17ETMFIFMOTLY28LW9感謝您參與轉型正義問卷，給您50元全家禮券綁定獎勵期限為20250831，請提早使用逾期不補發。
@dankeck@a11y.social2024-12-21 14:37:35
@migoettingen@academiccloud.social2025-01-20 09:00:10
Heute vor 100 Jahren im Institut:
```
M . #Geiger: Systematische Axiomatik der Euklidischen Geometrie. Zusammenfassender Bericht über den Inhalt des gleichnamigen Buches des Vortragenden. Es wird versucht, die Axiome der Euklidischen Geometrie nicht nur zuzählen, sondern auch aufzusuchen.[...]
```
aus "Jahresbericht der Deutschen Mathematiker-Vereinigung", 192…
@samir@functional.computer2024-12-20 23:01:21
@… I was allowed a beer afterwards. This one, specifically: https://untappd.com/b/bad-seed-brewing-sleigher/5581774
@isoclive@mastodon.nycmesh.net2025-01-21 05:24:17
WEBCAST 21-23 JAN - Internet Development Conference 2025, Addis Ababa
#IDC2025
@Leon@liker.social2025-02-21 18:11:40
我以為這屆川普會像上屆川普，我錯了，這屆川普更癲狂。
@samir@functional.computer2024-12-20 20:41:09
@… Very cool!
I agree. This isn’t the 1980s any more, and we’re past the point that one person can build an operating system. And this is a large chunk of an operating system.
This is why I’m not even trying. But if people were willing to try with me, and I trusted them, I might change my mind.
(Unrelated: I am working on another pair of “…
@Leon@liker.social2025-02-21 03:10:56
只有元寶在報業績，其他都在摸魚打混。
@samir@functional.computer2024-12-20 22:52:44
@… @… There is so much right about this that I don't know where to start.
The only worry I have is that it sounds hard for someone else to create a competing implementation, and I think that we need more of that from our…
@samir@functional.computer2024-12-20 23:00:25
@… Aha, I get you now! This is the best thing about proofs (I feel the same way about dependently-typed programming). The more information you can convey in a signature or type, the less you need to look inside.
I'm surprised you say that Go is close to it, though; is this because of culture? I'm sure that Rob Pike shouting “don't do anything cle…