Typed holes and type placeholders

A and Bs quietly crying in a corner

I wonder if gradually introducing immutability xor shared data annotations to programmers will help?

The GC will always be there except when we reach Rust parity

The irony is despite seeing @lambda-calcul.us use it all the the time I avoided it. Now here I am

Congratulations!

You are the second person who I have heard say PL people will be crucial for doing good evals in LLMs and like to hear more.

I will be interested to read that post about your experiences on the StarCoder team

I think the other way round will be more useful. Library code that ships with dependent types and application code that are type checked statically to verify the library contracts.

Core libraries are used enough that their bugs are often ironed out (t&c apply)

President Musk has said AI will write all code and types do not matter — so Rust has been laid off

Big sleep semantics

It is a confusing mess and fraught with people trying to upsell their own products. One of things I did early on was to get a credit card from a company that is easier to get approvals on - like Discover, etc. It is a real credit and helps build credit score