Toots for khinsen@scholar.social account

Written by Konrad Hinsen on 2025-01-23 at 08:45

Aux dix ans du séminaire "Codes Sources" à Jussieu. Vous pouvez encore participer en ligne : https://galene.irill.org/group/irill/codessources/

(identifiant quelconque, mot de passe vide).

Premier orateur: @zacchiro

=> More informations about this toot | View the thread

Written by Konrad Hinsen on 2025-01-21 at 13:20

Conway's law in reverse mode:

"The funny thing about ActivityPub is that at the end of the day, the overarching goal of seamless communication breaks down any barriers between competing organizations.

NodeBB and Discourse have been vying for the exact same market share (forums, community-building, self-started or enterprise) for over 10 years, and it was only after ActivityPub came around that the dev teams even started talking to one another."

https://community.nodebb.org/post/102756

=> More informations about this toot | View the thread

Written by Konrad Hinsen on 2025-01-19 at 16:48

@yoginho It's fun to do some brainstorming around the terms that occur all over again in this text.

Example: why would any organism consider it relevant to construct supposedly fundamental theories about all of the universe? The answer is probably "social status".

Another one: the "limited beings" make me wonder what unlimited beings would do instead. But the only known unlimited being on this planet, Elon Musk, probably doesn't read my toots, so I will never know.

=> More informations about this toot | View the thread

Written by Konrad Hinsen on 2025-01-19 at 16:44

Finally managed to read the latestt chapter by @yoginho et al. on a train ride:

https://spore.social/@yoginho/113691384640018139

Like the chapters before it: recommended to everyone interested in how science actually works (meaning: how science works when it works). Looking forward to what's coming.

=> More informations about this toot | View the thread

Written by Konrad Hinsen on 2025-01-07 at 11:03

Première expérience avec https://www.12train.com/ (pour les réservations SNCF) : très agréable.

Rapide, pas de pub, pas de tentatives de me vendre des chambres d'hôtel, des location de voitures, ou autre chose.

C'est un peu la version Web du feu "3615 SNCF" (que les moins de 30 ans ne peuvent pas connaître).

=> More informations about this toot | View the thread

Written by Konrad Hinsen on 2025-01-02 at 16:31

Main achievement of the day: I finally closed my LinkedIn account.

=> More informations about this toot | View the thread

Written by Konrad Hinsen on 2024-12-31 at 14:53

Working on replacing Ubuntu 20.04 on my laptop by Debian 12. Amazed at the amount of bloat that GNOME has acquired over the years. Are there leaner alternatives (within Debian) that still support basic desktop functionality?

=> More informations about this toot | View the thread

Written by Konrad Hinsen on 2024-12-30 at 11:50

Thanks @Danathar @r0b0 for your reply! I already did that (switching mirror), and my installation is almost done. My question was only about reporting this issue.

=> More informations about this toot | View the thread

Written by Konrad Hinsen on 2024-12-30 at 10:49

Question to #Debian experts: I am installing Debian 12 on a new machine, and get a failure when adding Gnome to the base system. Cause: a hash sum mismatch when downloading libwpg from ftp.lip6.fr.

Should I report this? How? Where? The instructions for reporting bugs are for bugs about packages. I don't see how I can report a problem with files on a server.

=> More informations about this toot | View the thread

Written by Konrad Hinsen on 2024-12-19 at 13:38

I have inherited a Markdown document written for processing by Pandoc, with various Pandoc extensions. About two years old. I can generate LaTeX from it without any errors, but then LaTeX spits out error messages.

Any ideas for debugging this? Or should I just forget about it and translate it manually to LaTeX?

=> More informations about this toot | View the thread

Written by Konrad Hinsen on 2024-11-19 at 10:42

I finally got around to updating my home page, and at that occasion I added a section "research manifesto":

https://khinsen.net/

=> More informations about this toot | View the thread

Written by Konrad Hinsen on 2024-11-14 at 16:32

Recommended reading for scientists (and everyone interested in science). A nice and understandable birds' eye view of how science works and what its limits are.

https://www.expandingpossibilities.org/10-epistemic-cuts.html

(by @yoginho)

=> More informations about this toot | View the thread

Written by Konrad Hinsen on 2024-11-14 at 08:24

I finally got around to deleting all my Tweets, using https://github.com/lucahammer/tweetXer which works as advertised.

I'd like to put my tweet archive on my personal Web site, as static HTML. I suspect others have done that. Is there some code out there that I could start from?

=> More informations about this toot | View the thread

Written by Konrad Hinsen on 2024-11-13 at 19:16

Experimenting with emojis in #CommonLisp function names:

https://codeberg.org/khinsen/html-inspector-views/commit/d321d51b39818efd8d0e8e830d55eed83a829fdd

Works fine with SBCL, but do all implementations relevant today support Unicode in symbol names?

=> More informations about this toot | View the thread

Written by Konrad Hinsen on 2024-11-12 at 08:26

Returned from Germany by train yesterday. What a mess. Trains cancelled, delayed, re-routed. Loudspeaker announcements in the train station contradicting the displays (the displays were right). And that was apparently a perfectly ordinary day.

Hypothesis: maybe Deutsche Bahn has been bought by Epic Games and turned into an adventure.

=> More informations about this toot | View the thread

Written by Konrad Hinsen on 2024-10-28 at 06:53

The recording of my Onward! Essay presentation "Redressing the Balance: A Yin-Yang Perspective on Information Technology", including the Q&A afterwards, is available at:

https://www.youtube.com/live/L1pOMC41bS8?t=3370

=> More informations about this toot | View the thread

Written by Konrad Hinsen on 2024-10-25 at 06:17

Today I will present my Onward! Essay "Redressing the Balance: A Yin-Yang Perspective on Information Technology" at SPLASH (as a remote participant). It will be live-streamed at 18:00 UTC (that's 20:00 for my fellow CEST residents):

https://www.youtube.com/watch?v=L1pOMC41bS8

https://2024.splashcon.org/details/splash-2024-Onward-Essays/3/Redressing-the-balance-a-yin-yang-perspective-on-information-technology

=> More informations about this toot | View the thread

Written by Konrad Hinsen on 2024-10-24 at 19:08

I was shocked when I heard that comment. I have never heard anything like that in a scientific conference before. If it happens all the time to Felienne, then CS must be in particularly bad shape.

=> More informations about this toot | View the thread

Written by Konrad Hinsen on 2024-10-17 at 07:35

Isn't that obvious? Meaning: if people don't see this, what's the obstacle? The similarity to encryption keys? Confusing descriptions that circulate widely?

Passkeys, like passwords, are like hotel keys. They grant you access to someone else's property, but the owner can always deactivate them.

=> More informations about this toot | View the thread

Written by Konrad Hinsen on 2024-10-16 at 13:02

New blog post: "Modular malleability"

https://blog.khinsen.net/posts/2024/10/16/modular-malleability.html

It is a contribution to the "Fearless extensibility" challenge of @malleablesys

https://forum.malleable.systems/t/challenge-problem-fearless-extensibility/205

=> More informations about this toot | View the thread

=> This profile with reblog | Go to khinsen@scholar.social account