nonsince

9 ms·

31.
by nonsince 6y ago
I’ve been writing a one-pass optimising compiler for Wasm. It’s not perfect, but the code it outputs currently outperforms Cranelift's by a factor of 2-10x for many of the files in the Wasm specification testsuite.
32.
by nonsince 6y ago
At this point any new systems language aiming at productivity has to prove itself not just superior to C++, but superior to Rust, without being significantly worse in any aspect. It’s already suspicious by virtue of having a hand-wavy &quot
33.
Inviting God's Wrath with Cursed Rust(troubles.md)
4 points by nonsince 7y ago|0 comments
34.
by nonsince 7y ago
If you want to support some people working on fixing this situation https://www.actiononemptyhomes.org/
35.
by nonsince 7y ago
Great idea to drive away the sellers who need you the least, who most have an established consumer base and the means to set up their own storefronts.
36.
by nonsince 7y ago
Author here: you got here before me but this is precisely the right answer, although it’s more about not needing the full contents to start _compiling_, rather than executing necessarily. Supporting streaming execution parallel to compilati
37.
Lightbeam: A Highly-Optimising Streaming WebAssembly Compiler (2019) [video](youtube.com)
99 points by nonsince 7y ago|15 comments
38.
by nonsince 7y ago
You’ve got to start somewhere, why not learn quote-unquote “deeper” skills on an as-needed basis.
39.
by nonsince 7y ago
So what? You don’t understand what’s going on inside your CPU because at this point they’re too complex for anyone to fully know, and probably your understanding of the OS is on an as-needed basis. Why hold others to a different standard.
40.
by nonsince 7y ago
I absolutely do not want more tech companies gentrifying Berlin and continuing the encroachment of foreign corporate Neubauten. The amount of berlin for the working class is shrinking by the day and the culture that draws people to this cit
41.
by nonsince 7y ago
This isn't a problem with the syntax, you could just have macros consume and produce lists and avoid this entirely. In fact, there already exist reader macros that implement pretty much exactly this syntax but for Lisp: https:/&#
42.
by nonsince 7y ago
Presumably the fact that they video the machine shortly before using it means that they’re relying on the fact that the hardware randomness is low. They implied that it wasn’t 100% effective, simply effective enough to make their odds bette
43.
Lightbeam: A Highly-Optimising Streaming WebAssembly Compiler (2019) [video](youtube.com)
1 points by nonsince 7y ago|0 comments
44.
by nonsince 7y ago
Hey, I recognise that bar in amsterdam, it’s brouwerij ‘t ij
45.
by nonsince 7y ago
To add another existing implementation of this, Naughty Dog's Lisp-based assembler could do hot code reloading, and that workflow was extensively used for developing Jak & Daxter. Plus, obviously any JIT'd language can do this
46.
by nonsince 7y ago
There are two options: 1) The "signs of shoplifting" are human-designed, and so are heavily biased 2) The "signs of shoplifting" are entirely machine learning-based, meaning that they are overwhelmingly biased towards th
47.
by nonsince 7y ago
I absolutely love this series
48.
by nonsince 8y ago
When owners of monopolies call for greater regulation, you know that they have the maintenance of that monopoly in mind and not the good of the people
49.
by nonsince 8y ago
The number of people saying that this voice sounds absolutely female is just an extension of the tendency to imagine anything even slightly deviating from the most stereotypically masculine as feminine by default. The one comment that I saw
50.
WebAssembly Troubles Part 4: Microwasm(troubles.md)
4 points by nonsince 8y ago|0 comments
51.
by nonsince 8y ago
Great article, the author of this is very intelligent and probably extremely handsome too
52.
by nonsince 8y ago
Yes compilers are hard, but why make them harder? There is literally no reason to require rebuilding this information. The compiler emitting Wasm has that information and already uses it, having locals and disallowing blocks to take/re
53.
by nonsince 8y ago
The only companies that I know (outside of the big players) hiring people to work on WebAssembly are Perlin Network and Parity Technologies, both blockchain companies. I work for Parity on Wasm stuff.
54.
by nonsince 8y ago
A statically-typed stack machine like Wasm is homomorphic to SSA form with liveness, and it's impossible to lie about liveness in this format. Most of the complexity in the streaming compiler that I'm working on is around producin
55.
by nonsince 8y ago
Author here: I'm not advocating for an SSA register machine like LLVM, I'm just advocating for a format that makes it trivial to reconstruct SSA form on-the-fly. A pure stack machine with a statically-determinable stack depth and
56.
by nonsince 8y ago
Author here: I'm obsessed with the quality of streaming compiler-emitted code for a few reasons. Firstly, I'm working on an optimising streaming compiler. Secondly, I work for a blockchain company and we can realistically only all
57.
by nonsince 8y ago
Author here: I'm sorry that you felt attacked by that line, I really tried my hardest to phrase it in a way that didn't assign any blame. I wasn't trying to imply that the team wasn't thinking about these issues, just th
58.
by nonsince 8y ago
The inability to implement coroutines is addressed in the second article in the series here http://troubles.md/posts/why-do-we-need-the-relooper-algorit...
59.
WebAssembly Is Not a Stack Machine(troubles.md)
6 points by nonsince 8y ago|0 comments
60.
by nonsince 8y ago
This feature wasn’t even invented in Swift, the fact that a patent was granted on it shows the sorry state of technical policy making

More ›