jrolfs has joined #nix-darwin
<gchristensen> agreed, copumpkin
jrolfs has quit [Ping timeout: 240 seconds]
jrolfs_ has quit [Ping timeout: 240 seconds]
jrolfs has joined #nix-darwin
jrolfs has quit [Ping timeout: 256 seconds]
jtojnar has quit [Quit: jtojnar]
jtojnar has joined #nix-darwin
<adelbertc> johnw: what are your plans/goals w/ the hnix project? do you intend on it being a full re-implementation/alternative interpreter for Nix?
<johnw> hi adelbertc
<johnw> adelbertc: yes
<johnw> a complete replacement for C++ Nix
<adelbertc> coolio :+1
<johnw> if possible: faster, more secure, better UI, extensible, more featureful
<johnw> plus excellent integration into Haskell tooling
<adelbertc> nicee
<adelbertc> how far along are you guys?
<johnw> of the 171 Nix language tests
<johnw> there are 4 left
<johnw> and all 4 are easy
<adelbertc> :O
<adelbertc> thats awesome!
<johnw> then we need to fully implement derivaionStrict ourselves
<johnw> at which point we should be able to generate build scripts to be executed
<johnw> for the time being we'll shell out to nix-instantiate to do the actual work, while we keep implementing to replace that need
<adelbertc> nice nice
<adelbertc> are you going to be attending bayhac?
<johnw> just nice I finished implementing binary caching of parsed .nix files
<johnw> yes, I'll be at BayHac promoting hnix
<adelbertc> \o/
<adelbertc> yep staring at that list now :)
<gchristensen> what does more secure and featureful meean, johnw?
<johnw> gchristensen: for example, the code structured so that external effects (those that might actually effect the system) can only happen in a single file, make security auditing much easier
<johnw> featureful are things like the binary caching of .nix files, so that repeated queries are much faster
<johnw> among other things
<gchristensen> cool
<johnw> I also want a killer Emacs interaction mode, where hnix-repl has an --emacs-lisp mode
<gchristensen> :o
jrolfs has joined #nix-darwin
jtojnar has quit [Quit: jtojnar]
jtojnar has joined #nix-darwin
jrolfs has quit [Ping timeout: 240 seconds]
<copumpkin> so you'll produce .drv files for nix-store to consume?
<copumpkin> nix-store -r
<johnw> yes
philr has joined #nix-darwin
jrolfs has joined #nix-darwin
<copumpkin> pretty cool!
<johnw> several people are helping, so things are coming together
<johnw> I'm hoping to have a good platform for people to join in on by BacHac
<copumpkin> hnice!
<johnw> hahaha
<adelbertc> johnw: also really cool to see you using recursion schemes for the AST :-)
<adelbertc> has that been working out well for you?
mitchty has quit [Quit: WeeChat 1.7.1]
jrolfs has quit [Ping timeout: 240 seconds]
mitchty has joined #nix-darwin
<johnw> adelbertc: extremely well
<johnw> adelbertc: I can't see any downsides in fact
<adelbertc> :O awesome
<johnw> adelbertc: I've also been making good use of an idea that was presented as "abstract definitional interpreters" at ICFP
<johnw> it lets me take a recursion schemes based evaluator, and transform it in various ways
<johnw> so that I can build new evaluators out of old ones without changing them
<johnw> for example, I was able to turn the core evaluator of Nix expressions (type NExpr) into a stack-trace producing evaluator over position-annotated Nix expressions (type NExprLoc)
<johnw> this way, it keeps all of the position and stack related details out of the core evaluator
<adelbertc> oh damn
<adelbertc> that's pretty slick
<adelbertc> using something like annotating w/ Cofree i guess?
<johnw> no, it's actually quite simple
* adelbertc stares
<johnw> and then here's all it took to make a stack-trace-producing evaluator variant:
<johnw> just 2 lines of code :)
<adelbertc> :O
<adelbertc> slick stuff
<johnw> adelbertc: we have a gitter channel, come join us :)
<adelbertc> will do
Biappi has quit [Remote host closed the connection]
jtojnar has quit [Quit: jtojnar]
jtojnar has joined #nix-darwin
ldlework has quit [Quit: co'o ro pendo be mi]
ldlework has joined #nix-darwin
ldlework has quit [Changing host]
ldlework has joined #nix-darwin
__Sander__ has joined #nix-darwin
__Sander__ has quit [Ping timeout: 260 seconds]
jrolfs_ has joined #nix-darwin
jrolfs_ has quit [Ping timeout: 256 seconds]
jrolfs has joined #nix-darwin
philr has quit [Quit: WeeChat 2.0.1]
jrolfs has quit [Ping timeout: 240 seconds]
Biappi has joined #nix-darwin
jtojnar_ has joined #nix-darwin
jtojnar has quit [Ping timeout: 240 seconds]
jtojnar_ is now known as jtojnar
jrolfs has joined #nix-darwin
jrolfs has quit [Ping timeout: 264 seconds]
jrolfs has joined #nix-darwin
jrolfs has quit [Ping timeout: 240 seconds]
jrolfs has joined #nix-darwin
zzamboni has joined #nix-darwin
jrolfs has quit [Ping timeout: 256 seconds]
jrolfs has joined #nix-darwin
jrolfs has quit [Ping timeout: 264 seconds]
__Sander__ has joined #nix-darwin
propumpkin is now known as contrapumpkin
philr has joined #nix-darwin
philr has quit [Ping timeout: 260 seconds]
ryanartecona has joined #nix-darwin
jrolfs_ has joined #nix-darwin
{^_^} has quit [Remote host closed the connection]
{^_^} has joined #nix-darwin
{^_^} has quit [Changing host]
{^_^} has joined #nix-darwin
philr has joined #nix-darwin
prooftechnique has quit [Quit: ZNC http://znc.in]
zzamboni has quit [Quit: Leaving.]
zzamboni has joined #nix-darwin
zzamboni has quit [Ping timeout: 240 seconds]
philr has quit [Ping timeout: 260 seconds]
__Sander__ has quit [Ping timeout: 260 seconds]
ryanartecona has quit [Quit: ryanartecona]
<mitchty> johnw: i understand some of those words :) the haskell is a lot easier to parse, sigh, more papers to try to read
ryanartecona has joined #nix-darwin
<johnw> mitchty: :)
jrolfs has joined #nix-darwin
ryanartecona has quit [Quit: ryanartecona]
ryanartecona has joined #nix-darwin
ryanartecona has quit [Ping timeout: 265 seconds]
ryanartecona has joined #nix-darwin
ryanartecona has quit [Quit: ryanartecona]
jrolfs has quit [Ping timeout: 260 seconds]
jrolfs_ has quit [Ping timeout: 246 seconds]
ryanartecona has joined #nix-darwin
jtojnar_ has joined #nix-darwin
<LnL> urgh, I'm tempted to just disable SIP so I can make nix-darwin configure accessibility programs again
jtojnar has quit [Ping timeout: 265 seconds]
jtojnar_ is now known as jtojnar
jrolfs has joined #nix-darwin
jrolfs has quit [Ping timeout: 268 seconds]
<mitchty> i disabled sip so i can dtrace again
jrolfs has joined #nix-darwin
johnw has quit [Ping timeout: 255 seconds]
<LnL> well yes, but that's only partially
Sonarpulse has quit [Ping timeout: 260 seconds]
jrolfs_ has joined #nix-darwin
jrolfs_ has quit [Ping timeout: 240 seconds]
Sonarpulse has joined #nix-darwin
jrolfs has quit [Ping timeout: 276 seconds]
jrolfs has joined #nix-darwin
johnw has joined #nix-darwin
jtojnar_ has joined #nix-darwin
jtojnar has quit [Ping timeout: 264 seconds]
Sonarpulse has quit [Ping timeout: 256 seconds]
jtojnar_ is now known as jtojnar
jrolfs has quit [Ping timeout: 264 seconds]
Sonarpulse has joined #nix-darwin
jtojnar_ has joined #nix-darwin
jtojnar has quit [Ping timeout: 264 seconds]
jtojnar_ is now known as jtojnar
jrolfs has joined #nix-darwin
jrolfs_ has joined #nix-darwin
jrolfs has quit [Quit: WeeChat 2.0]
jrolfs_ has quit [Ping timeout: 256 seconds]
johnw has quit [Quit: ZNC - http://znc.in]
jtojnar_ has joined #nix-darwin
jtojnar has quit [Read error: Connection reset by peer]
jtojnar has joined #nix-darwin
jtojnar_ has quit [Ping timeout: 264 seconds]
ryanartecona has quit [Quit: ryanartecona]
jtojnar_ has joined #nix-darwin
jtojnar has quit [Ping timeout: 268 seconds]
jtojnar_ is now known as jtojnar
jrolfs_ has joined #nix-darwin
jrolfs_ has quit [Ping timeout: 256 seconds]