sanxiyn

30 ms·

721.
by sanxiyn 4y ago
People are working on it, here is a draft: https://spec.ferrocene.dev/
722.
by sanxiyn 4y ago
I have a good news for you. Recently, two IBM employees appeared on Rust's issue tracker and reported their intention to port Rust to AIX. https://github.com/rust-lang/compiler-team/issues/553
723.
by sanxiyn 4y ago
There is nothing wrong with using Zig in production before 1.0. You just need to weigh cost and benefit, including cost of dealing with breaking changes. For example, Dropbox started to use Rust in production before 1.0, see https:/&#
724.
by sanxiyn 4y ago
Which part of "new projects" did you miss?
725.
by sanxiyn 4y ago
Yes. Microsoft Research is working on "Checked C": https://www.microsoft.com/en-us/research/project/checked-c/ As a test, someone ported FreeBSD's networking stack to Checked C. It was eas
726.
by sanxiyn 4y ago
Rust wants to fix this, but it's an extremely hard problem and other tasks received higher priority. See "How Swift Achieved Dynamic Linking Where Rust Couldn't" for details: https://faultlore.com/blah&#x
727.
by sanxiyn 4y ago
I am living in 25m^2 now for 5 years. It is comfortable.
728.
by sanxiyn 4y ago
I think these articles should explain difference between Tokyo and Seoul. South Korea basically copied Japan's zoning system, it is inclusive, central, etc. and Seoul has excellent transit and Koreans are (although not to the extent of
729.
by sanxiyn 4y ago
For people who don't know: there is literally a project named "Mail-in-a-Box", which you may want to check out: https://mailinabox.email/
730.
by sanxiyn 4y ago
Yes. In fact, musl 1.2.0's pthread_mutex_t was verified in 2021 without changes. The same work found a bug in seL4 (obviously in unverified part, but still). The author remarks that this is in part because musl is conservative, and ide
731.
by sanxiyn 4y ago
None yet. There is RISC-V vector extension, which is certainly different, but whether it is better is unclear for now.
732.
by sanxiyn 4y ago
I must note that this in fact happened in the past (AsicBoost). Currently, I don't think there is AsicBoost-like secret information, but you can't be sure. https://arxiv.org/abs/1604.00575
733.
by sanxiyn 4y ago
Python is better. You "import random" to get random numbers.
734.
by sanxiyn 4y ago
If you don't like rand, don't use it. Frankly, if your goal is "just to get random numbers" rand is a wrong crate. Use fastrand instead, it has zero dependencies.
735.
by sanxiyn 4y ago
Tokio is 1.0 since 2020 and they declared to maintain backwards compatibility for a minimum of 5 years. Tokio already made backwards compatibility guarantees and it hasn't been killed so far.
736.
by sanxiyn 4y ago
It is now removed.
737.
by sanxiyn 4y ago
I agree it would be great for users to be able to mix and match EDA tools, but EDA tool vendors seem to disagree, and consider the state of poor interoperability among EDA tools as a nice barrier to entry. As far as I can tell open source t
738.
by sanxiyn 4y ago
I am not saying Tornado Cash developers are not culpable. Rather, I am saying Ethereum miners are culpable as well as Tornado Cash developers. Consider a case of botnet whose command and control server runs in AWS. Botnet developers are res
739.
by sanxiyn 4y ago
> Tornado Cash qua smart contract is the bullet, and Tornado Cash qua entity with developers is the person pulling the trigger. This seems incorrect. Tornado Cash developers have no ability to execute code. Rather, "deployment"
740.
by sanxiyn 4y ago
Safari and Orion are based on WebKit. WebKit and Chromium are quite different these days.
741.
by sanxiyn 4y ago
Rust is actually good at parallelization. Good examples include ripgrep (multithreaded grep) and Stylo (multithreaded CSS selector matching), both are state of the art in their fields. I agree with you that Rust is not best at implementing
742.
by sanxiyn 4y ago
Note that if you are running Firefox now, you are using Servo's graphics stack.
743.
by sanxiyn 4y ago
Here is a LinkedIn profile I found with quick search, seems legit. Why didn't you do the search yourself before posting this? https://www.linkedin.com/in/shuchitgandhi
744.
by sanxiyn 4y ago
Since money is fungible, argument for good public transportation is argument against electric car subsidy and vice versa, whether you like it or not. Like, we could scrap electric car subsidy and use money on public transportation instead
745.
by sanxiyn 4y ago
Likely yes, it already has been done for DALL-E. Have a look at Training Transformers Together for what is involved: https://arxiv.org/abs/2207.03481 .
746.
by sanxiyn 4y ago
It covers JIT, but not runtime. There is The Garbage Collection Handbook, but yeah, I would love to read similar slides for GC.
747.
by sanxiyn 4y ago
You don't know about Huawei Ascend, which launched in 2019 (see https://www.huawei.com/en/news/2019/8/huawei-ascend-910-most... ), and now after 3 years everyone (at least here in East Asia) trying t
748.
by sanxiyn 4y ago
According to whom? I know people who sing praise of Huawei Ascend, as the best AI inference chip currently in the market. https://www.hiascend.com/en/
749.
by sanxiyn 4y ago
The design reminds me of Plan 9's Fossil file system, just HTTP (fitting for a project from Cern, I guess) instead of 9P.
750.
by sanxiyn 4y ago
Well, Mali GPU was from Norway. I guess you would say Mali GPU is not high performance, but it is interesting that countries like Norway can come up with commercially competitive GPU design. I am sure China can as well.

More ›