<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 :)
<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]
<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