Thomas @tfb@functional.cafe
Lisper/Schemer, CAD software developer, dependent types enthousiast.
Programming should be more accessible.
I post music stuff too, mostly Irish Trad, but not exclusively. And food, mostly Italian, but not exclusively.
English, Français, Deutsch. Un po d'italiano. Labhraím Gaeilge. He/him. France
Joined Aug 2018
Thomas
boosted
Ever wanted to track your ICE train in the command line? No?
Anyway, you can do it now!
https://github.com/craftamap/iceportal-api/
> since a few days there have been denial-of-service attacks against email
providers worldwide
2021 just keeps getting better
Cutty Ranks, "Culture Fi Lick"
https://www.youtube.com/watch?v=uwUf47j0y8o
I need to find a good copy of that 3 The Hard Way album, there were some great tracks on it.
> Congratulations, all renewals succeeded
One day to spare and everything :-P
Oof, I regret the filter coffee already. My digestion isn't up to this stuff anymore.
Thomas
boosted
Thomas
boosted
this is a good architecture, it has instructions like STAB
Today seems to be one of the handfull of times per year that I'm in the mood for filter coffee.
Thomas
boosted
Today I learned the names for the distinctive bottom surfaces of what most people think is a normal bingcha:
https://babelcarp.org/babelcarp/babelcarp.cgi?phrase=wodi&define=1
and the bottom of an iron cake:
https://babelcarp.org/babelcarp/babelcarp.cgi?phrase=kelidi&define=1
Thomas
boosted
I would really like a good excuse to learn and use Julia. The language and the people seem comfy.
Sustain podcast 90: Julia
podcast.sustainoss.org/90
Who uses Julia? What is it good for? Why would you want to make non-technical contributions to a project and how do you as a project encourage it?
Who writes Julia?
What's the relation between open source and science papers?
Why shouldn't you use Slack to run your open source community?
#Julia #JuliaLang
Sustain podcast 90: Julia
podcast.sustainoss.org/90
Who uses Julia? What is it good for? Why would you want to make non-technical contributions to a project and how do you as a project encourage it?
Who writes Julia?
What's the relation between open source and science papers?
Why shouldn't you use Slack to run your open source community?
#Julia #JuliaLang
Thomas
boosted
se dire ecolo tout en favorisant l'utilisation fossile, un vrai tour de passe passe de professionnels
> Queen is now back home after hospital visit
Send fucking Alec Baldwin to England where he can do something useful
Thomas
boosted
Thomas
boosted
Currently building mruby for Windows on a mac* using MinGW and running unit tests in Wine. This is the best way to do Windows development.
* Also succeeds on Linux.
Thomas
boosted
Wrote a small guide to lacto-fermenting vegetables for GrimGrains :>.
Thomas
boosted
What if Internet stops? How to rebuild an offline federated infrastructure using OpenBSD
https://dataswamp.org/~solene/2021-10-21-huge-disaster-recovery-plan.html
gemini://perso.pw/blog/articles/huge-disaster-recovery-plan.gmi
In my sleepy state, Modern House Quintet is exactly the sort of thing I want to listen to.
https://www.youtube.com/watch?v=-KW7yVu9Y6g
(Nice live set here)
Kids
This second child screams in anger at night when she's sick and can't sleep. This makes for significantly harder sleepless nights than when her brother was a toddler.
Thomas
boosted
unless your boss abandons you aged 3 to move abroad they ain't your family
Lisper/Schemer, CAD software developer, dependent types enthousiast.
Programming should be more accessible.
I post music stuff too, mostly Irish Trad, but not exclusively. And food, mostly Italian, but not exclusively.
English, Français, Deutsch. Un po d'italiano. Labhraím Gaeilge. He/him. France
Joined Aug 2018
