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.
Lean 4, Idris 2.
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…
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…
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…
This kind of reaction is exactly why the ISNT page appeared in 1998.
https://docs.racket-lang.org/guide/exe.html
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…
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 (heavily) on the predictions from lazy to…
You must be thinking about a different software.
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…
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…
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, for a small rust project, I had to…
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 maxes out a gigabit fiber line with…
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…
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.
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.
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.
Lean 4, Idris 2.
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…
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…
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…
This kind of reaction is exactly why the ISNT page appeared in 1998.
https://docs.racket-lang.org/guide/exe.html
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…
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 (heavily) on the predictions from lazy to…
You must be thinking about a different software.
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…
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…
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, for a small rust project, I had to…
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 maxes out a gigabit fiber line with…
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…
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.
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.