sjrd

13 ms·

1.
by sjrd 11d ago
Perfect pitch is not correlated with the ability to see written notes and immediately know how to play them on any instrument. It is only barely correlated with the same but for singing the note. I do not have perfect pitch, but I could alw
2.
by sjrd 13d ago
Better source: http://www.ericharshbarger.org/dice/go_first_dice.html TFA claims it's "new" in 2026, but the current state of the art seems to still be that of 2022. I bought actual dice like these in 20
3.
by sjrd 1mo ago
There is a paper by Vincent Lefèvre that indeed proves that floating point division and a floor implement the euclidean division, with a careful analysis of when . [1] A corollary of the main theorem in the paper is that, with round to ne
4.
by sjrd 2mo ago
I guess that's one more good reason to push for correctly rounded transcendental functions. I recently learned that they're basically solved now. [1] [1] https://arith2026.org/program.html (2nd keynote)
5.
by sjrd 5mo ago
Have you tried Scala? It checks all the boxes, and is a mature language. The reactive UI runtime is provided by the library Laminar [1]. Technically its type inference is not HM but it's as expressive. In particular it has GADTs and HK
6.
by sjrd 5mo ago
Try Scala? You only need one 0-dependency library for UI (Laminar), and you're good to go.
7.
by sjrd 5mo ago
Oh waw, I had totally forgotten about the handkerchiefs. But this is indeed how I was first thaught juggling when I was a kid. Thanks for the trip down the memory lane!
8.
by sjrd 5mo ago
Right. I believe we are in agreement on that.
9.
by sjrd 5mo ago
Only compilers that already had an SSA-based pipeline transform SSA to stack-based for Wasm. And several don't like that they have to comply with Wasm structured control flow (which, granted, is independent from SSA). Compilers that ha
10.
by sjrd 5mo ago
It seems to me that there's a certain "blindness" between two compiler worlds. Compiler engineers for mostly linear-memory languages tend to only think in terms of SSA, and assume it's the only reasonable way to perform
11.
by sjrd 6mo ago
Hum, IIRC, using your definition of an AOT compiler, then V8 is an AOT compiler. V8 never interprets code. It immediately compiles it to machine code. It improves it later, but it's never slow.
12.
by sjrd 6mo ago
Wasm is definitely designed to be compiled, either ahead of time or JITed. Wasm interpreters are few and far between.
13.
by sjrd 8mo ago
Thanks for the feedback, and congrats on your achievement. We do still maintain this code, although it is deprecated now. Even with the unrolled tests, we would still keep the table for the decoding operation, I believe. But it's true
14.
by sjrd 8mo ago
Interesting. When compiling Scala.js to ECMAScript 5, we still have an implementation of bitwise floating point conversions based on double operations and integer shifts. [1] We also use a lookup table for powers of 2, and don't use an
15.
by sjrd 8mo ago
I genuinely did that a few times. Using an ssh client to fix a commit failing CI, for example. Even launching release builds remotely. Notably once when I was on vacation and half the Scala ecosystem was waiting for me.
16.
by sjrd 10mo ago
JavaScript engines do optimize integers. They usually represent integers up to +-2^30 as integers and apply integer operations to them. But of course that's not observable.
17.
by sjrd 11mo ago
In Scala you can do it, because you can define your own operators (which are nothing but method names), and you can extend types you don't control. You are a bit constrained by the operator precedence rules, but it's usually good
18.
by sjrd 11mo ago
I guess it's one way to look at it. I see it as: I want a reproducible locale, independent of the user's system. If I see US, I'm wondering if it was chosen to be English because the program was written in English. When I loc
19.
by sjrd 11mo ago
I am one of the maintainers is the Scala compiler, and this is one of the things that immediately jump to me when I review code that contains any casing operation. Always explicitly specify the locale. However, unlike TFA and other comments
20.
by sjrd 11mo ago
Or Scala. Or Kotlin. Or any of the other languages that had most of these features years if not decades before Java. ;)
21.
by sjrd 1y ago
I'm sure it can do that in many cases. But if the scopes are a bit complicated, and in particular when variables are captured in lambdas, it's just not possible. The semantics require the TDZ behavior. If you can statically analyz
22.
by sjrd 1y ago
Usage of Scala.js is steadily growing. Several indicators suggest that 1 in 5 Scala developers use Scala.js at this point. It's regularly brought up as one of the strongest suits of Scala. Usage of Scala itself is less shiny if you loo
23.
by sjrd 1y ago
Indeed, `let`s and `const`s incur a significant performance penalty. This is also why the Scala.js compiler emits `var`s by default, even when targeting very recent versions of ECMAScript. The good news is that we can still write our Scala
24.
by sjrd 1y ago
I'm not surprised. I have introduced several people to gaming, both adults and children. I let them all start with the default settings, and I don't even tell them there are settings. Then I observe their movements. I observe whet
25.
by sjrd 1y ago
If your language and its compiler use JS String Builtins (part of Wasm 3.0) for their strings, then there is no cost to give them to JS and the DOM.
26.
by sjrd 1y ago
Wasm 3.0, with its GC and exception support, contains everything you need. The rest is up to the source language to deal with. For example, in Scala.js [1], which is mentioned in the article, you can use the full extent of JavaScript intero
27.
by sjrd 1y ago
Binaryen has a lot of baggage from Wasm early days, when it was still a strict AST. Many newer features are difficult to manipulate in its model. In our compiler (featured in TFA), we chose to define our own data structure for an abstract r
28.
by sjrd 1y ago
Having read the article and read some of the comments here, I think many could learn from dependency management rules in the Scala ecosystem. Scala uses Maven repositories (where the common practice is to use fixed dependency versions) but
29.
by sjrd 1y ago
The level of abstraction of programming languages has been growing, yes. However, new languages have preserved precision and predictability . I would even argue that as we went up the abstraction ladder, we have increasingly improved t
30.
by sjrd 1y ago
Good. Now do the same for the volatility of train ticket prices, please? If you want people not to destroy the planet, make sure they can afford the more ecological routes.

More ›