Viewing profile — msylvest

I have had a lot of sympathy for this statement, LLMs could lower the bar to use of formal methods. But thinking it over in the context of BDD-driven development I am no longer rea…

I had a VHF+UHF bands, no morse, in Denmark half a century ago. Dropped it after a few years.

Around 1990 I attended ISO/JTC1 meetings generating standards for data communication. I still recall my surprise over the heated arguments over these words between the UK and the U…

Some of all this gold is still on display in Spain. Earlier this year my wife and I visited Granada in southern Spain. Vast amounts, truely impressive, of gold are exposed in its C…

I learned about SWI-Prolog around 1994. Amazing that it is still available & updated - even with its original name :-)

Would https://litestream.io/ perhaps help?

I remember admiring the intent of XSLT when it was born. And how difficult it turned out to be to write; using XML framing makes it terse/verbose/arcane, eg. when compared to the c…

And Message Authentication Code

Calling out to some chess-playing-function would be a deviation from the pure LLM paradigm. As a medium-level chess player I have walked through some of the LLM victories (ChatGPT …

Thank you for writing this up. I'm an 'existing free user' and blocked the same way from the dashboard.

Neat! Couldn't but ask myself why the OP should need Ruby...

I have not tried this out but https://github.com/charmbracelet/wish - a companion to soft-serve - could be helpful to you

Within the area of viscosities reciprocal seconds is an accepted standard unit

Some years ago I was wondering what the words 'There is a balm in Gilead' means. Spent hours googling, both in English and Danish (my native lang). Found Jer 8:22 "Is there no balm…

In those days I worked for Intel in a branch in Copenhagen, Denmark. Doing Ethernet stuff, pretty far from the CPU dev and fab running the company. Incidentally Phil Zimmermann, ma…

Denmark is still offering boosters - in a prioritized manner. First those aged 85+, second 50+, even below that if exposed by diseases. From what is written I would expect (third) …

Right - I must have missed that

As a native Dane I can say that this translation is pretty good. What Ekstra Bladet is going to do with its recognition still has to be seen. I think that it has a point - the way …