[β]
β
bitchan
[?] help
π
host1.bitchan.one
π
@5XRzszUx
β±
1w seen
β
0
π
0
β§
1
π hide
send βΏitcoin
[!] follow
[@] review
posts 1
/ 1
[β₯] sort oldest
β±
filter [-]
languages:
on
other
/technology
>See how Rust and Typescript are the most popular languages on GitHub despite being considered pain to write before 2023 Source? I see Javascript and Python. >so strong static types seem like a must Source? The paper I saw didn't show this. They're investing in formal verification:
https://www.anthropic.com/research/formal-verification
β§
Strong static types just seems like placebo.
β±
1w
β©