Viewing profile — jsjolen

That's just the pprinter working its magic :-). Just read the standard, it's quite clear from the semantics that it's a stack machine: https://webassembly.github.io/spec/core/exec/…

I'm not saying that because the lockdown has been a failure you need to save face. Is there something unclear in my reasoning from the rest of my comment that you'd like me to re-w…

It is absolutely not the same, since Sweden may change their position because they are not inherently opposed by some inherent moral absolutism to do so.

>[...] but quietly so they don't have to admit it's a change of course. Where exactly does this come from? Sweden has no need to save face. We've been transparent and had open disc…

Mutual intelligibility for the sake of information exchange is good, but we can have both. Most Europeans already have both. In the EU (the organization) it's Euro English. The per…

1. They can do both, learning a separate script that's as simple as the Latin one is not a huge investment. 2. You're talking about people who immigrate to an English speaking coun…

Interesting! Would you like to expand on that argument?

I've never seen a computer scientist put a lot of effort into syntax. The POPL people are more interested in type systems and semantics than they are in syntax.

All of what the author said is what Scala does (author likes Scala). I've written a decent amount of Scala, it's fine. I've also written a lot of Common Lisp, where array access is…

Now we just need to render Emacs onto a tesseract.

I have no issue with that decision at all and find it akin to Go forcing users to adhere to gofmt, and I don't use Zig. A good error message would be nice (EDIT: A zigfmt would be …

He shattered his spine? Was he 80 years old and his spine calcified?

Sounds slow to use RPC with JSON for communication. It seems that Racket does allow for C-to-Racket calls. You could write a glue program that generates C code that calls Racket fu…

Sure, but the general idea that you should disallow undefined operations are a core application of type systems. You don't need too advanced of a type system to implement what you'…

Is it the type checking or the runtime that's slow?

Racket has Typed Racket, you might want to try that out!

I'm not sure that WASM actually is that analysis-resistant. It's more high-level in some aspects than the JVM bytecode for example. For example, it doesn't support arbitrary comput…

That failure can be a teachable moment is well-known and is applicable in all aspects of life, it is not particularly interesting to read about that in this specific context. In so…

Yes, and apparently it's also used in Indian schools (see comments found here: https://www.facebook.com/poshenloh ).

An alternative company which actually seems to do good work w.r.t. safe languages is Alacris/LegiLogic. Though I haven't found the operational semantics of the language there is a …

I disagree, I don't think we will ever do the right thing if the reward is big enough. I think the right way to go is to dismantle these unnecessary power structures that allow us …

It just means "demonstration effect", right?

There's a lot of work that I want to do that I cannot be paid to do, therefore those are the things I would be doing with my time instead. Being paid is not a substitute for enjoyi…

Really? Could you link me to Skatteverket where it says this? The only info I find is that you tax when you sell your stock. I read most of this: https://www.skatteverket.se/privat…