Plutus, Haskell, Nix, Purescript, Swift/Kotlin. laser-focused on FP: formality, purity, and totality; repulsed by pragmatic, unsafe, "move fast and break things" approaches
AC24 1DE5 AE92 3B37 E584 02BA AAF9 795E 393B 4DA0
@programming.dev
Plutus, Haskell, Nix, Purescript, Swift/Kotlin. laser-focused on FP: formality, purity, and totality; repulsed by pragmatic, unsafe, "move fast and break things" approaches
AC24 1DE5 AE92 3B37 E584 02BA AAF9 795E 393B 4DA0
That should be their slogan.
edit: added slave labor, unfair market practices edit: added hazmat
Trains are awesome and I fully support them but let's not be idealistic here and pretend that true self driving cars will never happen.
Edit: jokes on you! I made a grammatical correction that makes your reply IRRELEVANT. š
The Finest Possible Caprese Sandwich:
Yes. Case in point: there are at least 10 Lemmy iOS apps. I'll give you ten guesses on which ones are actually native Swift...
There are a quite a few Android apps in progress too. How many are written in Kotlin?
Yes. What a strange question...as if hivemind fads are somehow relevant to the merits of a technology.
There are plenty of useful, novel applications for AI just like there are PLENTY of useful, novel applications for crypto. Just because the hivemind has turned to a new fad in technology doesn't mean that actual, intelligent people just stop using these novel technologies. There are legitimate use-cases for both AI and crypto. Degenerate gamblers and Do Kwan/SBF just caused a pendulum swing on crypto...nothing changed about the technology. It's just that the public has had their opinions shifted temporarily.
I merely want it as an option for those of us that want to use it.
No one is forcing anyone to use it. -> Speaking of which: Thatās the nice thing about flakes in a git repo. For those that want to use them, theyāre there and for those that want to use another method, nix flakes donāt step on that in any way. Itās a win-win.
We could even use it to create build OCI containers and/or Docker containers.
It shows. I dream of how cool this would look on a pro camera. Thereās something off about the sharpness and contrast that is sort of jarring. I can, however, see what your eyes saw that made you want a photo of it. I just wish your camera represented it better.
Any suggestions for a person that may travel to Kyoto next year?
Replying to you from the stupidest clone. This one truly is the slowest. Maybe because the users are testing/running so many bots and addons on this instance.
Decentralization FTW. ;)
Over the last decade, free software developers have been repeatedly tempted by development tools that offer the ability to build free software more efficiently or powerfully.
The only cost, we are told, is that the tools themselves are nonfree or run as network services with code we cannot see, copy, or run ourselves. In their decisions to use these tools and servicesāservices such as BitKeeper, SourceForge, Google Code and GitHubāfree software developers have made āends-justify-the-meansā decisions that trade away the freedom of both their developer communities and their users. These decisions to embrace nonfree and private development tools undermine our credibility in advocating for software freedom and compromise our freedom, and that of our users, in ways that we should reject.
In 2002, Linus Torvalds announced that the kernel Linux would move to the āBitKeeperā distributed version control system (DVCS). While the decision generated much alarm and debate, BitKeeper allowed kernel developers to work in a distributed fashion in a way that, at the time, was unsupported by free software toolsāsome Linux developers decided that benefits were worth the trade-off in developers' freedom. Three years later the skeptics were vindicated when BitKeeper's owner, Larry McVoy, revoked several core kernel developers' gratis licenses to BitKeeper after Andrew Tridgell attempted to write a free replacement for BitKeeper. Kernel developers were forced to write their own free software replacement: the project now known as Git.
Of course, free software's relationships to nonfree development tools is much larger than BitKeeper. The source to the free software development support service SourceForge was once available to its users but its authors have returned to a completely closed model. While SourceForge is built using free software, SourceForge users interact with the software over the web. Because users never have any copy of the SourceForge software, they can never demand source. Similar projects like CollabNet's Tigris.org, Google Code's āOpen Source Project Hostingā services, and GitHub, each served similar purposes and have kept their code similarly out of reach. Their services are often provided without charge and promoted for free software development, but this commitment does not extend to their own software that runs the development platforms. The source code to each of these systems remains private and unmodifiable by the developers using the services.
These nonfree development tools present a dilemma for many free software developers. The goal of many of these tools is, through more efficient free software development, more free software and more freedom. CollabNet, Google and GitHub each claim to want free software to succeed and claim they want to help it. For a series of reasons though these companies choose to support software freedom through means that are less in line with free software ethics than the ones they seek to create. The result is developers who are disempowered. The software freedom of the code these hackers produce is contingent on unacceptable exclusivity.
First, the use of nonfree tools sends an unacceptable message to users of the free software produced. āSoftware freedom is important for you as users,ā developers seem to say, ābut not for us.ā Such behavior undermines the basic effectiveness of the strong ethical commitment at the heart of the free software movement. As those that are already committed to free software, we should demonstrate that we can succeedāand thriveāusing free software. We should support free alternatives to proprietary systems such as Savane which can replace SourceForge or Google Code and runs GNU Savannah, or Gitorious which can replace GitHubāby using them and by improving them in the areas where they fall short.
Secondly, we should realize that, going forward, the software we produce is only as free as the software it depends on for its continued use, distribution, and evolution.
The GNU GPL license and source code mean little to a user attempting to modify a program without free access to the software required to make that modification. It is not only developers' freedom at stake but, eventually, their users and all future ādownstreamā developers as well. Those choosing to use nonfree tools put everyone at the whim of the groups and individuals who produce the tools they depend on.
While proprietary development tools may help free software developers create more free software in the short term, it is at an unacceptable cost. In the controversial area of private software and network services, free software developers should err on the side of ātoo muchā freedom. To compromise our principles in attempts to achieve more freedom is self-defeating, unstable, and ultimately unfair, to our users and to the larger free software development community.
Just as the early GNU maintainers first focused on creating free tools for creating free software, we should ensure that we can produce software freely and using unambiguously free tools. Our failure to do so will result in software that is, indirectly, less free. We should resist using tools that do not allow us the freedoms we are trying to provide our users in the development of their software and we should apply pressure on the producers of our development tools. Free software has not achieved success by compromising our principles. We will not be well served, technically, pragmatically, or ethically, by compromising on freedom of the tools we use to build a free world.
thanks for using Leebra!
go to feed...