However. Claude Shannon (Cat Edition™️).

It used to be 200$. The stakes are higher, now? 😁

Fair, but then also if you’re reporting on such matters, it would be kind of foolish not to know the basic vocabulary of the field. I wouldn’t be very positive about a mathematical article misdefining what a function is, for example

It would be very cool to have a .meow domain name!

Petition to send him a dictionary

And this was for F*, which is supported best and is stable! Can’t imagine how horrendous it is with ProVerif or Lean4.

As I am working through the source code anyway, I am documenting the library as I go. This way I’ll eliminate the headache for generations to come…

No documentation whatsoever, no tutorials (or if there are any, they are barren or straight up empty), absolutely nothing on the hax Zulip chat, all in all it has been a battle against the source code that cost me my sanity.

Some “unusual” languages of various kinds you can look into: Prolog, Moo, Tamarin, HolyC (of course), FRACTRAN, Malbolge, binary lambda calculus, Shakespeare, etc.

I fully understand that this is logistically much more difficult to pull off in a course, but the current state of things is so bad that code from such students is unmaintainable, unreliable and frankly unreliable.

It runs on pure and concentrated thoughts and prayers.

only much later does one realize how unrealistic and frankly ridiculous some of these things are.

I feel like it is as, if not even more, important to teach them not how to write *any* code but how to write *good* code.

it is not sufficient for something to be correct or even optimal.

Hmm, yes, I see! Thank you for your answer

I get that we should always be cautious, but Signal’s code is open source. What backdoors are even possible, let alone visible?