Seems like what you would get if you were customer-centric and building a cloud platform for enterprise and govt to trust which was all set up pre-AI

Sudden lightbulb moment:

What about if I just handed my kid a linux machine and put a 30 min cap on YouTube time via the router. (tiktok etc all just banned)

That might go some way to reproducing the kind of friction we experienced growing up with PCs...

Edit could even start with some on-device parenting apps. What about a local LLM powered to classify videos as slop/educational. More power to them if they figure out how to disable it (I'll add more restrictions after a brief honeymoon period)

My history is a little hazy but IIRC lisp families were inspired by the lambda calculus and Scheme was a champion of lexical scoping at a time where people thought dynamic scoping was the only practical way to express programming languages. So it's amusing that the lisp families are now not considered functional

We like to talk about startups here cos it's HN but when I watch the news it's clear that world leaders clearly don't work 40 hour weeks.

Like whatever else you say about the POTUS it's shocking how many hours he must be working at 80 years of age with or without "help"

I think it's pretty well documented how much 'executive time' the current POTUS enjoys. There are lots of people working long hours. That guy isn't one of them.

If you look at the before and after photos of past POTUSes, you can see a visible aging. If we ignore the current POTUS, I think we can say that there are a lot of long hours of stressful trolley problems.

How much of watching fox news, eating big macs, golfing, and cavorting with natalie harp is counted in those “many hours he must be working”?

I can’t imagine he actually works that much. His output isn’t really there. We already know he doesn’t read the daily briefing (reports suggest he never reads anything at all) and it’s pretty clear 99% of what his admin does is the result of legwork from people who are not him.

Even if he's carted around as a show pony that's a lot more than I will be doing at 80. The real take away is that we need an upper age cap for holding federal office - 61 or younger to run/appointment and mandatory retirement at 70. We could try to say that office holders shouldn't have an age limit but be subjected to mental fitness tests, but those will end up being gamed or the results won't be released properly for national security reasons.

If he has a meeting on a golf course and spends all that time shooting the shit that is technically working time but probably not that taxing.

If he is diving into low level details that is a different story.

Basically all his waking hours will be counted as working.

If you look at the two extremes: "follow exactly the plan I've laid out for you to the letter" and "be whoever you want to be and do whatever you want to do" in a vacuum both of those come with understandable tradeoffs and risks.

So really the meat of the problem is treading that balance. Though I am of the belief that the mind, just like the body, needs cultivating through training and studying helps cultivate the mind. Also, breadth can really unlock different things in perspective and learning so in that respect I have faith in traditional curriculums - it's hard to predict what and how things will stick for a kid so just let them learn a bit of everything because it's possible something they learn in A might lead to an aha in "unrelated" B.

Probably the one invariant for our kid will be "you must work hard"

OCaml isn't pure and neither is F# iirc do you see a bit less monad heavy code in large codebases there?

What sort of situations would you want to give up a little purity or error handling at the type level? Maybe at a boundary where you can just write a very ugly imperative but quarantined section to give it a simpler type?

Last I looked into this the reef was showing signs of recovery and when I was in Okinawa I saw that a man there has been breeding corals that are more resilient to warmer waters

I'm so glad someone else remembers and values their contributions here.

That full package of capacitive touch, a UI and UX optimised for touch, inertial scrolling with pinch and zoom came together to form something much greater than the sum of the individual parts: an experience that could convince you to part with physical buttons

Also I think it took me almost a decade to find a touch keyboard (fleksy) I liked as much as the iOS keyboard. I think people also take for granted how far ahead their quiet innovations in the touch keyboard were without fanfare.

The ones in 2007 were unusable, the original android ones were terrible and I didn't much like swiftkey. Google Keyboard came much later but lacked some of the smoothing and tappiness of the Apple one

I'm not an apple fanboy but they were the first to really understand and solve touch screen phones - they went with capacitive tech when everyone was doing resistive and they went all-in on the UX and studied how touch should feel and how the UI should reflect it.

They were by no means the first smartphone nor were they the first touch phone but the "iphone moment" was coined because they figured out how to make frontier tech mainstream.

They also weren't the first to make an MP3 player but it sure felt that way with the ipod. I don't know how people have rewritten this history in their minds

Reality eclipsed satire and the Onion was no longer able to keep up it seems