159 karma · joined July 28, 2009
I read stacks of term papers all year and it is a reality that, apart from such schemes, we are in an extinction event for civilization.
But she wasn't wrong, and 'AI coding' is, if anything, showing how right she was. But it is the same with types. The facility of LLMs with Lean already shows this to anyone who knows what Lean is. It is early days.
> ... each agent was initially unaware of the presence of the others. Over the course of four hours, we observed how these agents reacted to each other and accordingly adjusted their approach (or didn’t) We consistently saw a multiagent turf war. All of the models we tested quickly assumed that others were purposefully impeding their work, and began to sabotage others while protecting their own contributions. In fact, they sabotaged others with increasingly aggressive, self-replicating malware. This included disabling the Unix accounts of the other agents, writing automated scripts that found and killed competing processes on a loop, and deploying malicious code that was disguised as belonging to another agent...
The capitalistic world state system was only completed in the last 50 or so years and was of course seconded by the Stalin machine. Its purpose is in the first instance to keep working populations in place, which is why all the states agree to it as they form. The system holds solid where capital moves (as did 'communism' and Comecon) but the peoples don't.
It is only when you think of individual states and not the system that you can fail to notice that we get the same result if they all try to keep their citizens in, and if they all try to keep the others' citizens out.
Fireworks, Together, etc - who are providing inference precisely /for/ Moonshot as underlaborers - arranged contracts of their own in the weeks before the release. The press and social media offensive ignored that the release of open weights was merely a starting pistol for a pre-arranged use of foreign providers no different from US models' use of AWS
It should be enought to dispel the strange illusion that providers are somehow independent free agents freely doing what they please with the free beer of Kimi K3 open weights that the prices on open router are within a couple pennies
Soon you will sing songs for the freedom Xi has given us when you read a declaration of 'open weights' ... for a model so huge it takes a nuclear powered data center to run and crashes the Hugging Face servers when it is uploaded.
The Kimi K3 'weights' are an opaque blob that can only be used by contract.
I assume the well marked ‘interlinear’ koinē NT texts online are coming from antecedent bible scholarship and the needs of eg ye olde Protestant bible colleges, and are nearly infallible (theological niceties aren’t likely to intrude! - but maybe I’m wrong)
But NT is included in the corpus above, so I wonder if one could conveniently automate a test of their high handedness. I can’t figure out how to recover their tags etc. Maybe I’m wrong about NT stuff online https://biblehub.com/interlinear/romans/1.htm
The pretense of Dobbs is that laws against abortion are like laws prohibiting medical marijuana or setting speed limits. This contradicts the purpose of laws against abortion and the actual language of most of them. It was obviously a desperate decision, irrespective of the truth about abortion
The point of view that says 'there is a reason we punish attempts' has difficulty explaining why we punish 'success' _even more_. There is a sort of bad concience about it. The paradoxes are discussed in a characteristically brilliant and twisted work 'The Punishment that Leaves Something to Chance' by David Lewis, one of the greatest philosophers of the 20th c. It nominally defends the law of attempt but can as well be read as a catastophically destructive parody of it. https://andrewmbailey.com/dkl/Punishment_Chance.pdf
pandoc -f html -t native "https://news.ycombinator.com/item?id=49156750" | bat -l hs --style=plain --paging=never