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…
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…
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.
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.
Aside from the AI bits, "interesting" choice to use metal on MacOS, opengl on Linux, and skip Windows entirely.
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 mostly normally even if doing highly…
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? * Usage limits aren't at all clearly…
Because the aliens are already here, just like the echidna...
As an anecdote, there may be one or two packages in openwrt that won't build by default because of a strange interaction between certain glibc headers and the behavior of _FORTIFY_SOURCE on some embedded platforms, but…
IPv6 migration.
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…
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…
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.
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.
Aside from the AI bits, "interesting" choice to use metal on MacOS, opengl on Linux, and skip Windows entirely.
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 mostly normally even if doing highly…
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? * Usage limits aren't at all clearly…
Because the aliens are already here, just like the echidna...
As an anecdote, there may be one or two packages in openwrt that won't build by default because of a strange interaction between certain glibc headers and the behavior of _FORTIFY_SOURCE on some embedded platforms, but…
IPv6 migration.