TheGoddessInari

5 ms·

1.
by TheGoddessInari 10d ago
Pipewire just works without needing the awfulness of pulseaudio, but there's also "apulse" to shim directly to alsa if you want more like the older behavior. But Pipewire is far more compatible and modern.
2.
by TheGoddessInari 20d ago
Lean 4, Idris 2.
3.
by TheGoddessInari 24d ago
After reading this several times, I've tried to identify if your satire is trying to meet the author's satire somewhere over the Atlantic, or if it's aimed at some kind of self-reference or in-joke that I'm just not pars
4.
by TheGoddessInari 24d ago
This appears to assume that seeking diagnosis is somehow self-limitation instead of functional troubleshooting. In practice, understanding one's neurotype can provide the foundation necessary towards addressing friction, dealing with e
5.
by TheGoddessInari 24d ago
Given the author of the page, I would completely agree with her assessment-- especially given what's happened in the ~28 years that have passed since the site went up. You "instantly losing respect" because an autistic person
6.
by TheGoddessInari 24d ago
This kind of reaction is exactly why the ISNT page appeared in 1998.
7.
by TheGoddessInari 25d ago
https://docs.racket-lang.org/guide/exe.html
8.
by TheGoddessInari 2mo ago
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 wrt systems programming has left quite an impression.
9.
by TheGoddessInari 2mo ago
Only half tongue-in-cheek, but they would only accept contributions from GNU licensed models.
10.
by TheGoddessInari 2mo ago
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 (heavily) on the predictions from lazy to correct by constr
11.
by TheGoddessInari 2mo ago
You must be thinking about a different software.
12.
by TheGoddessInari 2mo ago
Blender is actually much, much older than Thunderbird.
13.
by TheGoddessInari 2mo ago
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 gnu build tools, not even the native Zig portable re
14.
by TheGoddessInari 2mo ago
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 only two, and Google owns almost complete shar
15.
by TheGoddessInari 2mo ago
Because llms reflect qwen 2.5 heavily in training data, and that's who is giving the recommendations.
16.
by TheGoddessInari 2mo ago
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, for a small rust project, I had to clean out 180gb of cargo
17.
by TheGoddessInari 2mo ago
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.
18.
by TheGoddessInari 2mo ago
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 maxes out a gigabit fiber line with qosify. Configu
19.
by TheGoddessInari 3mo ago
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].
20.
by TheGoddessInari 3mo ago
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 primer. Letting an instruction following llm deep research and i
21.
by TheGoddessInari 3mo ago
This works with touch control on mobile. Pretty amusing.
22.
by TheGoddessInari 6mo ago
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.
23.
by TheGoddessInari 6mo ago
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.
24.
by TheGoddessInari 6mo ago
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.
25.
by TheGoddessInari 7mo ago
Aside from the AI bits, "interesting" choice to use metal on MacOS, opengl on Linux, and skip Windows entirely.
26.
by TheGoddessInari 7mo ago
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 the problem I've been having lately: could
27.
by TheGoddessInari 9mo ago
THC comes in a plant in the THCa form. CBD comes in CBDa form. Both are not bioactive by default in their natural form.
28.
by TheGoddessInari 9mo ago
Like many chat-style interfaces, it's typically shift-enter to insert a newline.
29.
by TheGoddessInari 10mo ago
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 mostly normally
30.
by TheGoddessInari 10mo ago
Reductive and inaccurate.

More ›