<siraben>
I've never heard "endomorphic" being used to describe an object with an endomorphism, so I adjusted that.
orivej has joined #nixos-dev
<sterni>
siraben: maybe we could rephrase that section completely there is no reason why documentation on this should require to be familiar with category theory terms I feel like :p
<siraben>
heh ok, I suppose putting preorder in parens isn't enlightening either 😅
<__monty__>
I agree it should be understandable without familiarity with category theory. But I do like having existing concepts that can help understanding mentioned.
<sterni>
I'm not too sure nix already relies heavily on FP concepts in many places while our contributors are not all functional programmers
<sterni>
there are some concepts you may need to understand at some point (fixpoints, …), but mentioning such things in docs may generate the impression that you need to understand what a category and a preorder is although it is not really necessary
<__monty__>
Just mark them as notes.
<__monty__>
Imo it's valuable information that shouldn't be shunned.
<domenkozar[m]>
replacing these terms with what it means in particular context makes the bar for reading that a lot lower
<__monty__>
I feel I'm being misunderstood. The explanation should be as simple as possible. In *addition* parallels to existing concepts should be mentioned. Whether it be in a lighter grey note box or as a footnote doesn't matter. What shouldn't happen is information is removed for the sake of people "allergic to math". Tutorial content is a different thing from in depth documentation.
<domenkozar[m]>
There could be a sentence on what it is and then the mathematical term in parenthesis
<domenkozar[m]>
there are different ways to do it anyhow, but having only math terms gives a really bad outlook that you need to be familiar with category theory to understand basic Nix functions like checking properties of platforms
<__monty__>
Yes, everyone agrees it shouldn't just be math.
<domenkozar[m]>
I don't think the math term is really needed, but I see no harm keeping it around so I'll stop bikeshedding :)
<domenkozar[m]>
I'm working on nixos weekly, any last minute things to include?
<dottedmag>
In a form "if you are familiar with CT, this is actually XYZ" it's perfect.
<dottedmag>
Simultaneously delivers information to those who are familiar with the field, and signals that it is optional.
<siraben>
I'll keep the math around but I'll say something to do the effect of "CPUs with multiple modes of endianness and pairwise compatible and every CPU is compatible with itself"
<siraben>
And in certain places mentioning a bit of math helps, e.g. the fix function being the least fixed point
<jtojnar>
domenkozar: sf bar → sf bay
<siraben>
I agree though, we should also make things clear and not impenetrable by invoking categories and preorders in a note about CPU compatibility :P
<siraben>
domenkozar: reading!
<domenkozar[m]>
siraben: great & great! :)
<domenkozar[m]>
Jan Tojnar: oh wow, what a freudian slip
<__monty__>
-freenode domenkozar[m]: LGTM (maybe add "a" in front of first-class citizen)
<siraben>
LGTM, though maybe add . to the end of the first two descriptions
<domenkozar[m]>
thanks everyone :)
avn has quit [Read error: Connection reset by peer]
justanotheruser has quit [Ping timeout: 272 seconds]
avn has joined #nixos-dev
justanotheruser has joined #nixos-dev
orivej has quit [Ping timeout: 240 seconds]
<hexa->
if joaquinito is really the author of #114090 et al I should say they are a widely known troll in most irc networks
<Mic92>
gchristensen: yes, it seems to be less invasive.
<Mic92>
I don't want to break cargoSha256 every release
<domenkozar[m]>
siraben++
<{^_^}>
siraben's karma got increased to 7
<siraben>
:D
jonringer has joined #nixos-dev
<gchristensen>
cool
<supersandro2000>
siraben: you are a lucky 7
<worldofpeace>
this whole situation with trafficserver is bizarre to say the least
<siraben>
out of the loop, what's happening?
<__monty__>
siraben: Maybe the third property can still be made clearer? I think it means a CPU is compatible with itself regardless of endianness mode but I'm not sure.
<siraben>
Ah I see it
<siraben>
weird
<worldofpeace>
I sense a troll personally
<gchristensen>
same
<siraben>
__monty__: I interpreted the original sentence by matthewbauer "CPUs with multiple modes of Endianness are isomorphic" as that
<siraben>
though is it true?
<__monty__>
siraben: I assume the binary can instruct the CPU's "endianness mode?"
orivej has joined #nixos-dev
justanotheruser has joined #nixos-dev
<siraben>
__monty__: Hm, I'm not sure, not too familiar with CPU arch and stuff
<{^_^}>
nix#2255 (by domenkozar, 2 years ago, open): Support zstd compression for binary caches
srk has quit [Remote host closed the connection]
srk has joined #nixos-dev
<eyJhb>
Ehhh... I think I found a bug in the php wrapper :p
<eyJhb>
I cannot disable `cliSupport`, as it will try to wrap `php` , which does not exists - `Builder called die: Cannot wrap '/nix/store/15n44xmcvm48w0c444691j6iw1nck4kw-php-with-extensions-7.4.15/bin/php' because it is not an executable file`
<eyJhb>
Also, setting `phpdbgSupport = false` will still create `bin/phpdbg`
<eyJhb>
Testing again to ensure
<rnhmjoj>
do you know if there is any way to run code after a nixos configuration has been unloaded/deactivated? sort of the opposite of activation scripts
<rnhmjoj>
there is an issue with nixos-containers leaving immutable state in /var/lib that could easily be solved if i could run a cleanup script after the container has been removed
<eyJhb>
etu: Any idea of the above? Really annoying that phpdbg will continue to stay. This is what I have - https://termbin.com/ortld
AlwaysLivid has joined #nixos-dev
cole-h has joined #nixos-dev
<cole-h>
rnhmjoj: Maybe you could look at what environment.etc does. I think that removes stale links when you remove some definition from your config and rebuild
<rnhmjoj>
cole-h: i'll take a look but i realised it's probably not possible because it would not be deterministic
<rnhmjoj>
environment.etc probably deletes and recreates the whole directory every time
rajivr has quit [Quit: Connection closed for inactivity]
<eyJhb>
rnhmjoj: Files in /etc persists on reboots, switches, etc. so it does not do a rm -rf /etc
janneke has quit [Ping timeout: 265 seconds]
janneke has joined #nixos-dev
<gchristensen>
would anyone be interested in porting hydra's docs to markdown for me?
pinpox has quit [Remote host closed the connection]
<immae>
gchristensen: did pandoc give bad results?
<gchristensen>
I haven't tried it (I've been pretty swamped)
<immae>
I can give it a try later tonight
<gchristensen>
cool
justanotheruser has quit [Ping timeout: 272 seconds]
<das_j>
so while I have never used yath or prove, the first PR looks legit
<das_j>
maybe you could start each test with a description of what it does so we can have a better baseline for future tests - or don't if you don't want to
<immae>
gchristensen: I need precision on what you plan to do with that .md file. Do you still want to produce an html out of it, or is it for other purpose?
<immae>
Because right now I have a script that can produce a markdown file out of the xml ones, but from there I’m not sure I would be able to produce the same html page as currently
<{^_^}>
#114182 (by colemickens, 31 seconds ago, open): nixos-install: support installing a minimal base, then nixos-enter and complete the full install
tokudan has quit [Remote host closed the connection]
greaka has quit [*.net *.split]
dottedmag has quit [*.net *.split]
fzakaria has quit [*.net *.split]
kgz has quit [*.net *.split]
FireFly has quit [*.net *.split]
arianvp has quit [*.net *.split]
<cole-h>
colemickens++ Just from the title, seems like a great idea
<{^_^}>
colemickens's karma got increased to 57
<cole-h>
It would make my `bootstrap` profile effectively useless
<gchristensen>
other than that it looks great immae
<cole-h>
:D
<immae>
Ok I’ll fix that note and make a PR then :)
<cole-h>
immae: another nit (might be a limitation of mdbook?) is that the footnote on that same page doesn't have an easy click-to-return button. Could just use one of the side mouse buttons / alt-left, but would be nice if there was one of those fancy buttons to click
<immae>
I searched for that indeed but I didn’t find it yet :/
<gchristensen>
back in a bit
<cole-h>
OK, then probably an mdbook limitation; nothing to be done, then ;)