@tfb@functional.cafe
@tfb@functional.cafe avatar

tfb

@tfb@functional.cafe

Lisper/Schemer, CAD software developer, Integrated Circuit metaprogrammer, dependent types enthousiast.

Programming should be more accessible. Electronic AF.

I post music stuff too, mostly Irish Trad, but not exclusively. And food, mostly Italian, but not exclusively. Marbh le tae agus marbh gan é: tea posting too.

English, Français, Deutsch. Un po d'italiano. Labhraím Gaeilge. He/him. France

This profile is from a federated server and may be incomplete. Browse more on the original instance.

clacke, to random

"How do you know that meme??"
"My dear son, that meme is older than you by a decade or more."

tfb,
@tfb@functional.cafe avatar

@clacke Well now I want to know what meme!

juliobiason, to random
@juliobiason@functional.cafe avatar

My cynical view of Python:

Python is going to die. Not today, not tomorrow, but it will not be a lasting language like C, C++ or Java.

The main issue is that Python is, right now, the front-end of C/C++: You want to generate statistics about something: Python has the libraries! -- but these libraries are in C++. Do you want to handle IA: Python has the libraries! -- but these libraries are also in C++.

If, sometime, the C++ committee wakes up and decide to clean up their act and make the language syntax simpler, Python would die.

"Oh, C++ will never be user friendly." Look at Java, compare its version 2 (e.g. Java 1.2) to the current language: It is astonishingly easier to use modern Java compared to the old ones. And that took something like 10 years.

It just takes someone wanting to create a library that it is really pretty and easy to read in C++ to completely obliterate Python.

tfb,
@tfb@functional.cafe avatar

@juliobiason I'm pretty sure that Python being married to C++ is a dysfunctional relationship that works for them both. Python can avoid doing heavy computation, and C++ can continue to pretend that they're moving in a useful direction

fitheach, to Dogs
@fitheach@mstdn.io avatar

I've been noticing lots of weird searches landing on my website, all of them for .

After a bit of detective work I realised I was "benefiting" from searches with a misspelling.

I've become a search typo squatter. 😃

The searchers were looking for Preposterous the Grouch dog from Sesame Street. However, they typed "Gruoch dog", and landed on my website. 😂 😂

What Gruoch, the white Akbash dog, really looks like.

tfb,
@tfb@functional.cafe avatar

@fitheach Gruoch the Preposterous!

alex, to tea EN
@alex@social.alexschroeder.ch avatar

Enjoying some Oolong tea from Taiwan. Gang Kou Cha, 港口茶 – something about the sea? In German, it's named "Meer Oolong". Babelcarp to the rescue: https://babelcarp.org/babelcarp/junk.cgi?phrase=%E6%B8%AF%E5%8F%A3%E8%8C%B6 → "literally Harbor Tea: a lightly-oxidized Pingtung oolong, traditionally rolled and dried in the same wok, with appearance similar to meicha"
I like it! @tea #tea

tfb,
@tfb@functional.cafe avatar

@alex I guess the German marketers thought that sounded nicer than Haffentee

@tea

loke, to random
@loke@functional.cafe avatar

OK, all those aurora photos. I think this is one of the few times I regretted moving to the equator.

tfb,
@tfb@functional.cafe avatar

@loke If it makes you feel any better, most of us just saw grey in the sky. Colours in photos were not exactly representative

babelcarp, to random
@babelcarp@social.tchncs.de avatar

Our Singapore friend gave us some deluxe serial numbered liubaocha, aged 4 years before packing, from the Wuzhou factory. It’s great: sweet, thick, with a prominent betel nut taste (as they say; I think I know what they mean by now) in the early steeps.

The packaging includes a brochure showing it’s within the limit for each of >100 contaminants.🧐

Cup with dark red liquor, gaiwan with dark brown leaves

tfb,
@tfb@functional.cafe avatar

@babelcarp
I guess it's in the same class as cigar descriptions. Probably not worth taking up smoking for

