IRCBrowse

2022/09/21

2022-09-21 00:00:31 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-09-21 00:03:18 +0000LukeHoersten(~LukeHoers@user/lukehoersten)
2022-09-21 00:03:21 +0000ensyde(~ensyde@2600:1700:2050:1040:3c67:d3f4:1aa7:87f4)
2022-09-21 00:12:49 +0000LukeHoersten(~LukeHoers@user/lukehoersten) (Ping timeout: 265 seconds)
2022-09-21 00:18:08 +0000nate2(~nate@98.45.169.16) (Ping timeout: 265 seconds)
2022-09-21 00:19:42 +0000matthewmosior(~matthewmo@173.170.253.91)
2022-09-21 00:19:58 +0000bjobjo(~bjobjo@user/bjobjo)
2022-09-21 00:20:22 +0000tvandinther(~tvandinth@111.69.34.210) (Ping timeout: 252 seconds)
2022-09-21 00:21:24 +0000xff0x(~xff0x@2405:6580:b080:900:1f6b:da1d:cffe:2329) (Ping timeout: 264 seconds)
2022-09-21 00:27:36 +0000LukeHoersten(~LukeHoers@user/lukehoersten)
2022-09-21 00:28:36 +0000matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 260 seconds)
2022-09-21 00:29:03 +0000EvanR(~EvanR@user/evanr)
2022-09-21 00:34:14 +0000wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-09-21 00:34:14 +0000wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-09-21 00:34:14 +0000wroathe(~wroathe@user/wroathe)
2022-09-21 00:35:12 +0000 <Axman6> sm: surely that a nack? :P
2022-09-21 00:35:16 +0000 <Axman6> that's*
2022-09-21 00:37:33 +0000gurkenglas(~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2022-09-21 00:42:36 +0000LukeHoersten(~LukeHoers@user/lukehoersten) (Ping timeout: 260 seconds)
2022-09-21 00:43:53 +0000nate2(~nate@98.45.169.16)
2022-09-21 00:46:19 +0000ALowther(~alowther@35.140.235.107)
2022-09-21 00:47:24 +0000 <zzz> we're still using matrix? i thought people figured out by now it's no good
2022-09-21 00:51:19 +0000Me-me(~me-me@tunnel690570-pt.tunnel.tserv12.mia1.ipv6.he.net) (Remote host closed the connection)
2022-09-21 00:52:25 +0000 <ALowther> I am going through the interactive tutorial on the haskell.org home page. In Lesson 3 I learned that ['a','b','c'] == 'abc'. This wasn't intuitive to me, but I took away the idea that Strings in Haskell are represented as an array of characters. So, my next attempt was ["hello","world"] == "helloworld". This did not give me a True, however. Instead I got: Expected type: [[Char]], Actual Type: [Char]. I then thought that ["hello","world"] i
2022-09-21 00:52:25 +0000 <ALowther> s actually a two dimensional array and tried [['h','e','l','l','o'],['w','o','r','l','d']] == "helloworld". This also failed. What am I misunderstanding?
2022-09-21 00:53:03 +0000Me-me(~me-me@tunnel690570-pt.tunnel.tserv12.mia1.ipv6.he.net)
2022-09-21 00:53:25 +0000 <geekosaur> [['h','e','l','l','o'],['w','o','r','l','d']] == ["hello","world"]
2022-09-21 00:53:36 +0000xff0x(~xff0x@ai071162.d.east.v6connect.net)
2022-09-21 00:53:47 +0000 <geekosaur> but not == "helloworld". that is concatenation, which is different
2022-09-21 00:54:03 +0000 <geekosaur> > concat ["hello","world"]
2022-09-21 00:54:04 +0000 <lambdabot> "helloworld"
2022-09-21 00:54:20 +0000 <ALowther> But isn't concatenation what is happening with ['a','b','c'] == "abc"?
2022-09-21 00:54:21 +0000 <geekosaur> > [['h','e','l','l','o'],['w','o','r','l','d']]
2022-09-21 00:54:23 +0000 <lambdabot> ["hello","world"]
2022-09-21 00:54:26 +0000 <geekosaur> no
2022-09-21 00:54:39 +0000Me-me(~me-me@tunnel690570-pt.tunnel.tserv12.mia1.ipv6.he.net) (Changing host)
2022-09-21 00:54:39 +0000Me-me(~me-me@user/me-me)
2022-09-21 00:54:51 +0000 <geekosaur> the two are actually identical, not concatenation
2022-09-21 00:55:10 +0000 <geekosaur> "abc" is ['a','b','c'] is 'a':'b':'c':[]
2022-09-21 00:55:19 +0000 <geekosaur> just different ways of writing the same thing
2022-09-21 00:56:12 +0000nate2(~nate@98.45.169.16) (Ping timeout: 264 seconds)
2022-09-21 00:56:21 +0000 <geekosaur> (the lasat one is the actual internal representation, for what it's worth)
2022-09-21 00:57:09 +0000matthewmosior(~matthewmo@173.170.253.91)
2022-09-21 00:57:13 +0000 <ALowther> Hmmm
2022-09-21 00:57:13 +0000 <pavonia> Likewise ["hello", "world"] == "hello" : "world" : [] which is different from "helloworld" = 'h' : 'e' : ... : 'd' : []
2022-09-21 00:57:33 +0000 <pavonia> Even the types don't match here
2022-09-21 00:57:51 +0000 <pavonia> [String] vs. [Char]
2022-09-21 00:58:16 +0000 <ALowther> Is String == [Char]?
2022-09-21 00:58:24 +0000 <pavonia> Yes
2022-09-21 00:58:24 +0000 <geekosaur> yes
2022-09-21 00:58:36 +0000 <geekosaur> but [[Char]] is not [Char]
2022-09-21 00:59:07 +0000LukeHoersten(~LukeHoers@user/lukehoersten)
2022-09-21 00:59:14 +0000 <ALowther> I see. I was incorrectly concatenating my two arrays of chars, rather than seeing them as distinct arrays
2022-09-21 00:59:43 +0000 <pavonia> > ["foo", "bar"] == ('f':'o':'o':[]) : ('b':'a':'r':[]) : []
2022-09-21 00:59:44 +0000 <lambdabot> True
2022-09-21 01:00:15 +0000 <ALowther> Isn't that Tuple syntax?
2022-09-21 01:00:19 +0000 <ALowther> > () == []
2022-09-21 01:00:22 +0000 <lambdabot> error:
2022-09-21 01:00:22 +0000 <lambdabot> • Couldn't match expected type ‘()’ with actual type ‘[a0]’
2022-09-21 01:00:22 +0000 <lambdabot> • In the second argument of ‘(==)’, namely ‘[]’
2022-09-21 01:00:47 +0000 <EvanR> [1,2,3,4] = 1:2:3:4:[] is a linked list not an array, sometimes it matters
2022-09-21 01:00:51 +0000ensyde(~ensyde@2600:1700:2050:1040:3c67:d3f4:1aa7:87f4) (Quit: Leaving)
2022-09-21 01:01:02 +0000 <pavonia> ALowther: No, it's just grouping
2022-09-21 01:01:17 +0000 <ALowther> > ('f','o','o') == ['f','o','o']
2022-09-21 01:01:18 +0000 <lambdabot> error:
2022-09-21 01:01:19 +0000 <lambdabot> • Couldn't match expected type ‘(Char, Char, Char)’
2022-09-21 01:01:19 +0000 <lambdabot> with actual type ‘[Char]’
2022-09-21 01:01:21 +0000 <geekosaur> the active part there is not the parentheses but the colons separating the elements
2022-09-21 01:01:24 +0000adanwan(~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 258 seconds)
2022-09-21 01:01:40 +0000ensyde(~ensyde@2600:1700:2050:1040:3c67:d3f4:1aa7:87f4)
2022-09-21 01:01:42 +0000matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-09-21 01:02:04 +0000 <pavonia> ALowther: If there's no comma, it can't be a tuple
2022-09-21 01:02:07 +0000 <geekosaur> a list is a linked list (x:xs) where x is an element and xs is another list. the constructors are : and [] (the empty list)
2022-09-21 01:04:03 +0000LukeHoersten(~LukeHoers@user/lukehoersten) (Ping timeout: 265 seconds)
2022-09-21 01:04:33 +0000adanwan(~adanwan@gateway/tor-sasl/adanwan)
2022-09-21 01:05:56 +0000waleee(~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 260 seconds)
2022-09-21 01:09:33 +0000ALowther(~alowther@35.140.235.107) (Remote host closed the connection)
2022-09-21 01:09:55 +0000adanwan(~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
2022-09-21 01:10:24 +0000adanwan(~adanwan@gateway/tor-sasl/adanwan)
2022-09-21 01:10:27 +0000albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2022-09-21 01:14:48 +0000wroathe(~wroathe@user/wroathe) (Ping timeout: 264 seconds)
2022-09-21 01:15:57 +0000LukeHoersten(~LukeHoers@user/lukehoersten)
2022-09-21 01:16:34 +0000albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2022-09-21 01:21:40 +0000wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-09-21 01:21:40 +0000wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-09-21 01:21:40 +0000wroathe(~wroathe@user/wroathe)
2022-09-21 01:24:26 +0000LukeHoersten(~LukeHoers@user/lukehoersten) (Ping timeout: 244 seconds)
2022-09-21 01:24:30 +0000 <Axman6> I feel like it took way too long to correct the "strings are arrays of chars" misunderstanding above, that shou;d've been nipped in the bud right away
2022-09-21 01:25:06 +0000machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Quit: Lost terminal)
2022-09-21 01:31:15 +0000matthewmosior(~matthewmo@173.170.253.91)
2022-09-21 01:33:25 +0000 <edrx> I installed "pipes" with cabal, and my first attempt to write a test for it gave an error about "hidden packages" - the last comment here: http://angg.twu.net/HASKELL/testpipes.hs.html
2022-09-21 01:33:37 +0000 <edrx> hints? =/
2022-09-21 01:34:26 +0000Batzy_(~quassel@user/batzy)
2022-09-21 01:34:31 +0000Batzy(~quassel@user/batzy) (Ping timeout: 265 seconds)
2022-09-21 01:35:41 +0000matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 260 seconds)
2022-09-21 01:41:16 +0000eikke(~NicolasT@user/NicolasT) (Ping timeout: 265 seconds)
2022-09-21 01:42:09 +0000 <Axman6> did you add it to your cabal file?
2022-09-21 01:42:30 +0000 <Axman6> or, did you tell ghci that it's a dependency?
2022-09-21 01:46:01 +0000nate2(~nate@98.45.169.16)
2022-09-21 01:46:33 +0000 <edrx> I'm not sure =( I copied the imports from https://github.com/Gabriella439/pipes/blob/main/src/Pipes/Tutorial.hs into my test file - the testpipes.hs above - and then when I tried to make ghci load it with ":load testpipes.hs" it gave me the errors about hidden packages...
2022-09-21 01:47:11 +0000 <edrx> is that enough to tell ghci that those modules from "pipes" are dependencies?
2022-09-21 01:53:32 +0000 <Axman6> no
2022-09-21 01:53:40 +0000 <Axman6> modules and packages are different things
2022-09-21 01:53:51 +0000 <edrx> oops, wrong terminology, sorry
2022-09-21 01:54:33 +0000 <Axman6> I have no idea how you're supposed to do it in emacs though. in ghci, you'd usually add -package bytestring -package pipes -package blah to your ghci call
2022-09-21 01:54:57 +0000 <edrx> so I need to add something to my testpipes.hs that tells ghci that it need to make the modules in the package "pipes" available...
2022-09-21 01:55:05 +0000 <edrx> let me try
2022-09-21 01:56:11 +0000 <edrx> Axman6: worked! =)
2022-09-21 01:56:22 +0000 <EvanR> 128 language quine relay? https://github.com/mame/quine-relay technically haskell related since haskell is in there
2022-09-21 01:58:02 +0000matthewmosior(~matthewmo@173.170.253.91)
2022-09-21 02:00:49 +0000 <edrx> Axman6: I found a mention of what you explained here: https://downloads.haskell.org/~ghc/9.0.1/docs/html/users_guide/packages.html#using-packages
2022-09-21 02:01:19 +0000 <edrx> now I'm looking for a statement (?) that corresponds to the "-package" option...
2022-09-21 02:02:09 +0000matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-09-21 02:04:15 +0000 <byorgey> There's no way to put that information in a .hs file. This is the point where you would make a .cabal file which specifies the needed modules etc. You can make one very simply by running 'cabal init' and following the prompts.
2022-09-21 02:04:19 +0000[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
2022-09-21 02:04:46 +0000 <edrx> byorgey: trying!
2022-09-21 02:06:16 +0000saii(~cpli@77.47.62.180)
2022-09-21 02:07:49 +0000eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-09-21 02:11:24 +0000jinsun__(~jinsun@user/jinsun)
2022-09-21 02:11:25 +0000jinsunGuest8709
2022-09-21 02:11:25 +0000jinsun__jinsun
2022-09-21 02:13:20 +0000jinsun(~jinsun@user/jinsun) (Read error: Connection reset by peer)
2022-09-21 02:13:36 +0000jinsun(~jinsun@user/jinsun)
2022-09-21 02:14:03 +0000Guest8709(~jinsun@user/jinsun) (Ping timeout: 244 seconds)
2022-09-21 02:16:38 +0000 <sm> stack scripts/cabal scripts are also a thing
2022-09-21 02:19:04 +0000 <edrx> I am trying to follow this - https://cabal.readthedocs.io/en/stable/developing-packages.html#using-cabal-init - in the directory /tmp/foo2/
2022-09-21 02:19:52 +0000 <edrx> and I've added "pipes" to the build-depends in foo2.cabal
2022-09-21 02:20:28 +0000 <edrx> would ghci read the foo2.cabal? or only ghc?
2022-09-21 02:22:19 +0000 <edrx> aaah, nevermind
2022-09-21 02:22:40 +0000 <edrx> this works in the repl: ":set -package pipes"
2022-09-21 02:23:31 +0000td_(~td@muedsl-82-207-238-164.citykom.de) (Ping timeout: 252 seconds)
2022-09-21 02:24:27 +0000LukeHoersten(~LukeHoers@user/lukehoersten)
2022-09-21 02:25:28 +0000td_(~td@94.134.91.227)
2022-09-21 02:25:47 +0000FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2022-09-21 02:25:47 +0000finn_elija(~finn_elij@user/finn-elija/x-0085643)
2022-09-21 02:25:47 +0000finn_elijaFinnElija
2022-09-21 02:26:25 +0000matthewmosior(~matthewmo@173.170.253.91)
2022-09-21 02:28:09 +0000wroathe(~wroathe@user/wroathe) (Ping timeout: 265 seconds)
2022-09-21 02:29:54 +0000matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-09-21 02:31:50 +0000causal(~user@50.35.83.177)
2022-09-21 02:34:49 +0000 <sm> cabal repl does that for you
2022-09-21 02:35:06 +0000ezzieyguywuf(~Unknown@user/ezzieyguywuf) (Remote host closed the connection)
2022-09-21 02:36:12 +0000 <edrx> sm: does what?
2022-09-21 02:36:44 +0000 <sm> runs ghci in a way that it sees the packages on your cabal file
2022-09-21 02:37:16 +0000matthewmosior(~matthewmo@173.170.253.91)
2022-09-21 02:37:37 +0000 <edrx> how do I run the cabal repl?
2022-09-21 02:37:51 +0000ezzieyguywuf(~Unknown@user/ezzieyguywuf)
2022-09-21 02:39:34 +0000 <sm> just type that. it's documented I think
2022-09-21 02:39:36 +0000 <edrx> aaah, just "cabal repl"
2022-09-21 02:39:41 +0000 <edrx> sorry
2022-09-21 02:41:26 +0000 <edrx> https://cabal.readthedocs.io/en/stable/cabal-commands.html#cabal-repl
2022-09-21 02:42:11 +0000matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 260 seconds)
2022-09-21 02:43:37 +0000LukeHoersten(~LukeHoers@user/lukehoersten) (Ping timeout: 265 seconds)
2022-09-21 02:43:39 +0000wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-09-21 02:43:39 +0000wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-09-21 02:43:39 +0000wroathe(~wroathe@user/wroathe)
2022-09-21 02:49:55 +0000wroathe(~wroathe@user/wroathe) (Ping timeout: 252 seconds)
2022-09-21 02:56:07 +0000matthewmosior(~matthewmo@173.170.253.91)
2022-09-21 02:58:38 +0000rockymarine(~rocky@user/rockymarine)
2022-09-21 03:00:32 +0000matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-09-21 03:02:41 +0000jero98772(~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff) (Remote host closed the connection)
2022-09-21 03:03:27 +0000vglfr(~vglfr@145.224.94.16) (Ping timeout: 265 seconds)
2022-09-21 03:07:51 +0000jinsun__(~jinsun@user/jinsun)
2022-09-21 03:07:52 +0000jinsunGuest668
2022-09-21 03:07:52 +0000jinsun__jinsun
2022-09-21 03:11:55 +0000Guest668(~jinsun@user/jinsun) (Ping timeout: 244 seconds)
2022-09-21 03:13:16 +0000frost(~frost@user/frost)
2022-09-21 03:19:00 +0000jargon(~jargon@184.101.186.15) (Remote host closed the connection)
2022-09-21 03:20:23 +0000vglfr(~vglfr@145.224.94.75)
2022-09-21 03:23:47 +0000rockymarine(~rocky@user/rockymarine) (Ping timeout: 244 seconds)
2022-09-21 03:32:54 +0000matthewmosior(~matthewmo@173.170.253.91)
2022-09-21 03:36:24 +0000rockymarine(~rocky@user/rockymarine)
2022-09-21 03:37:13 +0000matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-09-21 03:37:36 +0000nate2(~nate@98.45.169.16) (Ping timeout: 264 seconds)
2022-09-21 03:39:24 +0000adanwan(~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
2022-09-21 03:40:18 +0000adanwan(~adanwan@gateway/tor-sasl/adanwan)
2022-09-21 03:40:37 +0000Athas(athas@2a01:7c8:aaac:1cf:a38f:9a16:210f:76f0) (Quit: ZNC 1.8.2 - https://znc.in)
2022-09-21 03:40:53 +0000Athas(athas@2a01:7c8:aaac:1cf:4932:a12f:b211:622e)
2022-09-21 03:41:29 +0000matthewmosior(~matthewmo@173.170.253.91)
2022-09-21 03:45:58 +0000matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 265 seconds)
2022-09-21 03:48:24 +0000Colere(~colere@about/linux/staff/sauvin) (Ping timeout: 264 seconds)
2022-09-21 03:48:25 +0000Vajb(~Vajb@2001:999:504:1841:9e47:1ec7:a52e:1d57) (Read error: Connection reset by peer)
2022-09-21 03:48:48 +0000Vajb(~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi)
2022-09-21 03:49:14 +0000Colere(~colere@about/linux/staff/sauvin)
2022-09-21 03:54:57 +0000raehik(~raehik@zone3.jesus.cam.ac.uk)
2022-09-21 03:59:30 +0000Vajb(~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi) (Read error: Connection reset by peer)
2022-09-21 04:00:00 +0000Vajb(~Vajb@2001:999:504:1841:9e47:1ec7:a52e:1d57)
2022-09-21 04:03:24 +0000nate2(~nate@98.45.169.16)
2022-09-21 04:10:00 +0000nate2(~nate@98.45.169.16) (Ping timeout: 264 seconds)
2022-09-21 04:10:52 +0000matthewmosior(~matthewmo@173.170.253.91)
2022-09-21 04:11:55 +0000azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds)
2022-09-21 04:12:26 +0000 <EvanR> gratuitous laziness turns a multipass process into a single pass via time travel xD https://paste.tomsmeding.com/xpHJYJQL
2022-09-21 04:18:59 +0000monochrom(trebla@216.138.220.146) (Quit: NO CARRIER)
2022-09-21 04:19:01 +0000matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 260 seconds)
2022-09-21 04:20:12 +0000burnsidesLlama(~burnsides@119247164140.ctinets.com)
2022-09-21 04:24:54 +0000 <EvanR> apparently I don't need the ~
2022-09-21 04:28:52 +0000monochrom(trebla@216.138.220.146)
2022-09-21 04:31:36 +0000saii(~cpli@77.47.62.180) (Ping timeout: 264 seconds)
2022-09-21 04:32:12 +0000jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 264 seconds)
2022-09-21 04:33:00 +0000king_gs(~Thunderbi@2806:103e:29:ac5e:a16e:4ac9:a89b:4d)
2022-09-21 04:37:41 +0000rockymarine(~rocky@user/rockymarine) (Ping timeout: 265 seconds)
2022-09-21 04:39:37 +0000 <c_wraith> correct. a match in a let is already irrefutable
2022-09-21 04:50:04 +0000matthewmosior(~matthewmo@173.170.253.91)
2022-09-21 04:50:31 +0000sagax(~sagax_nb@user/sagax)
2022-09-21 04:54:12 +0000matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-09-21 05:04:06 +0000FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2022-09-21 05:04:52 +0000FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-09-21 05:05:19 +0000Batzy_Batzy
2022-09-21 05:08:33 +0000edrx(~Eduardo@2804:56c:d2dc:ac00:dab8:211d:d4eb:fa94) (Remote host closed the connection)
2022-09-21 05:09:37 +0000rockymarine(~rocky@user/rockymarine)
2022-09-21 05:11:48 +0000mbuf(~Shakthi@49.204.132.164)
2022-09-21 05:16:52 +0000rockymarine(~rocky@user/rockymarine) (Remote host closed the connection)
2022-09-21 05:17:28 +0000rockymarine(~rocky@user/rockymarine)
2022-09-21 05:18:55 +0000matthewmosior(~matthewmo@173.170.253.91)
2022-09-21 05:23:19 +0000gmg(~user@user/gehmehgeh)
2022-09-21 05:23:36 +0000matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 265 seconds)
2022-09-21 05:28:00 +0000rockymarine(~rocky@user/rockymarine) (Ping timeout: 264 seconds)
2022-09-21 05:34:19 +0000ensyde(~ensyde@2600:1700:2050:1040:3c67:d3f4:1aa7:87f4) (Quit: Leaving)
2022-09-21 05:35:13 +0000ensyde(~ensyde@2600:1700:2050:1040:b5b9:dd31:7250:bbca)
2022-09-21 05:36:49 +0000king_gs(~Thunderbi@2806:103e:29:ac5e:a16e:4ac9:a89b:4d) (Remote host closed the connection)
2022-09-21 05:37:08 +0000king_gs(~Thunderbi@2806:103e:29:ac5e:a16e:4ac9:a89b:4d)
2022-09-21 05:40:19 +0000frost(~frost@user/frost) (Quit: Client closed)
2022-09-21 05:40:28 +0000Typedfern(~Typedfern@216.red-83-37-34.dynamicip.rima-tde.net) (Remote host closed the connection)
2022-09-21 05:40:51 +0000frost(~frost@user/frost)
2022-09-21 05:40:54 +0000Typedfern(~Typedfern@216.red-83-37-34.dynamicip.rima-tde.net)
2022-09-21 05:41:29 +0000titibandit(~titibandi@xdsl-87-78-162-143.nc.de)
2022-09-21 05:45:06 +0000frost(~frost@user/frost) (Client Quit)
2022-09-21 05:45:29 +0000rockymarine(~rocky@user/rockymarine)
2022-09-21 05:47:50 +0000zaquest(~notzaques@5.130.79.72) (Remote host closed the connection)
2022-09-21 05:50:12 +0000rockymarine(~rocky@user/rockymarine) (Ping timeout: 264 seconds)
2022-09-21 05:50:45 +0000zaquest(~notzaques@5.130.79.72)
2022-09-21 05:51:33 +0000eikke(~NicolasT@user/NicolasT)
2022-09-21 05:54:40 +0000matthewmosior(~matthewmo@173.170.253.91)
2022-09-21 05:54:55 +0000rockymarine(~rocky@user/rockymarine)
2022-09-21 05:58:52 +0000takuan(~takuan@178-116-218-225.access.telenet.be)
2022-09-21 05:59:22 +0000matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 265 seconds)
2022-09-21 05:59:33 +0000dsrt^(~dsrt@173-160-76-137-atlanta.hfc.comcastbusiness.net)
2022-09-21 06:01:14 +0000takuan(~takuan@178-116-218-225.access.telenet.be) (Read error: Connection reset by peer)
2022-09-21 06:01:41 +0000takuan(~takuan@178-116-218-225.access.telenet.be)
2022-09-21 06:01:47 +0000chimp_(~Psybur@c-76-123-45-25.hsd1.va.comcast.net) (Ping timeout: 265 seconds)
2022-09-21 06:05:18 +0000LukeHoersten(~LukeHoers@user/lukehoersten)
2022-09-21 06:06:38 +0000raehik(~raehik@zone3.jesus.cam.ac.uk) (Ping timeout: 265 seconds)
2022-09-21 06:08:46 +0000echoreply(~echoreply@45.32.163.16) (Quit: WeeChat 2.8)
2022-09-21 06:09:37 +0000echoreply(~echoreply@45.32.163.16)
2022-09-21 06:13:16 +0000jackdreilly52(~jackdreil@2a01cb040bf5210095a09b28abebad11.ipv6.abo.wanadoo.fr)
2022-09-21 06:13:33 +0000jackdreilly52(~jackdreil@2a01cb040bf5210095a09b28abebad11.ipv6.abo.wanadoo.fr) (Client Quit)
2022-09-21 06:14:02 +0000jackdreilly(~jackdreil@2a01cb040bf5210095a09b28abebad11.ipv6.abo.wanadoo.fr)
2022-09-21 06:14:13 +0000 <jackdreilly> Hi all! does anyone use stack + hls + vscode? I have this silly problem where changing the export list of Lib.hs doesn't propagate to other files in the project, i.e., you cannot import a newly exported function into another file like Spec.hs. The solution is to restart HLS in VS Code. Does anyone have a workaround for this?
2022-09-21 06:14:42 +0000zeenk(~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f)
2022-09-21 06:15:56 +0000 <sm> jackdreilly: I restart hls fairly often for stuff like that
2022-09-21 06:16:53 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-09-21 06:20:26 +0000kmein(~weechat@user/kmein) (Quit: ciao kakao)
2022-09-21 06:20:54 +0000kmein(~weechat@user/kmein)
2022-09-21 06:21:23 +0000frost(~frost@user/frost)
2022-09-21 06:23:56 +0000raehik(~raehik@zone3.jesus.cam.ac.uk)
2022-09-21 06:25:11 +0000 <jackdreilly> sm: thanks for the pointer, hoped to find a proper workaround to stay in "flow":)  I tried tracking down the relevant Github issues in the VSCode plugin/HLS/Stack, but got a bit lost
2022-09-21 06:25:50 +0000 <sm> it's fast if you use the command palette, almost automatic for me now
2022-09-21 06:26:35 +0000shapr(~user@68.54.166.125) (Ping timeout: 268 seconds)
2022-09-21 06:27:21 +0000LukeHoersten(~LukeHoers@user/lukehoersten) (Ping timeout: 260 seconds)
2022-09-21 06:29:13 +0000matthewmosior(~matthewmo@173.170.253.91)
2022-09-21 06:29:20 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-09-21 06:29:24 +0000Athas(athas@2a01:7c8:aaac:1cf:4932:a12f:b211:622e) (Quit: ZNC 1.8.2 - https://znc.in)
2022-09-21 06:29:36 +0000Athas(athas@2a01:7c8:aaac:1cf:4932:a12f:b211:622e)
2022-09-21 06:33:24 +0000matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-09-21 06:36:09 +0000raehik(~raehik@zone3.jesus.cam.ac.uk) (Ping timeout: 252 seconds)
2022-09-21 06:36:54 +0000michalz(~michalz@185.246.207.217)
2022-09-21 06:37:22 +0000potash(~foghorn@user/foghorn) (Read error: Connection reset by peer)
2022-09-21 06:38:38 +0000potash(~foghorn@user/foghorn)
2022-09-21 06:45:38 +0000nate2(~nate@98.45.169.16)
2022-09-21 06:46:53 +0000coot(~coot@213.134.176.158)
2022-09-21 06:48:52 +0000acidjnk_new(~acidjnk@p200300d6e7137a90d15659ffcaba9cd7.dip0.t-ipconnect.de)
2022-09-21 06:49:26 +0000epolanski(uid312403@id-312403.helmsley.irccloud.com)
2022-09-21 06:50:38 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-09-21 06:50:42 +0000nate2(~nate@98.45.169.16) (Ping timeout: 268 seconds)
2022-09-21 06:52:29 +0000 <Axman6> jackdreilly: set up VS Code to restart HLS on save :P
2022-09-21 06:59:19 +0000kritzefitz(~kritzefit@debian/kritzefitz) (Ping timeout: 265 seconds)
2022-09-21 07:02:21 +0000vorpuni(~pvorp@2001:861:3881:c690:1379:f79b:bd16:e041)
2022-09-21 07:02:28 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2022-09-21 07:03:34 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-09-21 07:03:59 +0000odnes(~odnes@ppp089210198232.access.hol.gr)
2022-09-21 07:08:05 +0000matthewmosior(~matthewmo@173.170.253.91)
2022-09-21 07:08:11 +0000rockymarine(~rocky@user/rockymarine) (Ping timeout: 260 seconds)
2022-09-21 07:09:39 +0000johnw(~johnw@2600:1700:cf00:db0:7521:269e:c5d9:26aa) (Quit: ZNC - http://znc.in)
2022-09-21 07:10:22 +0000rockymarine(~rocky@user/rockymarine)
2022-09-21 07:12:09 +0000eikke(~NicolasT@user/NicolasT) (Ping timeout: 244 seconds)
2022-09-21 07:12:40 +0000matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-09-21 07:14:21 +0000`2jt(~jtomas@86.red-88-17-188.dynamicip.rima-tde.net)
2022-09-21 07:16:18 +0000mvk(~mvk@2607:fea8:5ce3:8500::c9e3) (Ping timeout: 244 seconds)
2022-09-21 07:17:00 +0000mvk(~mvk@2607:fea8:5ce3:8500::c9e3)
2022-09-21 07:17:29 +0000img_(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2022-09-21 07:20:24 +0000img(~img@user/img)
2022-09-21 07:21:24 +0000rockymarine(~rocky@user/rockymarine) (Ping timeout: 264 seconds)
2022-09-21 07:22:54 +0000king_gs(~Thunderbi@2806:103e:29:ac5e:a16e:4ac9:a89b:4d) (Remote host closed the connection)
2022-09-21 07:23:13 +0000king_gs(~Thunderbi@2806:103e:29:ac5e:a16e:4ac9:a89b:4d)
2022-09-21 07:29:27 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-09-21 07:29:48 +0000titibandit(~titibandi@xdsl-87-78-162-143.nc.de) (Remote host closed the connection)
2022-09-21 07:31:01 +0000img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2022-09-21 07:33:54 +0000img(~img@user/img)
2022-09-21 07:34:19 +0000img(~img@user/img) (Client Quit)
2022-09-21 07:35:21 +0000Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2022-09-21 07:36:46 +0000mvk(~mvk@2607:fea8:5ce3:8500::c9e3) (Ping timeout: 260 seconds)
2022-09-21 07:37:10 +0000img(~img@user/img)
2022-09-21 07:37:26 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-09-21 07:41:56 +0000rockymarine(~rocky@user/rockymarine)
2022-09-21 07:42:02 +0000matthewmosior(~matthewmo@173.170.253.91)
2022-09-21 07:45:57 +0000jakalx(~jakalx@base.jakalx.net) ()
2022-09-21 07:46:41 +0000matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 260 seconds)
2022-09-21 07:50:12 +0000rockymarine(~rocky@user/rockymarine) (Ping timeout: 264 seconds)
2022-09-21 07:51:17 +0000jakalx(~jakalx@base.jakalx.net)
2022-09-21 07:51:24 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-09-21 07:54:15 +0000elkcl(~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Ping timeout: 252 seconds)
2022-09-21 07:55:18 +0000machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2022-09-21 07:58:46 +0000ccapndave(~ccapndave@xcpe-194-230-18-108.cgn.res.adslplus.ch)
2022-09-21 07:59:26 +0000akegalj(~akegalj@78-3-80-160.adsl.net.t-com.hr)
2022-09-21 08:01:49 +0000raehik(~raehik@global-5-16.n-1.net.cam.ac.uk)
2022-09-21 08:02:46 +0000waldo(~waldo@user/waldo)
2022-09-21 08:03:20 +0000smudge-the-cat(smudge-the@2600:3c01::f03c:93ff:fe0c:9b23)
2022-09-21 08:03:21 +0000smudge-the-cat(smudge-the@2600:3c01::f03c:93ff:fe0c:9b23) ()
2022-09-21 08:03:28 +0000rockymarine(~rocky@user/rockymarine)
2022-09-21 08:10:27 +0000lortabac(~lortabac@2a01:e0a:541:b8f0:b571:4b78:e272:4c3f)
2022-09-21 08:11:29 +0000chele(~chele@user/chele)
2022-09-21 08:13:39 +0000tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz)
2022-09-21 08:15:11 +0000rockymarine(~rocky@user/rockymarine) (Ping timeout: 265 seconds)
2022-09-21 08:15:53 +0000bahamas(~lucian@93.122.248.143)
2022-09-21 08:16:06 +0000 <bahamas> hello. anyone have any idea what the pipe might be doing here"
2022-09-21 08:16:08 +0000 <bahamas> `H.textProperty "style" "background: #fe6683 !important;border-color: #fe6683 !important;" | _Status == Requested ]`
2022-09-21 08:16:18 +0000eikke(~NicolasT@user/NicolasT)
2022-09-21 08:17:23 +0000matthewmosior(~matthewmo@173.170.253.91)
2022-09-21 08:18:18 +0000 <dminuoso> bahamas: Presumably part of a list (or monad) comprehension
2022-09-21 08:19:20 +0000 <dminuoso> It's definitely a cute trick to use list/monad comprehensions without any <- in them
2022-09-21 08:19:38 +0000ensyde(~ensyde@2600:1700:2050:1040:b5b9:dd31:7250:bbca) (Quit: Leaving)
2022-09-21 08:21:55 +0000matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-09-21 08:22:24 +0000Psybur(~Psybur@c-76-123-45-25.hsd1.va.comcast.net)
2022-09-21 08:24:28 +0000 <ski> @undo [x | b]
2022-09-21 08:24:29 +0000 <lambdabot> if b then [x] else []
2022-09-21 08:24:59 +0000kuribas(~user@silversquare.silversquare.eu)
2022-09-21 08:28:04 +0000 <bahamas> aha, so H.textProperty "stays" only when _Status == Requested, if I understand
2022-09-21 08:30:39 +0000eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-09-21 08:33:13 +0000`2jt(~jtomas@86.red-88-17-188.dynamicip.rima-tde.net) (Remote host closed the connection)
2022-09-21 08:37:35 +0000cfricke(~cfricke@user/cfricke)
2022-09-21 08:39:54 +0000ccapndave(~ccapndave@xcpe-194-230-18-108.cgn.res.adslplus.ch) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2022-09-21 08:40:52 +0000 <ski> sounds reasonable
2022-09-21 08:43:20 +0000burnsidesLlama(~burnsides@119247164140.ctinets.com) (Remote host closed the connection)
2022-09-21 08:43:32 +0000__monty__(~toonn@user/toonn)
2022-09-21 08:43:34 +0000rockymarine(~rocky@user/rockymarine)
2022-09-21 08:46:45 +0000 <bahamas> thanks!
2022-09-21 08:50:21 +0000ubert(~Thunderbi@178.115.57.139.wireless.dyn.drei.com)
2022-09-21 08:50:57 +0000rockymarine(~rocky@user/rockymarine) (Ping timeout: 268 seconds)
2022-09-21 08:52:22 +0000matthewmosior(~matthewmo@173.170.253.91)
2022-09-21 08:52:36 +0000mesaoptimizer(apotheosis@user/PapuaHardyNet) (Quit: zzz)
2022-09-21 08:53:51 +0000vglfr(~vglfr@145.224.94.75) (Remote host closed the connection)
2022-09-21 08:54:29 +0000vglfr(~vglfr@145.224.94.75)
2022-09-21 08:54:37 +0000vglfr(~vglfr@145.224.94.75) (Remote host closed the connection)
2022-09-21 08:55:22 +0000tux(~tux@2406:3003:2073:842:9059:fea1:13c5:1c00)
2022-09-21 08:55:45 +0000chomwitt(~chomwitt@2a02:587:dc14:f500:9023:feff:8abf:ed1d)
2022-09-21 08:56:21 +0000ccapndave(~ccapndave@xcpe-194-230-18-108.cgn.res.adslplus.ch)
2022-09-21 08:56:21 +0000king_gs(~Thunderbi@2806:103e:29:ac5e:a16e:4ac9:a89b:4d) (Remote host closed the connection)
2022-09-21 08:56:40 +0000king_gs(~Thunderbi@2806:103e:29:ac5e:a16e:4ac9:a89b:4d)
2022-09-21 08:57:02 +0000ccapndave(~ccapndave@xcpe-194-230-18-108.cgn.res.adslplus.ch) (Client Quit)
2022-09-21 08:57:16 +0000matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 260 seconds)
2022-09-21 08:57:40 +0000vglfr(~vglfr@145.224.94.75)
2022-09-21 09:00:23 +0000 <tux> Hello people, I'm quite new to Haskell and I'm building a website with Yesod. Using the sqlite backend I noticed that when I kill the server with C-c it usually leaves the -shm and -wal files behind, uncommitted to the main db file; is there any way to terminate gracefully? Google's given me nothing so far sadly :( Thanks.
2022-09-21 09:02:38 +0000nate2(~nate@98.45.169.16)
2022-09-21 09:02:39 +0000bahamas(~lucian@93.122.248.143) (Read error: Connection reset by peer)
2022-09-21 09:05:46 +0000rockymarine(~rocky@user/rockymarine)
2022-09-21 09:06:07 +0000waldo(~waldo@user/waldo) (Ping timeout: 252 seconds)
2022-09-21 09:06:47 +0000ft(~ft@p3e9bc57b.dip0.t-ipconnect.de) (Quit: Lost terminal)
2022-09-21 09:07:15 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-09-21 09:07:35 +0000nate2(~nate@98.45.169.16) (Ping timeout: 252 seconds)
2022-09-21 09:08:00 +0000ccapndave(~ccapndave@xcpe-194-230-18-108.cgn.res.adslplus.ch)
2022-09-21 09:08:58 +0000ccapndave(~ccapndave@xcpe-194-230-18-108.cgn.res.adslplus.ch) (Client Quit)
2022-09-21 09:10:57 +0000king_gs(~Thunderbi@2806:103e:29:ac5e:a16e:4ac9:a89b:4d) (Ping timeout: 250 seconds)
2022-09-21 09:11:12 +0000tuxnot-tux
2022-09-21 09:13:20 +0000king_gs(~Thunderbi@187.201.192.184)
2022-09-21 09:14:14 +0000jackdreilly(~jackdreil@2a01cb040bf5210095a09b28abebad11.ipv6.abo.wanadoo.fr) (Quit: Client closed)
2022-09-21 09:17:06 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-09-21 09:17:20 +0000burnsidesLlama(~burnsides@119247164140.ctinets.com)
2022-09-21 09:22:39 +0000burnsidesLlama(~burnsides@119247164140.ctinets.com) (Ping timeout: 250 seconds)
2022-09-21 09:26:15 +0000rockymarine(~rocky@user/rockymarine) (Ping timeout: 265 seconds)
2022-09-21 09:26:22 +0000matthewmosior(~matthewmo@173.170.253.91)
2022-09-21 09:30:37 +0000matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-09-21 09:31:08 +0000eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-09-21 09:31:17 +0000azimut(~azimut@gateway/tor-sasl/azimut)
2022-09-21 09:31:27 +0000 <akegalj> not-tux: there are few people in #yesod channel, maybe you could post your question there as well
2022-09-21 09:33:03 +0000mbuf(~Shakthi@49.204.132.164) (Quit: Leaving)
2022-09-21 09:33:55 +0000ec(~ec@gateway/tor-sasl/ec) (Ping timeout: 258 seconds)
2022-09-21 09:35:17 +0000jmdaemon(~jmdaemon@user/jmdaemon) (Ping timeout: 244 seconds)
2022-09-21 09:35:54 +0000eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds)
2022-09-21 09:38:33 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-09-21 09:38:35 +0000ec(~ec@gateway/tor-sasl/ec)
2022-09-21 09:40:26 +0000raehik(~raehik@global-5-16.n-1.net.cam.ac.uk) (Ping timeout: 260 seconds)
2022-09-21 09:46:14 +0000rockymarine(~rocky@user/rockymarine)
2022-09-21 09:47:46 +0000LukeHoersten(~LukeHoers@user/lukehoersten)
2022-09-21 09:48:56 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-09-21 09:59:04 +0000matthewmosior(~matthewmo@173.170.253.91)
2022-09-21 10:00:08 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-09-21 10:02:12 +0000sammelweis(~quassel@047-225-118-016.res.spectrum.com)
2022-09-21 10:03:35 +0000Athas(athas@2a01:7c8:aaac:1cf:4932:a12f:b211:622e) (Quit: ZNC 1.8.2 - https://znc.in)
2022-09-21 10:03:43 +0000Athas(athas@sigkill.dk)
2022-09-21 10:03:46 +0000matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 260 seconds)
2022-09-21 10:05:48 +0000king_gs(~Thunderbi@187.201.192.184) (Read error: Connection reset by peer)
2022-09-21 10:06:15 +0000king_gs(~Thunderbi@2806:103e:29:ac5e:a16e:4ac9:a89b:4d)
2022-09-21 10:08:38 +0000akegalj(~akegalj@78-3-80-160.adsl.net.t-com.hr) (Quit: leaving)
2022-09-21 10:09:15 +0000LukeHoersten(~LukeHoers@user/lukehoersten) (Ping timeout: 265 seconds)
2022-09-21 10:12:38 +0000FinnElija(~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 258 seconds)
2022-09-21 10:13:35 +0000luffy(~chenqisu1@183.217.203.170)
2022-09-21 10:14:00 +0000luffy(~chenqisu1@183.217.203.170) (Read error: Connection reset by peer)
2022-09-21 10:14:17 +0000 <not-tux> akegalj thanks for the tip, will do!
2022-09-21 10:14:56 +0000FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-09-21 10:15:23 +0000luffy(~chenqisu1@183.217.203.170)
2022-09-21 10:15:37 +0000econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2022-09-21 10:15:40 +0000luffy(~chenqisu1@183.217.203.170) (Client Quit)
2022-09-21 10:16:38 +0000raehik(~raehik@global-5-16.n-1.net.cam.ac.uk)
2022-09-21 10:17:14 +0000adanwan(~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 258 seconds)
2022-09-21 10:17:21 +0000luffy(~chenqisu1@183.217.203.170)
2022-09-21 10:17:48 +0000luffy(~chenqisu1@183.217.203.170) (Read error: Connection reset by peer)
2022-09-21 10:21:55 +0000adanwan(~adanwan@gateway/tor-sasl/adanwan)
2022-09-21 10:22:12 +0000kritzefitz(~kritzefit@debian/kritzefitz)
2022-09-21 10:25:49 +0000waldo(~waldo@user/waldo)
2022-09-21 10:28:22 +0000yoneda(~mike@193.206.102.122)
2022-09-21 10:31:12 +0000jpds1(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2022-09-21 10:31:33 +0000coot(~coot@213.134.176.158) (Ping timeout: 252 seconds)
2022-09-21 10:31:41 +0000jpds1(~jpds@gateway/tor-sasl/jpds)
2022-09-21 10:32:23 +0000jpds1(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2022-09-21 10:32:45 +0000jpds1(~jpds@gateway/tor-sasl/jpds)
2022-09-21 10:33:03 +0000matthewmosior(~matthewmo@173.170.253.91)
2022-09-21 10:37:45 +0000ec(~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
2022-09-21 10:37:46 +0000matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 265 seconds)
2022-09-21 10:38:26 +0000waleee(~waleee@h-176-10-137-138.NA.cust.bahnhof.se)
2022-09-21 10:38:49 +0000ec(~ec@gateway/tor-sasl/ec)
2022-09-21 10:39:39 +0000odnes(~odnes@ppp089210198232.access.hol.gr) (Quit: Leaving)
2022-09-21 10:40:35 +0000burnsidesLlama(~burnsides@119247164140.ctinets.com)
2022-09-21 10:50:48 +0000rockymarine(~rocky@user/rockymarine) (Ping timeout: 264 seconds)
2022-09-21 10:53:39 +0000king_gs(~Thunderbi@2806:103e:29:ac5e:a16e:4ac9:a89b:4d) (Ping timeout: 250 seconds)
2022-09-21 10:54:21 +0000phma(phma@2001:5b0:210b:aca8:56:2d35:7769:5de3)
2022-09-21 10:55:53 +0000DavidBinder(~DavidBind@134.2.10.18)
2022-09-21 10:56:29 +0000luffy(~chenqisu1@183.217.203.170)
2022-09-21 10:57:07 +0000luffy(~chenqisu1@183.217.203.170) (Max SendQ exceeded)
2022-09-21 10:57:42 +0000luffy(~chenqisu1@183.217.203.170)
2022-09-21 11:05:50 +0000gurkenglas(~gurkengla@p548ac72e.dip0.t-ipconnect.de)
2022-09-21 11:06:12 +0000rockymarine(~rocky@user/rockymarine)
2022-09-21 11:08:05 +0000matthewmosior(~matthewmo@173.170.253.91)
2022-09-21 11:10:00 +0000MajorBiscuit(~MajorBisc@145.94.160.96)
2022-09-21 11:12:24 +0000matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-09-21 11:23:12 +0000raehik(~raehik@global-5-16.n-1.net.cam.ac.uk) (Ping timeout: 264 seconds)
2022-09-21 11:25:46 +0000burnsidesLlama(~burnsides@119247164140.ctinets.com) (Remote host closed the connection)
2022-09-21 11:31:41 +0000ezzieyguywuf(~Unknown@user/ezzieyguywuf) (Ping timeout: 252 seconds)
2022-09-21 11:32:34 +0000matthewmosior(~matthewmo@173.170.253.91)
2022-09-21 11:33:38 +0000ezzieyguywuf(~Unknown@user/ezzieyguywuf)
2022-09-21 11:36:57 +0000jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2022-09-21 11:37:13 +0000matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 265 seconds)
2022-09-21 11:39:00 +0000odnes(~odnes@ppp089210198232.access.hol.gr)
2022-09-21 11:45:02 +0000elkcl(~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru)
2022-09-21 11:45:02 +0000Sciencentistguy(~sciencent@hacksoc/ordinary-member) (Quit: o/)
2022-09-21 11:45:17 +0000Sciencentistguy(~sciencent@hacksoc/ordinary-member)
2022-09-21 11:46:12 +0000jpds1(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2022-09-21 11:46:50 +0000jpds1(~jpds@gateway/tor-sasl/jpds)
2022-09-21 11:52:35 +0000rockymarine(~rocky@user/rockymarine) (Ping timeout: 250 seconds)
2022-09-21 11:53:45 +0000k``(~user@2605:a601:a60d:5400:c109:24b0:b809:a61d) (Ping timeout: 244 seconds)
2022-09-21 11:58:46 +0000lyle(~lyle@104.246.145.85)
2022-09-21 12:02:32 +0000burnsidesLlama(~burnsides@119247164140.ctinets.com)
2022-09-21 12:05:21 +0000matthewmosior(~matthewmo@173.170.253.91)
2022-09-21 12:08:43 +0000burnsidesLlama(~burnsides@119247164140.ctinets.com) (Ping timeout: 252 seconds)
2022-09-21 12:08:57 +0000rockymarine(~rocky@user/rockymarine)
2022-09-21 12:11:57 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-09-21 12:12:41 +0000acidjnk_new3(~acidjnk@p200300d6e7137a90d15659ffcaba9cd7.dip0.t-ipconnect.de)
2022-09-21 12:12:51 +0000matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-09-21 12:14:32 +0000califax(~califax@user/califx) (Ping timeout: 258 seconds)
2022-09-21 12:15:16 +0000califax(~califax@user/califx)
2022-09-21 12:15:23 +0000jpds1(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2022-09-21 12:15:51 +0000jpds1(~jpds@gateway/tor-sasl/jpds)
2022-09-21 12:16:11 +0000acidjnk_new(~acidjnk@p200300d6e7137a90d15659ffcaba9cd7.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2022-09-21 12:18:01 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-09-21 12:20:41 +0000coot(~coot@213.134.176.158)
2022-09-21 12:25:37 +0000[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2022-09-21 12:25:57 +0000waldo(~waldo@user/waldo) (Ping timeout: 252 seconds)
2022-09-21 12:27:58 +0000rockymarine(~rocky@user/rockymarine) (Ping timeout: 265 seconds)
2022-09-21 12:29:14 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2022-09-21 12:34:07 +0000eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-09-21 12:34:58 +0000waldo(~waldo@user/waldo)
2022-09-21 12:38:25 +0000eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds)
2022-09-21 12:39:03 +0000mesaoptimizer2(sid546676@user/PapuaHardyNet) ()
2022-09-21 12:40:31 +0000rockymarine(~rocky@user/rockymarine)
2022-09-21 12:42:37 +0000saii(~cpli@77.47.62.180)
2022-09-21 12:45:17 +0000saii(~cpli@77.47.62.180) (Client Quit)
2022-09-21 12:45:23 +0000rockymarine(~rocky@user/rockymarine) (Ping timeout: 252 seconds)
2022-09-21 12:47:10 +0000matthewmosior(~matthewmo@173.170.253.91)
2022-09-21 12:47:16 +0000bahamas(~lucian@188.24.138.239)
2022-09-21 12:51:36 +0000jero98772(~jero98772@2800:484:1d80:d8ce:3490:26c5:1782:da8c)
2022-09-21 12:55:31 +0000raehik(~raehik@global-5-14.n-1.net.cam.ac.uk)
2022-09-21 12:55:31 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-09-21 12:56:26 +0000matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 260 seconds)
2022-09-21 12:59:18 +0000rockymarine(~rocky@user/rockymarine)
2022-09-21 13:04:11 +0000nate2(~nate@98.45.169.16)
2022-09-21 13:08:03 +0000waldo(~waldo@user/waldo) (Quit: quit)
2022-09-21 13:09:20 +0000nate2(~nate@98.45.169.16) (Ping timeout: 268 seconds)
2022-09-21 13:09:20 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-09-21 13:15:55 +0000luffy(~chenqisu1@183.217.203.170) (Quit: Leaving)
2022-09-21 13:16:00 +0000eikke(~NicolasT@user/NicolasT) (Ping timeout: 264 seconds)
2022-09-21 13:20:43 +0000coot(~coot@213.134.176.158) (Quit: coot)
2022-09-21 13:25:18 +0000matthewmosior(~matthewmo@173.170.253.91)
2022-09-21 13:27:03 +0000matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-09-21 13:27:09 +0000matthewmosior(~matthewmo@173.170.253.91)
2022-09-21 13:28:48 +0000matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-09-21 13:30:31 +0000matthewmosior(~matthewmo@173.170.253.91)
2022-09-21 13:32:09 +0000cfricke(~cfricke@user/cfricke) (Quit: WeeChat 3.6)
2022-09-21 13:33:13 +0000jackdreilly(~jackdreil@2a01cb040bf5210095a09b28abebad11.ipv6.abo.wanadoo.fr)
2022-09-21 13:34:48 +0000asthasr(~asthasr@208.80.78.154)
2022-09-21 13:35:00 +0000matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-09-21 13:39:05 +0000matthewmosior(~matthewmo@173.170.253.91)
2022-09-21 13:40:31 +0000matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-09-21 13:46:12 +0000jackdreilly(~jackdreil@2a01cb040bf5210095a09b28abebad11.ipv6.abo.wanadoo.fr) (Quit: Client closed)
2022-09-21 13:53:35 +0000wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-09-21 13:53:35 +0000wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-09-21 13:53:35 +0000wroathe(~wroathe@user/wroathe)
2022-09-21 13:54:18 +0000mesaoptimizer(apotheosis@user/PapuaHardyNet)
2022-09-21 13:54:56 +0000 <mesaoptimizer> what's the beginner's channel? I've forgotten
2022-09-21 13:55:35 +0000 <mesaoptimizer> oh, #haskell-beginners. right
2022-09-21 13:57:19 +0000matthewmosior(~matthewmo@173.170.253.91)
2022-09-21 13:58:23 +0000 <ski> fwiw, this channel is also fine for beginners questions
2022-09-21 13:58:36 +0000wroathe(~wroathe@user/wroathe) (Ping timeout: 264 seconds)
2022-09-21 13:59:19 +0000gurkenglas(~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 265 seconds)
2022-09-21 13:59:57 +0000 <ski> (you'll possibly get more eyes, in here. however, at some times, it can be a bit noisy in here, in which case it may be easier to have a more focused conversation or explanation in a generally less busy channel)
2022-09-21 14:00:33 +0000rockymarine(~rocky@user/rockymarine) (Ping timeout: 252 seconds)
2022-09-21 14:01:52 +0000matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-09-21 14:02:53 +0000coot(~coot@213.134.176.158)
2022-09-21 14:03:15 +0000matthewmosior(~matthewmo@173.170.253.91)
2022-09-21 14:03:33 +0000KaipeiKaiepi
2022-09-21 14:04:04 +0000frost(~frost@user/frost) (Quit: Client closed)
2022-09-21 14:05:27 +0000waleee(~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 268 seconds)
2022-09-21 14:05:44 +0000szkl(uid110435@id-110435.uxbridge.irccloud.com)
2022-09-21 14:06:07 +0000 <not-tux> eh noisy? it's been quite inactive for the past 7h :p
2022-09-21 14:06:58 +0000bontaq(~user@ool-45779fe5.dyn.optonline.net)
2022-09-21 14:07:00 +0000raehik(~raehik@global-5-14.n-1.net.cam.ac.uk) (Ping timeout: 264 seconds)
2022-09-21 14:07:37 +0000 <byorgey> "at some times"
2022-09-21 14:08:13 +0000 <not-tux> oh right timezones ;-;
2022-09-21 14:08:40 +0000 <byorgey> I'm not sure it even correlates with time zones, there are just times when it's really busy and times when it's not.
2022-09-21 14:08:43 +0000 <int-e> also decades
2022-09-21 14:08:57 +0000 <int-e> this channel was buzzing with activity 19 years ago :P
2022-09-21 14:09:48 +0000 <int-e> Well, on a different network, but there is continuity.
2022-09-21 14:10:11 +0000 <byorgey> true, some of the activity has dispersed to other venues.
2022-09-21 14:10:28 +0000 <not-tux> reddit seems pretty active
2022-09-21 14:10:37 +0000 <not-tux> I might get a reddit account
2022-09-21 14:10:50 +0000Sgeo(~Sgeo@user/sgeo)
2022-09-21 14:11:02 +0000 <byorgey> it's a trap!
2022-09-21 14:11:12 +0000 <not-tux> :o
2022-09-21 14:11:13 +0000 <not-tux> why
2022-09-21 14:11:39 +0000 <byorgey> just kidding, there's lots of great Haskell discussion on reddit. I am just anti-social-media in general.
2022-09-21 14:12:15 +0000 <bsima> libredd.it is much better than corporate reddit
2022-09-21 14:12:25 +0000 <bsima> if u must use reddit
2022-09-21 14:12:31 +0000zeenk(~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) (Quit: Konversation terminated!)
2022-09-21 14:12:56 +0000 <byorgey> "Repl Unavailable"
2022-09-21 14:13:15 +0000 <bsima> other instances here https://github.com/spikecodes/libreddit
2022-09-21 14:13:55 +0000 <byorgey> neat, thanks
2022-09-21 14:14:34 +0000 <int-e> Hmm, can https://teddit.net/ be used for posting? I do like it for the rare reading I do.
2022-09-21 14:18:01 +0000 <not-tux> byorgey: I'm not a fan either :p
2022-09-21 14:18:07 +0000 <not-tux> that's why I still don't have one hehe
2022-09-21 14:18:30 +0000 <geekosaur> I have an account but I use it only very rarely
2022-09-21 14:18:43 +0000 <not-tux> also since there seem to be people around now, I'll ask again:
2022-09-21 14:18:44 +0000 <not-tux> > Hello people, I'm quite new to Haskell and I'm building a website with Yesod. Using the sqlite backend I noticed that when I kill the server with C-c it usually leaves the -shm and -wal files behind, uncommitted to the main db file; is there any way to terminate gracefully? Google's given me nothing so far sadly :( Thanks.
2022-09-21 14:18:46 +0000 <lambdabot> <hint>:1:13: error: parse error on input ‘,’
2022-09-21 14:18:52 +0000 <not-tux> also since there seem to be people around now, I'll ask again:
2022-09-21 14:18:53 +0000 <not-tux> > Hello people, I'm quite new to Haskell and I'm building a website with Yesod. Using the sqlite backend I noticed that when I kill the server with C-c it usually leaves the -shm and -wal files behind, uncommitted to the main db file; is there any way to terminate gracefully? Google's given me nothing so far sadly :( Thanks.
2022-09-21 14:18:54 +0000 <lambdabot> <hint>:1:13: error: parse error on input ‘,’
2022-09-21 14:19:08 +0000 <not-tux> wait why did it doublepost
2022-09-21 14:19:12 +0000 <not-tux> whatever
2022-09-21 14:19:48 +0000k`(~user@152.7.255.204)
2022-09-21 14:20:12 +0000 <dolio> Are you on matrix, and did you edit what you wrote?
2022-09-21 14:20:34 +0000 <not-tux> yehah I tried to edit - I'm on libera's web client thoug
2022-09-21 14:20:53 +0000mncheck(~mncheck@193.224.205.254) (Remote host closed the connection)
2022-09-21 14:21:18 +0000 <dolio> Editing resends the edited message to IRC.
2022-09-21 14:21:34 +0000MajorBiscuit(~MajorBisc@145.94.160.96) (Ping timeout: 265 seconds)
2022-09-21 14:21:47 +0000 <not-tux> Ah I guessed that too, as soon as you said. Thanks for the heads-up :p
2022-09-21 14:21:52 +0000 <geekosaur> didn't know the web client supported editing though
2022-09-21 14:22:08 +0000 <geekosaur> matrix does but it doesn't necessarily send the whole thing, for small edits it does s///
2022-09-21 14:23:13 +0000Guest41(~Guest41@130.44.130.54)
2022-09-21 14:24:37 +0000 <dolio> The web chat looks a lot different than it used to.
2022-09-21 14:25:00 +0000 <not-tux> welp I just found out about IRC :p
2022-09-21 14:25:10 +0000 <not-tux> so no idea what it used to look like haha
2022-09-21 14:27:44 +0000 <dolio> It's also doing stuff like showing 'not-tux is typing ...' notifications. So maybe it's just a matrix web client or something. It's hard to tell.
2022-09-21 14:27:56 +0000Guest41(~Guest41@130.44.130.54) (Quit: Client closed)
2022-09-21 14:28:40 +0000 <not-tux> actually - what is matrix? I hear about it quite a bit but I don't actually know what it is
2022-09-21 14:29:09 +0000 <not-tux> is it like a bouncer? It says "decentralised message store"
2022-09-21 14:29:21 +0000 <dolio> It's kind of like an open source slack or what have you.
2022-09-21 14:29:28 +0000rockymarine(~rocky@user/rockymarine)
2022-09-21 14:29:56 +0000 <dolio> Or discord. Any of the fancy modern IRC replacements that people use.
2022-09-21 14:33:12 +0000 <int-e> I suppose renaming guilds to servers was a stroke of genius.
2022-09-21 14:33:38 +0000 <not-tux> I don't like Discord
2022-09-21 14:33:44 +0000 <not-tux> but I use it so much xd
2022-09-21 14:33:50 +0000 <geekosaur> its biug thing is that it can gateway between any of the other message services
2022-09-21 14:37:47 +0000 <not-tux> xD
2022-09-21 14:38:09 +0000 <not-tux> well I'm off now and I don't have a bouncer, but I now know a nice place to talk about haskell stuffs hehe
2022-09-21 14:38:22 +0000not-tux(~tux@2406:3003:2073:842:9059:fea1:13c5:1c00) (Quit: Client closed)
2022-09-21 14:41:12 +0000vglfr(~vglfr@145.224.94.75) (Ping timeout: 264 seconds)
2022-09-21 14:45:00 +0000mvk(~mvk@2607:fea8:5ce3:8500::778c)
2022-09-21 14:45:19 +0000dsrt^(~dsrt@173-160-76-137-atlanta.hfc.comcastbusiness.net) (Remote host closed the connection)
2022-09-21 14:47:02 +0000LukeHoersten(~LukeHoers@user/lukehoersten)
2022-09-21 14:50:55 +0000MajorBiscuit(~MajorBisc@145.94.160.96)
2022-09-21 14:51:59 +0000LukeHoersten(~LukeHoers@user/lukehoersten) (Ping timeout: 244 seconds)
2022-09-21 14:55:51 +0000LukeHoersten(~LukeHoers@user/lukehoersten)
2022-09-21 14:55:52 +0000rockymarine(~rocky@user/rockymarine) (Ping timeout: 265 seconds)
2022-09-21 14:56:12 +0000gurkenglas(~gurkengla@p548ac72e.dip0.t-ipconnect.de)
2022-09-21 14:56:49 +0000bahamas(~lucian@188.24.138.239) (Quit: Lost terminal)
2022-09-21 14:59:44 +0000dcoutts(~duncan@host86-151-44-255.range86-151.btcentralplus.com)
2022-09-21 15:00:45 +0000raehik(~raehik@zone3.jesus.cam.ac.uk)
2022-09-21 15:03:52 +0000LukeHoersten(~LukeHoers@user/lukehoersten) (Ping timeout: 244 seconds)
2022-09-21 15:05:02 +0000pavonia(~user@user/siracusa) (Quit: Bye!)
2022-09-21 15:07:56 +0000rockymarine(~rocky@user/rockymarine)
2022-09-21 15:23:39 +0000eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-09-21 15:25:59 +0000raehik(~raehik@zone3.jesus.cam.ac.uk) (Ping timeout: 252 seconds)
2022-09-21 15:26:50 +0000burnsidesLlama(~burnsides@119247164140.ctinets.com)
2022-09-21 15:34:35 +0000matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-09-21 15:35:09 +0000LukeHoersten(~LukeHoers@user/lukehoersten)
2022-09-21 15:36:45 +0000matthewmosior(~matthewmo@173.170.253.91)
2022-09-21 15:39:06 +0000acidjnk_new(~acidjnk@p200300d6e7137a23300810a445eaf94c.dip0.t-ipconnect.de)
2022-09-21 15:39:53 +0000lortabac(~lortabac@2a01:e0a:541:b8f0:b571:4b78:e272:4c3f) (Quit: WeeChat 2.8)
2022-09-21 15:41:48 +0000acidjnk_new3(~acidjnk@p200300d6e7137a90d15659ffcaba9cd7.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
2022-09-21 15:43:01 +0000vglfr(~vglfr@145.224.94.248)
2022-09-21 15:44:36 +0000waleee(~waleee@192.165.44.49)
2022-09-21 15:45:39 +0000burnsidesLlama(~burnsides@119247164140.ctinets.com) (Ping timeout: 265 seconds)
2022-09-21 15:45:58 +0000tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net)
2022-09-21 15:45:58 +0000rockymarine(~rocky@user/rockymarine) (Ping timeout: 268 seconds)
2022-09-21 15:48:04 +0000werneta_(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 265 seconds)
2022-09-21 15:50:29 +0000LukeHoersten(~LukeHoers@user/lukehoersten) (Ping timeout: 265 seconds)
2022-09-21 15:56:17 +0000vglfr(~vglfr@145.224.94.248) (Ping timeout: 265 seconds)
2022-09-21 15:57:13 +0000pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2022-09-21 15:58:04 +0000rockymarine(~rocky@user/rockymarine)
2022-09-21 16:00:07 +0000crazazy[m](~crazazyma@2001:470:69fc:105::2:6bd9) (Quit: You have been kicked for being idle)
2022-09-21 16:00:14 +0000phuegrvs[m](~phuegrvsm@2001:470:69fc:105::1:65e4) (Quit: You have been kicked for being idle)
2022-09-21 16:00:14 +0000sibnull[m](~sibnullma@2001:470:69fc:105::1:1291) (Quit: You have been kicked for being idle)
2022-09-21 16:06:27 +0000MajorBiscuit(~MajorBisc@145.94.160.96) (Ping timeout: 265 seconds)
2022-09-21 16:08:13 +0000eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-09-21 16:10:53 +0000jakalx(~jakalx@base.jakalx.net) ()
2022-09-21 16:10:57 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-09-21 16:11:57 +0000kuribas(~user@silversquare.silversquare.eu) (Remote host closed the connection)
2022-09-21 16:12:22 +0000jakalx(~jakalx@base.jakalx.net)
2022-09-21 16:15:55 +0000troydm(~troydm@host-176-37-124-197.b025.la.net.ua) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset)
2022-09-21 16:18:01 +0000odnes(~odnes@ppp089210198232.access.hol.gr) (Quit: Leaving)
2022-09-21 16:18:14 +0000troydm(~troydm@host-176-37-124-197.b025.la.net.ua)
2022-09-21 16:19:07 +0000kenran(~kenran@200116b82bb65f00e5afdcaf44ebb7e9.dip.versatel-1u1.de)
2022-09-21 16:21:32 +0000raym(~raym@user/raym) (Quit: kernel update, rebooting...)
2022-09-21 16:23:01 +0000oak-(~oakuniver@2001:470:69fc:105::fcd)
2022-09-21 16:23:59 +0000yoneda(~mike@193.206.102.122) (Quit: leaving)
2022-09-21 16:24:05 +0000matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-09-21 16:24:20 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-09-21 16:27:06 +0000matthewmosior(~matthewmo@173.170.253.91)
2022-09-21 16:28:11 +0000motherfsck(~motherfsc@user/motherfsck) (Quit: quit)
2022-09-21 16:28:28 +0000raym(~raym@user/raym)
2022-09-21 16:30:27 +0000bontaq(~user@ool-45779fe5.dyn.optonline.net) (Read error: Connection reset by peer)
2022-09-21 16:31:01 +0000werneta(~werneta@137.78.30.207)
2022-09-21 16:31:35 +0000matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 265 seconds)
2022-09-21 16:32:10 +0000matthewmosior(~matthewmo@173.170.253.91)
2022-09-21 16:33:49 +0000rockymarine(~rocky@user/rockymarine) (Ping timeout: 252 seconds)
2022-09-21 16:35:13 +0000rockymarine(~rocky@user/rockymarine)
2022-09-21 16:35:53 +0000motherfsck(~motherfsc@user/motherfsck)
2022-09-21 16:36:21 +0000matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-09-21 16:38:21 +0000eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-09-21 16:41:30 +0000kenran(~kenran@200116b82bb65f00e5afdcaf44ebb7e9.dip.versatel-1u1.de) (Quit: WeeChat info:version)
2022-09-21 16:43:36 +0000rockymarine(~rocky@user/rockymarine) (Ping timeout: 264 seconds)
2022-09-21 16:45:47 +0000oak-(~oakuniver@2001:470:69fc:105::fcd) (Quit: Reconnecting)
2022-09-21 16:46:07 +0000oak-(~oakuniver@2001:470:69fc:105::fcd)
2022-09-21 16:47:37 +0000econo(uid147250@user/econo)
2022-09-21 16:47:49 +0000oak-(~oakuniver@2001:470:69fc:105::fcd) (Client Quit)
2022-09-21 16:48:04 +0000oak-(~oakuniver@2001:470:69fc:105::fcd)
2022-09-21 16:50:30 +0000oak-(~oakuniver@2001:470:69fc:105::fcd) ()
2022-09-21 16:51:15 +0000oak-(~oakuniver@2001:470:69fc:105::fcd)
2022-09-21 16:52:52 +0000 <lyle> I'm looking at the first function (forAllCommands) on https://hackage.haskell.org/package/quickcheck-state-machine-0.7.1/docs/Test-StateMachine-Sequenti… I've never seen a function whose type has multiple =>. Can someone steer me in the direction I need to go to understand this?
2022-09-21 16:52:55 +0000rockymarine(~rocky@user/rockymarine)
2022-09-21 16:56:20 +0000 <sm> me neither. Is it just a syntactic truck to keep them aligned ?
2022-09-21 16:56:46 +0000 <sm> s/truck/trick/
2022-09-21 16:56:55 +0000 <geekosaur[m]> Yes. Ghc tuples them together
2022-09-21 16:56:56 +0000oak-(~oakuniver@2001:470:69fc:105::fcd) ()
2022-09-21 16:57:13 +0000 <geekosaur[m]> It's a ghc specific hack
2022-09-21 16:57:47 +0000oak-(~oakuniver@2001:470:69fc:105::fcd)
2022-09-21 16:58:01 +0000waleee(~waleee@192.165.44.49) (Ping timeout: 252 seconds)
2022-09-21 16:59:06 +0000 <lyle> Ok, so it's not some advanced type-theory thing.
2022-09-21 17:02:23 +0000oak-(~oakuniver@2001:470:69fc:105::fcd) ()
2022-09-21 17:03:36 +0000shapr(~user@2601:7c0:c383:70:41d:e896:1ffc:3462)
2022-09-21 17:05:16 +0000oak-(~oakuniver@2001:470:69fc:105::fcd)
2022-09-21 17:05:42 +0000nate2(~nate@98.45.169.16)
2022-09-21 17:07:06 +0000eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-09-21 17:08:41 +0000 <tomsmeding> lyle: in case you run into this in the future, it must be mentioned that the type signature of _pattern synonym_ can have multiple => with a very specific meaning https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/pattern_synonyms.html#typing-of-pat…
2022-09-21 17:09:08 +0000 <tomsmeding> (in case you know what a pattern synonym is in the first place)
2022-09-21 17:10:36 +0000nate2(~nate@98.45.169.16) (Ping timeout: 264 seconds)
2022-09-21 17:12:13 +0000vglfr(~vglfr@145.224.94.78)
2022-09-21 17:12:14 +0000matthewmosior(~matthewmo@173.170.253.91)
2022-09-21 17:14:31 +0000raehik(~raehik@zone3.jesus.cam.ac.uk)
2022-09-21 17:17:00 +0000matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 265 seconds)
2022-09-21 17:19:05 +0000johnw(~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net)
2022-09-21 17:23:18 +0000eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-09-21 17:35:22 +0000raehik(~raehik@zone3.jesus.cam.ac.uk) (Ping timeout: 265 seconds)
2022-09-21 17:39:10 +0000MajorBiscuit(~MajorBisc@86-88-79-148.fixed.kpn.net)
2022-09-21 17:39:36 +0000 <dminuoso> Mmm, so I have a networking protocol library, and packets may have some unixtime stamp inside. Would exposing this as a Word32 (
2022-09-21 17:39:42 +0000jmdaemon(~jmdaemon@user/jmdaemon)
2022-09-21 17:39:59 +0000 <dminuoso> be fine, or is providing a POSIXTime and depending on `time` more sensible?
2022-09-21 17:40:21 +0000 <dminuoso> Im leaning towards just giving you the Word32 and deal with it yourself
2022-09-21 17:40:26 +0000Tuplanolla(~Tuplanoll@91-159-69-34.elisa-laajakaista.fi)
2022-09-21 17:40:49 +0000 <dminuoso> (Well, I can even just make up a newtype for it, with a haddock saying "use `time` maybe"
2022-09-21 17:41:08 +0000 <dminuoso> Mmm, my 0 key seems to be a bit stuck.
2022-09-21 17:42:24 +0000 <[exa]> dminuoso: I'd go with a custom type representing precisely what is in the protocol and providing typeclass instances to make the conversion easy/no-op
2022-09-21 17:43:04 +0000 <dminuoso> Right, I mean it is highly generic and means nothing specific
2022-09-21 17:43:06 +0000 <[exa]> as in, Word32 would be completely y2k38
2022-09-21 17:43:19 +0000oak-(~oakuniver@2001:470:69fc:105::fcd) ()
2022-09-21 17:43:23 +0000 <dminuoso> Yes, but thats the world we live in :>
2022-09-21 17:43:30 +0000oak-(~oakuniver@2001:470:69fc:105::fcd)
2022-09-21 17:43:45 +0000rockymarine(~rocky@user/rockymarine) (Ping timeout: 268 seconds)
2022-09-21 17:43:56 +0000 <geekosaur> nobody's going to fix such things until 2037, you know that 🙂
2022-09-21 17:43:57 +0000 <dminuoso> In RADIUS, there's no Word64 unix time yet
2022-09-21 17:44:04 +0000skiwould like a more general version of pattern synonyms
2022-09-21 17:44:41 +0000 <dminuoso> [exa]: For context, any radius client may have completely different meaning for what this date might represent
2022-09-21 17:44:53 +0000 <dminuoso> Which is why POSIXTime would be a suitable wrapper
2022-09-21 17:45:02 +0000 <dminuoso> But Im just not sure about depending on `time` just for that.
2022-09-21 17:45:05 +0000 <ski> (e.g. being able to have them be recursive. and to have some expression parameters (rather than all being patterns). and i have some more specific syntactical ideas)
2022-09-21 17:45:48 +0000 <[exa]> ah wait y2k38 is actually for Int32....good to go then. :D
2022-09-21 17:46:12 +0000 <dminuoso> What do you mean?
2022-09-21 17:51:53 +0000 <int-e> I still have fond memories of the y19100 bugs
2022-09-21 17:52:20 +0000 <int-e> Good times. Somehow, nothing truly terrible happened.
2022-09-21 17:53:10 +0000 <EvanR> 19100 is before after or during the Age of Aquarius
2022-09-21 17:53:12 +0000MajorBiscuit(~MajorBisc@86-88-79-148.fixed.kpn.net) (Ping timeout: 264 seconds)
2022-09-21 17:53:45 +0000 <ski> yes
2022-09-21 17:54:25 +0000Guest|67(~Guest|67@147.161.249.108)
2022-09-21 17:54:34 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-09-21 17:54:59 +0000 <ski> (wasn't there static analyzers for e.g. COBOL developed which flagged parts of code which might have to be updated to deal with low-precision time ?)
2022-09-21 17:55:06 +0000jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection)
2022-09-21 17:56:53 +0000matthewmosior(~matthewmo@173.170.253.91)
2022-09-21 17:58:13 +0000rockymarine(~rocky@user/rockymarine)
2022-09-21 17:59:09 +0000DavidBinder(~DavidBind@134.2.10.18) (Remote host closed the connection)
2022-09-21 18:00:36 +0000 <Guest|67> How do I clean ghcup from my linux system? Simply deleting .ghcup does not seem to do it, because when I install it from scratch it somehow remembers my what ghc version I want.
2022-09-21 18:00:50 +0000 <Guest|67> Apart from creating links to non existent locations
2022-09-21 18:01:00 +0000werneta(~werneta@137.78.30.207) (Ping timeout: 265 seconds)
2022-09-21 18:01:31 +0000matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 260 seconds)
2022-09-21 18:05:26 +0000 <monochrom> It should be just simply deleting .ghcup
2022-09-21 18:07:58 +0000 <Guest|67> after I reinstall it with "curl --proto '=https' --tlsv1.2 -sSf https://get-ghcup.haskell.org | sh" it automatically install ghc 8.10.7, which I doubt is a default. I want it to install hls in the end, and it create haskell-language-server-wrapper link pointing to a non existent location outside of .ghcup
2022-09-21 18:08:46 +0000 <monochrom> But that's the default.
2022-09-21 18:08:57 +0000emmanuelux(~emmanuelu@2a01cb0000f393006c02ca375ef53871.ipv6.abo.wanadoo.fr)
2022-09-21 18:10:14 +0000 <Guest|67> Ok, then. Why would haskell-language-server-wrapper point inside non-existent ~/devenv dir?
2022-09-21 18:10:29 +0000 <monochrom> I don't know, I've never used HLS.
2022-09-21 18:10:39 +0000 <geekosaur[m]> Pretty much the whole ecosystem is still on 8.10.7
2022-09-21 18:10:46 +0000werneta(~werneta@137.79.204.144)
2022-09-21 18:11:59 +0000jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2022-09-21 18:16:07 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-09-21 18:16:26 +0000eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-09-21 18:17:35 +0000vglfr(~vglfr@145.224.94.78) (Remote host closed the connection)
2022-09-21 18:18:24 +0000jakalx(~jakalx@base.jakalx.net) (Error from remote client)
2022-09-21 18:18:31 +0000vglfr(~vglfr@145.224.94.78)
2022-09-21 18:18:43 +0000vglfr(~vglfr@145.224.94.78) (Remote host closed the connection)
2022-09-21 18:20:14 +0000titibandit(~titibandi@xdsl-87-78-162-143.nc.de)
2022-09-21 18:22:48 +0000vglfr(~vglfr@145.224.94.78)
2022-09-21 18:23:27 +0000nahcetan(~nate@98.45.169.16) (Ping timeout: 252 seconds)
2022-09-21 18:25:17 +0000 <geekosaur> on my system haskell-language-server-wrapper is a symlink into .ghcup/lib/haskell-language-server-wrapper-1.7.0.0/bin
2022-09-21 18:25:26 +0000 <geekosaur> granting I'm perhaps slightly behind
2022-09-21 18:25:43 +0000matthewmosior(~matthewmo@173.170.253.91)
2022-09-21 18:28:31 +0000nahcetan(~nate@98.45.169.16)
2022-09-21 18:29:02 +0000rockymarine(~rocky@user/rockymarine) (Ping timeout: 265 seconds)
2022-09-21 18:29:06 +0000Guest|67(~Guest|67@147.161.249.108) (Quit: Connection closed)
2022-09-21 18:30:29 +0000matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 265 seconds)
2022-09-21 18:31:51 +0000jakalx(~jakalx@base.jakalx.net)
2022-09-21 18:37:24 +0000hrberg(~quassel@171.79-160-161.customer.lyse.net) (Ping timeout: 268 seconds)
2022-09-21 18:37:30 +0000rockymarine(~rocky@user/rockymarine)
2022-09-21 18:38:48 +0000qrpnxz(~qrpnxz@fsf/member/qrpnxz) (Ping timeout: 244 seconds)
2022-09-21 18:41:09 +0000qrpnxz(~qrpnxz@fsf/member/qrpnxz)
2022-09-21 18:50:16 +0000eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-09-21 18:50:49 +0000Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2022-09-21 18:52:14 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 265 seconds)
2022-09-21 18:53:33 +0000Lord_of_Life_Lord_of_Life
2022-09-21 19:00:28 +0000matthewmosior(~matthewmo@173.170.253.91)
2022-09-21 19:05:06 +0000matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 260 seconds)
2022-09-21 19:11:11 +0000waleee(~waleee@h-176-10-137-138.NA.cust.bahnhof.se)
2022-09-21 19:13:34 +0000jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection)
2022-09-21 19:14:53 +0000titibandit(~titibandi@xdsl-87-78-162-143.nc.de) (Quit: Leaving.)
2022-09-21 19:15:16 +0000pavonia(~user@user/siracusa)
2022-09-21 19:15:23 +0000jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2022-09-21 19:16:56 +0000lortabac(~lortabac@2a01:e0a:541:b8f0:bae4:9d51:7bc0:c514)
2022-09-21 19:19:47 +0000jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection)
2022-09-21 19:22:02 +0000jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2022-09-21 19:23:06 +0000ft(~ft@p3e9bc57b.dip0.t-ipconnect.de)
2022-09-21 19:25:41 +0000 <ski> @quote in.doubt
2022-09-21 19:25:41 +0000 <lambdabot> lispy says: When in doubt, blame dons
2022-09-21 19:26:05 +0000 <ski> @quote in.doubt
2022-09-21 19:26:05 +0000 <lambdabot> ozone says: when in doubt, blame the GHC RTS
2022-09-21 19:26:14 +0000 <ski> @quote in.doubt
2022-09-21 19:26:14 +0000 <lambdabot> copumpkin says: when in doubt, blame ski
2022-09-21 19:26:22 +0000skiglances around warily
2022-09-21 19:26:37 +0000 <int-e> . o O ( the d&d of Haskell - dons and dcoutts )
2022-09-21 19:26:48 +0000werneta(~werneta@137.79.204.144) (Ping timeout: 264 seconds)
2022-09-21 19:26:52 +0000 <monochrom> haha
2022-09-21 19:27:36 +0000CoolGuy228xxX(~CoolGuy22@95.165.158.51)
2022-09-21 19:28:03 +0000CoolGuy228xxX(~CoolGuy22@95.165.158.51) (Client Quit)
2022-09-21 19:28:29 +0000matthewmosior(~matthewmo@173.170.253.91)
2022-09-21 19:28:58 +0000 <int-e> @quote blame.ekm
2022-09-21 19:28:58 +0000 <lambdabot> No quotes match. Sorry about this, I know it's a bit silly.
2022-09-21 19:29:07 +0000 <int-e> odd :)
2022-09-21 19:30:54 +0000 <geekosaur> now's your chance 🙂
2022-09-21 19:31:08 +0000 <geekosaur> @quote blame.ed
2022-09-21 19:31:08 +0000 <lambdabot> No quotes match. I feel much better now.
2022-09-21 19:31:16 +0000 <EvanR> I know someone can help me here. "All you need is Lambda" is the title of looks like 1000 blog posts. But was there an influential paper involving this title from before blogs?
2022-09-21 19:32:03 +0000 <int-e> geekosaur: Yeah I messed that up and checked privately.
2022-09-21 19:32:28 +0000 <monochrom> There were a lot of papers of the form "Lambda: The Ultimate ___" from the same authors.
2022-09-21 19:32:49 +0000 <monochrom> But I very much doubt that the bloggers have even heard of any of the papers.
2022-09-21 19:33:00 +0000 <ski> the papers are fun
2022-09-21 19:33:03 +0000matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-09-21 19:33:41 +0000 <int-e> geekosaur: I imagine those quotes are more than 15 years old, #haskell was a lot sillier then.
2022-09-21 19:33:59 +0000 <monochrom> The average blogger knows just enough to be dangerous.
2022-09-21 19:34:01 +0000 <geekosaur> sometimes I wish it still were
2022-09-21 19:34:29 +0000skidoesn't look at shapr
2022-09-21 19:34:41 +0000 <EvanR> yes none of the blogs know
2022-09-21 19:35:36 +0000 <int-e> Let's make up some quotes? "All you need is epsilon." - D. Hilbert
2022-09-21 19:35:47 +0000 <monochrom> Yikes haha
2022-09-21 19:36:09 +0000 <monochrom> IIRC Hilbert's choice operator is even strong than the axiom of choice.
2022-09-21 19:36:20 +0000 <int-e> A little bit, yeah.
2022-09-21 19:36:52 +0000 <ski> in which way ?
2022-09-21 19:36:54 +0000 <int-e> It gives you persistent choice... the choice will be the same every time you evaluate a formula.
2022-09-21 19:36:58 +0000 <ski> ah
2022-09-21 19:37:10 +0000 <dolio> Yeah, it's "global choice".
2022-09-21 19:37:25 +0000 <int-e> ah, I was wondering what the standard terminology is
2022-09-21 19:37:28 +0000 <monochrom> Yeah. I had some trouble swallowing that when I learned HOL.
2022-09-21 19:37:39 +0000 <int-e> I was going to admit that I picked "peristent" myself (still doing it, as you can see)
2022-09-21 19:38:05 +0000 <monochrom> Memoized random choice haha
2022-09-21 19:38:30 +0000 <int-e> Hmm in a first-order context that's clearly conservative though
2022-09-21 19:39:02 +0000 <ski> reminds me of randomly generating functions (e.g. for something QuickCheck like, but perhaps in Erlang or some other language)
2022-09-21 19:39:05 +0000 <int-e> Oh, or not.
2022-09-21 19:39:17 +0000 <monochrom> Oh, I eventually accepted it, no worries.
2022-09-21 19:39:37 +0000 <int-e> Sorry, I wanted to use compactness but I forgot about dependent choices and the lack of higher order functions.
2022-09-21 19:39:51 +0000 <int-e> And higher order logics don't have compactness... so it's not as obvious as that.
2022-09-21 19:40:20 +0000 <int-e> On a model theoretic level it should work fine though... if you have the axiom of choice on the meta level.
2022-09-21 19:43:57 +0000Midjak(~Midjak@82.66.147.146)
2022-09-21 19:48:13 +0000titibandit(~titibandi@xdsl-87-78-162-143.nc.de)
2022-09-21 19:49:37 +0000burnsidesLlama(~burnsides@119247164140.ctinets.com)
2022-09-21 19:53:12 +0000rockymarine(~rocky@user/rockymarine) (Ping timeout: 244 seconds)
2022-09-21 19:54:05 +0000burnsidesLlama(~burnsides@119247164140.ctinets.com) (Ping timeout: 265 seconds)
2022-09-21 19:54:56 +0000 <phma> I've made a Hackage account and asked for permission to upload. How long does it take?
2022-09-21 19:56:02 +0000rockymarine(~rocky@user/rockymarine)
2022-09-21 20:00:51 +0000rockymarine(~rocky@user/rockymarine) (Ping timeout: 265 seconds)
2022-09-21 20:02:37 +0000zeenk(~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f)
2022-09-21 20:02:52 +0000nate2(~nate@98.45.169.16)
2022-09-21 20:04:39 +0000matthewmosior(~matthewmo@173.170.253.91)
2022-09-21 20:06:21 +0000benin0(~benin@183.82.206.30)
2022-09-21 20:08:06 +0000nate2(~nate@98.45.169.16) (Ping timeout: 265 seconds)
2022-09-21 20:09:16 +0000matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 260 seconds)
2022-09-21 20:11:42 +0000jgeerds_(~jgeerds@55d46bad.access.ecotel.net)
2022-09-21 20:14:37 +0000pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5)
2022-09-21 20:16:28 +0000coot(~coot@213.134.176.158) (Remote host closed the connection)
2022-09-21 20:16:41 +0000rockymarine(~rocky@user/rockymarine)
2022-09-21 20:17:56 +0000coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
2022-09-21 20:18:02 +0000matthewmosior(~matthewmo@173.170.253.91)
2022-09-21 20:21:25 +0000eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-09-21 20:22:02 +0000 <shapr> ski: you want silly #haskell to return?
2022-09-21 20:22:13 +0000 <geekosaur> why not?
2022-09-21 20:22:25 +0000 <shapr> sounds good to me
2022-09-21 20:22:30 +0000 <shapr> it sure was fun
2022-09-21 20:22:41 +0000 <shapr> anything silly comes to mind?
2022-09-21 20:22:58 +0000burnsidesLlama(~burnsides@119247164140.ctinets.com)
2022-09-21 20:23:11 +0000 <geekosaur> I thought that was your bailiwick
2022-09-21 20:23:41 +0000 <geekosaur> (I'm lousy at silly)
2022-09-21 20:24:14 +0000matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-09-21 20:24:47 +0000matthewmosior(~matthewmo@173.170.253.91)
2022-09-21 20:25:42 +0000zzz(~z@user/zero) ()
2022-09-21 20:25:48 +0000yin(~z@user/zero)
2022-09-21 20:26:05 +0000 <yin> how does vty compare to ansi-terminal-game? anyone familiar?
2022-09-21 20:28:07 +0000lortabac(~lortabac@2a01:e0a:541:b8f0:bae4:9d51:7bc0:c514) (Quit: WeeChat 2.8)
2022-09-21 20:29:35 +0000burnsidesLlama(~burnsides@119247164140.ctinets.com) (Ping timeout: 252 seconds)
2022-09-21 20:29:57 +0000 <geekosaur> looks to me like they're pretty disjoint?
2022-09-21 20:33:00 +0000matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-09-21 20:34:24 +0000 <geekosaur> ansi-terminal-game is about "blitting" text-based "frames" to a terminal; vty is more general but probably slower for game-related stuff (then again, speed of the terminal emulator will dominate both)
2022-09-21 20:35:17 +0000 <geekosaur> basically, use ansi-terminal-game for frame-based output, vty (anbd probably brick to get a usable UI built on top of vty) for general text
2022-09-21 20:36:08 +0000 <yin> geekosaur: thanks
2022-09-21 20:36:59 +0000 <yin> how do you figure vty to be slower?
2022-09-21 20:37:38 +0000 <geekosaur> because outputting what amounts to the whole screen all at once will be faster than moving and updating
2022-09-21 20:37:46 +0000Ei30metry(~Ei30metry@178.131.141.206)
2022-09-21 20:37:59 +0000 <geekosaur> but at the same time you don';t want to do a full screen update to track someone typing on a line
2022-09-21 20:38:05 +0000Ei30metry(~Ei30metry@178.131.141.206) (WeeChat 3.6)
2022-09-21 20:38:16 +0000 <geekosaur> so it will depend on what you're doing
2022-09-21 20:38:25 +0000 <yin> ah i see
2022-09-21 20:38:39 +0000 <geekosaur> that's what I meant by frames
2022-09-21 20:38:52 +0000 <EvanR> with enough compression on the serial cable maybe sending frames won't be so bad
2022-09-21 20:39:14 +0000 <yin> so for stuff like let's say cellular automata ansi-terminal-game will be the best choice
2022-09-21 20:39:15 +0000 <geekosaur> as I said earlier, speed of the terminal emulator will probably dominate anyway
2022-09-21 20:39:36 +0000matthewmosior(~matthewmo@173.170.253.91)
2022-09-21 20:40:19 +0000 <EvanR> I can't believe there's no aalib bindings?
2022-09-21 20:41:28 +0000 <geekosaur> what will matter more in the end is the API; ansi-terminal-game is completely unsuited to implementing something like haskeline/readline, and while vty can do frames it'll be slower because it's optimized for the other case
2022-09-21 20:41:54 +0000 <geekosaur> (but again terminal emulator time will eat any such slowness anyway)
2022-09-21 20:42:07 +0000rockymarine(~rocky@user/rockymarine) (Ping timeout: 250 seconds)
2022-09-21 20:42:08 +0000 <EvanR> >I vote for simplicity. There are many problems of various kinds with video cards, low frequency monitors, crashing graphical apps... AA-lib IS the solution.
2022-09-21 20:42:32 +0000coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot)
2022-09-21 20:46:17 +0000matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 265 seconds)
2022-09-21 20:51:35 +0000k`(~user@152.7.255.204) (Ping timeout: 252 seconds)
2022-09-21 20:51:38 +0000codaraxis__(~codaraxis@user/codaraxis)
2022-09-21 20:52:57 +0000werneta(~werneta@137.78.30.207)
2022-09-21 20:53:30 +0000LukeHoersten(~LukeHoers@user/lukehoersten)
2022-09-21 20:55:27 +0000asthasr(~asthasr@208.80.78.154) (Quit: asthasr)
2022-09-21 20:55:29 +0000codaraxis(~codaraxis@user/codaraxis) (Ping timeout: 265 seconds)
2022-09-21 20:59:26 +0000LukeHoersten(~LukeHoers@user/lukehoersten) (Ping timeout: 260 seconds)
2022-09-21 21:04:40 +0000LukeHoersten(~LukeHoers@user/lukehoersten)
2022-09-21 21:05:04 +0000lyle(~lyle@104.246.145.85) (Quit: WeeChat 3.6)
2022-09-21 21:06:04 +0000eikke(~NicolasT@user/NicolasT)
2022-09-21 21:07:31 +0000eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-09-21 21:09:03 +0000epolanski(uid312403@id-312403.helmsley.irccloud.com) (Quit: Connection closed for inactivity)
2022-09-21 21:09:29 +0000LukeHoersten(~LukeHoers@user/lukehoersten) (Ping timeout: 265 seconds)
2022-09-21 21:15:21 +0000ubert(~Thunderbi@178.115.57.139.wireless.dyn.drei.com) (Ping timeout: 244 seconds)
2022-09-21 21:16:59 +0000matthewmosior(~matthewmo@173.170.253.91)
2022-09-21 21:19:46 +0000eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-09-21 21:19:56 +0000glguy(~glguy@libera/staff-emeritus/glguy) (Quit: Quit)
2022-09-21 21:21:33 +0000matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-09-21 21:22:57 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-09-21 21:23:08 +0000LukeHoersten(~LukeHoers@user/lukehoersten)
2022-09-21 21:24:11 +0000MajorBiscuit(~MajorBisc@2a02-a461-129d-1-193d-75d8-745d-e91e.fixed6.kpn.net)
2022-09-21 21:30:16 +0000cyphase(~cyphase@user/cyphase) (Ping timeout: 265 seconds)
2022-09-21 21:31:53 +0000LukeHoersten(~LukeHoers@user/lukehoersten) (Ping timeout: 244 seconds)
2022-09-21 21:35:25 +0000rockymarine(~rocky@user/rockymarine)
2022-09-21 21:35:33 +0000cyphase(~cyphase@user/cyphase)
2022-09-21 21:41:00 +0000vorpuni(~pvorp@2001:861:3881:c690:1379:f79b:bd16:e041) (Remote host closed the connection)
2022-09-21 21:45:34 +0000Midjak(~Midjak@82.66.147.146) (Quit: This computer has gone to sleep)
2022-09-21 21:49:46 +0000matthewmosior(~matthewmo@173.170.253.91)
2022-09-21 21:52:00 +0000MajorBiscuit(~MajorBisc@2a02-a461-129d-1-193d-75d8-745d-e91e.fixed6.kpn.net) (Ping timeout: 264 seconds)
2022-09-21 21:54:27 +0000matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 265 seconds)
2022-09-21 21:55:31 +0000chele(~chele@user/chele) (Remote host closed the connection)
2022-09-21 21:57:55 +0000Cale(~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com) (Read error: Connection reset by peer)
2022-09-21 22:00:11 +0000FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2022-09-21 22:00:46 +0000FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-09-21 22:03:17 +0000 <hippoid> what is the purpose of hie.yaml? trying to haskell-language-server on nixos and it seems like this file is necessary?
2022-09-21 22:04:31 +0000 <geekosaur> usually it's optional these days; HLS can often figure it out from a cabal file and/or cabal.project/stack.yaml. it identifies things like projects and the locations of source files
2022-09-21 22:05:01 +0000 <geekosaur> if you're getting things from nix it might need help though
2022-09-21 22:05:12 +0000 <geekosaur> (see #haskell-language-server)
2022-09-21 22:05:15 +0000euandreh(~euandreh@179.214.113.107) (Ping timeout: 268 seconds)
2022-09-21 22:05:53 +0000eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-09-21 22:12:22 +0000euandreh(~euandreh@179.214.113.107)
2022-09-21 22:12:37 +0000eikke(~NicolasT@user/NicolasT) (Ping timeout: 252 seconds)
2022-09-21 22:15:24 +0000acidjnk_new(~acidjnk@p200300d6e7137a23300810a445eaf94c.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
2022-09-21 22:20:35 +0000gmg(~user@user/gehmehgeh) (Ping timeout: 258 seconds)
2022-09-21 22:20:41 +0000 <hippoid> why is it needed in the first place, or maybe I should ask at the other channel
2022-09-21 22:21:31 +0000 <geekosaur> probably best there, but did I not tell you what it does? earlier versions of HLS were bad at identifying projects. more recent ones are better at it, and hie.yaml is usually optional these days
2022-09-21 22:21:35 +0000glguy(~glguy@libera/staff-emeritus/glguy)
2022-09-21 22:22:09 +0000 <geekosaur> (I have one in one project of mine, but that's mostly to keep it from poking at some stuff that's barely more than comments and half-defined data structures)
2022-09-21 22:22:12 +0000 <yin> aw only 4bit colors in ansi-terminal-game
2022-09-21 22:22:27 +0000 <hippoid> geekosaur: ok now I see, thanks
2022-09-21 22:22:41 +0000 <yin> guess i'll try plawying with escape sequences
2022-09-21 22:23:48 +0000Tuplanolla(~Tuplanoll@91-159-69-34.elisa-laajakaista.fi) (Ping timeout: 264 seconds)
2022-09-21 22:24:05 +0000matthewmosior(~matthewmo@173.170.253.91)
2022-09-21 22:24:31 +0000__monty__(~toonn@user/toonn) (Quit: leaving)
2022-09-21 22:25:47 +0000 <EvanR> 4 bit color is pretty cool
2022-09-21 22:26:12 +0000 <EvanR> check out 16 color palette contests and stuff
2022-09-21 22:27:07 +0000 <EvanR> I played the hell out of this game... look at all those colors xD http://captive.atari.org/
2022-09-21 22:27:07 +0000 <geekosaur> 4 bit is all you can do portably
2022-09-21 22:27:20 +0000 <EvanR> (16 of them)
2022-09-21 22:27:52 +0000 <telser_> I always though 4 bit color was a bit warm for my tastes
2022-09-21 22:27:59 +0000telser_sees self out
2022-09-21 22:28:12 +0000matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-09-21 22:30:05 +0000titibandit(~titibandi@xdsl-87-78-162-143.nc.de) (Remote host closed the connection)
2022-09-21 22:32:19 +0000king_gs(~Thunderbi@187.201.192.184)
2022-09-21 22:33:55 +0000jgeerds_(~jgeerds@55d46bad.access.ecotel.net) (Ping timeout: 250 seconds)
2022-09-21 22:34:05 +0000titibandit(~titibandi@xdsl-87-78-162-143.nc.de)
2022-09-21 22:41:41 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-09-21 22:41:51 +0000artin(~Ei30metry@70.34.220.55)
2022-09-21 22:42:18 +0000titibandit(~titibandi@xdsl-87-78-162-143.nc.de) (Remote host closed the connection)
2022-09-21 22:42:31 +0000artin(~Ei30metry@70.34.220.55) ()
2022-09-21 22:45:50 +0000 <EvanR> it's 2022 and haskell, scalaz are the only functional languages that have a map that works on ... Maps xD
2022-09-21 22:46:09 +0000 <EvanR> maybe it's a language barrier, Map map is too confusing
2022-09-21 22:46:15 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-09-21 22:46:44 +0000 <EvanR> clojure and elixir want you to always be messing with the key in the process
2022-09-21 22:47:38 +0000 <yin> technically haskell's map only works on singly linked lists
2022-09-21 22:47:47 +0000 <EvanR> Data.Map.map
2022-09-21 22:47:50 +0000 <yin> i'm fsorry
2022-09-21 22:49:26 +0000 <yin> touche
2022-09-21 22:49:53 +0000 <yin> completely forgot about that, and will proceed to forget about it again
2022-09-21 22:51:16 +0000 <ski> shapr : some reasonable amount of silliness wouldn't hurt, i think, rather the opposite
2022-09-21 22:51:54 +0000matthewmosior(~matthewmo@173.170.253.91)
2022-09-21 22:52:54 +0000 <yin> ski : you speak with a silly ammount of reason
2022-09-21 22:53:42 +0000 <ski> surely you're joking, mr. yin
2022-09-21 22:55:59 +0000 <ski> `vty' supports 88 or 256 color palette ? 24-bit truecolor ?
2022-09-21 22:56:24 +0000 <ski> (Sixels ??)
2022-09-21 22:56:34 +0000kenaryn(~aurele@cre71-h03-89-88-44-27.dsl.sta.abo.bbox.fr)
2022-09-21 22:57:23 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 258 seconds)
2022-09-21 22:57:30 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-09-21 22:57:33 +0000 <yin> now i got lost in imagining how feynman would explain monads
2022-09-21 22:57:48 +0000 <geekosaur> it's got sixels?!
2022-09-21 22:57:56 +0000 <ski> @type fmap :: (v -> u) -> (M.Map k v -> M.Map k u)
2022-09-21 22:57:57 +0000 <lambdabot> (v -> u) -> M.Map k v -> M.Map k u
2022-09-21 22:58:03 +0000 <ski> geekosaur : no idea, just asking
2022-09-21 22:58:46 +0000 <ski> `fmap' used to be called `map', in the olden days
2022-09-21 22:59:04 +0000 <ski> (before Haskell 1.4 or something ?)
2022-09-21 22:59:08 +0000 <yin> "you see, a monad is this jiggling thing, and you can push a monad into another and they have this property you see, that they'll jiggle together"
2022-09-21 23:00:13 +0000 <geekosaur> looks to melike it supports 256 colors but in an odd way: lower standard 16 are treated differently from the upper 240
2022-09-21 23:00:15 +0000analoq(~yashi@user/dies) (Ping timeout: 244 seconds)
2022-09-21 23:00:22 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-09-21 23:01:07 +0000 <ski> geekosaur : `16' ANSI colors, `6^3' RGB cube, `24' greyscale
2022-09-21 23:01:47 +0000 <geekosaur> I was lookingt at https://hackage.haskell.org/package/vty-5.37/docs/Graphics-Vty-Attributes-Color240.html#v:rgbColor…
2022-09-21 23:02:05 +0000 <ski> > 16 + 6^3 + 24 :: Integer
2022-09-21 23:02:07 +0000 <lambdabot> 256
2022-09-21 23:03:04 +0000 <ski> geekosaur : i'm guessing that interpolates to the (in some metric) nearest among those `240'
2022-09-21 23:03:46 +0000ski. o O ( <https://github.com/termstandard/colors> )
2022-09-21 23:04:42 +0000takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2022-09-21 23:05:34 +0000 <EvanR> why was map renamed to fmap?
2022-09-21 23:06:25 +0000 <dolio> Because some faction wanted to monomorphise map.
2022-09-21 23:06:45 +0000 <dolio> I suppose for teaching purposes or something.
2022-09-21 23:06:58 +0000geekosaurwill absolutely not be surprised if that decision gets reversed within the next few years
2022-09-21 23:07:05 +0000 <EvanR> good.
2022-09-21 23:07:21 +0000 <geekosaur> I mean, FTP already pretty much blew that faction out of the water
2022-09-21 23:07:33 +0000 <dolio> Other functions were monomorphised at the same time. (++) used to be the MonadPlus operation.
2022-09-21 23:07:54 +0000 <EvanR> imagine if length (the current foldable method) was renamed to flength
2022-09-21 23:08:15 +0000 <EvanR> so length only worked on list xD
2022-09-21 23:09:13 +0000 <dolio> Oh, and I guess comprehensions, too.
2022-09-21 23:09:19 +0000 <EvanR> and then in 40 years new programming languages looked to haskell, only saw the length method, and made it so you could only measure the length of a list and no other structure
2022-09-21 23:09:35 +0000 <yin> length does deserve *some* controversy though
2022-09-21 23:09:36 +0000 <EvanR> ok I'm done venting about map
2022-09-21 23:10:20 +0000 <EvanR> no I'm not, and the reason length won't be implemented for anything else is "you don't need it, you can simply write a loop to count the size of non lists"
2022-09-21 23:10:54 +0000 <geekosaur> 2006 that was the state of haskell
2022-09-21 23:11:06 +0000 <geekosaur> you used size on Maps/Sets
2022-09-21 23:11:06 +0000 <ski> geekosaur : looking at the source, it seems it's doing just that. apparently if it's exactly on the diagonal, exactly hitting a `24' greyscale discrete point, it goes to the last `24', otherwise it approximates into the cube
2022-09-21 23:11:10 +0000 <dolio> I think mzero used to be zero, too. And it was in a separate class.
2022-09-21 23:11:53 +0000 <yin> EvanR:
2022-09-21 23:11:58 +0000 <yin> @type length
2022-09-21 23:11:59 +0000 <lambdabot> Foldable t => t a -> Int
2022-09-21 23:12:08 +0000 <geekosaur> this was not the sort of silly I was thinking of
2022-09-21 23:12:28 +0000 <EvanR> flength
2022-09-21 23:12:38 +0000 <ski> @type length . toList
2022-09-21 23:12:39 +0000 <lambdabot> Foldable t => t a -> Int
2022-09-21 23:13:05 +0000 <ski> dolio : yes, `MonadZero' iirc
2022-09-21 23:13:11 +0000 <EvanR> to be serious, "fmap" is strictly more scary to people when you try to suggest it or explain it, over "map"
2022-09-21 23:13:25 +0000 <EvanR> map is familiar and makes sense to a lot of people, fmap must be alien thanks to the f
2022-09-21 23:13:39 +0000 <EvanR> some weird haskell thing
2022-09-21 23:13:44 +0000 <ski> `(.)' in lambdabot used to be `fmap'. and `flip :: Functor f => f (a -> b) -> (a -> f b)'
2022-09-21 23:13:55 +0000 <ski> those were the days
2022-09-21 23:13:57 +0000 <hpc> that flip definition is great
2022-09-21 23:14:14 +0000 <hpc> also, the real answer to the fmap problem is (<$>)
2022-09-21 23:14:27 +0000 <hpc> it and (<*>) are so cool that you quickly forget how intimidating it was before
2022-09-21 23:14:38 +0000 <ski> (`sequence' is another alternative for `flip')
2022-09-21 23:14:58 +0000 <yin> omg that flip
2022-09-21 23:15:04 +0000 <kronicmage> ski: omg
2022-09-21 23:15:04 +0000 <yin> <3
2022-09-21 23:15:21 +0000 <hpc> you can .map() in other languages all day long, but as soon as you have two lists it's back to ugly nested list comprehensions
2022-09-21 23:15:42 +0000 <yin> toList ('a',7)
2022-09-21 23:15:47 +0000 <yin> > toList ('a',7)
2022-09-21 23:15:49 +0000 <lambdabot> [()]
2022-09-21 23:15:59 +0000 <ski> > toList ('a',7) :: [Integer]
2022-09-21 23:16:00 +0000king_gs(~Thunderbi@187.201.192.184) (Ping timeout: 264 seconds)
2022-09-21 23:16:01 +0000 <lambdabot> [7]
2022-09-21 23:16:05 +0000 <yin> wait what?
2022-09-21 23:16:15 +0000 <geekosaur> uh, maybe it's time for me to kill that Num instance for ()
2022-09-21 23:16:18 +0000skislaps the `Num ()' instance that someone sneaked in the other day
2022-09-21 23:16:25 +0000 <yin> loool
2022-09-21 23:16:26 +0000 <geekosaur> (was shoiwing stuff off yesterday)
2022-09-21 23:16:29 +0000 <geekosaur> @undefine
2022-09-21 23:16:29 +0000 <lambdabot> Undefined.
2022-09-21 23:16:31 +0000matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-09-21 23:16:43 +0000 <ski> > length ('a',7)
2022-09-21 23:16:44 +0000 <lambdabot> 1
2022-09-21 23:16:47 +0000 <EvanR> (), the trivial ring / group
2022-09-21 23:16:53 +0000 <hpc> i don't see the problem, it's just a really wide '0'
2022-09-21 23:17:05 +0000matthewmosior(~matthewmo@173.170.253.91)
2022-09-21 23:17:12 +0000chomwitt(~chomwitt@2a02:587:dc14:f500:9023:feff:8abf:ed1d) (Ping timeout: 264 seconds)
2022-09-21 23:17:23 +0000 <yin> yeah but it's the "unit" type
2022-09-21 23:17:24 +0000 <EvanR> if it's not Num my poor ring polymorphic code won't have a zero
2022-09-21 23:17:28 +0000 <yin> should look like a 1
2022-09-21 23:17:50 +0000 <EvanR> empty tuple.. is 1
2022-09-21 23:17:51 +0000 <geekosaur> but numbers start with 0, not 1
2022-09-21 23:17:56 +0000 <hpc> yin: that's _|_
2022-09-21 23:18:08 +0000 <geekosaur> lol
2022-09-21 23:18:11 +0000 <yin> geekosaur: no that's Maybe ()
2022-09-21 23:18:15 +0000 <ski> it's the terminal object in the category `Ring' of all rings and ring homomorphisms
2022-09-21 23:18:37 +0000 <EvanR> that's what I meant
2022-09-21 23:18:48 +0000 <Lears> yin: In the zero ring, zero /is/ one.
2022-09-21 23:19:37 +0000ski. o O ( "In Soviet Russia, everyone uses the field of one element." )
2022-09-21 23:20:00 +0000 <yin> well i use base 10
2022-09-21 23:20:13 +0000 <EvanR> is base 10 like, any base above 1
2022-09-21 23:20:31 +0000 <yin> ;)
2022-09-21 23:20:37 +0000raehik(~raehik@zone3.jesus.cam.ac.uk)
2022-09-21 23:20:47 +0000 <ski> base `1' can't represent naturals
2022-09-21 23:20:59 +0000 <EvanR> 1, 11, 111, 1111, ...
2022-09-21 23:21:01 +0000ski. o O ( <https://en.wikipedia.org/wiki/Field_with_one_element> )
2022-09-21 23:21:13 +0000 <ski> that's "unary"/"tallying"
2022-09-21 23:22:05 +0000 <ski> you can only have one digit, in base `1'. since `111' is `...0000111', that's more than one digit
2022-09-21 23:22:31 +0000 <yin> so... base 0?
2022-09-21 23:22:39 +0000zeenk(~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) (Quit: Konversation terminated!)
2022-09-21 23:22:53 +0000 <hpc> actually you have two numbers
2022-09-21 23:22:58 +0000 <hpc> 1111111.....
2022-09-21 23:23:01 +0000 <hpc> and 0.11111...
2022-09-21 23:23:07 +0000 <ski> in base `0', only the lowest ("ones") digit matters. and it can be any whole number
2022-09-21 23:23:42 +0000 <EvanR> what about mixed base, where all the bases are 1
2022-09-21 23:23:48 +0000 <yin> hpc: yeah but how much is 0.1 in base 1?
2022-09-21 23:23:56 +0000 <ski> (`n' modulo zero is `n'. so every `n' is a valid digit)
2022-09-21 23:24:06 +0000matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 260 seconds)
2022-09-21 23:24:33 +0000ski. o O ( "All your bases are belong to one." )
2022-09-21 23:25:03 +0000 <monochrom> I use base 4.14.3.0
2022-09-21 23:25:33 +0000jespada(~jespada@cpc121060-nmal24-2-0-cust249.19-2.cable.virginm.net) (Ping timeout: 244 seconds)
2022-09-21 23:25:40 +0000 <yin> monochrom: you should update
2022-09-21 23:25:41 +0000hpc. o O ( modular arithmetic only exists if you import it )
2022-09-21 23:26:33 +0000 <EvanR> does negative base automatically give you signed digits
2022-09-21 23:27:06 +0000 <hpc> elliptic curves give you signed digits
2022-09-21 23:27:14 +0000 <geekosaur> does fractional base give you fractal digits?
2022-09-21 23:27:33 +0000edrx(~Eduardo@2804:56c:d2dc:ac00:dab8:211d:d4eb:fa94)
2022-09-21 23:28:44 +0000LukeHoersten(~LukeHoers@user/lukehoersten)
2022-09-21 23:28:50 +0000 <yin> 1/phi should be an interesting base
2022-09-21 23:30:14 +0000jjido(~Denis@2.221.114.210)
2022-09-21 23:30:44 +0000 <EvanR> base phi is a thing
2022-09-21 23:31:26 +0000 <EvanR> m + n*phi
2022-09-21 23:31:37 +0000 <yin> ooh: y^2 = sqrt(- 1/phi) -- ymaginary numbers
2022-09-21 23:32:22 +0000 <yin> i need togo to sleep
2022-09-21 23:33:27 +0000 <geekosaur> is this phi-losophy?
2022-09-21 23:34:07 +0000 <hpc> the study of tau-tologies?
2022-09-21 23:36:26 +0000matthewmosior(~matthewmo@173.170.253.91)
2022-09-21 23:36:54 +0000 <edrx> anyone here uses the "pipes" package? this one: https://hackage.haskell.org/package/pipes
2022-09-21 23:37:58 +0000 <edrx> I'm trying to use it to write a function that pipes a string through a shell script and returns its output, but I'm too newbiesh
2022-09-21 23:41:01 +0000 <edrx> ski gave me a hint that I am still trying to decypher... this one:
2022-09-21 23:41:15 +0000 <edrx> "if you mean a `pipes' `Producer', then i guess you'd just use `getContents' (or a strict version of that, if you prefer)... `stdinAll = do str <- lift getContents; yield str' or `stdinAll = yield =<< lift getContents'"
2022-09-21 23:41:15 +0000matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 265 seconds)
2022-09-21 23:42:38 +0000 <edrx> the problem is that when I run that I get a stdinAll object whose type is:
2022-09-21 23:42:48 +0000 <edrx> stdinAll :: Proxy x' x () String IO ()
2022-09-21 23:43:08 +0000jespada(~jespada@cpc121060-nmal24-2-0-cust249.19-2.cable.virginm.net)
2022-09-21 23:45:03 +0000 <ski> "does negative base automatically give you signed digits" -- not necessarily
2022-09-21 23:45:22 +0000LukeHoersten(~LukeHoers@user/lukehoersten) (Read error: Connection timed out)
2022-09-21 23:45:52 +0000 <ski> (you have to choose some residue system .. and, aiui, zero had better be in it)
2022-09-21 23:46:14 +0000 <ski> factoriadic is also a nice mixed base system
2022-09-21 23:47:59 +0000ec(~ec@gateway/tor-sasl/ec) (Ping timeout: 258 seconds)
2022-09-21 23:48:07 +0000califax(~califax@user/califx) (Quit: ZNC 1.8.2 - https://znc.in)
2022-09-21 23:48:25 +0000califax(~califax@user/califx)
2022-09-21 23:50:13 +0000ski. o O ( <https://en.wikipedia.org/wiki/Balanced_ternary>,<https://en.wikipedia.org/wiki/Negative_base>,<https://en.wikipedia.org/wiki/Golden_ratio_base>,<https://en.wikipedia.org/wiki/Fibonacci_coding>,<https://en.wikipedia.org/wiki/Zeckendorf%27s_theorem>,<https://en.wikipedia.org/wiki/Factorial_number_system>,<https://en.wikipedia.org/wiki/Combinatorial_number_system> )
2022-09-21 23:50:14 +0000ec(~ec@gateway/tor-sasl/ec)
2022-09-21 23:51:12 +0000shapr(~user@2601:7c0:c383:70:41d:e896:1ffc:3462) (Quit: ERC 5.4 (IRC client for GNU Emacs 28.1))
2022-09-21 23:51:24 +0000raehik(~raehik@zone3.jesus.cam.ac.uk) (Ping timeout: 265 seconds)
2022-09-21 23:51:32 +0000 <yin> ok ski, i *was going* to sleep
2022-09-21 23:51:42 +0000skiwhistles innocently
2022-09-21 23:52:01 +0000 <edrx> hi ski!
2022-09-21 23:52:08 +0000 <ski> heya !
2022-09-21 23:52:58 +0000 <edrx> I am still trying to understand your hint... I'm starting by the types, but I don't know if this is a good idea...
2022-09-21 23:53:05 +0000 <ski> well, my `stdinAll' would simply be a producer that generates a single `String', being the whole of the `stdin' (rather than splitting it into separate lines, as the other example you had, the other day)
2022-09-21 23:53:22 +0000 <ski> to call a shell script, you'd need to much around with `process', i'd imagine
2022-09-21 23:53:25 +0000 <edrx> I made this: http://angg.twu.net/eev-haskell.html
2022-09-21 23:53:36 +0000 <ski> s/much/muck/
2022-09-21 23:54:50 +0000JamesF(~jef@92.40.190.201.threembb.co.uk)
2022-09-21 23:55:25 +0000 <ski> (factoriadic is a nice way to index permutations (with finite support). combinatoriadic is for indexing a selection of `k' items from `n' total, e.g. if you want to do a random selection)
2022-09-21 23:56:39 +0000LukeHoersten(~LukeHoers@user/lukehoersten)