gchristensen changed the topic of #nixos-chat to: NixOS but much less topical || https://logs.nix.samueldr.com/nixos-chat
<simpson> gchristensen: This shows up in loglangs. For example, in Lojban, {vecnu} is a 4-ary predicate; you could say that its valence is 4 like a linguist, or that its arity is 4 like a mathematician: http://vlasisku.lojban.org/vecnu
<gchristensen> yeah
<gchristensen> pretty coool
<gchristensen> never thought about it like that
<ldlework> gchristensen: another interesting lojbanic tidbit, it has virtually no noun words. Instead, to create a noun description, you wrap one of the predicates in lo and ku to capture the first argument in that arity described above
<ldlework> like "lo vecnu ku" is "some seller"
<gchristensen> wow
<ldlework> mi being one of those exceptional "noun words" that means "me, the speaker"
<ldlework> so with another predicate like "viska: x1 visually sees x2"
<ldlework> you can already speak lojban
<ldlework> mi viska lo vecnu ku
<ldlework> I see some seller.
<ldlework> all you need is a list of predicates
<simpson> And this is why Lojban newbies get hung up by several weeks of having to learn lots of vocab.
<gchristensen> :D
<ldlework> simpson: yeah but as the savings of irregular not-trivial grammar
<ldlework> s/as/at
* infinisil 's motivation to learn lojban is increasing
<infinisil> I'm not surprised to find a couple more people in here interested in it :)
<simpson> infinisil: /join #ckule and also try https://mw.lojban.org/papri/la_karda
<ldlework> I wrote a guide for lojban who's aesthetic is "teach it to programmery types on freenode as fast as possible before you lose their attention"
<ldlework> simpson just linked it
<infinisil> Heh
<infinisil> That's a nice website
Synthetica has quit [Quit: Connection closed for inactivity]
lassulus_ has joined #nixos-chat
jtojnar has quit [Ping timeout: 264 seconds]
lassulus has quit [Ping timeout: 268 seconds]
lassulus_ is now known as lassulus
matthewbauer has joined #nixos-chat
matthewbauer has quit [Ping timeout: 256 seconds]
balsoft has joined #nixos-chat
Synthetica has joined #nixos-chat
balsoft has quit [Quit: balsoft]
Synthetica has quit [Quit: Connection closed for inactivity]
jtojnar has joined #nixos-chat
Guest51315 has joined #nixos-chat
jtojnar has quit [Ping timeout: 248 seconds]
Guest51315 has quit [Ping timeout: 240 seconds]
jtojnar has joined #nixos-chat
jtojnar has quit [Ping timeout: 240 seconds]
jtojnar has joined #nixos-chat
Guest51315 has joined #nixos-chat
__monty__ has joined #nixos-chat
jtojnar has quit [Quit: jtojnar]
jtojnar has joined #nixos-chat
Guest51315 has quit [Changing host]
Guest51315 has joined #nixos-chat
Guest51315 is now known as adamt
jtojnar has quit [Ping timeout: 276 seconds]
__monty__ has quit [Ping timeout: 264 seconds]
__monty__ has joined #nixos-chat
jtojnar has joined #nixos-chat
__monty__ has quit [Quit: rebootying]
__monty__ has joined #nixos-chat
jtojnar_ has joined #nixos-chat
jtojnar has quit [Ping timeout: 245 seconds]
jtojnar_ is now known as jtojnar
jtojnar_ has joined #nixos-chat
jtojnar has quit [Ping timeout: 264 seconds]
jtojnar_ is now known as jtojnar
adamt has quit [Ping timeout: 245 seconds]
jtojnar has quit [Quit: jtojnar]
jtojnar has joined #nixos-chat
matthewbauer has joined #nixos-chat
Synthetica has joined #nixos-chat
jtojnar has quit [Quit: jtojnar]
jtojnar has joined #nixos-chat
matthewbauer has quit [Ping timeout: 248 seconds]
matthewbauer has joined #nixos-chat
adamt has joined #nixos-chat
adamt is now known as Guest11225
atu has joined #nixos-chat
Guest11225 has quit [Ping timeout: 268 seconds]
atu has quit [Ping timeout: 256 seconds]
jD91mZM2 has joined #nixos-chat
__monty__ has quit [Ping timeout: 256 seconds]
matthewbauer has quit [Remote host closed the connection]
__monty__ has joined #nixos-chat
__monty__ has quit [Client Quit]
matthewbauer has joined #nixos-chat
balsoft has joined #nixos-chat
balsoft has quit [Quit: balsoft]
dmc has quit [Ping timeout: 244 seconds]
jtojnar has quit [Ping timeout: 240 seconds]
dmc has joined #nixos-chat
balsoft has joined #nixos-chat
jtojnar has joined #nixos-chat
balsoft has quit [Quit: balsoft]
<gchristensen> my new automatic tests for the Packet.net installers run nixos-rebuild boot, reboot, and then using `expect` manipulates the GRUB interface at boot time to make sure it actually works :D
<samueldr> witchcraft
<LnL> nice
<samueldr> automated automatic tests or manually run automatic tests?
<gchristensen> its really trivial with the serial console being over ssh
jD91mZM2 has quit [Quit: WeeChat 2.0]
<LnL> yeah wait, they support that?
<gchristensen> they do
<gchristensen> `ssh serveruid@sos.region.packet.net` and you get the console
jtojnar_ has joined #nixos-chat
jtojnar has quit [Read error: Connection reset by peer]
<LnL> that's super nice
jtojnar has joined #nixos-chat
<gchristensen> samueldr: later, when I can open source the code, I'm going to hook it up to buildkite to be actually automatic on PRs
<samueldr> :D
<samueldr> I should look into ssh+serial for ARM
<samueldr> I mean, cheap SBCs
<samueldr> I know it's possible, I finally got my cheapo usb serial stuff
jtojnar_ has quit [Ping timeout: 276 seconds]
<gchristensen> I want to look in to using Intel AMT for implementing the same idea for physically local machines, so I can make a nixos install "test lab" of physical hardware
<samueldr> that would be slick
<samueldr> especially since you can power off / on at will
<gchristensen> yup
<gchristensen> and can do testing on regular hardware, instead of server-grade with IPMI.
<samueldr> isn't there also support for something like ATA over Ethernet or SCSI over network
<gchristensen> dunno
<samueldr> could (not sur if it would) be closer to a regular usb or CD boot than netboot
<gchristensen> ohh pretty sure that can be done, yeah
<gchristensen> I would _love_ some help researching this if you can :)
<samueldr> trouble is, it's tempting!
<samueldr> I even bought my computer with AMT knowing that fun could be had
__monty__ has joined #nixos-chat
yorick has quit [Ping timeout: 256 seconds]
yorick has joined #nixos-chat
balsoft has joined #nixos-chat
balsoft has quit [Ping timeout: 264 seconds]
Lisanna has joined #nixos-chat
__monty__ has quit [Quit: leaving]
<infinisil> Gosh, I'm currently finishing an assignment from university of writing a compiler in Java..
<ldlework> phew
<ldlework> infinisil: a compiler of what
<infinisil> Java is *not* well suited for writing a compiler.. Especially the AST part
<infinisil> A miniature java-like language
matthewbauer has quit [Ping timeout: 265 seconds]
<infinisil> I mean, it's still interesting and you learn a lot, but it would be much nicer to do it in e.g. Haskell
<ldlework> Power recently went out, when my internet came back, I am connected to IRC, and I can ping things by IP but can't resolve any DNS
<ldlework> can't look at google to figure out how to resolve that problem
<ldlework> lol
<infinisil> Yeah also happened often to me
<infinisil> You'll want to use a DNS resolver that's not your ISP
Sonarpulse has quit [Ping timeout: 248 seconds]
<makefu> ldlework: you could ask the irc for help. "what is the ip address of google.com"
<ldlework> lol
<makefu> google.com has address 172.217.21.206
<makefu> at least for me right now
<infinisil> 216.58.207.78
<infinisil> for me
<makefu> for emergencies i have this in my ctrl-r history: echo nameserver 8.8.8.8 | sudo tee /etc/resolv.conf
<infinisil> Oh, I've been editing it manually
<infinisil> I now have 1.1.1.1 set as a default
<makefu> 1.1.1.1 should work as well
<makefu> and it is not google
<infinisil> Indeed
<infinisil> I originally wanted to use 9.9.9.9 (https://www.quad9.net/), but have had some trouble with it
<infinisil> Don't take my word for it though, not sure if it was their fault or just my incompetence
<ldlework> what's the way to change my dns servers using nix so Ican do a rebuild and get dns back
<ldlework> lol
<ldlework> I guess I can look that up
<infinisil> networking.nameservers
<infinisil> And you need dns for the initial rebuild, you can use makefu's command to change it temporarily without a rebuild
matthewbauer has joined #nixos-chat
<gchristensen> anyone really good with jq? :)
<infinisil> gchristensen: Dezgeg certainly is, and I'm not too bad at it either I'd say
<gchristensen> given https://gist.github.com/grahamc/9107af3f0dd330094e7566148f92c5f7 I'd like a list of regions (ie: ams1) where the class (ie: c1.large.arm) is not "unavailable"
<gchristensen> or rather, is limited / normal
<infinisil> The specific class "c1.large.arm" should not be unavailable, or all classes shouldn't be?
<gchristensen> my goal is to know what regions I can provision a c1.large.arm in, so I'll know the specific class aheaed of time
<gchristensen> does that make sense?
<infinisil> Yeah, hold on almost got it
<gchristensen> :D
<gchristensen> back in ~10
<infinisil> gchristensen: jq 'to_entries[] | select(.value."c1.large.arm".level != "unavailable") | .key'
<gchristensen> how about one more thing -- only printing regions where the class is present in the region
<LnL> gchristensen: btw, we have an epub link for the manual now https://hydra.nixos.org/build/75634757
<gchristensen> so that is printing yyz1, but c1.large.arm isn't theere at all
<gchristensen> LnL: yay!
<infinisil> gchristensen: Um hold on
<infinisil> gchristensen: jq 'to_entries[] | .key as $region | .value | has("c1.large.arm") | select(."c1.large.arm".level != "unavailable") | $region'
<infinisil> Or jq 'to_entries[] | select((.value | has("c1.large.arm")) and .value."c1.large.arm".level != "unavailable") | .key'
<gchristensen> oohh
<gchristensen> nice!
<infinisil> gchristensen: Or even shorter: jq 'to_entries[] | select((.value."c1.large.arm".level // "unavailable") != "unavailable") | .key'
<infinisil> Didn't know it had the // like Nix!
<simpson> Dang, I'm late to the jq party.
matthewbauer has quit [Remote host closed the connection]
matthewbauer has joined #nixos-chat
<joepie91> ... I only just realized how much Elm and Nix look alike, language-wise