Elektrine
EN
Log in Register
Paige Chat Timeline Communities Gallery Videos Email DNS VPN Uptime Kairo
Back to Timeline
Remote

Björn Gohla

@6d03@mathstodon.xyz
mastodon 4.6.4
  • Open on mathstodon.xyz

math. programming. fancy types. haskell.
https://6d03.info

0 Followers
0 Following
43 Posts
Joined October 31, 2022

Posts

Open post
6d03
Björn Gohla @6d03@mathstodon.xyz · Aug 07, 2026
Björn Gohla
@6d03@mathstodon.xyz

math. programming. fancy types. haskell. https://6d03.info

mathstodon.xyz
Replying to @littlealex@infosec.exchange
@littlealex@infosec.exchange Gehört die Ketchupflasche zum Zubehör?
0
1
0
0
Open post
6d03
Björn Gohla @6d03@mathstodon.xyz · Jul 28, 2026
Björn Gohla
@6d03@mathstodon.xyz

math. programming. fancy types. haskell. https://6d03.info

mathstodon.xyz
Replying to @bkastl@mastodon.social
@bkastl@mastodon.social warte auf lautstarke Forderungen nach Gesetzen, um die Datenerhebung zu verbieten.
0
0
0
0
Open post
6d03
Björn Gohla @6d03@mathstodon.xyz · Jul 12, 2026
Björn Gohla
@6d03@mathstodon.xyz

math. programming. fancy types. haskell. https://6d03.info

mathstodon.xyz
Replying to @mnvr@mastodon.social
@mnvr@mastodon.social but you still need to give a definition for each f
0
1
0
0
Open post
6d03
Björn Gohla @6d03@mathstodon.xyz · Jun 16, 2026
Björn Gohla
@6d03@mathstodon.xyz

math. programming. fancy types. haskell. https://6d03.info

mathstodon.xyz
Replying to @sven_giegold@mastodon.social
@sven_giegold@mastodon.social ich verstehe diese Klage nicht: Wenn die Wirtschaft, unter anderem durch Wärmepumpen, elektrifiziert wird, gibt es für die Netzbetreiber mehr zu tun. Das sollte die doch freuen.
1
1
1
0
Open post
6d03
Björn Gohla @6d03@mathstodon.xyz · Jun 13, 2026
Björn Gohla
@6d03@mathstodon.xyz

math. programming. fancy types. haskell. https://6d03.info

mathstodon.xyz
Replying to @twobiscuits@graz.social
@twobiscuits@graz.social @ifixcoinops@retro.social they started trying to write a spec of how HTML actually works, and it is a monstrosity.
0
0
0
0
Open post
6d03
Björn Gohla @6d03@mathstodon.xyz · May 12, 2026
Björn Gohla
@6d03@mathstodon.xyz

math. programming. fancy types. haskell. https://6d03.info

mathstodon.xyz
Replying to @BartoszMilewski@mathstodon.xyz
@BartoszMilewski@mathstodon.xyz That still doesn't seem right though. In the diagram, P,Q,R, and S are the profunctors. and they look vertical to me, whether drawn as a string diagram or it's Poincaré dual 🤔
0
1
0
0
Open post
6d03
Björn Gohla @6d03@mathstodon.xyz · May 12, 2026
Björn Gohla
@6d03@mathstodon.xyz

math. programming. fancy types. haskell. https://6d03.info

mathstodon.xyz
Replying to @BartoszMilewski@mathstodon.xyz
@BartoszMilewski@mathstodon.xyz So your profunctors are vertical?
0
1
0
0
Open post
6d03
Björn Gohla @6d03@mathstodon.xyz · May 11, 2026
Björn Gohla
@6d03@mathstodon.xyz

math. programming. fancy types. haskell. https://6d03.info

mathstodon.xyz
Replying to @blogdiva@mastodon.social
@blogdiva@mastodon.social That's a slight misrepresentation of science though; it does provide explanations of cause and effect, notably about environmental changes; it can't tell us what we must do. Judging that certain effects should be avoided or prevented, is not a scientific as much as an ethical insight.
0
0
0
0
Open post
6d03
Björn Gohla @6d03@mathstodon.xyz · May 11, 2026
Björn Gohla
@6d03@mathstodon.xyz

math. programming. fancy types. haskell. https://6d03.info

mathstodon.xyz
Replying to @rcosta@archaeo.social
@rcosta@archaeo.social @regendans@todon.eu @blogdiva@mastodon.social One of the proponents of the Big Bang Theory was literally a Catholic priest https://en.wikipedia.org/wiki/Georges_Lema%C3%AEtre
4
0
0
0
Open post
6d03
Björn Gohla @6d03@mathstodon.xyz · May 10, 2026
Björn Gohla
@6d03@mathstodon.xyz

math. programming. fancy types. haskell. https://6d03.info

