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