houli

Kotlin 2.1 has added "Guard conditions in when with a subject" as an opt-in feature https://kotlinlang.org/docs/whatsnew21.html#guard-conditions...

That's not what happens. He runs his own fake ransomware on his own virtual machine while they are remotely viewing it.

Twilight menu has all of those patches and applies them on the fly

Nomura has been around since at least FF5, and Kitase before that. Long before the Enix merger

This is what happened in Ireland when new taxes on sugary drinks came in. Drinks that came in 2L bottles now came in 1.75L bottles at the same price. The diet versions with no sugar remained in 2L bottles. Companies like Coke are now only making variants like vanilla or cherry flavours using their diet or zero sugar products

Not sure that many OSS projects are going to be interested in merging a patch where a conversation with the patch author for review/feedback can't happen

You should be able to use a data URI containing the HTML string

This is being worked on by Mozilla https://github.com/mozilla/spidernode

Could you have your "get" handler do its thing and have it forward on the arguments it received to the "apply" handler if necessary with an extra flag argument and vice versa?

This is what Stackage(https://www.stackage.org/) LTS releases are in the Haskell world. A compiler and a large subset of the Hackage repository known to compile together and pass tests.

This is what the backpack feature landing in GHC 8.2 will allow you to do

You should be able to write your own named implementation of Cast and explicitly use it when calling cast to have different casts with different semantics http://docs.idris-lang.org/en/latest/tutorial/interfaces.htm.... But yeah, you'd still have to see what the standard library implementation does

https://www.suse.com/communities/blog/make-windows-green-par... they already have been doing it on their own

It's mentioned in the Wikipedia article that monad comprehensions are available as a GHC language extension

The category theory idea of a morphism is more abstract than a function. If functions deal with domains and codomains then certainly morphisms need new words to deal with the abstractions of those ideas that are specific to functions.

Also worth checking out is this https://www.youtube.com/watch?v=uR_VzYxvbxg conference talk by Simon Peyton Jones discussing the basic constructs of GHC core and how they affect inlining and optimisation

The screenshot shows what looks like the emacs mode which actually just masks the ASCII you type with the unicode characters to make it look nice. In practice you're just writing plain ASCII https://github.com/houli/verification/blob/master/strings3.d...

Yes, you can define predicates that take parameters and use them as the invariants

From my experience apps only need to be re-signed once every 90 days. Not quite as much of a hassle but still one nonetheless

Purescript Pux looks to be what you're looking for https://github.com/alexmingoia/purescript-pux/

Yep added in latest Sierra

The whole "setup your environment" phase is tricky for someone new especially if you're on Windows and probably caused a lot of people to stop reading before they even touched a line of Ruby code.

They're all famous scientists/mathematicians.

Not sure if you're being serious but GitHub truncates to 1000 files/directories.

What about all of these Perl scripts generating assembly code for AES for every architecture under the sun? https://github.com/openssl/openssl/tree/master/crypto/aes/as...