gchristensen changed the topic of #nixos-chat to: NixOS but much less topical || https://logs.nix.samueldr.com/nixos-chat
sir_guy_carleton has joined #nixos-chat
Guanin has quit [Remote host closed the connection]
jasongro` has joined #nixos-chat
jasongrossman has quit [Ping timeout: 268 seconds]
the has quit [Remote host closed the connection]
the has joined #nixos-chat
the has joined #nixos-chat
the has quit [Changing host]
<gchristensen> ack, gnaa is back
<samueldr> probably the same attack that's been continuing for days
<samueldr> yeah, according to the linked twitter, it probably is
<drakonis> its a boring gimmick
<gchristensen> maybe the could see "killed by sigyn" and find interesting words to ban on
<drakonis> arent they tired of doing this for a decade?
<samueldr> apparently they aren't :(
<samueldr> guess skiddies are a renewable ressource
<gchristensen> haha
<drakonis> oh that they are
lassulus_ has joined #nixos-chat
jasongro` has quit [Ping timeout: 244 seconds]
lassulus has quit [Ping timeout: 240 seconds]
lassulus_ is now known as lassulus
<drakonis> noice
<drakonis> nixcon's only in two months right?
<samueldr> 25-27 october
<drakonis> i want to check out the growth metrics
<drakonis> see how much has changed from last year to now
<joepie91> so I just discovered a thing
<joepie91> this can apparently do WASM -> AVR (ie. Arduino) / STM8 / ARM (ie. STM32) / Xtensa (ie. ESP8266/ESP32)
<joepie91> and there's WASM backends for a lot of stuff now
<joepie91> so that seems like it makes it possible to run quite a few languages on basically all the widely available microcontrollers?
<joepie91> by abusing WASM as an intermediate representation
<gchristensen> wow
<samueldr> the W makes it look like abuse, but it's almost PASM instead
<joepie91> samueldr: oh yes, I was definitely thinking of the W :)
<joepie91> samueldr: I find it kind of amusing how JS/browser-based things continue to replace/standardize/etc. stuff in totally disconnected ecosystems
<joepie91> seemingly by being the thing that everybody wants to at least *support*
<samueldr> the size of the teams working on web platforms (browsers) dwars many ecosystems
<samueldr> it may be related
<joepie91> possibly
<samueldr> (not ascribing any intention by what I said)
<drakonis> how's the proposals?
<drakonis> are there any fun proposals for nixcon so far?
<samueldr> CFP ends like today or tomorrow
<samueldr> so nobody knows yet :D
<samueldr> except the organizers
<drakonis> but aren't y'alls the organizers
<drakonis> don't leave me hanging
<samueldr> I don't know where the proposals go to, and who is the team that handles them
<samueldr> but yeah, hang in there kitty^W Drakonis
<samueldr> they'll eventually go out
<drakonis> ehehehehe
<drakonis> i haven't checked on nix since march, what's the news?
drakonis has quit [Ping timeout: 240 seconds]
jasongrossman has joined #nixos-chat
drakonis has joined #nixos-chat
pie_ has joined #nixos-chat
drakonis has quit [Read error: Connection reset by peer]
adetokunbo has quit [Quit: This computer has gone to sleep]
pie_ has quit [Ping timeout: 240 seconds]
FRidh has joined #nixos-chat
jD91mZM2 has joined #nixos-chat
adetokunbo has joined #nixos-chat
sir_guy_carleton has quit [Quit: WeeChat 2.0]
jasongrossman has quit [Remote host closed the connection]
jasongrossman has joined #nixos-chat
aszlig has quit [Quit: Kerneling down for reboot NOW.]
aszlig has joined #nixos-chat
Guanin has joined #nixos-chat
FRidh has quit [Read error: Connection reset by peer]
jtojnar has quit [Read error: Connection reset by peer]
jtojnar_ has joined #nixos-chat
jtojnar_ is now known as jtojnar
nckx has quit [Quit: Updating my GNU GuixSD server — gnu.org/s/guix]
nckx has joined #nixos-chat
<andi-> Uff, just got offered "GitHub Dashboard" thingy.. Not sure if that is helpful or just even more confusing then the recent redesign of the start page
jasongrossman has quit [Ping timeout: 256 seconds]
<jD91mZM2> andi-: I wonder how many people got that thing. Both me and a friend of mine got it
<andi-> I guess almost everyone since they say "open beta"
jasongrossman has joined #nixos-chat
<jD91mZM2> Oh right, forgot the message
<andi-> I also don't see the point in doing much work on that page. Not sure how others work with GitHub but I usually either use the notifactions or type the full path of the project initially while going to github...
<jD91mZM2> I kinda prefer an even earlier redesign than the current non-beta, y'know that one with only what people did and repository lists on the right
<jD91mZM2> Not exactly sure how it looked
<andi-> Yeah, I am kind of confused by the recent redesign..
<andi-> fun fact: It just showed a repository in the "discover repositories" section that I created on a different org... m(
<jD91mZM2> I really dislike how people feel forced to add more and more recommendation systems
<jD91mZM2> Especially social media
<jD91mZM2> EXCUSE ME SIR HAVE YOU SEEN THIS YOUTUBE VIDEO? WE THOUGHT YOU WOULD LIKE IT BECAUSE YOU'RE FROM SWEDEN AND IT'S SWEDISH
<andi-> Next thing on github: Publish your status!
<andi-> Livestream your coding!
<andi-> (that would probably make a few people laugh... I kind of curse every piece of software regulary..)
<jD91mZM2> Automatically a part of the `hub` client! Just type `hub push` (unless you alias git to hub which you should), and it'll ask you if you want to send a recording of what you did on the computer the last few hours. The yes button is big and green and the no button is the same color as the background
<andi-> also the No button only appears after 15sec of waiting.
<jD91mZM2> and is located outside of the screen
<jD91mZM2> mIcRoSofT
<jD91mZM2> dO yOU WAnT tO upDAte GiThUB tO ThE lATesT VerSion?
<andi-> I doubt that they are involved in that yet ;)
<jD91mZM2> Can't wait!
<jD91mZM2> Update `hub` using a non-standard way outside of your package manager that'll break stuff? [[[Yes]]] <- Click!!!!!!!!!! [no (requires pro)]
<infinisil> Haha
<andi-> You don't have to go that far.. I am always shocked by those npm users that insist on `npm install -g` for things.. Even before being a NixOS user I felt like that is totally bollocks...
jtojnar has quit [Remote host closed the connection]
jtojnar has joined #nixos-chat
<jD91mZM2> andi-: What does -g do?
<andi-> Global
<jD91mZM2> Oh right
<jD91mZM2> TBH I still use `cargo install` for some things where I'm just too lazy to create a whole nix expression
<jD91mZM2> (and also PR and get feedback and ugh)
pie_ has joined #nixos-chat
pie_ has quit [Remote host closed the connection]
pie_ has joined #nixos-chat
pie__ has joined #nixos-chat
pie_ has quit [Client Quit]
pie_ has joined #nixos-chat
pie__ has quit [Ping timeout: 248 seconds]
Sonarpulse has joined #nixos-chat
Sonarpulse has quit [Remote host closed the connection]
<manveru> andi-: won't be long until we see NpmOS
<andi-> Noes /o\
Sonarpulse has joined #nixos-chat
Sonarpulse has quit [Remote host closed the connection]
the has quit [Ping timeout: 244 seconds]
Lisanna has quit [Remote host closed the connection]
<jD91mZM2> NodeOS is a thing
<jD91mZM2> :(
jD91mZM2 has quit [Quit: WeeChat 2.0]
<ivan> "node-os uses npm as its primary package manager" https://node-os.com/
<simpson> Their userland is on top of Linux and standard tools. It does not appear to self-host yet. One can get a feel for maturity by reading some issues: https://github.com/NodeOS/NodeOS/issues
d1rewolf has quit [Remote host closed the connection]
d1rewolf has joined #nixos-chat
<simpson> ivan: I'm so *proud*, in some way, to see that people were handed a terrible ecosystem and decided to make a userland out of it~
* LnL goes away to cry in a corner for a minute
d1rewolf has quit [Ping timeout: 240 seconds]
d1rewolf has joined #nixos-chat
__monty__ has joined #nixos-chat
d1rewolf has quit [Ping timeout: 260 seconds]
lopsided98 has quit [Quit: Disconnected]
lopsided98 has joined #nixos-chat
lopsided98 has quit [Quit: Disconnected]
lopsided98 has joined #nixos-chat
<{^_^}> NodeOS/NodeOS#409 (by LoganDark, open): `slap` hangs indefinitely
<andi-> "A git written in pure-js that fullfills all of npm's needs would be fanstastic". Those people must be masochists. Everyone has his kink...
<jasongrossman> andi-: They can't even spell. (Although I have some sympathy for anyone who thinks it *should* be spelled "fullfills".)
<jasongrossman> I also have some sympathy for let's-rewrite-utility-x-in-my-favourite-language-y, but I still think it's crazy.
<andi-> jasongrossman: I don't care about that. I have a disability with languages as well.. I will never get them right. I can't learn grammars of spoken languages...
<jasongrossman> andi-: OK, I agree really.
* jasongrossman goes away to write a kernel in INTERCAL
<andi-> I mean we also have nix whereas we could probably have used `make` and "standard" tools for accomplish almost the same ;)
<__monty__> Nah, because other packaging languages are obviously not good enough : >
<jasongrossman> andi-: I'm not an expert, but isn't it the case that you want some purity enforced on you or else it's really hard to tell what state you're pulling in? Could have used Haskell though yeah.
<infinisil> I'll write a GUI in Nix and nobody can stop me
<andi-> :D
<jasongrossman> Although eelco has made very explicit arguments against using Haskell.
<__monty__> What are the arguments? And when will we lYnch him?
<__monty__> I'm actually serious though. hnix seems to be working out well.
<jasongrossman> __monty__: From memory, the main one is that it should have a small footprint, so that it doesn't limit you to devices that can store and compile GHC.
<__monty__> ...
<jasongrossman> __monty__: As I said, I'm not an expert, but it could be that hnix is great on all the systems people are testing it on but not on all computers.
<__monty__> Could've implemented a new hugs named nix.
<jasongrossman> __monty__: And an argument from me (but I think eelco may have said something similar) is that Nix has a much smaller grammar so is easier for newbies to learn. I know I find the syntax of Haskell very strange, which would be fine if I was using a lot of its power, but just for writing configuration files it would be too much of a learning curve for me.
<jasongrossman> __monty__: Guix might be a better model - use a language with a small grammar.
<__monty__> That's a strawman imo.
<jasongrossman> __monty__: I assume it's possible to make a pure subset of scheme; I don't know whether that's what the Guix people have actually done.
<__monty__> You can easily use a subset for package descriptions.
<jasongrossman> __monty__: I see, yes, provided it's a well defined subset.
<__monty__> Afaik no. Guile isn't pure.
<jasongrossman> __monty__: Which is what I just recommended doing for scheme.
<__monty__> Tbqh the first reason isn't very strong either imo. I run nix on an old laptop and it has a *hard* time building stuff most of the time.
<jasongrossman> __monty__: I can see pros and cons. A con is that it would open up arguments about exactly what should be in the subset. Could be a social nightmare even if it worked well. It might be a good option on the whole but it's not clear to me.
<__monty__> It's a moot point. Beginner guides teach a useful subset. Everyone else can use whatever haskell features they want.
<jasongrossman> __monty__: Exactly. That's the problem.
<jasongrossman> __monty__: Maybe not insuperable, but can't you see where it's coming from?
<__monty__> But it's not a problem. You teach beginners only what they have to know. You let others write derivations as complex as they want.
<__monty__> I'm confident there's derivations I don't understand even though "nix has a small grammar."
<jasongrossman> __monty__: OK. I think I've described clearly what the problems are. You may not think they're big problems.
<__monty__> I actually agree the former is a big problem but ghc works much better on that old laptop than does nix so the smaller language doesn't seem to be helping...
<__monty__> I strongly disagree about haskells syntax being big/weird though. Weirdness may be subjective but size isn't and it's just not big at all. Only language I know with a smaller grammar is lisp.
<infinisil> Haskell's grammar is weird? How so?
<infinisil> Oh I guess yeah, it's different than most popular languages
<infinisil> But I wouldn't call that weird, just different
<__monty__> s/different/better : >
<__monty__> It's the nicest syntax I've encountered. Although Agda is a close second.
jasongrossman has quit [Remote host closed the connection]
jasongrossman has joined #nixos-chat
iceychris has joined #nixos-chat
iceychris has left #nixos-chat [#nixos-chat]
adetokunbo has quit [Quit: This computer has gone to sleep]
adetokunbo has joined #nixos-chat
<gchristensen> personally I like to write my gui apps in Make
<ldlework> hehe
<__monty__> Boo make, everyone should shake it up. It has 100% more haskell : )
<ldlework> __monty__: what's your best haskell resource
<__monty__> Hackage.
<gchristensen> http://typeclasses.com/ has been great for me
<ldlework> __monty__: i meant for learning haskell
<ldlework> I know SML/CML and F#
<ldlework> and I pretend to understand Nix
<__monty__> ldlework: The "Gentle" introduction to haskell would seem to suit you best.
<gchristensen> maybe just get started then
<ldlework> (but really i just make small edits until i've tried everything possible and it works)
<ldlework> gchristensen: :)
<samueldr> who needs haskell when you can write bash with shellcheck enabled?
<samueldr> isn't it exactly the same?
<gchristensen> samueldr: you've turned in to a monster :P
<samueldr> unreadable code?
<__monty__> You need it for when you find a bug in shellcheck : p
<samueldr> ;)
<gchristensen> samueldr: I bet bash's opengl bindings are nicer than haskell's
<samueldr> sure, bash also has much better bindings to run system-level programs
<andi-> whitespace has the better usage of whitespaces then haskell? o.O
<__monty__> What do you mean?
<andi-> Well people are comparing absurd things. So I thought I should mention the `whitespace` language...
<andi-> It has superior usage of whitespaces ;)
<samueldr> hey now, integration with system-level programs isn't absurd ;)
__monty__ has quit [Quit: leaving]
jasongrossman has quit [Remote host closed the connection]
sir_guy_carleton has joined #nixos-chat
d1rewolf_ has joined #nixos-chat