mattgoupil

6 ms·

1.
by mattgoupil 10d ago
This sentiment always makes me wonder if it's time for the Butlerian Jihad
2.
by mattgoupil 15d ago
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 the poli
3.
by mattgoupil 15d ago
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.
4.
by mattgoupil 16d ago
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 drive home that
5.
by mattgoupil 4mo ago
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, while the rest dump
6.
by mattgoupil 4mo ago
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 proof brings you into
7.
by mattgoupil 4mo ago
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 apply JSON-Schema, b
8.
by mattgoupil 4mo ago
as long term runner, this was fascinating. however I'd have appreciated a bit more of a discussion of forefront first running.