I'm quite surprised to hear that "programming languages have reached a terminal state": there are (imo) at least four in-progress movements in the industry right now:
Even if LLMs become capable of writing all code, I think there's a good chance that we'd want those LLMs writing code in a language with memory safety and one amenable to some sort of verification.
I didn’t quite mean that programming languages have reached their terminal state, although I understand how my comment was interpreted like that. I meant that programming languages, as we known them today, have reached a terminal state.
Using Rust as an example: Rust aims to provide memory safety at the expensive of developer ergonomics. Personally, I shy away from Rust because I don’t like fighting the borrow checker.
However, with AI agents, Rust could make a lot more sense. Strict errors at compile time are helpful to an agent, which is more than happy to smash its head against the wall until it reaches a working solution.
Following this logic, we could see languages develop that are extremely impractical for humans to use yet provide benefits like memory safety or correctness. But these languages might not look anything like the languages we’re currently used to.
Agreed this sounds like they are looking for Intl.DurationFormatter.
Temporal.Duration.prototype.toLocaleString will end up using Intl.DurationFormatter though, so that will ultimately be what he wants (probably going to depend on that ICU4X implementation being complete though).
I'm feeling sales-curious myself as a currently rather technically-focused student. Find me at https://github.com/kartva/ and my email at sendtokartavya at gmail dot com.
(I didn't see an email in your about so this is the best way I know to contact you)
Hey, so the careers page just redirects to Raytheon's website, at which point the link leads to a search page with the term "FlightAware" that doesn't yield any results.
> By contrast, removable-battery phones are all garbage practically as soon as you open the box. The Samsung XCover is only 2 years old, might not even get Android 12, and definitely will never get anything after Android 12.
That isn't a property intrinsic to removable-battery phones; An Apple phone with a removable battery would be the best in terms of software and battery longevity, both of which are factors which serve to prolong the life of the phone.
1. Memory safety 2. Better metaprogramming capabilities 3. Algebraic effects 4. Solver/prover awareness
Even if LLMs become capable of writing all code, I think there's a good chance that we'd want those LLMs writing code in a language with memory safety and one amenable to some sort of verification.