Björn Gohla

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

Public Key

npub15wwzvnule4kdvqh4dzm36hwgq47rv2trshr34dd6r2keqm3xduzs0we059

NIP-05 Address

[email protected]

Profile Code

nprofile1qqs288pxf70u6mxkqt6k3dcathyq2lpk993ct3c6kkap4tvsdcnx7pgpz4mhxue69uhhyetvv9ujuerfw36x7tnsw43qhc7zl4

Publishing to

relay.ditto.pub

Author Public Key

npub15wwzvnule4kdvqh4dzm36hwgq47rv2trshr34dd6r2keqm3xduzs0we059

Show more details

Last Notes

2026-10-13 15:06:01 GMT

«The table-stakes for a secure digital world are: public agencies that try to make our computers as secure as possible, including by administering the corporate death-penalty to any company that hoards and weaponizes information about bugs in our computer. We should protect and reward individuals and firms who come forward with true disclosures about bugs in systems we rely upon. We should not give companies the right to silence and punish those critics who want to warn us about their defective products. And we should not require that companies make us less secure in the name of making it easier for spies and cops to catch the bad guys.»
#nevent1q…zrnw

2026-08-07 14:18:08 GMT

- reply

@nprofile…4f7h
Das scheint mir ein ziemlich happiger Preis zu sein, für ein Bastelgerät ohne Gewähr 🤔

2026-08-07 14:16:56 GMT

- reply

@nprofile…4f7h
Gehört die Ketchupflasche zum Zubehör?

2026-07-23 14:04:20 GMT

- reply

@nprofile…4f7h
Jaysus, that's an almost 4h long video 🤨

2026-05-25 09:56:57 GMT

- reply

@nprofile…senk https://zbmath.org/ ?

2026-05-17 16:12:47 GMT

- reply

@nprofile…xefq I think the only sustainable solution to this conundrum is radically open hardware and firmware. And to create sufficient demand to make this a viable business, regulations will have to require it.
There are examples like Raptor Computing and Oxide, that are successfully selling open hardware, but they are, alas, also American.
#openhardware #openfirmware #eu #digitalsovereignty

2026-04-20 13:01:47 GMT

- reply

@nprofile…dv93
Gibt es ein richtiges Leben im Falschen?

2026-03-27 17:20:08 GMT

- reply

@nprofile…dv93
Gibt es dazu einen blog post von Dir??

2026-03-22 12:09:42 GMT

- reply

@nprofile…kdr8 ask @nprofile…wn4u I guess

2026-03-22 11:28:51 GMT

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

2026-03-20 12:25:03 GMT

- reply

@nprofile…m5v4
Meine Hypothese wäre Fear of Missing Out. Man hat sich davon überzeugen lassen (money talks), dass das grosse Ding wird; wichtig für den Wirtschaftsstandort, und so.

2026-03-02 10:06:24 GMT

- reply

