Specifically, it can micro across multiple screens of engagement in a way that we can't as easily.

Trains are great, but they can only go where tracks go. Planes are faster, too, noting that boarding times can dilute that. Trains are perfect for freight and super frequent routes, though.

Commercial passenger planes can generally only lift off and on at dedicated facilities, though.

So both can coexist? what's the issue? Why does HN waste energy on pointless pissing contests?

Yep, both can coexist perfectly well, in fact rail + flight + water + cycling should be good enough to account for the vast majority of mobility requirements.

Those facilities can be much more modest and can scale up and down depending on location. Particularly for smaller short haul aircraft.

Maybe. But they can almost never be in places where people actually need to be; like central cities.

But possibly closer to where a lot of people live (towns and suburbs) and able to be more flexible to where they might want to go. Such as having direct flights to a coastal holiday destination rather than needing to connect through a city centre.

The video cites the large number of existing flights that are short enough for the electric. I am not sure they should be judged based on whether they make air travel more appealing overall - making it cheaper and lower emission is plenty.

Not that I know of, but https://www.canirun.ai/ might be of use

This calls the top coding model for the Apple M1 Pro: qwen2.5-coder-7b, a model released September 18, 2024 [1].

I question this choice. Coding models have improved significantly in the past 2 years.

[1] https://qwen.ai/blog?id=qwen2.5-coder

I agree that hindsight is doing work here, but DeepSeek R1 from Jan 2025 seemed to heavily leverage distillation, and 18 months is an eternity in this climate.

Super interesting. I am always wondering where the bridge between symbolic programs and inline connectionist approaches could be. LLMs can call traditional programs "in process" as tools, but the other way usually just looks an external, expensive call. Maybe this fits in for a certain class of program. I will definitely add some support to my little collection of browser based AI tools https://andergrove.com/tools/ai/

For super simple programs, yes, this doesn't make sense. For very complicated programs, the generated code would begin to look like spaghetti so fine that it begins to look like weights.

1/ Agreed, better naming convention and model layout 2/ It isn't, there would be many more comparison benchmark results if it were, but also - theatrics may be marketing 3/ Disagree that cheaper models don't have a place 4/ Do they need to keep up? 5/ It's boring until something you own or run gets compromised, I guess, but even then - this is preview of things to come (biosecurity, etc)

Rough but true. This has PMF but not at this price.