Viewing profile — igravious

OK https://youtu.be/FavUpD_IjVY

Hah. Clever.

threat? that's a weird way of describing a near frontier open weights un-crippled useful coding buddy do you work for OpenAI or Anthropic per chance?

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 a…

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…

I am not Russian. Born in England, live in Ireland.

[flagged]

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 guideline…

[flagged]

[flagged]

[flagged]

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]…

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.c…

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.

i'm doing the same thing but for type theory

"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 hum…

Agreed. I think benchmarks are pretty much right in pegging it somewhere in between Opus and Fable.

Kimi has Kimi Code :) kimi-code https://www.kimi.com/code/en

(subjective i know but) it's better than legitimately good

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 weigh…

First statement is true. Second statement is false.

A merge tool cannot have silent failure cases. Period.

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 st…

Cool beans. You're not the target audience then.

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 perso…