@nprofile…4f7h
Ich bin da skeptisch, ob der Status der Sovereign Base Areas dem von Ramstein ähnlich ist.
Zugegeben, die Lage ist etwas unklar. Aber Wikipedia zumindest hat dies dazu zu sagen: «Lastly, two areas—Akrotiri and Dhekelia—remain under British sovereignty for military purposes, collectively forming the Sovereign Base Areas of Akrotiri and Dhekelia (SBA).» (https://en.wikipedia.org/wiki/Geography_of_Cyprus)

2026-03-02 09:47:32 GMT

- reply

@nprofile…4f7h
Aber schlauerweise sind die britischen Militärbasen auf Zypern nicht zyprisches Staatsgebiet, also doch kein Angriff auf die EU 😅

2026-01-21 10:42:32 GMT

- reply

@nprofile…w0q2 @nprofile…s4ce @nprofile…tv03
Maybe this is also a good time to consider supporting your mastodon instance.

2025-12-26 12:59:23 GMT

- reply

@nprofile…ks6m I remember significant public opposition to American missile defense plans in Germany at the time; for fear of undermining MAD and upsetting the Russians.

2025-12-16 12:26:29 GMT

- reply

@nprofile…hc5w Also, your memory of it, and of yourself are fake.

2025-12-09 18:09:56 GMT

- reply

@nprofile…rcf4
Das Problem mit Kurswagen ist, dass das teure Handarbeit ist, die heute keiner mehr machen will.

2025-11-13 17:51:25 GMT

- reply

@nprofile…3ujw They are big beautiful numbers. Like you wouldn't believe.

2025-10-04 09:03:53 GMT

- reply

@nprofile…hn22
Slavery is freedom
War is peace

2025-08-02 09:47:01 GMT

- reply

@nprofile…x759
So does the UK secretly follow eIDA$?
#eIDAS #QES

2025-07-14 19:14:01 GMT

- reply

@nprofile…pmdx I'm too overwhelmed to write anything, other than that I'm generally impressed with the quality of most presentations so far; both in terms of speaking and slides.

2025-07-13 21:19:53 GMT

- reply

@nprofile…0a9c @nprofile…ta7m @nprofile…qz4x
OnlyDips

2025-06-06 21:45:26 GMT

- reply

@nprofile…fa4k counting down to drumpf insisting he barely knows the guy

2025-04-07 13:59:47 GMT

- reply

@nprofile…zuq0 ok, just tell us, what prompt did you use?

2025-03-26 12:56:20 GMT

- reply

@nprofile…c5n8
Tangentially, looking at that aerial shot, I always wondered why they didn't build over the existing tracks like at Paris Austerlitz, given that one of the reasons for moving the station underground was to gain space for development.

2025-03-12 22:04:57 GMT

- reply

@nprofile…vlvm
Has anyone seriously suggested it?

2025-02-10 09:52:40 GMT

- reply

@nprofile…6kk0 She's also much more interesting than the rabid hysteria about her person would have you believe.

2025-02-10 09:07:12 GMT

- reply

@nprofile…xtcf @nprofile…lnyy this seems relevant to you

2025-01-17 17:51:24 GMT

- reply

@nprofile…lx5n Are there any pixelfed accounts one /should/ follow?

2024-12-27 15:46:06 GMT

- reply

@nprofile…lxcy @nprofile…v782
Sollte man auch im Angesicht des grassierenden Überwachungswahns im Hinterkopf behalten.

2024-12-20 12:29:47 GMT

- reply

@nprofile…c5n8 Yes, I meant in the context of #CrossBorderRail .

2024-12-20 12:24:52 GMT

- reply

@nprofile…c5n8 Ukraine and Moldova are firsts, aren't they?

2024-12-11 08:35:22 GMT

- reply

@nprofile…87ch @nprofile…uynr @nprofile…wlt3 Vielleicht bin ich noch nicht ganz wach, aber ich sehe nicht, wo in dem Zitat dir @FR Rassismus reproduziert.

2024-12-02 17:46:23 GMT

- reply

@nprofile…c5n8 Holding those managers to account is of course a political problem.

2024-11-26 09:22:23 GMT

- reply

@nprofile…c5n8 @nprofile…x9av it's not like they can check what you enter 🤷

2024-11-22 18:31:58 GMT

- reply

@nprofile…ra5j Den Verweis auf FlixBus verstehe ich nicht. Was haben die mit der Antriebswende zu tun?

2024-09-10 07:08:38 GMT

- reply

@npub1fpe…75rh eWallets sollen sowas ermöglichen, also zum Beispiel Volljährigkeitsattestate ausstellen, ohne weitere Daten offenzulegen.

2024-09-07 11:12:36 GMT

- reply

@npub1ky2…ghvc what's the tl;dr?

2024-09-07 07:33:16 GMT

Lennart Augustsson presents MicroHs, which compiles a decent subset of current Haskell to combinator graphs. And it runs anywhere you have a C compiler.
https://github.com/augustss/MicroHs.git
#Haskell #icfp #icfp2024 #haskellSymposium

2023-07-12 13:42:27 GMT

- reply

@npub1g7t…y757 @npub1hgd…6p66 they're gonna need rescuing in one form or another eventually.