"Once, men turned their thinking over to machines in the hope that this would set them free. But that only permitted other men with machines to enslave them." - Frank Herbert, Dune
Nix packages core team disbanded. They expected to do tech, but instead their job was navigating a political minefield, so, for the sake of their health, they left.
Nix, which has less than 1% of Linux market share, has a CONSTITUTION, and a STEERING COMMITTEE. This is beyond parody
@TehBananaMaster@lauriewired Why does there need to be a distinction between compile time and runtime? You can definitely do type/proof checking at any point of the the lifetime of the program, regardless if it's currently running or not.
@BugoTheCat@lauriewired Another example would be DOM browsers expose via the inspect tooling, where you can modify any part of the application like the UI, Style, Code, Networking, etc.
Smalltalk was actually the precursor to this.
It could persist, but preferably not as the "source", but as an encoding of an existing program. Instead of starting with it, it becomes a description.
I've mentioned this a few times in my reply to the posts here, but I suggest giving this a try: https://t.co/FIjPUAva7X ('70s tech btw).
I needed to move a sofa.
I mentioned this to an American. He said, "You know anybody with a truck?"
I did not know anybody with a truck.
He looked at me with real concern. Not pity. Concern. The way you look at a man who has told you he does not have a name.
"You gotta know somebody with a truck."
I asked how one acquires such a person.
He said, "You just do."
This is the third time I have received that answer in this country. It is the answer to everything here. You just do. There is no process. There is only the eventual fact of having.
He said, "Ask Kevin."
I do not know a Kevin. He said Kevin like I should. He said it the way you say a shared uncle.
I met Kevin four days later. Kevin owns a truck. Kevin does not own a truck for himself. Nobody owns a truck for themselves. Kevin owns a truck for a fifteen mile radius.
Inside I said: THIS MAN HAS TAKEN A VOW. HE DID NOT ANNOUNCE IT. HE SIMPLY PURCHASED A BED AND ACCEPTED THE CONSEQUENCES.
Kevin arrived on Saturday. He brought the truck. He also brought a second man.
I had not asked for a second man.
The second man's name is Tony. Tony came because Kevin came. Tony did not know me. Tony did not ask what we were moving. Tony brought gloves.
They moved the sofa in eleven minutes.
I offered them money. Both of them laughed at the same time, which felt rehearsed and was not.
I asked what I owed them.
Kevin said, "Buy the pizza."
That is the price. That is the entire economy. The truck costs one pizza and the pizza is not negotiable and the pizza is also not expensive and everyone knows what size.
Inside I said: THE FEE IS FIXED ACROSS THE ENTIRE NATION AND WAS SET BY NO ONE.
We ate on the floor because the sofa was against the wall and none of us wanted to be the first to sit on it.
Tony told me his daughter plays soccer. I asked if she is good. He said, "She's aggressive."
I still think about that.
Three weeks later, Kevin texted me.
"You free Sunday? Helping Tony move a fridge."
He did not ask if I wanted to. He informed me of a fridge.
Inside I said: I HAVE BEEN CALLED UP. I DID NOT ENLIST. THE PAPERS WERE FILED ON MY BEHALF.
I went. I moved the fridge. I have no truck. I contributed only arms.
Afterward, a man I had never met asked me if I knew anybody with a truck.
I said, "Yeah, I got a guy."
I have a guy.
I am somebody's guy now, too. Tony has told two people about me.
He describes me as "the guy who's strong for his size."
I have never been prouder of a sentence in my life.
A Muslim dies and finds himself before the Pearly Gates...
He is very excited, as all his life he has longed to meet the Prophet Mohammed.
Having arrived at the Gates of Heaven, he meets a man with a beard.
"Are you Mohammed?" he asks.
"No, my son. I am Peter. Mohammed is higher up." And he points to a ladder that rises into the clouds.
Delighted that Mohammed should be higher than Peter, he climbs the ladder in great strides, climbs through the clouds, coming to a room where he meets another bearded man.
He asks again, "Are you Mohammed?"
"No, I am Moses. Mohammed is higher still."
Exhausted, but with a heart full of joy he continues to climb the ladder and, yet again, he discovers an even larger room where he meets another man with a beard. Full of hope, he asks again, "Are you Mohammed?"
"No, I am Jesus... You will find Mohammed higher up."
Mohammed higher than Jesus!
The poor man can hardly contain his delight and climbs and climbs, ever higher.
Once again he reaches a larger room where he meets a man with a beard and repeats his question:
"Are you Mohammed?" he gasps as he is, by now, totally out of breath from all his climbing.
"No my son.....I am God. But you look exhausted. Would you like a coffee?"
"Yes, please!" said the man.
God looks behind him, claps his hands and calls out:
"Hey Mohammed, two coffees!"
Computer science is a weird field. It’s literally an entire field based around the operation of a particular machine. It's the equivalent of saying "piston-based internal combustion scientist" instead of mechanical engineer.
There are so many other ways to build a "computer". This field will change drastically over the next 15 years. It's kind of converging back into mathematics as a system of information representation an manipulation.
And yes, I have a degree in CS.