xuejie

6 ms·

1.
by xuejie 3mo ago
Note: this involves blockchain VMs. If that's a dealbreaker, feel free to skip. I get it. I've spent 8 years working on RISC-V VMs for blockchains, recently also contributing to ZK VMs. Modern blockchain VMs are drastically more p
2.
by xuejie 2y ago
Just provide a not-related-at-all but IMHO still interesting case: I used to have a Kioxia CM6 U2 SSD drive, it would pass all sorts of benchmarks the reseller is willing to run, but whenever I tried to clean-compile Rust on it, the drive w
3.
by xuejie 3y ago
Like other comments here, just want to say thank you for this amazing editor! It has been my primary code editor for the past few years. I did use a few different editors for specific purposes(vscode for interactively proving coq code, joe&
4.
by xuejie 3y ago
I've been using micro as my main code editor(well I do use vscode for writing coq but that's the only exception) after 10+ years' time with emacs. I simply treat micro as the modern compromised version of acme. It almost has
5.
by xuejie 3y ago
Also a fan of structural regular expressions in the exact same shoes that every time when I try to use it it's an unpleasant experience. Maybe I'm just not good enough at it. That being said, I've been recently employing comb
6.
by xuejie 5y ago
> The Raspberry Pi 4 is THE cheapest 2Gflops/W computer ever made and probably that will ever be made in the future too! Can you expand on this one? I was curious why you think there probably will not be a cheaper one in the future
7.
by xuejie 6y ago
Reminds me of the first version of Redis in tcl: https://gist.github.com/antirez/6ca04dd191bdb82aad9fb241013e...
8.
by xuejie 6y ago
IMO such a category existed for quite a long time, JVM and .NET all falls into this category. Yes WASM has its fame for becoming a browser standard, but fundamentally, there is very little difference between WASM and JVM.
9.
by xuejie 6y ago
Personally, I already pulled the trigger 2 years ago when I first starting to write Rust professionally. A laptop just becomes far tooooo noisy compiling Rust code. These days I use 3 machines: * A fanless Chromebook with decent screen for
10.
by xuejie 6y ago
> I feel like the plethora of (partially incompatible) extensions make the language very complicated and messy. There is no single Haskell. Each file can be GHC Haskell with OverloadedStrings or GADTs or .... Aren't macros, especial
11.
by xuejie 6y ago
Thanks guys for the explanation! I truly have misunderstood this post.
12.
by xuejie 6y ago
The author first goes with: > Idris 1 is implemented in Haskell, but that has little (if anything) to do with the difference. But latter they also go on to say: > Idris 2 benefits from a robust, well-engineered and optimised run time
13.
by xuejie 6y ago
I used to have a similar opinion, that it requires a special language to leverage such power. But recently I've discovered that Rust, with its latest advancement in async/await design together with swappable runtime, can provide a
14.
by xuejie 7y ago
While I certainly agree a Standard ML compiler can be quite useful(and huge respect for the author!), I noticed the compiler is purely written from scratch, and the question remains when the quality of generated code can be as decent as Buc
15.
by xuejie 7y ago
Crystal is indeed a very nice language, but the only thing that is holding me from using it greatly, is that it still uses the Boehm GC, which makes it hard to compete with other languages in a production setting. I understand we might get
16.
by xuejie 7y ago
Does the fact that ARM is a bad choice disproves all other choices other than WASM? I'm not sure this is a good argument here. Lower-level bytecodes are more flourishing than just ARM.
17.
by xuejie 7y ago
Personally I don't see why we cannot get all three.
18.
by xuejie 7y ago
There's nothing wrong with LLVM itself, my point is we could've picked a lower level model which don't need a complicated setup like LLVM. Or one that you can direct shipped optimized compiled result of LLVM, that will be a m
19.
by xuejie 7y ago
That is their very nice slogan, while in reality WASM still has quite a way to go to compete with native code. Some shits I see these days are that when code speed is measured, people compare that with JS but not native code, when portabili
20.
by xuejie 7y ago
wasmer [1] has a LLVM backend, WAVM [2] uses LLVM as the bakend, I could be wrong but last time I checked, cranelift is only meant to be the next generation WASM engine used in Firefox, it is not yet in production. And actually the argument
21.
by xuejie 7y ago
No I'm not talking about register-based vs stack-based VM, that's a totally different topic. I'm just saying WASM is still quite distant from real hardware, making it a non-trivial task to performantly run the code. In fact i
22.
by xuejie 7y ago
I totally agree that it's not the best tech always wins, that's why I'm pointing it out, I really wish that 5 years from now, we can rely on something that makes sense to be there, not just because something has a low cost of
23.
by xuejie 7y ago
While I do agree WASM makes a lot of sense for the Web, I personally am having doubts regarding treating WASM as a general abstractions for native code as used in the post. For this case, it might suit the job better to have a bytecode that
24.
by xuejie 7y ago
Any chance you can elaborate the reasons for staying away from Intel syntax?
25.
by xuejie 7y ago
This is indeed amazing! But I was wondering if it's possible to compile the whole TeXmacs into WebAssembly and have it in the browser. That will be a totally different world.
26.
by xuejie 7y ago
This is really depending on your view, but the moment you step outside of lists and use arrays, you are keeping modern CPU architecture in mind. And all of a sudden all those wonder car/cdr/cons concepts as well as things built up
27.
by xuejie 7y ago
Although I do agree data flow programming can be useful sometimes, it has been pointed out that data oriented design is not about data flow: https://sites.google.com/site/macton/home/onwhydodisntamodel... And
28.
by xuejie 7y ago
> about 20x+ faster than Python, too; speed in the same order of magnitude than C. I think this is exactly into parent thread's point: yes the performance can be great but you need to tail the code for the hardware, which is niche a
29.
IU's Racket Incremental Compiler Course(iu.instructure.com)
3 points by xuejie 7y ago|0 comments
30.
by xuejie 7y ago
Nightly Rust already has basic RISC-V support, but the problem is Rust's libc binding is not yet ported to RISC-V. Without libc, Rust's std will not be usable, that's the main blocker here. While the theory is you don't

More ›