toastal

6 ms·

31.
by toastal 7mo ago
This pile of Markdown files has the most cringe-inducing name I have seen in weeks.
32.
by toastal 7mo ago
Naturally the Microsoft-owned language is getting the AI hype instead of the more mature options that could do this sort of work… Agda, ATS, Coq/Rocq, Dafny, Fstar, Idris, Isabelle, Why3 just to name a few.
33.
by toastal 8mo ago
Not the same thing to compare how others should license their software versus keeping ideals consistent in your own project+tooling. If “everyone else must be wrong”, why are there continually waves of projects leaving ever since the Micros
34.
by toastal 8mo ago
Note that Lean doesn’t have a monopoly on verification languages. Dafney, Rocq, Why3, ATS, Agda, Idris… these all can do it too. The fact that Lean is controlled by Microsoft should cause folks pause considering how they are trying to monop
35.
by toastal 8mo ago
Would be super dope if they brought back headphone jack Google teased Samsung over then a year later removed entirely. I haven’t even once considered GrapheneOS since I refuse to go without basic I/O.
36.
by toastal 8mo ago
XML works great for XMPP. KDL is compatible with it too. What gets me is going from this structured data to Markdown which doesn’t even have enough features & syntax that the LLMs try to invent or co-opt things like the blockquote for n
37.
by toastal 8mo ago
If it’s GPL then you must care about “free software”. If that is the case, you should reconsider hosting on a fully-proprietary code forge. It requires cognitive dissonance to thing FLOSS is the right license for your project but not for yo
38.
by toastal 8mo ago
I tried looking at the Ghostty homepage & it doesn’t even work without JavaScript so you can’t use a TUI web browser.
39.
by toastal 8mo ago
kitty terminal has diff like this builtin https://sw.kovidgoyal.net/kitty/kittens/diff/ I use it with darcs diff --diff-command="kitten diff %1 %2"
40.
by toastal 8mo ago
So to signal to users that your project isn’t slop, the strongest symbol is to stop using GitHub Actions… or more easily, leave Microsoft.
41.
by toastal 8mo ago
Starts to sound like Signal isn’t the panacea some folks make it out to be :)
42.
by toastal 8mo ago
Why does it need to be Git? What’s wrong with Darcs, Pijul, Mercurial, Fossil, & so on?
43.
by toastal 8mo ago
Wonderful. If Nixpkgs would leave, I could finally start considering deleting this account with Microsoft.
44.
by toastal 8mo ago
Most developers haven’t seemed to use another workflow unfortunately—& they scoff at suggesting the only workflow they know could be wrong.
45.
by toastal 8mo ago
Coincidentally, my most-used project is on Codeberg, & is a filter list (such as uBlock Origin) for hiding a lot Microsoft GitHub’s social features, upsells, Copilot pushes, & so on to try to make it tolerable until more projects mi
46.
by toastal 8mo ago
How are you framing this? It’s an Electron app so it exists but doesn’t integrate or perform great. Last I recall you still were required to provide a SIM to sign up & you needed an iOS or Android primary device to even use the desktop
47.
by toastal 8mo ago
Have you tried the Movim client? https://movim.eu
48.
by toastal 8mo ago
Decent overview (& more broadly but the heart is about XMPP & good ol’ capitalist corpo greed): https://ploum.net/2023-06-23-how-to-kill-decentralised-netwo...
49.
by toastal 8mo ago
XMPP has been great to run on NixOS… the servers uses so few resources compared to something extremely heavy like Matrix. The Movim client has been wonderful too allowing users to have calls/sharing from chatrooms (MUCs)—supporting a p
50.
by toastal 8mo ago
> Enable JavaScript to continue I wonder what’s here that requires code execution
51.
by toastal 8mo ago
Almost all clients support file sharing. The Movim client < https://mov.im/ > supports screen sharing. It should be noted that both Jitsi & Zoom use XMPP for the roster/chat/handshaking as well; so if you
52.
by toastal 8mo ago
You should try XMPP with a Slidge gateway… it uses a lot less resources (CPU, RAM, & storage) on your server. The clients are lighter weight too.
53.
by toastal 8mo ago
Documentation isn’t as simple document. There are tons of rich elements missing from the spec specifically for documentation… which is why so many resort to adopting one of the many incompatible forks of Markdown to try to get features that
54.
by toastal 8mo ago
MS GitHub can not only render rST & AsciiDoc (albeit pretty poorly since they the CSS is bad), but it also is employing its own fork of Markdown that isn’t compatible with other forks. “Just Markdown”, like the base spec, is so featur
55.
by toastal 8mo ago
Winning a popularity contest doesn’t mean it’s good. That is the worst part of about these things as they just generate the most common denominator type code/tooling while also repeating anti-patterns/mistakes like the bash vs. sh
56.
by toastal 8mo ago
Using a Patch Theory-based option like Darcs or Pijul exist today & don’t have the tradeoff while also working offline.
57.
by toastal 8mo ago
If agents can generate text so easily, why would they be limited to Markdown instead of reStructuredText, AsciiDoc, or LaTeX which have rich features that help users understand text? I can understand developers refusing to adopt proper form
58.
by toastal 8mo ago
Being snapshot-based. Git has some issues being distributed in practice since the patch order matter which means you basically need to have some centralized authoritative server in most cases with more than 2 folks to resolve the order of p
59.
by toastal 8mo ago
Does go build not support mirrors so you can define a fallback repository? If not, why?
60.
by toastal 8mo ago
Only works on a proprietary forge. Wouldn’t it be better to build tooling to get OFF that godforsaken platform?

More ›