yegortimoshenko has quit [Remote host closed the connection]
yegortimoshenko has joined #nixos-dev
orivej has quit [Quit: No Ping reply in 180 seconds.]
orivej has joined #nixos-dev
pie__ has quit [Quit: Leaving]
yegortimoshenko has quit [Quit: WeeChat 2.0]
ma27 has quit [Ping timeout: 252 seconds]
pie_ has joined #nixos-dev
<niksnut>
gchristensen: fixed
Sonarpulse has quit [Ping timeout: 248 seconds]
<gchristensen>
great, thank you niksnut
orivej has quit [Ping timeout: 252 seconds]
orivej has joined #nixos-dev
phreedom has quit [Remote host closed the connection]
yegortimoshenko has joined #nixos-dev
mbrgm has quit [Ping timeout: 240 seconds]
ciil_ has joined #nixos-dev
mbrgm has joined #nixos-dev
shlevy_ has joined #nixos-dev
andi- has quit [*.net *.split]
clever has quit [*.net *.split]
shlevy has quit [*.net *.split]
ciil has quit [*.net *.split]
simpson has quit [*.net *.split]
clever has joined #nixos-dev
clever has joined #nixos-dev
clever has quit [Changing host]
mbrgm has quit [Ping timeout: 260 seconds]
mbrgm has joined #nixos-dev
simpson has joined #nixos-dev
andi- has joined #nixos-dev
{^_^} has quit [Excess Flood]
{^_^} has joined #nixos-dev
{^_^} has quit [Excess Flood]
{^_^} has joined #nixos-dev
{^_^} has joined #nixos-dev
orivej_ has joined #nixos-dev
orivej has quit [Ping timeout: 268 seconds]
pie_ has quit [Ping timeout: 248 seconds]
infinisil has quit [Quit: ZNC 1.6.5 - http://znc.in]
infinisil has joined #nixos-dev
<yegortimoshenko>
hi! can i backport a fix to 17.03? kernel config change
orivej_ has quit [Ping timeout: 240 seconds]
orivej has joined #nixos-dev
orivej has quit [Ping timeout: 240 seconds]
orivej has joined #nixos-dev
pie_ has joined #nixos-dev
orivej has quit [Ping timeout: 264 seconds]
orivej has joined #nixos-dev
orivej has quit [Ping timeout: 248 seconds]
pie_ has quit [Ping timeout: 260 seconds]
orivej has joined #nixos-dev
ma27 has joined #nixos-dev
orivej has quit [Read error: Connection reset by peer]
ma27 has quit [Quit: WeeChat 2.0]
ma27 has joined #nixos-dev
orivej has joined #nixos-dev
orivej has quit [Read error: Connection reset by peer]
orivej has joined #nixos-dev
orivej has quit [Ping timeout: 252 seconds]
orivej has joined #nixos-dev
orivej has quit [Ping timeout: 240 seconds]
pie_ has joined #nixos-dev
orivej has joined #nixos-dev
pie_ has quit [Ping timeout: 240 seconds]
<niksnut>
yegortimoshenko: sure
orivej has quit [Quit: No Ping reply in 180 seconds.]
orivej has joined #nixos-dev
FRidh[m] has quit [Quit: idle on matrix for more than 30 days]
WilliButz has quit [Quit: WeeChat 1.9.1]
ma27 has quit [Ping timeout: 252 seconds]
ma27 has joined #nixos-dev
<gchristensen>
niksnut: I think we're careening towards aarch64 support for NixOS 18.03. do you have any objections to this? :P
Mic92 has quit [Ping timeout: 272 seconds]
jtojnar has quit [Ping timeout: 256 seconds]
{^_^} has quit [Remote host closed the connection]
{^_^} has joined #nixos-dev
{^_^} has quit [Changing host]
{^_^} has joined #nixos-dev
pie_ has joined #nixos-dev
jtojnar has joined #nixos-dev
{^_^} has quit [Remote host closed the connection]
{^_^} has joined #nixos-dev
{^_^} has quit [Remote host closed the connection]
{^_^} has joined #nixos-dev
{^_^} has joined #nixos-dev
pie__ has joined #nixos-dev
ewog has joined #nixos-dev
ewog has left #nixos-dev [#nixos-dev]
phreedom has joined #nixos-dev
phreedom has quit [Remote host closed the connection]
phreedom has joined #nixos-dev
WilliButz has joined #nixos-dev
Mic92 has joined #nixos-dev
goibhniu has joined #nixos-dev
jtojnar has quit [Read error: Connection reset by peer]
orivej has quit [Ping timeout: 240 seconds]
taktoa has joined #nixos-dev
orivej has joined #nixos-dev
orivej has quit [Ping timeout: 256 seconds]
zarel has joined #nixos-dev
<pie__>
ignoring for the moment all the unsupported features from linux that nix/os depends on, id like it if i could use it on openbsd but the openbsd people would probably definitely think its too complicated :/
<domenkozar>
peti: if you have a few minutes I'd like to discuss cabal2nix system pacakges handling
orivej has joined #nixos-dev
orivej has quit [Ping timeout: 260 seconds]
orivej has joined #nixos-dev
phreedom has quit [Ping timeout: 240 seconds]
phreedom has joined #nixos-dev
orivej has quit [Read error: Connection reset by peer]
orivej has joined #nixos-dev
orivej has quit [Read error: Connection reset by peer]
orivej has joined #nixos-dev
<pie__>
is nix a context free language?
<globin>
pie__: yes, but not parsable with a one char lookahead due to multiline string escaping IIRC
<pie__>
ok thanks
<globin>
pie__: ''echo ''${foo} bar''
<infinisil>
globin: Is that still context-free though?
<globin>
infinisil: I'm 99% sure, even more after skimming the laws
<pie__>
is there anything that can be worked on to simplify nix?
<infinisil>
oh hold on, i should still know the pumping lemma about context-free grammars
* infinisil
thinks
orivej has quit [Ping timeout: 240 seconds]
<infinisil>
wait but you can only show that a grammar /isn't context free with that
orivej has joined #nixos-dev
<pie__>
:P
<infinisil>
I'd need to construct a ruleset with only mappings from non-terminals
<infinisil>
to show it's context free
phreedom has quit [Ping timeout: 268 seconds]
phreedom has joined #nixos-dev
orivej has quit [Quit: No Ping reply in 180 seconds.]
yegortimoshenko has quit [Remote host closed the connection]
orivej has joined #nixos-dev
yegortimoshenko has joined #nixos-dev
joachifm_ has quit [Remote host closed the connection]
phreedom has quit [Ping timeout: 248 seconds]
ciil_ has quit [Quit: leaving]
ciil has joined #nixos-dev
yegortimoshenko has quit [Remote host closed the connection]
yegortimoshenko has joined #nixos-dev
aminechikhaoui has quit [Read error: Connection reset by peer]
ma27 has quit [Ping timeout: 246 seconds]
ma27 has joined #nixos-dev
orivej has quit [Remote host closed the connection]
orivej has joined #nixos-dev
ma27 has quit [Ping timeout: 255 seconds]
aminechikhaoui has joined #nixos-dev
ma27 has joined #nixos-dev
orivej_ has joined #nixos-dev
goibhniu has quit [Ping timeout: 240 seconds]
orivej has quit [Read error: Connection reset by peer]