GZGavinZhao

6 ms·

61.
by GZGavinZhao 1y ago
Mostly wrong place at the wrong time, I guess :( Plus the chicken and the egg problem. This is mostly from the AerynOS experience : it seems like if you want to write some moderately complicated code then you're becoming the upstream o
62.
by GZGavinZhao 1y ago
not to be confused with symbolica.ai
63.
by GZGavinZhao 1y ago
Formal Methods in general are underrated in the industry. Pretty much no large companies except AWS (thank you Byron Cook!) use them at a large scale. Edit: maybe there are large companies that use them behind the curtains, but AWS is the o
64.
by GZGavinZhao 1y ago
Typst gang, unite!
65.
by GZGavinZhao 2y ago
From my limited understanding of SPIR-V (since AMDGCNSPIRV is in essence SPIR-V), I would say yes.
66.
by GZGavinZhao 2y ago
Slightly tangent, but AMD is also working on amdgcnspirv (i.e. AMD-flavored SPIR-V) that'll hopefully result in a similar user experience like PTX [1]. [1]: https://github.com/ROCm/ROCm/issues/3985#issuec
67.
by GZGavinZhao 2y ago
Apologies, I've updated to clarify that my comment is under the assumption that the host is not already under a non-natural influence or medical condition. For example, in the case if there is a medicine that would help drug addicts wi
68.
by GZGavinZhao 2y ago
Updated, I should clarify that assuming no medical needs.
69.
by GZGavinZhao 2y ago
I would feel like an absolute failure if I need medicine to help create willpower. EDIT: under the assumption of an average person who is not under any medical condition that may result in lack of willpower
70.
by GZGavinZhao 2y ago
Squirrels in Sichuan: yesssir more spicy bird food plz!!! XD
71.
by GZGavinZhao 2y ago
... this is why we love bad apple!
72.
by GZGavinZhao 2y ago
*sad noises from NixOS/nixpkgs, llvm/llvm-project, and all other repos with an absurd commit log/branches that takes ages to do a full clone (just a joke that immediately came to mind, not intended to undermine OP's idea
73.
by GZGavinZhao 2y ago
My favorite phone design is the Meizu 16 series, especially its white variant (search for Meizu 16s Pro unicorn, it's just gorgeous). The 16 series is the last series before Meizu also succumbed to the "mainstream" designs su
74.
by GZGavinZhao 2y ago
Glad to see improvements, but hasn't this been an issue since the the introduction of `deno lsp`? My guess is that the Deno team have been a bit overwhelmed and only a paying (and likely enterprise) customer's complaint was able t
75.
by GZGavinZhao 2y ago
At least until around 2015 my elementary school was still using Logo as a introduction to programming using a Logo implementation on Windows 7. We had no idea that what we were doing was programming; it was just fun to see what sort of weir