<infinisil>
As far as I understand it, this proposal means you can write "contracts" that are basically Go code (but they're not), that go type checks, and all types that type check in that way will be part of the contract
<infinisil>
I don't write Go and am no type theorist, but that sounds like a bad idea
<elvishjerricco>
Hm. I can't seem to get `stress-ng --cpu N` to use N cores... It just uses one.
<elvishjerricco>
Huh. It is spawning N tasks... It's just that they all run on the same core?
lassulus_ has joined #nixos-chat
lassulus has quit [Ping timeout: 246 seconds]
lassulus_ is now known as lassulus
<infinisil>
(spreading the bots features)
<infinisil>
> fortune
<{^_^}>
"An exotic journey in downtown Newark is in your future."
sir_guy_carleton has joined #nixos-chat
sir_guy_carleton has quit [Quit: WeeChat 2.0]
<andi->
infinisil: is the bots code somewhere public?
kisik21 has joined #nixos-chat
tertl3 has quit [Quit: Connection closed for inactivity]
<etu>
Woha, my rpi complained about input/output error on /boot/extlinux :D
<etu>
But I've copied all other files, did a fsck, didn't help, made a new filesystem in there, copied the files back and ran a rebuild. Now it's "fine" :)
<etu>
It still complaints about some dirty bit and fsck.vfat doesn't get rid of it. Maybe I need a new SD-Card
<infinisil>
Not everything my bot does is fully reproducible though, i have stuff i set up manually, need to fix that sometime
<infinisil>
And better docs too..
<andi->
I was mostly interested in the nix expression testing. Seeing it uses hnix answers that :)
<infinisil>
andi-: Um..
<infinisil>
It doesn't actually use hnix lol
<infinisil>
It's only there because i wanted to use it once and had lots of trouble to get it compiling
<andi->
I was hopeing (silly me!) that you'd be using libnix or whatever the native library bindings are called. I was thinking of using that for one of my projects :)
<infinisil>
Yeah, not happening currently, I'm just calling nix-instantiate
<infinisil>
I will eventually want to use hnix
<sphalerite>
andi-: it's split into multiple libs for the different parts of nix
<andi->
I know
<sphalerite>
I'm not sure anyone really uses those tbh :p nix-repl used it
<LnL>
versioned urls that all point to the same mutable content
<LnL>
oh, did you want to reproduce your old build? too bad
<gchristensen>
hah!
<samueldr>
that's terrible
<gchristensen>
I had to write a bunch of code for my install matrix to explicitly fetch everything and then turn off update checking, because even though I had prefetched everything I'd get banned from the servers and unable to run vagrant even though I _had my box already_.
<samueldr>
that's horrible
* samueldr
needs to find new *rribles
<LnL>
gchristensen: funny thing is that hashicorp does keep an entire history of the versions on the website
<gchristensen>
also yeah!
<sphalerite>
oooooh right
<srhb>
samueldr: Conundrrible
ma27 has quit [Quit: WeeChat 2.1]
ma27 has joined #nixos-chat
ma27 has quit [Quit: WeeChat 2.1]
ma27 has joined #nixos-chat
Guanin has joined #nixos-chat
<joepie91>
samueldr: merrible?>
<samueldr>
the trouble with tribbles
Guanin has quit [Ping timeout: 246 seconds]
Guanin has joined #nixos-chat
<samueldr>
everything is easier when using the amazon method of 100% up uptime
<sphalerite>
Does anyone know a decent alternative to `python -m SimpleHTTPServer` (serve up the cwd via HTTP) which performs a bit better and can handle multiple common requests?
<sphalerite>
gchristensen: yes but that doesn't work nicely with windows
<sphalerite>
AFAIK
<ldlework>
oh
<samueldr>
delete windows^W^W
<gchristensen>
use python -m SimpleHTTPServer + zip
<sphalerite>
Yes, that is my preferred approach :D
<ldlework>
why doesn't netcat work on windows?
<ldlework>
pretty sure i did it
<samueldr>
netcat isn't concurrent?
<sphalerite>
gchristensen: the data is already compressed, main issue is the low performance and lack of concurrency (it won't accept a new connection until it's finished handling the current request)
<gchristensen>
sphalerite: exactly, so make it one connection
<ivan>
sphalerite: I use rsync and openssh server in cygwin on Windows
<sphalerite>
low performance as in it tops off at about 1MB/s even on a link that's much faster
<ldlework>
ivan: that sounds better
<sphalerite>
ivan: breaks the "no extra software on B" requirement :(
<gchristensen>
how much data?
<ivan>
sphalerite: maybe a samba server? Windows can connect to it
<sphalerite>
gchristensen: 5GB this time, but it's a problem I have more often
<gchristensen>
setup samba
<gchristensen>
or ftp
<sphalerite>
ivan: I don't want to set anything up, just run a command, have a server for the cwd, and stop it with ctrl-C when I'm done
<gchristensen>
ok, I think we might need more context in to exactly what the problem is
<samueldr>
windows has `ftp`, or at least had it
<sphalerite>
I could just as well set up nginx if I'm going to fiddle with my system config
<sphalerite>
but I want a throwaway thing, like SimpleHTTPServer
<ldlework>
having nginx setup on nixos seems like a good idea anyway
<gchristensen>
you could make a nginx wrapper script to do it
<ldlework>
how else are you gonna share sweet gifs
<ivan>
sphalerite: I would pick the `twistd -n web -p 8000 --path .` on that list
<sphalerite>
ivan: ooooh that sounds good
<ldlework>
why
<ivan>
or maybe that python3 `python -m http.server` performs better than your python2? I don't know
pie_ has joined #nixos-chat
<sphalerite>
thanks for the input folks!
kisik21 has quit [Ping timeout: 246 seconds]
<__monty__>
sphalerite: Does a torrent client count as extra software?