Sasha

github.com/sashajdn/baka git stuff

fast rust analyzer stills seems to exist in the realm impossibility however

the annoyance -> pipe to codex -> write as nvim plugin pipeline is beautiful

not sure I've been to a worse major airport than bucharesti

I couldn't encapsulate everything frustrating about LLMs better, even if I tried

@thekitze he's not leaving git

ah fuck here we go.. glorious svn

time to replace copilot, in theory its useful but the execution is pretty terrible, I'll probably just wire in a codex instance into a nvim plugin, unless there exists something better already?

@IterIntellectus depends how you setup the game theoretic model, doesn't strictly have to be rational actors

the problem with game theory is that it assumes rational players but most humans are irrational

@yacineMTB yeh I just pointed it at an old QMK file and asked to setup a new corne LP with ZMK, one shotted it, no toil, beautiful

codex is honestly pretty awesome man. for like, just setting up things.

@pomato_v @BigFatHater @marywitha4 Quite easy to conceptualise if you map it out: - MM - MF - FM - FF (ruled out) MM / MM + MF + FM = 33%

@BigFatHater @marywitha4 This is easy, because with the coins, we have TWO unknowns. With your situation, one of the two children already has one boy locked in. The second one is the unknown one, with 50% chance either way.

Sigh.

I think its this: it depends what you define as a rational actor. In a vacuum, one should think selfishly - if thats the case the intelligent choice is red - zero risk to oneself under any case. A rational actor. However, in reality, peoples incentives aren't simply selfish (their utility function has an altruistic component) - there is a group consideration. Also a rational actor in this case. If we then assume, that there is at least one irrational actor that votes blue (child or whatever), then it becomes rational to vote blue but only if you also assume a majority of other actors have group consideration and those actors have knowledge that the other actors have the same consideration. The reason I suppose people think the red button is the smart choice, is because it is: but only in a vacuum or toy problem.

struggling to understand the insistence that reds are higher iq

although, rationality is utility function dependent. If that utility function has a altruistic component for >50% of rational actors and there exists common knowledge of social altruism and you assume at least one irrational actor that would vote blue, then blue is the likely to be the rational choice.

@recmo @waitbutwhy what about if you assume a fully rationale set of voters and they all press red?

Everyone in the world has to take a private vote by pressing a red or blue button. If more than 50% of people press the blue button, everyone survives. If less than 50% of people press the blue button, only people who pressed the red button survive. Which button would you press?

@JoelWBerry Complexity can be built with simple stated axioms - besides programming each atomic unit is not the only way to engineer, see LLMs / neural networks

Brilliant nano-engineering like this loudly points to God, but it’s also a blow to simulation theory. Such complexity at the cellular level, every cell being a miniature city, every bacteria requiring an actual motor to move, seems to me an insanely inefficient way to design a simulation, when you could simply program these things to move and operate the way they do. If simulation theory is true, it seems to me we should see less physical complexity the closer we look, not more.

I don't even know where to begin. £500k over 18 months as tech investment into a town of 70k population to create a blue print for UK innovation in AI, education, and healthcare. Anthropic is hiring for a single role at £630k and that's *excluding* stock compensation.

oh yeah

gfs visa has been the biggest pain in the ass and its driving me insane; that being said - anywhere to cowork from in BKK with monitors?

man these new SIMD instructions are out of control

never learn to type solely on a corne keyboard cos once it breaks you're fucked

@tenobrus what in the raft

kinda crazy how there's a million sorting algorithms and a solid chunk of them are actually practically used in different situations but there's really only one distributed consensus algorithm and basically everything is built on top of it with minor variations