@tea

babelcarp, to tea
@babelcarp@social.tchncs.de avatar

Seriously, it’s amazing how many vessels we use don’t pour right. It isn’t rocket science, is it?

https://halo.nu/

@tea

tfb,
@tfb@functional.cafe avatar

@babelcarp > It isn’t rocket science, is it?

Not technically, but it is fluid dynamics

@tea

niconiconi, to random

Windows 95 image for DOSBox boots up
click anything
This program has performed an illegal operation and will be shut down

A faithful emulation, I see.

tfb,
@tfb@functional.cafe avatar

@niconiconi can you get cygwin on that?

loke, to random
@loke@functional.cafe avatar

Microsoft seems to have fired all their translators and replaced them with ai. That's the only explanation I have for the absolutely horrendous Swedish translation of Microsoft teams.

It's such basic grammatical errors where single labels in a button gets the wrong grammatical form because someone just translated the word itself without being aware of the context the word occurs. It's immediately obvious so it's clear that no one who speaks the language even opened the application.

tfb,
@tfb@functional.cafe avatar

@loke They can't even manage to keep the French translation comprehensible, and that's one of the three major North American languages. I suspect it has more to do with "here, translate this pile of 1-3 word strings" translation assignments.

AI is all about getting context right, and at least in the languages I know generally does a good job of making coherent, grammatical sentences.

clacke, to random

Oh cool. OCaml 5, which came out 2 years ago, had a big update adding multicore support.

I became aware because 5.2 RC 1 is out just now.

OCaml is still on my to-learn list.

tfb,
@tfb@functional.cafe avatar

@fitheach @clacke Been writing OCaml on a Linux desktop off and on since before 2003 🙃

niconiconi, to random

Mach 1 speed - an extremely low speed, comparable to how slow a microkernel Unix is.

tfb,
@tfb@functional.cafe avatar

@niconiconi That would be Mach 3 speed, though it was actually pretty reasonably performant

tfb, to tea French
@tfb@functional.cafe avatar

Somehow I was able to resist

@tea

babelcarp, to tea
@babelcarp@social.tchncs.de avatar

On my most recent birthday I drank some of my 88 qing bing, which by now is down to not much more than the bing wo, sad to say.

What did you drink for your last birthday?

@tea

tfb,
@tfb@functional.cafe avatar

@babelcarp @tea My last birthday I had some top grade Li Shan oolong from the previous spring

tfb, to random French
@tfb@functional.cafe avatar

I have once again failed to correctly markup a link in markdown. How did what's maybe the worst of the ascii-markup syntaxes get so popular

loke, to random
@loke@functional.cafe avatar

Sorry for beating the dead horse. But our favourite Apple fan is endorsing the Tiktok ban. I thought he was against the government telling companies what to do?

tfb,
@tfb@functional.cafe avatar

@loke he is really a jingoistic piece of work something else ... what's the word I'm looking for?

baptnz, to tea
@baptnz@vis.social avatar

New to dancong but this Duck sh*t one is growing on me

@tea

tfb,
@tfb@functional.cafe avatar

@baptnz @tea Some thoughts on duck shit oolong:

It's in very high demand, and it's entirely possible that what you have is just a mediocre tea. When done well, it's very fragrant.

Dancongs can be tricky to get right. IMO the first few infusions are usually best done around 93-95, with temperature coming up after 4-5 rounds. But each tea is different, and getting the best aroma out of them takes some care and adapting to the tea.

Sometimes more leaf helps get the aromas, sometimes less leaf.

loke, to random
@loke@functional.cafe avatar

Someone here mentioned the existence of the "reduce animations" setting on Android and I decided to try it.

After having used it for a week or two my conclusion is that oh wow, I had no idea just how exhausting all these fancy animations actually are. Not having everything zoom, swoosh and fly around and just place themselves in their expected locations feels so much less stressful.

