Viewing profile — TheGoddessInari

Reading `hol.mm` made me grateful for Lean 4's general purpose programming. I get the string substitution focus, and respect what metamath has achieved, but the bridge Lean 4 makes…

Only half tongue-in-cheek, but they would only accept contributions from GNU licensed models.

IMO it's the same problem with Rust. LLMs are trained on vast quantities of code that violate Rust soundness in safe code. LLMs are prediction engines: you can move the needle (hea…

You must be thinking about a different software.

Blender is actually much, much older than Thunderbird.

I try not to be negative, but this software seems bizarre. It's a Lua meta manager written in Zig, that calls itself cross platform (Linux / MacOS only), and depends on external gn…

I still have no clue what you're implying that I was implying? Reading too much into someone's words is definitely a thing. There used to be 4+ major browser engines. Now there's o…

Because llms reflect qwen 2.5 heavily in training data, and that's who is giving the recommendations.

Personally been experimenting in Lean 4. LLMs understand it, can be given simple rules to improve it. Typing is strong, proofs are solid, and it compiles quickly. On the contrary, …

You could be typing the same about Google or a number of the other labs right now. A diverse market full of choices keeps it from becoming the browser wars all over again.

For a around two years there, the dynalink dl-wrx36 was selling between $50 & $85 for comparable/better hardware. Still running a pair with an nss-enabled fork. Still effortlessly …

Both of the mentioned models are model orchestrators using a vastly different multi model paradigm. Saying they in particularare distilled from Anthropic is really [citation needed…

It always feels a bit vexing when people complain about skills: Personally, we treat them as if manuals where the goal is to patch knowledge, not (typically) be a from-scratch prim…

This works with touch control on mobile. Pretty amusing.

It's simple enough to make a plugin to override the system prompts & make it flexible per agent. Have to watch out for other plugins trying to do the same, though.

Note as of yesterday, they retired the lite coding plan you're talking about. New buy-in is $50/month for the pro plan unless you were already on the lite plan.

I feel like I have to mention "The Sky So Big and Black" by John Barnes. IMO, rather underrated. Hadn't really read any good Mars-based science fiction before.

Aside from the AI bits, "interesting" choice to use metal on MacOS, opengl on Linux, and skip Windows entirely.

Haven't dived deep into it yet, but dabbled in similar areas last year (trying to get various bits to reliably "run" in-context). My immediate thought was to want to apply it to th…

THC comes in a plant in the THCa form. CBD comes in CBDa form. Both are not bioactive by default in their natural form.

Like many chat-style interfaces, it's typically shift-enter to insert a newline.

There's a difference between "can't see 'special' folders" & "can't access anything but the app-specific storage". iOS loves the latter, while Android lets you organize files mostl…

Reductive and inaccurate.

I've seen this on occasion before, but the offering seems vague and confusing to me. But asking to see if clarification is available: * No API access at all. Is that correct? * Usa…

Because the aliens are already here, just like the echidna...