toastal

18 ms·

1. 121.▲
   by toastal 1y ago

   I want any version of uBlock on the Sailfish OS browser
2. 122.▲
   by toastal 2y ago

   ATS2 would give you all the FP + linear types + a proof system. No “capabilities” tho.
3. 123.▲
   by toastal 2y ago

   For starts looking at their website, it looks like all collaboration is locked behind proprietary platforms… Discord, Twitter, LinkedIn, Microsoft GitHub.
4. 124.▲
   by toastal 2y ago

   I can’t believe Forgejo ever thought it was a good idea to try & copy this nonsense. Rather than trying to be some FOSS MS GitHub clone, why not pitch that they can do things better—such as not having YAML spaghetti for CI. I hope Actio
5. 125.▲
   by toastal 2y ago

   So we convert from rich formats with metadata & advanced features to a format without the former & severely lacking at the latter.
6. 126.▲
   by toastal 2y ago

   Wouldn’t you just change your economic system if you need to change the core for its fundamental flaws playing out as expected?
7. 127.▲
   by toastal 2y ago

   Would be real nice being the open source option to not have their communications locked to proprietary services (Discord, Microsoft GitHub’s forge + discussions) & had alternatives mirrored/bridged.
8. 128.▲
   by toastal 2y ago

   Very cool! +1 for hosting on Codeberg so we don’t have corporate lock-in.
9. 129.▲
   by toastal 2y ago

   Learning some more ATS2 while 3 isn’t yet released. Cool language with linear types (which go further than Rust’s affine types), refinement types, dependent types, proofs & dataviewtypes over C for zero-cost abstractions.
10. 130.▲
    by toastal 2y ago

    Code forge isn’t a weird phase & existed before Git. It is the precise term for a collaborative software, often web-based, for hosting a source code repository & perhaps bug tracker, review, & so on, but it doesn’t specify the p
11. 131.▲
    by toastal 2y ago

    Codeberg, Notabug, GitLab, SourceHut are probably the most popular options that are not self-hosted for Git (not that self-hosting is bad). Some of these can even be configured to automatically mirror to give those that care about their pri
12. 132.▲
    by toastal 2y ago

    If you believe in free software services enough to build & release a product under this philosophy, why is a proprietary code forge service being used as a slap in the face of the free software philosophy? Is providing a non-corporate-h
13. 133.▲
    by toastal 2y ago

    Darcs documentation suggests amending & fixing up WIP commits too
14. 134.▲
    by toastal 2y ago

    Normally creating a new feature involves independent actions like updating dependency, refactoring some module beforehand, & so on. If these things can be broken up in a way that make review & reading logs easier, why would you squa
15. 135.▲
    by toastal 2y ago

    If only they would give us JXL on Android
16. 136.▲
    by toastal 2y ago

    And yet all of these serve a different, useful purpose for semantics.
17. 137.▲
    by toastal 2y ago

    I’ve in recent years started to favor reStructuredText over AsciiDoc for three reasons. 1) Docutils’s output in like 95% good, semantic HTML where Asciidoctor has a lot of issues (I would note that non-Docutils is often bad, second-class &a
18. 138.▲
    by toastal 2y ago

    Are they all based on Java?
19. 139.▲
    by toastal 2y ago

    > I wish Yubico had some serious competition, but sadly they don't Also mentioning OnlyKey < https://onlykey.io >. You don’t need to be some big corpo to be considered ‘serious’.
20. 140.▲
    by toastal 2y ago

    Always kudos towards taking a self-hosted-forge approach
21. 141.▲
    by toastal 2y ago

    Just a reminder: there are alternative search engines, & most of those don’t work without JavaScript & should still be a target
22. 142.▲
    by toastal 2y ago

    Same as using GMail without PGP. GMail users are selling out the the rest of our data to Google by having one side of that conversation. It’s the same reason I am generally against using a gateway between Discord & IRC/XMPP/Ma
23. 143.▲
    by toastal 2y ago

    > less drastic than switching to something like Dvorak Still no regrets. With software being such an important thing to my life, easy snake_case & kebab-case a big reason I haven’t been interested in switching to another layout.
24. 144.▲
    by toastal 2y ago

    The value add is the whole OS, top-to-bottom is now an expression of its declarative config which the others have you mutate files for config that inevitably go stale. Having used it for a couple years now, it’s hard to express how much mor
25. 145.▲
    by toastal 2y ago

    I feel bad for us in the Meta Lang Gang.
26. 146.▲
    by toastal 2y ago

    Marketing & social media pervade everything now
27. 147.▲
    by toastal 2y ago

    If you are doing development, something like NixOS or Guix will pay dividends. They have a higher learning curve but you can apply those stateless builds to your work as well as the rollback potential for when stuff doesn’t work. You can de
28. 148.▲
    by toastal 2y ago

    v3 has a lot of features folks don’t talk about. But XMPP MUCs are still kicking too.
29. 149.▲
    by toastal 2y ago

    Another project locking its communications to the Discord black hole.
30. 150.▲
    by toastal 2y ago

    Microsoft GitHub is fully proprietary & while Microsoft may or may not be pulling some strings, Git is independent. OP is asking if the free & paid software have the same owner.