brokenix

https://emacs.ch/@brokenix

> Intrinsic proofs require work, for Extrinsic proofs there s Curry Howard correspondence
pedantic noob
all content CC BY-SA 4.0
#nobot
> i am not a book about me .
> https://git.sr.ht/~carnotweat/morning-rust

gpg: openpgp4fpr:eefd2cef6588dd932d03b3f8b2ebc88e61d17acd
blog: https://carnotweat.srht.site/posts/
Git: https://git.sr.ht/~carnotweat/scratch-nix-repl

Public Key

npub1xy2cemafea0pkn484tedn569e2yx060xnzk5ppkz7px4hzh89q6sdnl5zl

NIP-05 Address

brokenix_at_emacs.ch@momostr.pink

Profile Code

nprofile1qqsrz9vva75u7hsmf6n64uke6dzu4zr8a8nf3t2qsmp0qn2m3tnjsdgpzemhxue69uhhyetvv9ujumn0wd68ytnzv9hxgfrpwju

Publishing to

relay.nostr.band

Author Public Key

npub1xy2cemafea0pkn484tedn569e2yx060xnzk5ppkz7px4hzh89q6sdnl5zl

Show more details

Last Notes

2024-06-29 06:58:08

#Nixpkgs provides a test environment to automate integration testing for distributed systems. It allows defining tests based on a set of declarative NixOS configurations and using a #Python shell to interact with them through #QEMU as the backend. Those tests are widely used to ensure that NixOS works as intended, so in general they are called NixOS Tests.
https://nix.dev/tutorials/nixos/integration-testing-using-virtual-machines

2024-05-29 23:54:32

- reply

and I am auth' ing with doas and ssh_auth keys ,on nixos , that's getting tricky
I ll try chroot

2024-05-29 22:46:49

#doas : multiple security issues
Buffer overflow (privilege escalation to root)
Broken UID parsing falls back to root (CVE-2019-15900)
Incorrect group change behaviour (CVE-2019-15901)
https://github.com/slicer69/doas/pull/23

2024-04-23 12:05:08

Weird title for a paper heh
https://media.emacs.ch/media_attachments/files/112/320/439/959/115/429/original/498956b654293dcb.jpg

2024-03-25 17:45:23

Protect your personal data with #aweSIM, a privacy-focused cellular service.
#librem #purism