@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.

JustineSmithies, to mastodon
@JustineSmithies@fosstodon.org avatar

Does anyone know if you compose a toot on using a account will it give you the drop down options for plain text, markdown and HTML ? Or is that web only ?

tfb,
@tfb@functional.cafe avatar

@JustineSmithies No it doesn't (Husky did). I think it just uses whatever your account's default is. I have mine set to markdown, so if I want to do something in plain text, I just use the web.

(Subway Tooter here, but I think Tusky hasn't changed since I last used it)

fitheach, to random
@fitheach@mstdn.io avatar

Winter is coming.

tfb,
@tfb@functional.cafe avatar

@fitheach But it's only three weeks until Imbolc!

aburtch, to tea
@aburtch@triangletoot.party avatar

Can any people explain the difference between:

English Breakfast
Scottish Breakfast
Irish Breakfast

@tea

tfb,
@tfb@functional.cafe avatar

@beckett @aburtch @tea Regarding typical Irish tea, Barry's is a mix of Rwanda, Kenya, and Assam teas, in different proportions depending on box colour. For whatever that's worth.

niconiconi, to til

from the NSA that "a practical digital quantum computer large enough for cracking encryption algorithms" now has an official technical term - CRQC (Cryptographically Relevant Quantum Computer)

tfb,
@tfb@functional.cafe avatar

@niconiconi is it pronounced "crock" ?

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

I "boiled" some spent yan cha, and got a great mug with lots of flavour out if it. I'll have to do this more often ... and it's perfect for a cold, snowy day

*boiled: really, heated slowly in a pot for an hour until it reached 95C

@tea

tfb,
@tfb@functional.cafe avatar

@babelcarp Nothing fancy, just a pot with water on an induction hob on low

@tea

tfb,
@tfb@functional.cafe avatar

@babelcarp Yeah, I do remember that. I'd definitely try again, because low and slow seems to work well for me.

I was especially happy with this yan cha, which had its distinct flavor clearly present

@tea

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

The weather in NYC for the next 24 hours is expected to be steady precipitation with the temperature hovering a little above freezing. That plus the lassitude from yesterday’s covid booster means I’m drinking strong shupu.

https://babelcarp.org/babelcarp/babelcarp.cgi?phrase=熟普洱茶&define=1

For me, liubaocha or roasted yancha might work as well, but probably not fuzhuan—it doesn’t seem to get thick enough.

@tea

tfb,
@tfb@functional.cafe avatar

@babelcarp Have any aged white ? That stuff can get very nice and thick

@tea

niconiconi, to random

Q: What do you say when you're asked to work on a buggy C codebase with many standard violations to extend its lifetime?

A: The writing is on the -Wall.

tfb,
@tfb@functional.cafe avatar

@niconiconi This code isn't buggy, it's been working fine since 1988. But yes, its prospects for the future don't look great. As you said, the writing is on the -Wall

madskjeldgaard, to tea
@madskjeldgaard@sonomu.club avatar

Does anyone know of good webshops in the EU that sell Liu Bao at reasonable prices ? I know TheTea.pl (and it's nice) but curious if there are any other nice ones ? @tea

tfb,
@tfb@functional.cafe avatar

@nathanlovestrees @madskjeldgaard @tea Oh that's a supplier I haven't tried, but they certainly look interesting

drahardja, to random
@drahardja@sfba.social avatar

The Y2K bug is a great illustration that a well-handled potential disaster looks like “nothing happened” in retrospect. The fact that Y2K seemed to be a non-event is a testament to how seriously people took this emergency, and how everyone buckled down and averted a worldwide infrastructure disaster.

I started working at Honeywell Aerospace (AlliedSignal back then) in 1998, and by that time people were already working on Y2K issues. We were in the GPS navigation business, and there were real issues that would have caused aircraft navigation to go awry unless they were fixed.

People buckled down, found the bugs, ran simulations, got FAA sign-offs, and deployed the fixes to all affected aircraft well before Y2K. Thanks to the effort, “nothing happened”. But I assure you (bad) things would have happened if we did nothing. https://infosec.exchange/@tychotithonus/111670219441506220

tfb,
@tfb@functional.cafe avatar

@drahardja Stories like that freak me out about Y2K38. Why on earth did AlliedSignal wait until 1998?!?! 1994 would have been a lovely time to fix the bugs, with no time pressure.

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

The last tea of the year is 1970s Guangyungong pieces we bought from Yee On’s Hong Kong bricks-n-mortar shop in 2007.

The inky liquor is sweet and camphor, and the penetrating camphor of the huigan lasts and lasts.

https://babelcarp.org/babelcarp/babelcarp.cgi?phrase=Guangyungong&define=1

@tea

tfb,
@tfb@functional.cafe avatar

@babelcarp that's a proper way to see out the year!

@tea

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

Lads, I've found the worst, most dishonest argument against static types ever

https://appdot.net/@mdhughes/111674385738616556

18+ nathanlovestrees, to tea
@nathanlovestrees@disabled.social avatar

New brick from Yeeon—2008 Raw Puerh from Jianggu Tea Factory.

@tea

tfb,
@tfb@functional.cafe avatar

@nathanlovestrees @tea that was a nice one, I picked up a couple too

nomadbynature, to tea
@nomadbynature@101010.pl avatar

Am i being paranoid, or does this aged white tea cake look like it went through wodui?

I hear that lately the practice to 'artificially age' white teas through wodui process is rampant😵‍💫😵‍💫😵‍💫
I don't really think there is a reliable way to tell, just by looking at the leaves, so having a reliable supplier seems more important than ever.
Taste seems ok, but not like my other aged white tea. Do you have any experience with aged white tea, that just doesn't seem 'right'?

@tea

tfb,
@tfb@functional.cafe avatar

@nomadbynature @tea fwiw it looks like perfectly ordinary white tea to me, but indeed older than 6 years (more like 15!)

I wonder if it was aged in more humid conditions?

tfb,
@tfb@functional.cafe avatar

@nomadbynature I'm definitely going to be paranoid about wodui white tea now

@tea

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

:coq: Les ami·e·s utilisateurs·rices de Coq ! :coq:

Nous avons une opportunité à ne pas manquer. Ouvrons nos dictionnaires aux pages ROC et ROQ et préparons nos jeux de mots

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

So far, this 2008 Jianggu TF brick I got from Yee On is impressive! It has a nice camphor woodiness to it, a little nice floral brightness still left in it, and some nice deep red date type aged flavour. A very nice hui gan and cooling sensation too. I wasn't expecting a tea quite this good for $0.12/g

@tea

tfb,
@tfb@functional.cafe avatar

@babelcarp Yee On seem to use both romanizations interchangeably, so I used the one on their printed sticker. Jinggu does seem to be more common

@tea

tfb,
@tfb@functional.cafe avatar

@babelcarp Oh yeah. I enjoyed the three different romanizations for pu'erh. Especially amusing given their business (but clearly English language sales are a sideshow for them)

@tea

amoroso, (edited ) to Lisp
@amoroso@fosstodon.org avatar

Did you ever use Medley Interlisp?

https://interlisp.org

tfb,
@tfb@functional.cafe avatar

@amoroso I keep meaning to try to get the web thing running locally, as you said it works with non-US keyboards

amoroso, to usenet
@amoroso@fosstodon.org avatar

The sad state of my quest for a Usenet NNTP GUI client for Linux.

Pan is awesome but the binaries of my Debian Bullseye based distro, Crostini, are ancient and buggy. The Pan project distributes no .deb or other packages. Building from source requires recent versions of tools not in Bullseye.

Very few other GUI options available. Even fewer with .deb or other binaries.

#usenet #nntp #linux

tfb,
@tfb@functional.cafe avatar

@amoroso have you tried https://sabnzbd.org/ ? I'd heard positive things about it when I asked at some point

loke, to random
@loke@functional.cafe avatar

Web developers, is there a nice code editor component in js that I can integrate in my web interface for my programming language? It needs to have hooks for source code highlighting so I can plug in my own tokensiser and parser for error display.

tfb,
@tfb@functional.cafe avatar

@loke there was a jsvi 10+ years ago, I wonder if it still works? It was surprisingly good!

loke, to random
@loke@functional.cafe avatar

The Intel Itanium CPU. Or, as the americans like to call it. Itanum.

tfb,
@tfb@functional.cafe avatar

@loke Maybe you've discovered the real reason it never caught on :akko_thonk:

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

Taste of Hong Kong from Yee On

@tea

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