metargz

> sorry, i want neither of these in my laptop. i want it to be lightweight, small, solid and durable body without moving parts or too many holes.

Thinkpad T480s weights about the same as the current MBP, has more useful ports (I find having hdmi, ethernet and older usb handy on a device I use in my work trips), good keyboard, replaceable hardware and whatnot. It is bigger, but Lenovo makes smaller Thinkpads too. Subjectively, I find it more robust than my MBP at work, but that's not the point.

The point is, the sacrifices Apple makes on their current Macbook Pros are simply design choices, not engineering tradeoffs.

> Whereas languages that achieve memory safety via a GC, allow me to focus my mental energy on writing correct code, not on memory management.

Ownership type systems are supposed to rule out synchronization errors (say, data races), which is something you may want regardless of how memory is managed. Say, the research on ownership types that came out of MIT in early '00s worked with a subset of Java (see OOPSLA'02 "Ownership Types for Safe Programming: Preventing Data Races and Deadlocks").

The kind of challenges you face in a city surely depends on its size. NYC is very big. Fortunately, Madrid is smaller, cheaper and its public transit system is incredible for the size of the city, so you'd probably find it more manageable.