I wonder if there are any papers written on the mental effects of excessive animations.

And I do agree that those animations are neat, and as an old demo programmer, I love their design, but they really are giving me a kind of mental fatigue.

tfb,
@tfb@functional.cafe avatar

@loke It'd be great if there was a setting for enabling only cool, rare animations. But I got fed up with constant swooshing some years ago, and disabled them on Android, and stopped using Cinnamon

niconiconi, to random

Trade offer

tfb,
@tfb@functional.cafe avatar

@niconiconi sounds good.

I assume you'll also give me high priority fixes for my commercial product you have nothing to do with. Don't bother to confirm that, I'll take your previous disclaimer of warranty to be a yes.

tfb, to tea French
@tfb@functional.cafe avatar

🐐

@tea

loke, to random
@loke@functional.cafe avatar

Oh my lord. Gruber is really doubling down on his defence of Facebook using the argument of "how dare you tell me I have to stop robbing banks? How else can I preserve these profits?". Along with a sprinkle of not understanding that the DMS only applies to large dominant companies.

Did anyone write a good rebuttal to this yet? I need something to clean the bad taste from my mouth.

tfb,
@tfb@functional.cafe avatar

@loke Completely unsurprising, honestly. Since it became clear that Facebook/Meta are a key bit of the US military spy apparatus, he's gotten behind their "targeting". He's a pretty hardcore militarist right-wing Democratic Party shill, after all.

tfb,
@tfb@functional.cafe avatar

@loke @ianbetteridge I don't think it's running errands of the government, rather he's a very enthusiastic supporter of the Clinton-Biden right wing of the US Democratic Party, and has been pretty vocally for decades. They're on a "fuck the EU" crusade these days, so he's on board. More a weather-vane, less an errand boy.

But ever since the AT&T scandal where they were caught spying on traffic through a major network interchange on behalf of the US government, he's very consistently expressed the abhorrent opinion that it's a bad thing for the US to spy on US citizens, but perfectly normal to spy on the rest of the world.

tfb,
@tfb@functional.cafe avatar

@loke @ianbetteridge The idea that data protection is something people should have a right to have, for free, is certainly at odds with his belief that Apple is selling a right to privacy with their products (and that this is a good thing)

tfb,
@tfb@functional.cafe avatar

@ianbetteridge @loke I hadn't seen that 4 year old quote ... that's quite a correct condemnation of tracking he made back then!

(Nice post generally)

tfb,
@tfb@functional.cafe avatar

@loke @ianbetteridge I think it's both that only Apple can be trusted, but also that if something is going to prevent a company from making profit, it should be another profit-making company

fitheach, to food
@fitheach@mstdn.io avatar

Gross food experiment

As you can see from the attached photo, the packet of beef mince has passed it's "use-by" date. The date, "16 Mar" isn't for the day three weeks ago, it is for 16 March 2021.

Yup, the packet has been in my 'fridge for over three years. I've got plenty of space in my big 'fridge. 😃

The contents discoloured within a few days of purchase. The colour went from a rich red to the much paler shade shown in the photo. The packaging got sucked-in, but, remained air-tight.

tfb,
@tfb@functional.cafe avatar

@fitheach Got a petri dish? You could try to culture a sample, find out what dominated in that environment. The negative pressure means it's probably not botulism !

  • All
  • Subscribed
  • Moderated
  • Favorites
  • •
  • anitta
  • khanakhh
  • mdbf
  • InstantRegret
  • Durango
  • Youngstown
  • rosin
  • slotface
  • thenastyranch
  • osvaldo12
  • ngwrru68w68
  • kavyap
  • cisconetworking
  • DreamBathrooms
  • megavids
  • magazineikmin
  • cubers
  • vwfavf
  • modclub
  • everett
  • ethstaker
  • normalnudes
  • tacticalgear
  • tester
  • provamag3
  • GTA5RPClips
  • Leos
  • JUstTest
  • All magazines
    •