Nostr Web Client

Raito Bezarius

5ab0ff62d0dc33bfa5c3380d991e650e4c28b949f6d524e2ef77068e8ebf37d5

#Lix developer, #NixOS developer, #Lean theorem prover user. My interests revolve around formal verification, evolutions of the Nix model, firmware platform security, public policies and (geo)politics. Alternatively, I enjoy Japanese animation and culture. My DMs are open for anything and everything.

Raito Bezarius 2y ago

nostr:npub1ua7ld4as3dplpjfwdws9mk57y6cjrm4scxtcwhm825r7u02hul2qlmrrg3 into_iter instead of iter?

Replying to

stefan b

Nix/OS keeps impressing me - TIL that you can write a script in arbitrary languages and then add a nix-shell shebang to set up the environment using the standard Nix repo biz

so, you can do:

#! /usr/bin/env nix-shell

#! nix-shell -i python3 -p python3Packages.beautifulsoup4 python3Packages.prettytable

from bs4 import BeautifulSoup

from prettytable import PrettyTable

..more Python code..

no need to create / understand language-specific virtual environments

super cool!

#linux #nix #nixos

Raito Bezarius 2y ago

nostr:npub1wl0tzswcyamc27vm2c77lltf5l3kqq443tmp8gws2qmy3vdw8ljqlzpv54 this feature has even advanced property like you can do --pure to have self contained pure Bash scripts that removes external environment variables

I use it to create "pure environment" for testing etc.