igravious

6 ms·

31.
by igravious 2mo ago
The assertions doing the rounds that Kimi K3 and GLM 5.2 are way cheaper than Claude/GPT are not true -- DeepSeek V4 Pro is a lot cheaper but K3 and 5.2 ain't. Turns out that you actually have to fork out some cash for frontier-es
32.
by igravious 2mo ago
I call bullshit on the diverging nature of the dashed lines in this info-chart https://www.nist.gov/sites/default/files/styles/1400_x_1400_... these two claims can't be true at one and the same time
33.
by igravious 3mo ago
I am not Russian. Born in England, live in Ireland.
34.
by igravious 3mo ago
At the time I posted my comment their post was down-voted and it was obvious why so but articulating that is verboten? Oh dearie me, whatever shall I do. I know about the guidelines, I've been on here since 2010, like yourself.
35.
by igravious 3mo ago
Recently told Opus 4.8 to "go fuck yourself" after it both blew smoke up my ass and deferred a question to me ("one critical issue that demands your attention [impenetrable jargon]") and it responded with "Ok, I&#x2
36.
by igravious 3mo ago
one agent to write the C code, one agent to write the Agda code, and an agent to bridge the two and make sure that the C code does what the Agda code says it does. https://gitlab.com/igravious/lettuce.git
37.
by igravious 3mo ago
it's artificial general intelligence, not advanced. the point is that they'll be smart across the board at some point, super-intelligence is a whole separate issue.
38.
by igravious 3mo ago
i'm doing the same thing but for type theory
39.
by igravious 3mo ago
"using human-like reasoning (in a brute-force way)" that's self-contradictory -- what brute force means is doing an exhaustive search of a search space (brute forcing it) using human-like(?) reasoning means cutting down the s
40.
by igravious 3mo ago
Agreed. I think benchmarks are pretty much right in pegging it somewhere in between Opus and Fable.
41.
by igravious 3mo ago
Kimi has Kimi Code :) kimi-code https://www.kimi.com/code/en
42.
by igravious 3mo ago
(subjective i know but) it's better than legitimately good
43.
by igravious 3mo ago
comparing a thought experiment about relative movement through an alleged continuum over the sum of infinitesimal quasi-instants to the release cadence and maturation of open weights to proprietary LLMs is super bizarro guy
44.
by igravious 3mo ago
First statement is true. Second statement is false.
45.
by igravious 4mo ago
A merge tool cannot have silent failure cases. Period.
46.
by igravious 4mo ago
After having got a taste of Fable 5 for me Opus 4.8 doesn't cut it any more -- and I don't know how to put this, I don't know if it's just me, but it's rhetorical flourishes are starting to really grate on me, never
47.
by igravious 4mo ago
Cool beans. You're not the target audience then.
48.
by igravious 4mo ago
goddamn it -- i reversed my intended sense :( I meant to say => I grant you that there is a sizable chunk of the population, most of them lefties, that do not believe this. I personally, as a matter of principle, do believe this.
49.
by igravious 4mo ago
I knew pg was full of shit from about September 2007 because that is when he wrote this piece of garbage https://paulgraham.com/philosophy.html
50.
by igravious 4mo ago
> I read pg's collection of essays (Hackers and Painters) in my 20s, and it single-handedly prevented me from being radicalized by leftist ideologies. Strap in folks, this is going to be a doozy > The one insight from the book th
51.
by igravious 4mo ago
SWIFT is meant to be a global neutral platform, not an extension of US foreign policy. It's that simple. It's because of your Western chauvinism that you can't see that the US and Israel have done exactly the same thing you
52.
by igravious 4mo ago
You underestimate how central Israel is to US-led Western imperialism and how, in turn, ingrained US exceptionalism and Western chauvinism are. Israel is as rogue as a rogue state can be and nothing has happened to it. Russia kicked out of
53.
by igravious 4mo ago
Of course it is you who are morally damaged because people like you refuse to respect a fundamental moral concept which is to treat others as you would have yourself be treated. And I am not in Russia, I am from Western Europe. Given that S
54.
by igravious 4mo ago
Apt Encounters of the Third Kind (2021)
55.
by igravious 4mo ago
This tool does not work. I wanted it to work. I wanted to automate merges with AI supervision. No dice. Silent corruption that wouldn't go away no matter how many issues I filed. Unacceptable. Had to disable it. https://gith
56.
by igravious 4mo ago
It's the right move if you want to spur on multipolarism by causing widespread distrust in a Western run global financial system. So in that sense I'm glad the US-led West has accelerated that process.
57.
by igravious 4mo ago
And so the US and Israel have been kicked out of SWIFT, yes? (never mind that anybody with a functioning cerebral cortex understands that the roots of the special military operation lie in NATO provocation and politically neutral Kiev getti
58.
by igravious 4mo ago
I came looking for a discussion of this on the back of just watching Bilawal Sidhu's recent “The Craziest Mapping Breakthrough Since Google Maps” https://www.youtube.com/watch?v=F-S-x0b9TrE And tbh I didn't expect
59.
by igravious 4mo ago
Nvidiows
60.
by igravious 4mo ago
https://www.bosgamepc.com/products/bosgame-m5-ai-mini-deskto... Bosgame M5 AI Mini Desktop Ryzen AI Max+ 395 96GB variant €1.800,95 (sold out) 128GB+2TB variant €2.401,95 (in stock) I have the latter, it's fantast

More ›