mathstodon.xyz
Replying to @JacquesC2@types.pl
@JacquesC2@types.pl @Taneb@hacksrus.xyz The Ada spec might have something useful to say about this. (Or maybe that's exactly what you're referring to)
0
0
0
0
Open post
6d03
Björn Gohla @6d03@mathstodon.xyz · May 04, 2026
Björn Gohla
@6d03@mathstodon.xyz

math. programming. fancy types. haskell. https://6d03.info

mathstodon.xyz
Replying to @libreleah@mas.to
@libreleah I've always been wondering, where do you get the hardware? These are not recent releases, are they?
0
1
0
0
Open post
6d03
Björn Gohla @6d03@mathstodon.xyz · May 04, 2026
Björn Gohla
@6d03@mathstodon.xyz

math. programming. fancy types. haskell. https://6d03.info

mathstodon.xyz
Replying to @sven_giegold@mastodon.social
@sven_giegold Er deutet auch an, dass ihm da der rechte Flügel der Fraktion im Nacken sitzt. Es wäre seine Aufgabe, stattdessen seine Leute zu überzeugen, auf die SPD zuzugehen. Wenn er das nicht schafft, müsste er ehrlicherweise abtreten.
0
0
0
0
Open post
6d03
Björn Gohla @6d03@mathstodon.xyz · May 02, 2026
Björn Gohla
@6d03@mathstodon.xyz

math. programming. fancy types. haskell. https://6d03.info

mathstodon.xyz
Replying to @delong@mastodon.social
@delong looking forward to watching this. Thank you for making it so widely available.
0
0
0
0
Open post
6d03
Björn Gohla @6d03@mathstodon.xyz · Apr 30, 2026
Björn Gohla
@6d03@mathstodon.xyz

math. programming. fancy types. haskell. https://6d03.info

mathstodon.xyz
Replying to @leah@blahaj.social
@leah @wren6991 I guess renaming or deleting the module file should also do it.
0
0
0
0
Open post
6d03
Björn Gohla @6d03@mathstodon.xyz · Apr 30, 2026
Björn Gohla
@6d03@mathstodon.xyz

math. programming. fancy types. haskell. https://6d03.info

mathstodon.xyz
Replying to @maxsnew@types.pl
@maxsnew congratulations 🎉
2
0
0
0
Open post
6d03
Björn Gohla @6d03@mathstodon.xyz · Apr 29, 2026
Björn Gohla
@6d03@mathstodon.xyz

math. programming. fancy types. haskell. https://6d03.info

mathstodon.xyz
Replying to @db@social.lol
@db there is also https://gothub.org every project is hosted in its own OpenBSD VM
2
0
0
0
Open post
6d03
Björn Gohla @6d03@mathstodon.xyz · Apr 24, 2026
Björn Gohla
@6d03@mathstodon.xyz

math. programming. fancy types. haskell. https://6d03.info

mathstodon.xyz

Pelos vistos a #CP não quer saber dum inconveniente que encontrei numa viagem. 🤷‍♂️

#lamentável #cp #portugal #avaria #userHostile

0
0
0
0
Open post
6d03
Björn Gohla @6d03@mathstodon.xyz · Apr 23, 2026
Björn Gohla
@6d03@mathstodon.xyz

math. programming. fancy types. haskell. https://6d03.info

mathstodon.xyz
Replying to @CCC@social.bau-ha.us
@CCC@social.bau-ha.us no means no
0
0
0
0
Open post
6d03
Björn Gohla @6d03@mathstodon.xyz · Apr 20, 2026
Björn Gohla
@6d03@mathstodon.xyz

math. programming. fancy types. haskell. https://6d03.info

mathstodon.xyz
Replying to @jon@gruene.social
@jon Sorry to hear that.
0
0
0
0
Open post
6d03
Björn Gohla @6d03@mathstodon.xyz · Apr 17, 2026
Björn Gohla
@6d03@mathstodon.xyz

math. programming. fancy types. haskell. https://6d03.info

mathstodon.xyz
Replying to @whyrl@furry.engineer
@whyrl @bsdphk Maybe some people like being cowboys 🤷
0
0
0
0
Open post
6d03
Björn Gohla @6d03@mathstodon.xyz · Apr 17, 2026
Björn Gohla
@6d03@mathstodon.xyz

math. programming. fancy types. haskell. https://6d03.info

mathstodon.xyz
Replying to @shibacomputer@post.lurk.org
@shibacomputer@post.lurk.org Where can I read about that?
0
1
0
0
Open post
6d03
Björn Gohla @6d03@mathstodon.xyz · Apr 17, 2026
Björn Gohla
@6d03@mathstodon.xyz

math. programming. fancy types. haskell. https://6d03.info

