foxes
Joined 8 years ago
Joined 8 years ago
In a way ai is turning programming more into maths - you write a natural language description of the problem - a proof / program - and then translating that into machine code is a lot of work / abstraction. For example look how much it takes to turn relatively simple mathematical statements into lean. That I guess is going to be the future.
I would encourage everyone to learn the fundamentals still because you will need discretion and to be able to think at a more abstract level.
However its funny that its only NOW dehumanising/demoralising now when its white people losing jobs to the capitalist machine in the imperial core, and not the slave silicon miners making gpus for gamers.
Theres thousands of PRs from claude agents or whatever.
Yeah really feels like a worthwhile place to contribute lol.
Wasn't that the thing like ~30 years ago? All the western companies pushing manufacturing into China for increased profit?
Capitalism and the west gave all that power away :), you deindustrialised yourselves.
Whats different to the effects system just being a type system?
Isnt a function that opens a particular file still just a type? Perhaps dependent?
Reminds me of mercury which has determinism of the function like type signatures.
Nationalism is a right wing concept.
Simulation "theory" isnt a theory its a conjecture.
Theres no meat to it.
And no I dont think that generally, but it just seems like so many tech people here have been kinda mid/upper class/well off. I think a core issue around AI, around a new technology, is the class/capitalism issue, because that is the system we are stuck in.
But maybe some also havent quite connected the dots, and are starting to wake up to the reality of the situation.
It probably also gets astroturfed.