gchristensen changed the topic of #nixos-chat to: NixOS but much less topical || https://logs.nix.samueldr.com/nixos-chat
<dtz> Interesting paper for Nix-nerds: http://stanford.edu/~sadjad/gg-paper.pdf
<dtz> although can't help but feel they should've done it with Nix :D
drakonis has quit [Remote host closed the connection]
<zybell_> dtz: https://github.com/gg-anon/gg is the repo
<zybell_> I believe they arent even aware that Nix exists.
<adisbladis[m]> It looks a bit like what https://github.com/fractalide/fractalide tries to achieve except less crazy
<zybell_> Their paper (reading atm)has given me an idea:strace2nix. You run a normal build in `strace -o log -f ...`and transform the log to a .nix!
<zybell_> Every lang supported!
<dtz> Fwiw: https://github.com/StanfordSNR/gg is real repo, their org has some supporting bits
<zybell_> didnt scroll to the double blind bit.
<zybell_> adisbladis[m]:fractalide crazy? the idea to abstract dependencies with a contract is missing from nix. to add it on the wrong level (beyond nixops)may be misguided, but crazy?
<adisbladis[m]> zybell_: The idea is not crazy, the implementation kinda is
<zybell_> using rust you mean?
<zybell_> or the deep dirs?
MichaelRaskin has quit [Quit: MichaelRaskin]
<sphalerite> dtz: "Draft of Sep. 25, 2017 (under double-blind review; please do not redistribute)"? >.>
<zybell_> he linked, he didnt dist.
<sphalerite> tbf the review is probably done by now :p
<zybell_> if its the EU doing the review probably not;-)
<sphalerite> Useful tech idea: head/eye tracking for window focus
<sphalerite> It's probably been done, but I don't have it >:U
<sphalerite> Hm, I wonder what became of chocopuff, the person who wanted to implement a declarative config thing for gentoo
<sphalerite> (iirc)
<zybell_> Fwiw:I laughed as I read that the Stanford people (^) use the hash of a x86-64 binary as spec for the functionality in their json format.They dont realise that it is a memoized build input too and the correct hash were of a json-file specifying the build of said functionality.Then it works cross platform too!
<dtz> Good catch! Found the paper on Google scholar so hopefully it's all good O:). They even have a paper that cites it. Hmm.
<dtz> Offhand they get better performance than I'd expect to see from similar via some nix-make thing. The "model"s are interesting, they capture what I was calling "compilation continuations". And while they don't explore it I was hoping that optimizing transforms over a build graph would be novel. Maybe I'll reach out and try to combine forces...
<dtz> But yeah shame they don't seem to even know about nix lol
<disasm> why the world desperately needs nix :) https://m.xkcd.com/1987/
<dtz> Lmao
<LnL> I was just going to post that
<LnL> I've actually been working on a pythonng generator the last few days :D
Sonarpulse has joined #nixos-chat
<zybell_> although python does sth right even nix doesnt get:every extensible package can declare its extension logic, and python uses that.
* zybell_ goes afk
zybell_ has quit [Ping timeout: 256 seconds]
taktoa has quit [Remote host closed the connection]
zybell has joined #nixos-chat
stammon has joined #nixos-chat
MichaelRaskin has joined #nixos-chat
drakonis has joined #nixos-chat
zybell has quit [Ping timeout: 260 seconds]
zybell has joined #nixos-chat
<drakonis> this seems random, but can the nix store be altered to be store/<package>/<version>-<hash>/<contents> instead of store/<package>-<version>-<hash> ?
<drakonis> make it a bit more orderly
<drakonis> got the folder name format wrong but still
<drakonis> ah what the hell, i'll find which part handles the store and write some code to see how it looks like
drakonis has quit [Remote host closed the connection]
drakonis has joined #nixos-chat
drakonis has quit [Remote host closed the connection]
drakonis has joined #nixos-chat
drakonis has quit [Remote host closed the connection]
drakonis has joined #nixos-chat
<dtz> :D
nckx has joined #nixos-chat