[ my public key: https://keybase.io/mattmichie; my proof: https://keybase.io/mattmichie/sigs/Wqazx9omfu-xkcDMYubJrvDDDZ-O4i4b9ZvkqZ8sHYI ]
- influx parentDo you think strong unions play into this protectionism in the United States vs China?
- It really makes me upset that we are throwing away decades of battle tested code just because some people are excited about the language du jour. Between the systemd folks and the rust folks, it may be time for me to move to *BSD instead of Linux. Unfortunately, I'm very tied to Docker.
- I was debanked by a California bank for selling holsters, a product that is legal nationwide and protected under the Constitution. While the bank has the right to choose its business relationships, it’s concerning to see decisions driven by political positions. This sets a troubling precedent for the direction we might be heading as a country.
- The factory model of education made sense in the industrial era, but it's increasingly anachronistic in an age of personalized technology. We have the tools to dynamically adjust curriculum difficulty and pacing based on each student's capabilities - similar to how modern video games seamlessly adapt to player skill levels.
Instead, we're still forcing students into rigid cohorts based mainly on age, effectively optimizing for the statistical mean while leaving both ends of the ability distribution poorly served. This is particularly wasteful with gifted students who could be advancing much faster if the system accommodated their pace of learning.
The tech to deliver adaptive education at scale exists today. The main barriers are institutional inertia and perhaps a misguided egalitarian impulse that confuses equality of opportunity with enforced uniformity of outcomes. We should embrace the natural variation in human capabilities and build systems that help each student reach their potential, rather than constraining everyone to march in lockstep.
- Your comment helped me get this:
function HALT(program, input): # This is a "magic" function for our proof - we assume it exists for all programs # In reality, this function cannot exist because of the paradox we're about to create # Returns True if `program(input)` halts, False if it runs forever ... # Program D: Creates the paradox function D(self): if HALT(D, self) == True: loop_forever() else: halt()