I first ran into speculoos in the south of France where they ground up and in all sorts of things, especially cheesecake crust. All of a sudden I saw "speculoos" every where. How it jumped from Belgium to Nice escapes…
I agree with the author. Working with AI code generators, you see the need to be able to dig deep and dig out the unsaid in an argument. You need to appreciate and have a feel for language's ambiguities to make sure the…
This sentiment always makes me wonder if it's time for the Butlerian Jihad
I'm the Matthew Fuchs that Banu is referring to - I'm happy to answer any questions here about this. Also, I'm preparing the next version which extends zero trust and (w3c) verifiable claims to LLMs with much more on…
I agree very much with the sentiment, but my experience is people think they're wasting time if they're not coding, and reviewing other people's code is not coding.
This was really impressive. Looking at the comments, I didn't realize there was a whole ASCII art underground. I don't want to sound negative at all, but it would have been nice to seem some recognizable letters to…
After working with C++, I spent years embedded in Scheme. Have you worked with any other functional languages, like Haskell, ML, or even Lean? Intellectually, the value of Scheme is it's an untyped lambda calculus,…
Good post. But it also shows, in a way, what a tangled web Lean is when you get into it! Sure, you could try to just program in Lean, but that would be a shame - proof is such an inherent part of the whole outlook, but…
Something you might find interesting to look at is Rego, a datalog-derived language been used for writing security policies. Rego is dynamically typed, so no real protection. It's input is basically JSON and it can…
as long term runner, this was fascinating. however I'd have appreciated a bit more of a discussion of forefront first running.
I first ran into speculoos in the south of France where they ground up and in all sorts of things, especially cheesecake crust. All of a sudden I saw "speculoos" every where. How it jumped from Belgium to Nice escapes…
I agree with the author. Working with AI code generators, you see the need to be able to dig deep and dig out the unsaid in an argument. You need to appreciate and have a feel for language's ambiguities to make sure the…
This sentiment always makes me wonder if it's time for the Butlerian Jihad
I'm the Matthew Fuchs that Banu is referring to - I'm happy to answer any questions here about this. Also, I'm preparing the next version which extends zero trust and (w3c) verifiable claims to LLMs with much more on…
I agree very much with the sentiment, but my experience is people think they're wasting time if they're not coding, and reviewing other people's code is not coding.
This was really impressive. Looking at the comments, I didn't realize there was a whole ASCII art underground. I don't want to sound negative at all, but it would have been nice to seem some recognizable letters to…
After working with C++, I spent years embedded in Scheme. Have you worked with any other functional languages, like Haskell, ML, or even Lean? Intellectually, the value of Scheme is it's an untyped lambda calculus,…
Good post. But it also shows, in a way, what a tangled web Lean is when you get into it! Sure, you could try to just program in Lean, but that would be a shame - proof is such an inherent part of the whole outlook, but…
Something you might find interesting to look at is Rego, a datalog-derived language been used for writing security policies. Rego is dynamically typed, so no real protection. It's input is basically JSON and it can…
as long term runner, this was fascinating. however I'd have appreciated a bit more of a discussion of forefront first running.