Synthetica has quit [Quit: Connection closed for inactivity]
<andi->
if I just had a usecase for that nice hardware :/
Lisanna has joined #nixos-chat
Lisanna has quit [Quit: Lisanna]
<drakonis1>
__monty__: its really a matter of "i don't see where can guix go next"
<drakonis1>
by going with guile they effectively walled themselves to just guile
<drakonis1>
its not like we'll be seeing any other implementations of guix's spin on the whole thing
<drakonis1>
i know there's a haskell nix and a rust nix right now
<drakonis1>
but they exist within nix
<sphalerite>
andi-: small light inexpensive laptop for travelling light? :)
<sphalerite>
andi-: bringing forth the non-intel revolution?
<Ralith>
non-intel, meh, gimme non-black-box
<andi->
sphalerite: the non-intel revolution yes.. light I doubt it :) My smaller thinkpad is just about 1kg
<andi->
and that is basically the point where I do not really care
<sphalerite>
Ralith: well, you can run your own firmware on it
<drakonis1>
random question: nix on fosdem/
<drakonis1>
?
<sphalerite>
drakonis1: yes, at the very least we mayflower people will be hanging about the Distributions devroom
<Ralith>
sphalerite: can I run my own firmware on whatever horrid backdoor chip is inevitably wired in?
<sphalerite>
Ralith: not sure about that. There's someone working on doing exactly that though
<sphalerite>
Ralith: the older ARMv7 one I had before this one didn't have such a chip
<drakonis1>
mayflowers, heh
<__monty__>
drakonis1: If the underlying .drv's are identical I really don't see the problem with guile. You could still use nix to generate your .drv's for guix.
<drakonis1>
they are trying to get rid of nix vOv
<drakonis1>
rather
<drakonis1>
rewriting all their components with guile
<sphalerite>
I think using guile over bash for building all the software isn't too awful an idea.
<drakonis1>
would be nice, yes.
<drakonis1>
but the derivations are written with the guile syntax now
<Ralith>
what does that even mean
<sphalerite>
that sounds more useful than ATerm tbh.
<drakonis1>
have you ever written lisp?
<Ralith>
I've written quite a lot of lisp; it's much more pleasant than writing nix :P
<drakonis1>
its all lisp there
<drakonis1>
but its only lisp
<drakonis1>
can't use anything
<Ralith>
nix and bash are both ad-hoc and archaic, originally built in a hurry without thinking about it too hard and then stuck by compatibility
<__monty__>
Nothing prevents you from writing a little guile interpreter for nix.
<__monty__>
Or use something like dhall-to-nix but nix-to-guile.
<drakonis1>
ya
<drakonis1>
well, nothing stops anyone from doing that and it is the nice thing
<drakonis1>
which is why nix has the higher growth potential, ain't nothing like being the current cool distro
<drakonis1>
speaking of dhall, what happened to it?
<drakonis1>
does dhallpkgs exist yet?
<sphalerite>
still alive
<drakonis1>
neat.
<drakonis1>
Ralith: strong words.
* Ralith
shrug
<Ralith>
if you look at bash and think "this looks like a perfect crystal of design," I don't think there's any saving you :P
<drakonis1>
i didn't say that lol
<drakonis1>
i think bash is very insane
<drakonis1>
never use it for anything complex
<sphalerite>
like stdenv? :D
<drakonis1>
probably
<__monty__>
drakonis1: Also, what are you going on about? Guix has "import nix /path/to/nix_expression"
<drakonis1>
which requires installing nix for that
<drakonis1>
its for converting nix derivations to guix derivations
<drakonis1>
i haven't peeked into stdenv, but i suppose it must be an eye gouging experience
<drakonis1>
can someone clarify hnix to me real quick?
<__monty__>
Why does it matter if it converts the expression?
<__monty__>
hnix is nix reimplemented in haskell afaik.
<drakonis1>
its hnix in nix, yes, but what else?
<drakonis1>
hnix in haskell, woops brain fart
<sphalerite>
what more do you want?
<sphalerite>
It's a library for parsing and evaluating nix.
<sphalerite>
That's all there is.
<drakonis1>
that's pretty much what i wanted to ask about
<drakonis1>
that's alright
<sphalerite>
There's some neat stuff built on top of it popping up
<__monty__>
It's nothing else. Some people hope it'll lead to a typed nix. Don't think that's the goal though.
<drakonis1>
the parsing would allow for some fun bits
<drakonis1>
i'd like to see more of these reimplementations to pop up
<clever>
i recently used hnix to generate some nix files, from haskell
<clever>
parsing and evaluation end of it entirely ignored
<drakonis1>
ah, welp.
<sphalerite>
drakonis1: there's rnix, written in rust, also
<drakonis1>
so i've heard.
<clever>
i am curious about getting builtins.derivation support in one or both of those, and then benchmarking it with some of my slower nix expression
<clever>
s
<clever>
though those also involve IFD as well, so that would be another hurdle to get things over
Lisanna has joined #nixos-chat
jasongrossman has quit [Ping timeout: 252 seconds]
drakonis_ has joined #nixos-chat
jasongrossman has joined #nixos-chat
__monty__ has quit [Quit: leaving]
drakonis has quit [Ping timeout: 245 seconds]
<infinisil>
clever: hnix evaluation is like 5 times slower or so iirc
<clever>
dang!
<clever>
infinisil: but also, i have a record of making a nix expression that takes over 3 days to eval, and making it eval in under 30 sec :P
<clever>
infinisil: i think i also heard something about sparks when i was first getting into haskell
<clever>
infinisil: one of the sticky points with snack in its current design, is that it involves ~800 IFD events, (one per haskell file in the build)
<clever>
and nix evaluates in a single thread, and pauses the eval when it hits IFD
<infinisil>
oh that's why it's so slow..
<clever>
so its constantly having to stop the eval, and do async builds
<drakonis1>
the nix roadmap talk has some nice proposals
<clever>
that makes the 1st eval take minutes
<clever>
after that, the evals are in the store, so it goes a lot faster
<clever>
but IFD is likely still an overhead, since it has to ask nix-daemon if the paths exist
<clever>
infinisil: oh, and snack somehow causes a stack overflow exception, lol
<clever>
i have to bump ulimit -s to even eval it, in the current state
drakonis has joined #nixos-chat
drakonis_ has quit [Ping timeout: 264 seconds]
drakonis_ has joined #nixos-chat
drakonis has quit [Ping timeout: 264 seconds]
<infinisil>
Man, sometimes I sure am stupid
<infinisil>
I wasted money on multiple occasions here in london now
<infinisil>
1. I didn't know that you couldn't bring big bottles on hand luggage and bad to pay extra for it being checked luggage
<clever>
infinisil: i popped 20 pounds into an oyster card, spent 4 getting to the hotel, and i'm not sure i can even use it to get back to the airport
<infinisil>
2. I charged my oyster card with too much (although I think that's refundable)
<clever>
infinisil: and it has to be <10 for an automated refund
<clever>
i think if the card has >10, you have to talk to a person for the refund
<infinisil>
3. I just bought the "leave at 2pm" fee for my hotel, and now I realize that I need to leave at like 10-11am
<clever>
and for extra fun, DST kicks in within 2 hours
<clever>
have fun double-checking all your schedules
<infinisil>
DST?
<clever>
daylight savings time
<clever>
clocks rolling back an hour
<infinisil>
OHh really that's now..
<clever>
2018-10-27 20:20:56 < mrvn> 1:40 till TZ change. I think I will sleep through it.
<clever>
a msg from ~5 mins ago
<infinisil>
So at 2am London time it will suddenly be 1am again
<clever>
i think so?
<clever>
so you have an extra hour!, i think
<infinisil>
At which point my time in switzerland will switch from 3am to 2am
<infinisil>
Yeah!
<infinisil>
Oh darn, I can't set my alarm because of the broken phone..
<infinisil>
This just had to happen at the best time eh