legobmw99

Kind of like https://github.com/xoreaxeaxeax/movfuscator

I used Coq in one class in school, and I never encountered wat or wreck. It’s possible they’re user- or library-defined tactics.

One thing I think is important about Coq is that it really is meant to be interactive. Even after a fair amount of usage I still find it somewhat tricky to just read a proof, especially a nontrivial one. A good IDE will show you a panel that includes all your hypothesis and requirements so far, updating as you run each line

2011 was a different time in terms of starting channels, I think. Plenty of the ones they provided funding for [1] didn’t really turn into anything, but a few ended up being very big deals (Crash Course sticks out the most to me)

[1] https://web.archive.org/web/20120210205023/https://www.youtu...

This is an interesting point but does rely on a rather narrow definition of “type safety”. By any definition I have used, the code is type safe in those final examples. It has a bug, most definitely, but it isn’t type unsafe in the way that reading a chunk of memory intended to hold type A as if it was holding a type B is

In particular, the statement that weight is the most correlated of any measurement with all the others seems like it would almost certainly not be true of a general population with a broader spectrum of physical fitness

I believe OCaml does this

Obviously it is goal dependent, but if you eventually want your code to run on a variety of machines and systems, I find docker to actually be a barrier. Having a different environment in CI than local can be annoying, but it’s also the first time you are forced to confront the “but it runs on my laptop!” problem

This doesn’t sound that different from e.g. Rust’s Editions, though it seems like it can occur much more frequently

Your understanding is correct: https://en.wikipedia.org/wiki/Karp%E2%80%93Lipton_theorem

This was an issue in the Python packaging ecosystem recently: https://moyix.blogspot.com/2022/09/someones-been-messing-wit...

It’s not enabled by default, but under Optional Features you can also install an OpenSSH client, making tools like putty no longer necessary

Note that this specific mission is not a landing, just an orbit

Huh, it’s not like this was exactly predicted

It seems that this has been the case for years, at least going from the (obviously logged-out) archive.org saves of the Linux repo:

https://web.archive.org/web/20180115003453/https://github.co...

I don’t remember the details, someone asked about Right of First Refusal from Tor during the Q&A live stream following the kickstarter announcement and he said something like a polite version of “we can sort of do what we want as long as we keep giving them the big series”

Apple also has support for 3rd party apps as text spam blockers. I use one called VeroSMS which is decent and configurable enough

Most celebs who publicly claimed to own an NFT de-anonymized their addresses as a result, no?

Someone on Reddit [1] ran their own version [2] of the query PyPi used to make this determination. Over the last 6 months, atomicwrites was downloaded 38,497,903 times, good for just under #400 by rank.

[1] https://old.reddit.com/r/Python/comments/vuh41q/pypi_moves_t... [2] https://gist.github.com/jack1142/efe5c89b861a41616aaf8587838...

Looking for rock solid jurisprudence in rulings like this might be generous at this time

> kind of power to view your private, personal affairs

This point is actually a big part of the original decisions regarding abortion, so the current SCOTUS might very well say yes they do

Yes - https://www.gamesindustry.biz/articles/2021-03-16-rockstar-p...

This is ripe for survivors bias. Nobody remembers the time people said “X is just a fad”… and it was

I find it hard to say something has been obsoleted by a tool which depends on the former to function

OCaml also has a built in function failwith: string -> ‘a, so you can print an error in those cases. If it’s a code path you ever think will execute, failwith “some error here” is probably better than assert false

Further down it mentions that “20 or so” people submit 85% of complaints

GitLab can have this “feature” if the accounts are locked behind an entity like a school which doesn’t allow arbitrary users to make a new account

In CS courses, I always appreciated when we were given access to the grading scripts/unit tests used by course staff. It made that feedback loop immediate, and unless you were intentionally doing something weird you usually knew exactly what grade you were getting for your submission.

As a TA, it was funny to see the ways a few students would overfit those tests. In one extreme case I literally saw a student replace a complicated function definition with a if-else chain that just determined which of the 4 test cases it was being run on…

I’m also curious, but I think this probably depends on the specific wording of his contract(s). There to my knowledge isn’t an exact standard of what right of first refusal means in practice

Someone asked him during his Q&A livestream how they were able to get around the right of first refusal with his main publisher (Tor), and his answer was essential a polite version of “we can sort of do what we want as long as we keep giving them the big series”

Emacs isn’t too far off from this (I don’t think there are signed PDFs involved though)