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:…
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 US delegations. (I'm from Denmark). In…
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…
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 compactness of regex/subs. It is 2025…
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 3-5-turbo-instruction); I find it is…
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
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…
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…
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…
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:…
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 US delegations. (I'm from Denmark). In…
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…
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 compactness of regex/subs. It is 2025…
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 3-5-turbo-instruction); I find it is…
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
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…
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…
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…