- Why should I even start vibing up my desired tools and projects when I can just wait it out so a better clanker emerges 6 months down the line?

- What guarantee is there that Rust is the best programming language for vibe coding when the models could improve to directly output assembly? What incentive do you have in vibing up something?

- If you embrace agentic development and prompt/produce something, a rando with spare money and a better clanker supersedes your efforts.

- If you ignore LLMs and write and design the product yourself, the LLM corpo says "All the better for me! Moar free untainted datasets for me! I'll make you buy tokens from me in the next 6 months anyway..."

Damned if you do, damned if you don't.

If you go with agentic route, randos with money to spare on latest models, beat you. If you go LLM-free, AI corpos say "all the better for us! More free untainted dataset!"

Can lean generate small static binaries the same way Go/Rust/C/C++ can?

How practical is rewriting, say, grep in Lean?

- Are there non-LLM approaches to the above task with the goal of achieving a non-hallucinatory agent?

Like for a Arm microcontroller design, do engineers thoroughly test and formally prove the correct functionality of every component? If that's the case, why silicon errata is a thing?

You ask about distillation but I wonder, is there any training datasets (~ TB-order) available that startup folks in SV use or is it so that everyone has to create their own scraping pipeline ?

What modern features are you looking for in a say, document editor? My experience with LibreOffice Writer and Calc has been excellent. I'm happy there is no modern AI or cloud integration noise or ribbon bars with excessive whitespaces.

Come to think of it, this is a good proposal for EU, thanks for the USB-C, by the way :)

Is there really no higher-priority kernel process to prevent total freeze of the system and send a SIGKILL to the culprit process when such a scenario happens?

There is an incentive to use HTML for common interactivity purposes.

It's all fine and dandy until marketing bros decide to shove all kinds of shady modals into that JS file. The JS side is not exclusive to trivial interactivity.

Given the attack vector having possible super-human capability, I'm not sure such an environment exists. "Isolated" according to who?

Maybe seL4 could be a viable option here...

Why Japan and Europe don't develop a model that is 20% worse at 0.001x the cost?

Now in 2020s, it seems only China is tailing US and in turn, US is wary of China. What gives?