Janek

@[email protected]
19 Followers
128 Following
154 Posts
CS Student in Freiburg im Breisgau (Germany). Interested in (mostly statically typed) programming languages, functional programming and proving things about those in Agda. Recreational trombonist.
Pronounshe/him
GitHubhttps://github.com/JaSpa
Janek3d ago
Stefan Müller 3d ago

Ist ab und zu mal nötig, dass man sich das alles klar macht. #Bahn #BahnBubble

https://www.taz.de/!6166995

Antwort auf Verkehrsminister Schnieder: Bahn-Bashing? Nicht mit uns!

Nun lästert selbst Verkehrsminister Schnieder über die Deutsche Bahn. Da sollte er mal diesen Text lesen: Nur Gutes über den bundeseigenen Konzern.

TAZ Verlags- und Vertriebs GmbH
JanekMar 27
Zugmuth das zornige ZebraMar 27

Man stelle sich vor jemand aus der Regierung würde sich hinstellen und sagen: "Ab sofort werden Benzin und Diesel jedes Jahr automatisch 10% mehr kosten."

So in etwa fühlt man sich als Nutzer des Deutschlandtickets.

#Verkehrswende

JanekMar 21
Joe Groff (1M Context)Mar 21
Nice pure function you’ve got there. Shame if something were to… “happen” in it
JanekMar 10
WeltzeitgeistMar 9

Great video. Watch it!

(This is Prof. Ada Palmer @adapalmer)

JanekMar 8
Show threadJoe Groff (1M Context)Mar 7
I quickly found myself orchestrating flocks of compilers running in parallel
JanekMar 8
Joe Groff (1M Context)Mar 7
After only a few minutes trying out the compiler, I was exhilarated—the machine could generate machine code faster than I ever could by hand! My mind raced with the possibility. Soon, it became an obsession—every minute not spent compiling felt like time wasted
JanekMar 3
Anatol StefanowitschMar 3
Ich bin froh über die Entscheidung meines Instituts, die Verwendung sogenannter KI-Tools in Studien- und Prüfungsleistungen vollständig zu verbieten. Keine „Prompt-Kompetenz“, kein „Man muss die KI nur *richtig* einsetzen“, kein „Wir können uns dem nicht verschließen“, sondern die einfache Erkenntnis, dass „KI“ das Gegenteil von dem ist, was unsere Studierenden lernen sollen. https://www.geisteswissenschaften.fu-berlin.de/we06/lehre_und_studium/Studium/Hinweise-zu-Hausarbeiten-und-Pruefungsleistungen/index.html
Hinweise zu Hausarbeiten und Prüfungsleistungen

JanekFeb 26
nolenFeb 26

ssh is an obscure but widely-deployed command. It stands for Secure Snake Home and was made in the 90s to securely play snake online

I made a massively multiplayer backend for it with support for thousands of concurrent snake players

ssh snakes.run to join!

JanekFeb 19
tanteFeb 19

I am a luddite and to me there is a lot of joy in technology. In technology that we deploy for all our wellbeing. Solar panels and vaccines, high-speed rail and wikipedia.

But they joy stems from the feeling of being able to be part of humanity in an embedded, meaningful way. Not from buying shit.

JanekFeb 8
Show threadCiferFeb 8
@anneroth Ich bleibe dabei – einer der wichtigsten Unterschiede, den ich gerne in die Köpfe von Menschen bekommen würde, ist:
Wenn du "Entbürokratisierung" sagst, meinst du "ein Formular anstelle von fünf".
Wenn die "Entbürokratisierung" sagen, meinen sie "Ich würde gern Giftmüll in den Fluss kippen."