I like the motivation of the problem: use mathematical rigor to guaruntee something that is complex and certainty is a requirement, like crypotcurrency, is valid.
rutrum
joined 2 years ago
Its pronounced "coke" I believe. Its named after the french mathematician Thierry Coquand. Apparently coq is also a name for rooster. According to wikipedia, computer science in France frequently names things after animals? Idk dont we all?
You could always dip your toe into a tiling window manager instead of a desktop environment. Its got an initial learning curve, and it helps to have something to do to learn it, and not just playtesting it.
I needed to write in fields of a pdf and ran this quickly only to find out there wasnt such a feature. If I missed something let me know, it looks like great software.
You want to look at the registry. Run nix registry list. You'll see that nixpkgs by default points to unstable. You override this in your config. I've done that, where nixpkgs is stable and "unstable" is unstable.
EDIT: heres part of my home manager config that changes this: https://github.com/rutrum/dots/blob/master/users/modules/cli/nix.nix#L15
I think this has to do with flakes. If you run something as a flake it doesnt use channels, which is the alternative. The import is looking for it as a channel on the host machine. With flakes its provided as an input.
It looks like nixinfo is explicitly looking for channels to tell you info, like how neofetch would tell you interesting stats. The same does not apply with flakes. There's no "default" upstream package base that can queried by the system.
I think a bigger concern is if someone managed to access bitwarden on a logged in instance. Think, leaving your laptop open, or someone steals it from you. If theres two apps for logging then both apps need to be accessible/compromised.
Do you self host or are you running a nextcloud-managed instance?
Sometimes the app just shows a barcode that they scan. I always screenshotted the barcode and deleted the app. Better yet, save the barcode in catima https://catima.app/
First wow character. Not sure how I came up with it. I knew I wanted it in "two parts" so I could name all my wow characters the same way: rutrum, vinrum, seprum...and many others Im sure. Havent logged into world of warcraft in many many years.
Most people don't validate anything on a resume, depends on industry. If you think its too personal, dont put it. Make it up. Dont put your phone number or address if you dont want to. Or lie. Most applications I applied for I put the address of the town center in the city I live in. They dont need to know my actual address until I talk with payroll.
Futhark is another language with the same goals, executed differently.