628 karma · joined June 11, 2021
> To date, none of Barkley’s investments have flamed out or depreciated, largely because he prefers to come in at later stages of a company’s growth.
[0] https://en.wikipedia.org/wiki/Refinement_type [1] https://goto.ucsd.edu/~ucsdpl-blog/liquidtypes/2015/09/19/li... [2] https://goto.ucsd.edu/~rjhala/liquid/liquid_types.pdf [3] https://ucsd-progsys.github.io/liquidhaskell/ [4] https://github.com/flux-rs/flux
Could you elaborate on this further? How exactly were the simulations sped up? From what I could understand, were the ML models able to effectively approximate the Schrodinger's equation for larger systems?
Well, Vivaldi does support autocompletion of nicknames. Just tried it with HN (save it as a bookmark and add hn as a nickname)
Surely, surely this has to be among the predictions which came true, or largely so. Even toothbrushes have Wi-Fi!
Where did you derive this from? They are not scrapping the bill in its entirety, rather, they are bringing out a replacement bill.