IRC channel logs

2020-04-17.log

back to list of logs

<marmulak>pretty fast
<dsmith>civodul: The bot only saves month and time. Tried to work around that (a future time must actually from a year previous.)
<dsmith>But I think the times are saved in the senders timezone. Ugh.
<dsmith>sneek: seen civodul
<sneek>civodul was here one year ago, saying: yay!.
<dsmith>silly silly bot
<civodul>sneek: botsnack
<sneek>:)
<dsmith>sneek: seen marmulak
<sneek>marmulak was here one year ago, saying: pretty fast.
<dsmith>sneek: seen marmulak
<sneek>marmulak was here one year ago, saying: pretty fast.
<dsmith>sneek: seen marmulak
<sneek>marmulak was here one year ago, saying: pretty fast.
<marmulak>damn
<dsmith>sneek: seen marmulak
<dsmith>sneek: seen marmulak
<dsmith>sneek: seen marmulak
<sneek>marmulak was here -58 minutes and -1 seconds ago, saying: damn.
<dsmith>Heh
<marmulak>something screwy's going on
<dsmith>sneek: seen marmulak
<sneek>marmulak was here 9 minutes and 27 seconds ago, saying: something screwy's going on.
<dsmith>Yess
<dsmith>mktime needs a timezone! Thought it defaulted to UTC but it default to TZ env var
<dsmith>sneek: seen civodul
<sneek>civodul was here 39 minutes and 52 seconds ago, saying: (dated Mar. 30).
<dsmith>Must have been #guix
<dsmith>sneek: seen dsmith
<sneek>I last saw dsmith 30 seconds ago, saying: sneek: seen dsmith.
<dsmith>sneek: seen civodul
<sneek>civodul was here 42 minutes and 12 seconds ago, saying: (dated Mar. 30).
<dsmith>sneek: seen civodul
<sneek>civodul was here 43 minutes and 3 seconds ago, saying: (dated Mar. 30).
<dsmith>OK seems to be working now.
<dsmith>Helps to actually read the docs..
<dsmith>Sorry for all the noise, I need to remember to /msg or /query instead.
<dsmith>sneek: seen dsmith-work?
<sneek>dsmith-work was here 1 hour and 59 minutes ago, saying: Ah. timezone foolishness.
<dsmith>sneek: seen dsmith-work?
<sneek>I last saw dsmith-work 2 hours ago, saying: Ah. timezone foolishness.
<dsmith>sneek: botsnack
<sneek>:)
<mwette>speaking for those who live in the past ...
*sneek yawns
<seepel>Hi Guile! I'm trying to get my blog up and running with Haunt, and I'm wondering if anyone here knows how I might use a prefix like "blog/" for my posts, but have the collections page available at the top level?
***kosmos_Aurora is now known as Aurora_iz_kosmos
<seepel>sneek: help
<seepel>sneek: later ask manumanumanu Here is the type inference blog post you asked about: http://seanplynch.com/blog/understanding-the-guile-type-inferencer.html. Hope it is helpful!
<sneek>Okay.
<seepel>If anyone else is interested, I'm all ears for feedback! I haven't blogged since 2013 :-D
<mwette>seepel: Thanks -- That's awesome. I have dug into lang/cps a bit. I'll want to peek into (l cps types) now.
<mwette>I have a package on sv.nongnu.org called nyacc. I have example compiler in nyacc (examples/nyacc/lang/calc) that just does simple calculations using tree-il and cps. And I've been into lattices for a bit, too. Are you into that?
<seepel>Just getting into it now! I appreciate that it is a different approach compared to Hindley-Milner for sure. It also _feels_ like it is more applicable to Scheme/Lisp. As is evidenced by most implementations using it (aside from maybe Typed Racket?).
<seepel>I have also been looking into how CMUCL/SBCL do this, and it seems rather similar.
<mwette>not familiar with that stuff but keep it coming
<seepel>I definitely hope to! Though I think work life is going to catch up with me again next week.
<mwette>I know the drill!
<seepel>I really appreciate the encouragement though! Thank you!
<mwette>OK. Have a good one. Gotta go now.
<seepel>You too!
***Aurora_iz_kosmos is now known as Aurora_v_kosmose
<Aurora_v_kosmose>What happens when a pipe gets gc'd by going out of scope if it hasn't been closed?
<Aurora_v_kosmose>Does it kill the subprocess, or does it simply make it unreachable from within the Guile program?
<Aurora_v_kosmose>3> The garbage collector will close a pipe no longer in use, and reap the child process with ‘waitpid’. If the child hasn’t yet terminated the garbage collector doesn’t block, but instead checks again in the next GC. | Manual mentioned it. Shame on me.
<dsmith-work>Happy Friday, Guilers!!
<marmulak>u2
*chrislck is slowly learning to enjoy the benefits of guix... can run an indeterminably high number of packages via simple guix environment --ad-hoc packagename... and easily undo via 'exit'. the problem is the discoverability of these packages!
<marmulak>hm
<civodul>chrislck: unsatisfied with "guix search"? :-)
<chrislck>not dissatisfied... but e.g. "guix search libre" doesn't show libreoffice... because it was never there? has no package manager? need to add sources? <shrug>
<civodul>"guix search libre" does show libreoffice, but also many other things
<chrislck>oh it *is* there
<civodul>yeah, the package name is always matched
<civodul>it's definitely not perfect though!
<chrislck>guix feels like an autistic savant :)
<chrislck>ok easy: i can run guix as above to run package; other incantations are useful as a package developer?
<chrislck>(didn't mean to demean guix nor autism... I meant it as a term of endearment)
<civodul>chrislck: for developers, there's https://guix.gnu.org/manual/en/html_node/Development.html#Development
<civodul>for package developers, https://guix.gnu.org/manual/en/html_node/Defining-Packages.html links to several tools
<civodul>(i agree the reference to autism was inappropriate)
<mbakke>also './pre-inst-env guix refresh -u <packages>' to update packages in your Guix checkout :)
<chrislck>yups/ can't backtrack from that one, was a brain fart
<civodul>yup, "guix refresh" is pretty cool
<civodul>this whole Guix thing is pretty cool actually
<civodul>:-)
<Aurora_v_kosmose>The reduction of the binary seed for bootstrapping Trustable machines is a cool part of the project too.
<chrislck>On a very high level concept I agree it's da bomb too
<mbakke>if only we had trustable hardware to go with it
<d4ryus>Hi, i think (iam not sure though) there is a bug in the srfi-18 (threads) implementation in guile 2.2 and master. When mutex-unlock! is called (module/srfi/srfi-18.scm +306) with a condition and a timeout, it first resets the owner and then waits for the condition. If the timeout is reached (threads:wait-condition-variable returns #f) the cond's else condition returns #f. Now the owner is #f, which
<d4ryus>prevents one from unlocking the mutex, due to the early return if owner is #f. Am i missing something?
<Aurora_v_kosmose>mbakke: Aye, that's harder.
***amiloradovsky1 is now known as amiloradovsky
<Aurora_v_kosmose>How is this page updated: https://www.gnu.org/software/guile/libraries/ ?
<chrislck>is it feasible to run an old version of a package? e.g. guix environment --ad-hoc python@3.7.0
<Aurora_v_kosmose>I recall hearing it's possible to pull arbitrary checksum-versions of the guix repository, so yes. Is there a more convenient way? I don't know.
<Aurora_v_kosmose>s/checksum-versions/commits/ ; weird brain glitch for a sec
<chrislck>so, like git checkout HEAD^200, run old-python, git checkout master
<Aurora_v_kosmose>Yeah. There's also ways to checkout the global system's guix into older commits but doing it with an explicitly separate clone is probably feasible and advisable.
<Aurora_v_kosmose>For all I know there's a way to do that in one step for a single environment run though. No idea.
<mbakke>chrislck: see 'guix time-machine'
<mbakke>(also, you'll likely have better results asking in #guix) :)
<Aurora_v_kosmose>Good point that.
<dsmith-work>sneek: botsnack
<sneek>:)
<dsmith-work>sneek: seen rlb?
<sneek>rlb was here one day and 22 hours ago, saying: and some earlier posts iirc..
<seepel>Hello Guile! Turns out I'm riding the struggle bus with Guix and Guile 3 again. I inside a guix environment --ad-hoc guile-next guile3.0-readline and when compiling my C program gcc cannot find <libguile.h>. Anyone have any thoughts? Also, is this a question I should be asking here or over in #guix?
***rekado_ is now known as rekado
<rekado>seepel: I suggest adding gcc-toolchain to the environment
*dsmith-work giggles at "struggle bus". Saves it for later..
<seepel>rekado: Let me give it a shot. gcc-toolchain is indeed in my user profile. Would that make a difference? The rest of my program that doesn't use guile compiles. Everything seemed to work a while back when I was using guile 2.2
<seepel>Hmmm, no dice on adding gcc-toolchain to my environment.
<seepel>Oh I think this is a me problem. My Makefile looks a little different. Sorry for the false alarm everyone.
<civodul>:-)
<anadon>Where's the doc for `invoke`?
<seepel>I'm not familiar with that procedure, and it doesn't seem to be in the procedure index. What module do you expect it to be in?
<anadon>I thought it was a part of guile -- looks like it might have actually been guix.