mathstodon.xyz
Replying to @zimoun@social.sciences.re
@zimoun But what about the evaluation order? Surely we want a lazy language to compute derivations.
1
1
0
0
Open post
6d03
Björn Gohla @6d03@mathstodon.xyz · Apr 12, 2026
Björn Gohla
@6d03@mathstodon.xyz

math. programming. fancy types. haskell. https://6d03.info

mathstodon.xyz
Replying to @cxandru@types.pl
@cxandru@types.pl this is so cool. I started reading it today.
0
2
0
0
Open post
6d03
Björn Gohla @6d03@mathstodon.xyz · Mar 27, 2026
Björn Gohla
@6d03@mathstodon.xyz

math. programming. fancy types. haskell. https://6d03.info

mathstodon.xyz
Replying to @jcoglan@mastodon.social
@jcoglan Is there going to be a print edition?
0
1
0
0
Open post
6d03
Björn Gohla @6d03@mathstodon.xyz · Mar 27, 2026
Björn Gohla
@6d03@mathstodon.xyz

math. programming. fancy types. haskell. https://6d03.info

mathstodon.xyz
Replying to @jcoglan@mastodon.social
@jcoglan Which «high-level programming language» are you going to use?
0
1
0
0
Open post
6d03
Björn Gohla @6d03@mathstodon.xyz · Mar 26, 2026
Björn Gohla
@6d03@mathstodon.xyz

math. programming. fancy types. haskell. https://6d03.info

mathstodon.xyz
Replying to @khaleesicodes@eupolicy.social
@khaleesicodes @ella @je5perl @pneutig No means no
1
0
0
0
Open post
6d03
Björn Gohla @6d03@mathstodon.xyz · Mar 23, 2026
Björn Gohla
@6d03@mathstodon.xyz

math. programming. fancy types. haskell. https://6d03.info

mathstodon.xyz
Replying to @vavakado@mas.to
@vavakado To be honest, I have not conducted a thorough analysis, I just like the simplicity of s6.
1
0
0
0
Open post
6d03
Björn Gohla @6d03@mathstodon.xyz · Mar 23, 2026
Björn Gohla
@6d03@mathstodon.xyz

math. programming. fancy types. haskell. https://6d03.info

mathstodon.xyz
Replying to @robinheghan@snabelen.no
@robinheghan The age-verification debacle in systemd. c.f., https://gts.0x7be.net/@dirk/statuses/01KMBMW0ZVB3NFQDTR8FKMCX71
0
1
0
0
Open post
6d03
Björn Gohla @6d03@mathstodon.xyz · Mar 23, 2026
Björn Gohla
@6d03@mathstodon.xyz

math. programming. fancy types. haskell. https://6d03.info

mathstodon.xyz
Replying to @vavakado@mas.to
@vavakado Can't say I'm familiar. How is dinit better?
0
1
0
0
Open post
6d03
Björn Gohla @6d03@mathstodon.xyz · Mar 22, 2026
Björn Gohla
@6d03@mathstodon.xyz

math. programming. fancy types. haskell. https://6d03.info

mathstodon.xyz
Replying to @6d03@mathstodon.xyz
@justinas https://codeberg.org/amjoseph/sixos It's a clever name too. #sixos #nixos #nix #s6 #linux
0
0
0
0
Open post
6d03
Björn Gohla @6d03@mathstodon.xyz · Mar 22, 2026
Björn Gohla
@6d03@mathstodon.xyz

math. programming. fancy types. haskell. https://6d03.info

mathstodon.xyz
Replying to @justinas@social.treehouse.systems
@justinas oh, nice. Will have to check it out.
0
1
0
0
Open post
6d03
Björn Gohla @6d03@mathstodon.xyz · Mar 22, 2026
Björn Gohla
@6d03@mathstodon.xyz

math. programming. fancy types. haskell. https://6d03.info

mathstodon.xyz

Because of recent events, I've been thinking someone should make an s6 based replacement for nixos.

It turns out, it almost exists:
https://www.liminix.org/

"Almost", because this project focuses on routers.

#nix #nixos #liminix #s6 #s6rc

5
10
5
0
Open post
6d03
Björn Gohla @6d03@mathstodon.xyz · Mar 10, 2026
Björn Gohla
@6d03@mathstodon.xyz

math. programming. fancy types. haskell. https://6d03.info

mathstodon.xyz
Replying to @richardseidl@mastodon.social
@richardseidl @activegroupgmbh Wobei man die Gleichung natürlich auch als die Definition eines Fixpunktes interpretieren kann 🤓
1
0
0
0
Open post
6d03
Björn Gohla @6d03@mathstodon.xyz · Feb 28, 2026
Björn Gohla
@6d03@mathstodon.xyz

math. programming. fancy types. haskell. https://6d03.info

mathstodon.xyz

I had a feeling there is a key-binding in #bash to insert all possible completions; and there is 🎉

