jsjolen

5 ms·

1.
by jsjolen 6y ago
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/runtime.html#s
2.
by jsjolen 6y ago
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-word?
3.
by jsjolen 6y ago
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.
4.
by jsjolen 6y ago
>[...] 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 discussion from the beginning with the spoken
5.
by jsjolen 6y ago
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 person above you has not said that mutual intelligibility
6.
by jsjolen 6y ago
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 country, correct? Good advice for people living in Mon
7.
by jsjolen 6y ago
Interesting! Would you like to expand on that argument?
8.
by jsjolen 6y ago
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.
9.
by jsjolen 6y ago
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 done using aref. That was also fine.
10.
by jsjolen 6y ago
Now we just need to render Emacs onto a tesseract.
11.
by jsjolen 6y ago
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 even better). How many developers who try out new langu
12.
by jsjolen 7y ago
He shattered his spine? Was he 80 years old and his spine calcified?
13.
by jsjolen 7y ago
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 functions and returns data, Swift code can then be generated t
14.
by jsjolen 7y ago
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're talking about. With the caveat that doing it in
15.
by jsjolen 7y ago
Is it the type checking or the runtime that's slow?
16.
by jsjolen 7y ago
Racket has Typed Racket, you might want to try that out!
17.
by jsjolen 7y ago
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 computed goto:s. Instead it supports block-based co
18.
by jsjolen 7y ago
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 some ways, it is also insulting. For some there are real-world
19.
by jsjolen 7y ago
Yes, and apparently it's also used in Indian schools (see comments found here: https://www.facebook.com/poshenloh ).
20.
by jsjolen 7y ago
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 public compiler that can be found here: https:&#x
21.
by jsjolen 7y ago
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 to do the wrong choice and replace them with better one
22.
by jsjolen 7y ago
It just means "demonstration effect", right?
23.
by jsjolen 7y ago
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 enjoying the fruits of one's labour.
24.
by jsjolen 7y ago
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/skatter/vardepapper/omakt...
25.
by jsjolen 7y ago
So to ensure that your system follows this state machine you need to write a proof for that in some other theory (like an abstract interpretaion of your program)?
26.
by jsjolen 7y ago
Now that's what I call applying a growth mindset to things. /s
27.
by jsjolen 7y ago
Can someone read out to me how the Abstraction rule works?
28.
by jsjolen 7y ago
The author is paid by IBM to work on this. The author combines ML and classical AI to achieve explainability in ML. This is one guy by the way, so not like a huge effort by IBM.
29.
by jsjolen 7y ago
>The drink lowers the effective IQ, bringing them into a much wider communication range. I had the same experience just the other day. Frankly, I'd have to drink to endure anyone who thinks in this manner.
30.
by jsjolen 7y ago
The table becomes unwieldy on much simpler tasks than that. Consider a 3x3 board where each cell holds 3 bits of information (each cell can be in 2^3 states). Then for the board you have (2^3)^9 = 2^27 different states.

More ›