@harryprayiv

75 Followers
217 Following
679 Posts
Parent, Anarcho-Syndicalist

💯: open-source, decentralized technologies only (wherever possible).
- Functional Programmer (learning FRP and post-FRP approaches)
❤️: elegance, formality, purity, immutability, totality, composability
🤮: overly-pragmatic, unsafe, "move fast and break things" approaches
---
AC24 1DE5 AE92 3B37 E584 02BA AAF9 795E 393B 4DA0

This person made something really cool..and perhaps related to Hell.

Linear types with Zig-like memory management. Interesting.

https://github.com/surprisetalk/slap

GitHub - surprisetalk/slap: linear concat language

linear concat language. Contribute to surprisetalk/slap development by creating an account on GitHub.

GitHub

Brutal.

When Microsoft acquired GitHub.

As I ponder the benefits of a system built using nix-hell instead of bashisms, I’m optimistic I might have a reliable way to encapsulate secrets in my Nix CI without them leaking due to potential bashisms.

I’m fooling myself, because in the end, Nix-Hell does allow me to call executables; keep thinking about that recent hack involving workflow CI.

Dev used a completion plugin and that completion plugin had a malware that was able to obtain secrets and send them off. ::shudders::

I adore #Haskell and #Purescript and I’m very tired of using the brilliant but utterly BRITTLE #bash in the context of #Nix and #nixos infrastructure. Bash isn’t lazy, it’s not purely functional, and it commits the sin of “everything is a string”!

So, I forked a REALLY cool scripting language called #HellLanguage and added Nix-specific functionality to fully replace bash. #nixhell

I’ve already gotten quite far to the point that it is usable.

Current progress here:
https://github.com/harryprayiv/nix-hell/tree/phase2

GitHub - harryprayiv/nix-hell at phase2

Haskell-based shell scripting language (extended to work as an alternative nix scripting language) - harryprayiv/nix-hell

GitHub
We are not the same - Lemmy.World

Lemmy

RE: https://mastodon.thenewoil.org/@thenewoil/116284627411903130

Thats how it's done!
Age verification doesn't "solve" the problem of pedophelia it doesnt "protect the children" much at all.
It is the wrong approach for such an issue.
The way of how any operating system shall now implement age checks makes no sense, as anyone can simply lie about their age and then be treated as an adult. Like what does this mandatory age verification do in an operating system? It makes no sense.
#ageverification #grafeneos

The Engineer Who Tried to Put Age Verification Into Linux

Dylan, useful idiot with commit access, pushed age verification PRs to systemd, Ubuntu & Arch, got 2 Microslop employees to merge it, called it 'hilariously pointless' in the PR itself, then watched Lennart personally block the revert. Unpaid compliance simp.

Sam Bent

I found the absolute worst, most morally bankrupt person in open source.

This “person” #dylantaylor is being paid to compromise open source projects by adding age verification functionality in many projects spanning the whole ecosystem. If we don’t name and shame this person right now, things are going to get a whole lot worse. We see you, Meta, funding attempts to undermine free and open source projects.

#meta #ageverification #ChatControl

The extent to which core linux projects are laying the groundwork for age verification is very concerning.

I understand why some believe they are compelled to do so, and why others feel that it may be better to implement the most minimal conforming implementation in the hopes of fending off something worse.

But the line must be drawn such that no threat can obligate an OS to collect/store personal information - without that freedom, we face an uphill fight to protect general purpose computing.