It's `M-*`

#foss #gnu

1
0
4
0
Open post
6d03
Björn Gohla @6d03@mathstodon.xyz · Feb 27, 2026
Björn Gohla
@6d03@mathstodon.xyz

math. programming. fancy types. haskell. https://6d03.info

mathstodon.xyz
Replying to @bentnib@types.pl
@bentnib @mkerjean oh, nice!
0
0
0
0
Open post
6d03
Björn Gohla @6d03@mathstodon.xyz · Feb 26, 2026
Björn Gohla
@6d03@mathstodon.xyz

math. programming. fancy types. haskell. https://6d03.info

mathstodon.xyz
Replying to @andre_meister@chaos.social
@andre_meister Dass der Vizechef einer Polizeibehörde sowas fordert, ist nicht überraschend. Man kann spekulieren, wie er sich das praktisch vorstellt. Einsatz von Tojanern? Oder wird der Endgerätebesitzer per gerichtlicher Anordnung unter Strafandrohung dazu gebracht seine Kryptoschlüssel offenzulegen?
2
0
0
0
Open post
6d03
Björn Gohla @6d03@mathstodon.xyz · Feb 11, 2026
Björn Gohla
@6d03@mathstodon.xyz

math. programming. fancy types. haskell. https://6d03.info

mathstodon.xyz
Replying to @Gerbsen@gruene.social
@Gerbsen@gruene.social 'Ne ganze Menge. Wobei man bedenken muss, dass nicht nur die Entwicklung, sondern auch der Betrieb bezahlt werden muss.
1
0
0
0
Open post
6d03
Björn Gohla @6d03@mathstodon.xyz · Feb 05, 2026
Björn Gohla
@6d03@mathstodon.xyz

math. programming. fancy types. haskell. https://6d03.info

mathstodon.xyz
Replying to @warandpeas@mastodon.social
@warandpeas@mastodon.social I didn't know we had a king! #Arthur #kingOfTheBritons
2
0
0
0
Open post
6d03
Björn Gohla @6d03@mathstodon.xyz · Jan 14, 2026
Björn Gohla
@6d03@mathstodon.xyz

math. programming. fancy types. haskell. https://6d03.info

mathstodon.xyz
Replying to @6d03@mathstodon.xyz
what shall be its name? can you make them see its glory?
0
0
0
0
Open post
6d03
Björn Gohla @6d03@mathstodon.xyz · Jan 14, 2026
Björn Gohla
@6d03@mathstodon.xyz

math. programming. fancy types. haskell. https://6d03.info

mathstodon.xyz
Replying to @6d03@mathstodon.xyz
the composite is a new thing; is it still small? is it still simple?
0
2
0
0
Open post
6d03
Björn Gohla @6d03@mathstodon.xyz · Jan 14, 2026
Björn Gohla
@6d03@mathstodon.xyz

math. programming. fancy types. haskell. https://6d03.info

mathstodon.xyz

make small, simple things; make them composable.

2
4
1
0
Open post
6d03
Björn Gohla @6d03@mathstodon.xyz · Aug 01, 2025
Björn Gohla
@6d03@mathstodon.xyz

math. programming. fancy types. haskell. https://6d03.info

mathstodon.xyz
Replying to @xhr@infosec.exchange
@xhr@infosec.exchange 🤯 I think I knew this once, and forgot.
0
1
0
0
Open post
6d03
Björn Gohla @6d03@mathstodon.xyz · Jul 10, 2025
Björn Gohla
@6d03@mathstodon.xyz

math. programming. fancy types. haskell. https://6d03.info

mathstodon.xyz
Replying to @fragdenstaat@chaos.social
@fragdenstaat@chaos.social Es ist ziemlich haarsträubend, dass deutsche Gerichte den Abzuschiebenden offenbar zumuten, sich in der «Schattenwirtschaft» selbst zu versorgen; also vermutlich durch Verstoss gegen griechisches Arbeits- und Sozialrecht 🤯
0
0
0
0

Remote instance

mathstodon.xyz
Open on original server

Media

313k7r1n3
Elektrine

Tor hidden service

elekhj7afj4qnrr4yd3bkzslsyo5jgfxw3orgjkhlcxifueodybyiiad.onion

Platform

  • Email
  • Chat
  • Timeline
  • Communities
  • VPN
  • DNS

Company

  • About
  • Contact
  • FAQ

Legal

  • Terms of Service
  • Privacy Policy
  • Warrant Canary
  • Lite (no JS)
  • VPN Policy
  • Source code

Support

  • support@elektrine.com
  • Report Security Issue
Mail client setup IMAP mail.elektrine.com:993 POP3 mail.elektrine.com:995 SMTP mail.elektrine.com:465
© 2026 Elektrine. All rights reserved. Server: 09:00:06 UTC