therobots927

5 ms·

31.
by therobots927 3mo ago
If you have enough money to inflate the local housing market, you forfeit the right to be upset when people… point out that you are inflating the local housing market. But I guess that’s to be expected of the modern tech elite. Unlike the f
32.
by therobots927 3mo ago
Any comment about Gaza getting flagged in under a minute
33.
by therobots927 3mo ago
That’s best case scenario. Worst case is that they’re censoring the internet on a massive scale but have rolled it out slowly enough that no one noticed
34.
by therobots927 3mo ago
Yeah even Asimov could only solve it in foundation by introducing a competing civilization with telepathy that evolved independently of the empire somehow. Maybe our best bet is aliens. Or an AI that decides a dramatic restructuring is requ
35.
by therobots927 3mo ago
Not good but definitely inevitable. It’s sort of like a cache clearing mechanism for the sim.
36.
by therobots927 3mo ago
I got downvoted for posing the possibility that the atlassian ceo actually is a ‘rich jerk’ and that his retaliation towards this employee was evidence of the statement itself. I guess I’ve been vindicated. I’ll be accepting apologies.
37.
by therobots927 3mo ago
I got downvoted for posing the possibility that the atlassian ceo actually is a ‘rich jerk’ and that his retaliation towards this employee was evidence of the statement itself. I guess I’ve been vindicated. I’ll be accepting apologies.
38.
by therobots927 3mo ago
Same could be said about any of the many mass extinction events in earth history. Not that I’m in favor of setting the planet on fire, but if you zoom out far enough it’s clear earth would bounce back from even a nuclear war coupled with cl
39.
by therobots927 3mo ago
Fair enough maybe I should’ve gone with the word authoritarian as opposed to fascist. I’m certainly not a fan of how the USSR was run either. But to be honest it seems like China might at least be a competent authoritarian system from what
40.
by therobots927 3mo ago
Fascism pattern-matches an authoritarian relationship between child and parent onto the organizational structure of government organizations. Insubordination exists on a spectrum - I’m not saying you shouldn’t do what you’re told by your bo
41.
by therobots927 3mo ago
That’s a very fascist way of thinking whether you’re aware of it or not
42.
by therobots927 3mo ago
I see. So you seem to lean towards it being unlikely they would be able to use lean to evaluate this proof in an automated way…
43.
by therobots927 3mo ago
Well the key thing here is I’m not saying the LLM has no idea what it’s doing. But LLMs are prone to hallucinations which can really impact a string of interdependent logic like a proof. So I’m assuming it would respond with something that’
44.
by therobots927 3mo ago
And not how many times it was prompted before it returned a working solution. Or how many prior variants of this prompt were tried. Or if proof checking software was used to hone in on the final winning prompt / LLM output.
45.
by therobots927 3mo ago
Is there anyone more knowledgeable than me about proof checking software who could tell me how off the mark I am here? Assuming you have decent proof checking software, is it possible that this solution was achieved by throwing GPT at the p
46.
by therobots927 3mo ago
24/7 high fidelity radar of the entire earth’s surface. Probably used by NRO’s sentient system and similar classified skynet projects
47.
by therobots927 3mo ago
Thanks for the offer! Unfortunately I don’t have the time right now, but I am going over some ideas at a high level. Are you building a single player or multiplayer game?
48.
by therobots927 3mo ago
That shi be bussin fr fr no cap
49.
by therobots927 3mo ago
legion
50.
by therobots927 3mo ago
It’s just like me fr fr
51.
by therobots927 3mo ago
It only works when starting with open source to show to LLM. To monetize my modification, I would not make mine open source. If the licensing allows for it I’m fine.
52.
by therobots927 3mo ago
The ideas and aesthetics
53.
by therobots927 3mo ago
A pattern I’ve found useful in other settings is starting with code for an existing “game” that sort of resembles what you want to make and then modifying components until you have a whole new game but it shares similar infrastructure to th
54.
by therobots927 3mo ago
I’m wondering the same thing. I’ve been thinking about getting into solo LLM game dev. I don’t know the first thing about it
55.
by therobots927 3mo ago
The proof is in the pudding and these benchmark stats will only work for so long before people lose interest.
56.
by therobots927 3mo ago
That’s because it’s bullshit
57.
by therobots927 3mo ago
Apparently it significant outperforms fable on both an intelligence and cost index. I don’t believe it at all and I don’t think anyone else does either.
58.
by therobots927 3mo ago
Also watching deepseek closely. Seems like US frontier labs only know how to throw money at things as opposed to actually make smart improvements to the algorithms.
59.
by therobots927 3mo ago
Do they expect us this model is 15ppt more accurate at half the price of fable? What’s going on?
60.
by therobots927 3mo ago
Well the thing about CAD files is that through reinforcement learning you can basically ask the AI to generate the CAD file an arbitrary item - say it’s a rabbit. It might have examples of this already in its training set and it’s essential

More ›