bhy·先月·議論I don’t think lean4 compiled code is as efficient as rust. For verification purposes, there are some tools allowing formal verification of rust code.
bhy·2 か月前·議論Both Scala, Ocaml and some variant of Ocaml like PureScript target Javascript and even have library that wraps React. Worth to explore with AI.
bhy·8 か月前·議論Does this follow some structured therapy approach like cognitive behaviour therapy (CBT)?
bhy·10 か月前·議論How does your private fork work? Does that mean some flakes and packages for your own use, or you maintain patches that touch deeper into the system?
bhy·10 か月前·議論This kind of cooking generate a lot of ultra fine particles, which is too small to be measurable with PM2.5 sensors.
bhy·10 か月前·議論Well yes, I believe some interventions happened awhile ago in Myanmar in the form of war between factions.