msylvest

7 ms·

1.
by msylvest 2mo ago
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 really that sure. Compare two scenarios: A) from a specificatio
2.
by msylvest 7mo ago
I had a VHF+UHF bands, no morse, in Denmark half a century ago. Dropped it after a few years.
3.
by msylvest 7mo ago
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 US delegations. (I'm from Denmark). In particular &
4.
by msylvest 9mo ago
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 Cathedral and in the burial place of Emperor Karl (Charles&#x
5.
by msylvest 10mo ago
I learned about SWI-Prolog around 1994. Amazing that it is still available & updated - even with its original name :-)
6.
by msylvest 11mo ago
Would https://litestream.io/ perhaps help?
7.
by msylvest 1y ago
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 compactness of regex/subs. It is 2025 and now
8.
by msylvest 2y ago
And Message Authentication Code
9.
by msylvest 2y ago
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 3-5-turbo-instruction); I find it is not very good at winnin
10.
by msylvest 2y ago
Thank you for writing this up. I'm an 'existing free user' and blocked the same way from the dashboard.
11.
by msylvest 2y ago
Neat! Couldn't but ask myself why the OP should need Ruby...
12.
by msylvest 3y ago
I have not tried this out but https://github.com/charmbracelet/wish - a companion to soft-serve - could be helpful to you
13.
by msylvest 3y ago
Within the area of viscosities reciprocal seconds is an accepted standard unit
14.
by msylvest 3y ago
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 Gilead; is there no physician there?&quot
15.
by msylvest 3y ago
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, maker of PGP, was in town, giving a lecture on privacy. I had
16.
by msylvest 4y ago
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) general 50- boosters to occur during winter if needed.
17.
by msylvest 5y ago
Right - I must have missed that
18.
by msylvest 5y ago
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 vaccines have been used in DK is good but not good enough to