| 2022-04-20 00:00:00 +0200 | <nihilazo> | I tried learning before from "real-world haskell" but found myself feeling like I was fighting against haskell's type system instead of really grokking it |
| 2022-04-20 00:00:02 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2022-04-20 00:02:19 +0200 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Ping timeout: 240 seconds) |
| 2022-04-20 00:02:22 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-20 00:02:23 +0200 | hyiltiz_ | (~quassel@31.220.5.250) (Ping timeout: 256 seconds) |
| 2022-04-20 00:03:23 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2022-04-20 00:03:59 +0200 | python476 | (~user@88.163.231.79) |
| 2022-04-20 00:04:05 +0200 | python476 | (~user@88.163.231.79) (Remote host closed the connection) |
| 2022-04-20 00:04:49 +0200 | agumonkey | (~user@88.163.231.79) |
| 2022-04-20 00:05:26 +0200 | <geekosaur> | RWH is perhaps notthe best for a beginner, it's more of an intermediate book I think |
| 2022-04-20 00:05:36 +0200 | hyiltiz | (~quassel@31.220.5.250) |
| 2022-04-20 00:05:45 +0200 | DNH | (~DNH@2a02:8109:b740:2c4:39b1:39b8:aa61:2e31) |
| 2022-04-20 00:05:54 +0200 | kaph | (~kaph@ge-19-125-59.service.infuturo.it) (Read error: Connection reset by peer) |
| 2022-04-20 00:06:03 +0200 | kaph | (~kaph@151.19.233.38) |
| 2022-04-20 00:06:05 +0200 | <geekosaur> | LYAH… is okay if you can find some exercises to do along with it; otherwise it's kinda the "grand tour", you can mostly read code after it but not really write it |
| 2022-04-20 00:06:17 +0200 | <geekosaur> | currently we prefer something like |
| 2022-04-20 00:06:20 +0200 | <geekosaur> | @where cis194 |
| 2022-04-20 00:06:21 +0200 | <lambdabot> | https://www.seas.upenn.edu/~cis194/spring13/lectures.html |
| 2022-04-20 00:06:55 +0200 | slack1256 | (~slack1256@191.125.99.208) (Ping timeout: 256 seconds) |
| 2022-04-20 00:07:46 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
| 2022-04-20 00:08:51 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-20 00:12:04 +0200 | xff0x_ | (~xff0x@om126194210237.10.openmobile.ne.jp) |
| 2022-04-20 00:12:22 +0200 | zeenk | (~zeenk@2a02:2f04:a313:d600:8d26:ec9f:3ff6:fc94) (Quit: Konversation terminated!) |
| 2022-04-20 00:12:38 +0200 | <geekosaur> | I can't think of anything specifically for folks who know some FP but not strong typing or laziness |
| 2022-04-20 00:13:19 +0200 | <geekosaur> | closest I can think of is the old "Gentle Introduction" but that still assumes strong typing / SML background |
| 2022-04-20 00:17:49 +0200 | <sm> | there's no universal "best", but how about |
| 2022-04-20 00:17:49 +0200 | <sm> | @where HTAC |
| 2022-04-20 00:17:50 +0200 | <lambdabot> | "Haskell Tutorial and Cookbook" by Mark Watson in 2017-09-04 at <https://leanpub.com/haskell-cookbook> |
| 2022-04-20 00:17:57 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 276 seconds) |
| 2022-04-20 00:19:24 +0200 | <sm> | @where books |
| 2022-04-20 00:19:24 +0200 | <sm> | has the rest, if not |
| 2022-04-20 00:19:24 +0200 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Read error: Connection reset by peer) |
| 2022-04-20 00:19:24 +0200 | <lambdabot> | https://www.extrema.is/articles/haskell-books, see also @where LYAH, RWH, YAHT, SOE, HR, PIH, TFwH, wikibook, PCPH, HPFFP, HTAC, TwT, FoP, PFAD, WYAH, non-haskell-books |
| 2022-04-20 00:20:01 +0200 | deadmarshal_ | (~deadmarsh@95.38.114.27) |
| 2022-04-20 00:20:10 +0200 | anomal | (~anomal@87.227.196.109) (Remote host closed the connection) |
| 2022-04-20 00:20:19 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 240 seconds) |
| 2022-04-20 00:20:30 +0200 | anomal | (~anomal@87.227.196.109) |
| 2022-04-20 00:20:31 +0200 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) (Ping timeout: 256 seconds) |
| 2022-04-20 00:21:39 +0200 | Midjak | (~Midjak@82.66.147.146) (Ping timeout: 260 seconds) |
| 2022-04-20 00:23:06 +0200 | mastarija__ | (~mastarija@2a05:4f46:e04:6000:a5e2:63ce:2368:50db) (Read error: Connection reset by peer) |
| 2022-04-20 00:23:10 +0200 | <geekosaur> | @where TwT |
| 2022-04-20 00:23:10 +0200 | <lambdabot> | "Thinking with Types: Type-Level Programming in Haskell" by Sandy Maguire in 2019-01-10 at <https://leanpub.com/thinking-with-types> |
| 2022-04-20 00:23:16 +0200 | <geekosaur> | hm, no |
| 2022-04-20 00:24:00 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-20 00:24:27 +0200 | deadmarshal_ | (~deadmarsh@95.38.114.27) (Ping timeout: 260 seconds) |
| 2022-04-20 00:24:54 +0200 | waleee | (~waleee@h-155-4-221-82.NA.cust.bahnhof.se) |
| 2022-04-20 00:24:55 +0200 | Moyst_ | (~moyst@user/moyst) (Ping timeout: 260 seconds) |
| 2022-04-20 00:26:28 +0200 | RevoGen | (~RevoGen@136.167.108.147) |
| 2022-04-20 00:26:37 +0200 | vall456 | (~vall@178.71.51.200) |
| 2022-04-20 00:27:03 +0200 | vall456 | (~vall@178.71.51.200) (Quit: Leaving) |
| 2022-04-20 00:28:08 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 248 seconds) |
| 2022-04-20 00:29:04 +0200 | <Las[m]> | Does anyone know whether there's literature on what sound restrictions would be on overlapping instances to ensure coherence? |
| 2022-04-20 00:29:57 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-20 00:31:31 +0200 | statusbot1 | (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) |
| 2022-04-20 00:31:36 +0200 | statusbot | (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (Remote host closed the connection) |
| 2022-04-20 00:31:47 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-20 00:32:02 +0200 | <geekosaur> | hm, I didn't think coherence was the problem, just an inability to guarantee that the intended instance would be chosen in some module which used the class but didn't have all instances in scope? |
| 2022-04-20 00:32:27 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-98.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2022-04-20 00:33:14 +0200 | <Las[m]> | Is that possible in the absence of orphan instances? |
| 2022-04-20 00:33:32 +0200 | <Las[m]> | https://downloads.haskell.org/ghc/latest/docs/html/users_guide/exts/instances.html?highlight=overl… has an example of incoherence |
| 2022-04-20 00:34:32 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 248 seconds) |
| 2022-04-20 00:34:35 +0200 | <geekosaur> | sure. you don't have to have all instances known at a use site. something that uses fmap doesn't have to know every possible Functor instance |
| 2022-04-20 00:36:06 +0200 | <Las[m]> | well what would the sound restriction be then? |
| 2022-04-20 00:36:25 +0200 | <Las[m]> | If possible I want to implement checks in GHC to allow coherent use of overlapping instances |
| 2022-04-20 00:37:34 +0200 | <geekosaur> | well, that would be an exampleof what I said |
| 2022-04-20 00:37:52 +0200 | <geekosaur> | I suppose that does mean incoherence, hm |
| 2022-04-20 00:44:18 +0200 | n3t | (~n3t@user/n3t) (Quit: WeeChat 2.9) |
| 2022-04-20 00:46:39 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-20 00:49:32 +0200 | bgs | (~bgs@cpe-212-85-160-171.cable.telemach.net) (Remote host closed the connection) |
| 2022-04-20 00:49:46 +0200 | bgs | (~bgs@cpe-212-85-160-171.cable.telemach.net) |
| 2022-04-20 00:50:13 +0200 | Moyst | (~moyst@user/moyst) |
| 2022-04-20 00:50:39 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 240 seconds) |
| 2022-04-20 00:52:34 +0200 | perrierj1 | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 2022-04-20 00:53:44 +0200 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Ping timeout: 248 seconds) |
| 2022-04-20 00:54:10 +0200 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 2022-04-20 00:55:05 +0200 | agumonkey | (~user@88.163.231.79) (Ping timeout: 256 seconds) |
| 2022-04-20 00:57:33 +0200 | DNH | (~DNH@2a02:8109:b740:2c4:39b1:39b8:aa61:2e31) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-04-20 00:58:19 +0200 | DNH | (~DNH@2a02:8109:b740:2c4:39b1:39b8:aa61:2e31) |
| 2022-04-20 01:00:14 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-20 01:00:51 +0200 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 276 seconds) |
| 2022-04-20 01:01:24 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 272 seconds) |
| 2022-04-20 01:04:59 +0200 | JordiGH | (~jordi@user/jordigh) (Ping timeout: 240 seconds) |
| 2022-04-20 01:07:04 +0200 | acidjnk | (~acidjnk@p200300d0c722df64b44bf627258f714f.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2022-04-20 01:09:03 +0200 | yauhsien | (~yauhsien@61-231-27-3.dynamic-ip.hinet.net) |
| 2022-04-20 01:10:12 +0200 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Quit: ERC 5.4 (IRC client for GNU Emacs 28.1)) |
| 2022-04-20 01:12:47 +0200 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) |
| 2022-04-20 01:13:31 +0200 | <shapr> | category theory joke: what makes everything feel good? an endorphism |
| 2022-04-20 01:15:39 +0200 | yauhsien | (~yauhsien@61-231-27-3.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 2022-04-20 01:21:54 +0200 | Guest99 | (~Guest99@187.105.124.126) |
| 2022-04-20 01:23:23 +0200 | kaskal | (~kaskal@2001:4bb8:2e0:b5bd:e3c0:d71b:f32:84d8) (Ping timeout: 252 seconds) |
| 2022-04-20 01:23:38 +0200 | kaskal | (~kaskal@2001:4bb8:2e0:b5bd:e3c0:d71b:f32:84d8) |
| 2022-04-20 01:23:47 +0200 | bgs_ | (~bgs@cpe-212-85-160-171.cable.telemach.net) |
| 2022-04-20 01:25:07 +0200 | bgs | (~bgs@cpe-212-85-160-171.cable.telemach.net) (Ping timeout: 256 seconds) |
| 2022-04-20 01:25:23 +0200 | bgs_ | bgs |
| 2022-04-20 01:25:50 +0200 | Guest99 | (~Guest99@187.105.124.126) (Client Quit) |
| 2022-04-20 01:26:03 +0200 | DNH | (~DNH@2a02:8109:b740:2c4:39b1:39b8:aa61:2e31) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-04-20 01:26:56 +0200 | <hpc> | that pun made me want to yawneda |
| 2022-04-20 01:30:28 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 2022-04-20 01:30:39 +0200 | chomwitt | (~chomwitt@2a02:587:dc1b:da00:1339:e02b:9822:2360) (Ping timeout: 240 seconds) |
| 2022-04-20 01:30:43 +0200 | gurkenglas | (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) (Ping timeout: 260 seconds) |
| 2022-04-20 01:33:50 +0200 | rsify[m] | (~rsifymatr@2001:470:69fc:105::1:fd44) |
| 2022-04-20 01:34:21 +0200 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-04-20 01:35:41 +0200 | <EvanR> | ggVGc, cheers, good to see you survived the freenode-a-lypse |
| 2022-04-20 01:37:11 +0200 | <EvanR> | so I'm about to mix makefiles and cabal |
| 2022-04-20 01:37:22 +0200 | <EvanR> | if I'm not back in 30 minutes you know what to do |
| 2022-04-20 01:37:45 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-04-20 01:37:58 +0200 | <sm> | what happened poor Freenode since, anyway |
| 2022-04-20 01:38:05 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-04-20 01:38:05 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-04-20 01:38:05 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-04-20 01:38:28 +0200 | <sm> | looks like a reddit now |
| 2022-04-20 01:40:34 +0200 | <EvanR> | a reddit-class soul destroyer |
| 2022-04-20 01:48:36 +0200 | allbery_b | (~geekosaur@xmonad/geekosaur) |
| 2022-04-20 01:48:41 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2022-04-20 01:48:49 +0200 | Midjak | (~Midjak@82.66.147.146) |
| 2022-04-20 01:50:25 +0200 | <Axman6> | nihilazo: was there anything in particular you felt you were getting stuck on? |
| 2022-04-20 01:53:39 +0200 | <Axman6> | ... wtf? what on earth did they do? |
| 2022-04-20 01:56:17 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-04-20 01:56:25 +0200 | <Axman6> | Clicked on "Node of the day" on freenode... and it's an empty... subreddit? what the actual fuck are they doing, this is so bad. it's just a bunch of job ads for cryptocurrency and conspiracies? |
| 2022-04-20 01:56:35 +0200 | <EvanR> | be the first to post in /n/lilo |
| 2022-04-20 01:57:05 +0200 | <Axman6> | New Post: What the flip is LILO? |
| 2022-04-20 01:57:20 +0200 | <Axman6> | all these subreddit things were created by [Deleted] |
| 2022-04-20 01:57:45 +0200 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2022-04-20 01:58:00 +0200 | <EvanR> | lilo was the founder of freenode |
| 2022-04-20 01:58:10 +0200 | <Axman6> | Deleted a comment with reason "shane" <- haha, wtdf |
| 2022-04-20 01:58:13 +0200 | <Axman6> | wtf* |
| 2022-04-20 01:58:20 +0200 | <Axman6> | https://freenode.net/n/conspiracy/sublog |
| 2022-04-20 01:59:02 +0200 | waleee | (~waleee@h-155-4-221-82.NA.cust.bahnhof.se) (Ping timeout: 250 seconds) |
| 2022-04-20 01:59:07 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2022-04-20 01:59:26 +0200 | <Axman6> | ... their equivalent of reddit's karma, and I swear I'm not making this up, is called "Phuks given" |
| 2022-04-20 01:59:28 +0200 | allbery_b | (~geekosaur@xmonad/geekosaur) (Ping timeout: 250 seconds) |
| 2022-04-20 02:00:02 +0200 | rsify[m] | rsify |
| 2022-04-20 02:00:21 +0200 | <Axman6> | Deleted a post with reason "goats" |
| 2022-04-20 02:00:28 +0200 | <geekosaur> | deddit |
| 2022-04-20 02:03:22 +0200 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Ping timeout: 250 seconds) |
| 2022-04-20 02:04:56 +0200 | rsify | (~rsifymatr@2001:470:69fc:105::1:fd44) (Quit: Reconnecting) |
| 2022-04-20 02:05:03 +0200 | <Axman6> | Ha, they even have their own self trolling sub: https://freenode.net/n/pissnet/hot |
| 2022-04-20 02:05:10 +0200 | rsify | (~rsify@2001:470:69fc:105::1:fd44) |
| 2022-04-20 02:06:38 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 272 seconds) |
| 2022-04-20 02:17:55 +0200 | rsify | (~rsify@2001:470:69fc:105::1:fd44) (Quit: Reconnecting) |
| 2022-04-20 02:18:09 +0200 | rsify | (~rsify@2001:470:69fc:105::1:fd44) |
| 2022-04-20 02:21:06 +0200 | JordiGH | (~jordi@user/jordigh) |
| 2022-04-20 02:22:39 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 240 seconds) |
| 2022-04-20 02:27:10 +0200 | <janus> | can libera.chat can be bigger than freenode ever was? then, was it so bad freenode went crazy? |
| 2022-04-20 02:29:18 +0200 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2022-04-20 02:33:48 +0200 | vysn | (~vysn@user/vysn) |
| 2022-04-20 02:33:49 +0200 | xff0x_ | (~xff0x@om126194210237.10.openmobile.ne.jp) (Read error: Connection reset by peer) |
| 2022-04-20 02:34:25 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-04-20 02:35:32 +0200 | <sm> | of course it can, and yes it was bad for eg consuming a lot of time and energy, but maybe libera and foss communities have had some useful cleanup, for one |
| 2022-04-20 02:40:38 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 250 seconds) |
| 2022-04-20 02:42:18 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2022-04-20 02:42:44 +0200 | vicfred | (~vicfred@user/vicfred) (Quit: Leaving) |
| 2022-04-20 02:44:18 +0200 | <sm> | though actually, with matrix etc, it might not reach that size again |
| 2022-04-20 02:44:50 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-20 02:49:34 +0200 | <abastro[m]> | Matrix could be bridged right? |
| 2022-04-20 02:50:07 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 2022-04-20 02:51:56 +0200 | <sm> | yup, I'm speaking to you over a bridge |
| 2022-04-20 02:52:20 +0200 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 250 seconds) |
| 2022-04-20 02:53:03 +0200 | AndrewYu | Andrew |
| 2022-04-20 02:54:22 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 246 seconds) |
| 2022-04-20 02:54:31 +0200 | RevoGen | (~RevoGen@136.167.108.147) (Remote host closed the connection) |
| 2022-04-20 02:54:44 +0200 | RevoGen | (~RevoGen@136.167.108.147) |
| 2022-04-20 02:56:21 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2022-04-20 02:56:24 +0200 | <sclv> | if you think that matrix is better than irc, buddy ive got a bridge to sell you |
| 2022-04-20 02:56:39 +0200 | perrierj1 | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Ping timeout: 240 seconds) |
| 2022-04-20 02:56:55 +0200 | <abastro[m]> | XD |
| 2022-04-20 02:58:59 +0200 | <sm> | it's better in lots of ways. Not all |
| 2022-04-20 02:59:30 +0200 | <sm> | nice that we have at least two great alternatives to proprietary chat |
| 2022-04-20 03:02:31 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-20 03:03:24 +0200 | abastro | (~abab9579@220.75.216.63) |
| 2022-04-20 03:05:10 +0200 | abastro | (~abab9579@220.75.216.63) (Remote host closed the connection) |
| 2022-04-20 03:05:21 +0200 | abastro | (~abab9579@220.75.216.63) |
| 2022-04-20 03:05:46 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 250 seconds) |
| 2022-04-20 03:06:06 +0200 | <abastro> | To put '.' on the end of the comment sentence or not, that is the question(.) |
| 2022-04-20 03:07:51 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-20 03:07:55 +0200 | <sm> | Indeed! And, to use correct grammar, punctuation and capitalisation at all times ? The folks who do this impress me. |
| 2022-04-20 03:18:43 +0200 | hexeme | ldlework |
| 2022-04-20 03:20:15 +0200 | andrey_ | (~andrey@p200300dbcf0690007a1a8916775a33e5.dip0.t-ipconnect.de) |
| 2022-04-20 03:22:39 +0200 | andrey__ | (~andrey@p200300dbcf108600f3fd07f727d014bd.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-04-20 03:24:10 +0200 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-04-20 03:29:54 +0200 | xff0x_ | (~xff0x@125x102x200x106.ap125.ftth.ucom.ne.jp) |
| 2022-04-20 03:32:13 +0200 | <abastro> | Exactly! |
| 2022-04-20 03:32:18 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 276 seconds) |
| 2022-04-20 03:35:37 +0200 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-04-20 03:36:43 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-04-20 03:36:43 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-04-20 03:36:43 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-04-20 03:36:54 +0200 | pieguy128_ | (~pieguy128@bras-base-mtrlpq5031w-grc-35-70-24-248-224.dsl.bell.ca) |
| 2022-04-20 03:36:54 +0200 | maerwald_ | (~maerwald@mail.hasufell.de) |
| 2022-04-20 03:37:26 +0200 | dobblego | (~dibblego@122-199-1-30.ip4.superloop.com) |
| 2022-04-20 03:37:26 +0200 | dobblego | (~dibblego@122-199-1-30.ip4.superloop.com) (Changing host) |
| 2022-04-20 03:37:26 +0200 | dobblego | (~dibblego@haskell/developer/dibblego) |
| 2022-04-20 03:37:36 +0200 | forell_ | (~forell@host-178-216-90-220.sta.tvknaszapraca.pl) |
| 2022-04-20 03:37:37 +0200 | inversed_ | (~inversed@94.13.111.159) (Read error: Connection reset by peer) |
| 2022-04-20 03:37:37 +0200 | forell | (~forell@user/forell) (Quit: ZNC - https://znc.in) |
| 2022-04-20 03:37:37 +0200 | maerwald | (~maerwald@user/maerwald) (Quit: gone) |
| 2022-04-20 03:37:37 +0200 | sm[i] | (~user@plaintextaccounting/sm) (Remote host closed the connection) |
| 2022-04-20 03:37:37 +0200 | avpx | (~nick@ec2-54-214-223-1.us-west-2.compute.amazonaws.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-04-20 03:37:37 +0200 | Ekho | (~Ekho@user/ekho) (Quit: CORE ERROR, SYSTEM HALTED.) |
| 2022-04-20 03:37:38 +0200 | pieguy128 | (~pieguy128@bras-base-mtrlpq5031w-grc-35-70-24-248-224.dsl.bell.ca) (Remote host closed the connection) |
| 2022-04-20 03:37:38 +0200 | wagle | (~wagle@quassel.wagle.io) (Remote host closed the connection) |
| 2022-04-20 03:37:38 +0200 | inversed | (~inversed@94.13.111.159) |
| 2022-04-20 03:37:38 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Read error: Connection reset by peer) |
| 2022-04-20 03:37:38 +0200 | auri | (~quassel@fsf/member/auri) (Remote host closed the connection) |
| 2022-04-20 03:37:38 +0200 | acowley | (~acowley@c-68-83-22-43.hsd1.nj.comcast.net) (Ping timeout: 272 seconds) |
| 2022-04-20 03:37:38 +0200 | loonycyborg | (loonycybor@wesnoth/developer/loonycyborg) (Quit: ZNC - http://znc.sourceforge.net) |
| 2022-04-20 03:37:51 +0200 | agrosant | (~agrosant@46.12.126.12.dsl.dyn.forthnet.gr) (Ping timeout: 272 seconds) |
| 2022-04-20 03:37:51 +0200 | wolfshappen | (~waff@irc.furworks.de) (Ping timeout: 272 seconds) |
| 2022-04-20 03:37:51 +0200 | Cheery_ | (~cheery@7-239-179-185.static.tentacle.fi) (Ping timeout: 272 seconds) |
| 2022-04-20 03:37:53 +0200 | avpx | (~nick@ec2-54-214-223-1.us-west-2.compute.amazonaws.com) |
| 2022-04-20 03:37:59 +0200 | wagle | (~wagle@quassel.wagle.io) |
| 2022-04-20 03:38:04 +0200 | loonycyborg_ | (loonycybor@chat.chantal.wesnoth.org) |
| 2022-04-20 03:38:19 +0200 | dobblego | dibblego |
| 2022-04-20 03:38:19 +0200 | auri | (~auri@fsf/member/auri) |
| 2022-04-20 03:38:25 +0200 | abastro | (~abab9579@220.75.216.63) (Remote host closed the connection) |
| 2022-04-20 03:38:37 +0200 | wolfshappen | (~waff@irc.furworks.de) |
| 2022-04-20 03:39:01 +0200 | sweater2 | (~sweater@206.81.18.26) |
| 2022-04-20 03:39:02 +0200 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2022-04-20 03:39:06 +0200 | ezzieygu1wuf | (~Unknown@user/ezzieyguywuf) |
| 2022-04-20 03:39:22 +0200 | Cheery | (~cheery@7-239-179-185.static.tentacle.fi) |
| 2022-04-20 03:39:35 +0200 | chronon_ | (~chronon@user/chronon) |
| 2022-04-20 03:39:54 +0200 | cross_ | (~cross@spitfire.i.gajendra.net) |
| 2022-04-20 03:40:04 +0200 | mstksg | (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
| 2022-04-20 03:40:20 +0200 | ncopa8 | (~ncopa@gbr2-dev1.alpinelinux.org) |
| 2022-04-20 03:40:56 +0200 | infinity0_ | (~infinity0@185.112.146.113) |
| 2022-04-20 03:41:00 +0200 | infinity0 | (~infinity0@185.112.146.113) (Killed (strontium.libera.chat (Nickname regained by services))) |
| 2022-04-20 03:41:00 +0200 | infinity0_ | infinity0 |
| 2022-04-20 03:41:02 +0200 | noctux1 | (VLbL74JH3j@user/noctux) |
| 2022-04-20 03:41:03 +0200 | frost | (~frost@user/frost) |
| 2022-04-20 03:41:10 +0200 | dumptruckman_ | (~dumptruck@45-79-173-88.ip.linodeusercontent.com) |
| 2022-04-20 03:41:46 +0200 | CodeKiwi | (~kiwi@137.184.156.191) |
| 2022-04-20 03:42:13 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 272 seconds) |
| 2022-04-20 03:42:13 +0200 | noctuks | (mk6gDPckYi@user/noctux) (Ping timeout: 272 seconds) |
| 2022-04-20 03:42:13 +0200 | Rembane | (~Rembane@li346-36.members.linode.com) (Ping timeout: 272 seconds) |
| 2022-04-20 03:42:13 +0200 | stvc | (~stvc@192.241.166.39) (Ping timeout: 272 seconds) |
| 2022-04-20 03:42:13 +0200 | totte | (~totte@h-82-196-112-155.A166.priv.bahnhof.se) (Ping timeout: 272 seconds) |
| 2022-04-20 03:42:13 +0200 | mmaruseacph2 | (~mihai@198.199.98.239) (Ping timeout: 272 seconds) |
| 2022-04-20 03:42:13 +0200 | Jonno_FTW | (~come@user/jonno-ftw/x-0835346) (Ping timeout: 272 seconds) |
| 2022-04-20 03:42:13 +0200 | cross | (~cross@spitfire.i.gajendra.net) (Ping timeout: 272 seconds) |
| 2022-04-20 03:42:13 +0200 | chronon | (~chronon@user/chronon) (Ping timeout: 272 seconds) |
| 2022-04-20 03:42:13 +0200 | edwtjo | (~edwtjo@fsf/member/edwtjo) (Ping timeout: 272 seconds) |
| 2022-04-20 03:42:13 +0200 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 272 seconds) |
| 2022-04-20 03:42:13 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 272 seconds) |
| 2022-04-20 03:42:13 +0200 | gentauro | (~gentauro@user/gentauro) (Ping timeout: 272 seconds) |
| 2022-04-20 03:42:13 +0200 | pooryorick | (~pooryoric@87-119-174-173.tll.elisa.ee) (Ping timeout: 272 seconds) |
| 2022-04-20 03:42:13 +0200 | Igloo | (~ian@matrix.chaos.earth.li) (Ping timeout: 272 seconds) |
| 2022-04-20 03:42:16 +0200 | inversed | (~inversed@94.13.111.159) (Ping timeout: 272 seconds) |
| 2022-04-20 03:42:16 +0200 | sweater1 | (~sweater@206.81.18.26) (Ping timeout: 272 seconds) |
| 2022-04-20 03:42:17 +0200 | xstill- | (xstill@fimu/xstill) (Ping timeout: 272 seconds) |
| 2022-04-20 03:42:17 +0200 | dumptruckman | (~dumptruck@45-79-173-88.ip.linodeusercontent.com) (Ping timeout: 272 seconds) |
| 2022-04-20 03:42:17 +0200 | akhesacaro | (~caro@212.83.144.58) (Ping timeout: 272 seconds) |
| 2022-04-20 03:42:17 +0200 | byorgey | (~byorgey@155.138.238.211) (Ping timeout: 272 seconds) |
| 2022-04-20 03:42:17 +0200 | dumptruckman_ | dumptruckman |
| 2022-04-20 03:42:43 +0200 | mmaruseacph2 | (~mihai@198.199.98.239) |
| 2022-04-20 03:42:45 +0200 | pooryorick | (~pooryoric@87-119-174-173.tll.elisa.ee) |
| 2022-04-20 03:42:54 +0200 | stefan-_ | (~cri@42dots.de) (Ping timeout: 272 seconds) |
| 2022-04-20 03:42:55 +0200 | Brandon_IX | (~brandon@178-79-138-117.ip.linodeusercontent.com) (Ping timeout: 272 seconds) |
| 2022-04-20 03:42:55 +0200 | absence | (torgeihe@hildring.pvv.ntnu.no) (Ping timeout: 272 seconds) |
| 2022-04-20 03:42:55 +0200 | Ranhir | (~Ranhir@157.97.53.139) (Ping timeout: 272 seconds) |
| 2022-04-20 03:42:55 +0200 | ncopa | (~ncopa@alpine/developer/ncopa) (Ping timeout: 272 seconds) |
| 2022-04-20 03:42:55 +0200 | DigitalKiwi | (~kiwi@137.184.156.191) (Ping timeout: 272 seconds) |
| 2022-04-20 03:42:55 +0200 | ncopa8 | ncopa |
| 2022-04-20 03:42:55 +0200 | Igloo | (~ian@matrix.chaos.earth.li) |
| 2022-04-20 03:43:03 +0200 | absence | (torgeihe@hildring.pvv.ntnu.no) |
| 2022-04-20 03:43:10 +0200 | Rembane | (~Rembane@li346-36.members.linode.com) |
| 2022-04-20 03:43:15 +0200 | zaquest | (~notzaques@5.130.79.72) |
| 2022-04-20 03:43:19 +0200 | gentauro | (~gentauro@user/gentauro) |
| 2022-04-20 03:43:23 +0200 | akhesacaro | (~caro@212-83-144-58.rev.poneytelecom.eu) |
| 2022-04-20 03:43:26 +0200 | Brandon_IX | (~brandon@178-79-138-117.ip.linodeusercontent.com) |
| 2022-04-20 03:43:29 +0200 | byorgey | (~byorgey@155.138.238.211) |
| 2022-04-20 03:43:33 +0200 | agrosant | (~agrosant@46.12.126.12.dsl.dyn.forthnet.gr) |
| 2022-04-20 03:43:48 +0200 | sm[i] | (~user@plaintextaccounting/sm) |
| 2022-04-20 03:43:52 +0200 | inversed | (~inversed@94.13.111.159) |
| 2022-04-20 03:44:14 +0200 | xstill- | (xstill@fimu/xstill) |
| 2022-04-20 03:44:25 +0200 | acowley | (~acowley@c-68-83-22-43.hsd1.nj.comcast.net) |
| 2022-04-20 03:44:37 +0200 | stefan-_ | (~cri@42dots.de) |
| 2022-04-20 03:44:59 +0200 | inversed_ | (~inversed@94.13.111.159) |
| 2022-04-20 03:45:26 +0200 | hugo- | (znc@verdigris.lysator.liu.se) |
| 2022-04-20 03:45:38 +0200 | Ranhir | (~Ranhir@157.97.53.139) |
| 2022-04-20 03:46:36 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 276 seconds) |
| 2022-04-20 03:46:41 +0200 | Jonno_FTW | (~come@api.carswap.me) |
| 2022-04-20 03:46:41 +0200 | Jonno_FTW | (~come@api.carswap.me) (Changing host) |
| 2022-04-20 03:46:41 +0200 | Jonno_FTW | (~come@user/jonno-ftw/x-0835346) |
| 2022-04-20 03:47:24 +0200 | Ekho | (~Ekho@user/ekho) |
| 2022-04-20 03:48:32 +0200 | totte | (~totte@h-82-196-112-155.A166.priv.bahnhof.se) |
| 2022-04-20 03:48:36 +0200 | inversed | (~inversed@94.13.111.159) (Ping timeout: 272 seconds) |
| 2022-04-20 03:51:03 +0200 | edwtjo | (~edwtjo@h-109-228-137-133.A213.priv.bahnhof.se) |
| 2022-04-20 03:51:04 +0200 | edwtjo | (~edwtjo@h-109-228-137-133.A213.priv.bahnhof.se) (Changing host) |
| 2022-04-20 03:51:04 +0200 | edwtjo | (~edwtjo@fsf/member/edwtjo) |
| 2022-04-20 03:51:22 +0200 | lbseale_ | (~ep1ctetus@user/ep1ctetus) (Quit: Leaving) |
| 2022-04-20 03:56:53 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-04-20 03:56:53 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-04-20 03:56:53 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-04-20 03:58:12 +0200 | oxide | (~lambda@user/oxide) (Ping timeout: 250 seconds) |
| 2022-04-20 04:00:14 +0200 | oxide | (~lambda@user/oxide) |
| 2022-04-20 04:05:00 +0200 | avpx_ | (~nick@ec2-54-214-223-1.us-west-2.compute.amazonaws.com) |
| 2022-04-20 04:05:02 +0200 | sjanssen | (~sjanssenm@2001:470:69fc:105::1:61d8) |
| 2022-04-20 04:05:04 +0200 | efertone_ | (~efertone@user/efertone) |
| 2022-04-20 04:05:39 +0200 | omantere_ | (~pi@85-156-109-34.elisa-laajakaista.fi) |
| 2022-04-20 04:06:34 +0200 | kaph_ | (~kaph@151.37.253.228) |
| 2022-04-20 04:06:40 +0200 | mjs2600_ | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) |
| 2022-04-20 04:07:27 +0200 | avpx | (~nick@ec2-54-214-223-1.us-west-2.compute.amazonaws.com) (Ping timeout: 272 seconds) |
| 2022-04-20 04:07:27 +0200 | inversed | (~inversed@94.13.111.159) |
| 2022-04-20 04:07:27 +0200 | efertone | (~efertone@user/efertone) (Ping timeout: 272 seconds) |
| 2022-04-20 04:07:27 +0200 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Ping timeout: 272 seconds) |
| 2022-04-20 04:07:27 +0200 | omantere | (~pi@85-156-109-34.elisa-laajakaista.fi) (Ping timeout: 272 seconds) |
| 2022-04-20 04:07:27 +0200 | inversed_ | (~inversed@94.13.111.159) (Ping timeout: 272 seconds) |
| 2022-04-20 04:07:27 +0200 | inversed_ | (~inversed@94.13.111.159) |
| 2022-04-20 04:09:21 +0200 | kaph | (~kaph@151.19.233.38) (Ping timeout: 276 seconds) |
| 2022-04-20 04:09:58 +0200 | inversed | (~inversed@94.13.111.159) (Ping timeout: 272 seconds) |
| 2022-04-20 04:11:02 +0200 | inversed_ | (~inversed@94.13.111.159) (Read error: Connection reset by peer) |
| 2022-04-20 04:11:49 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-04-20 04:14:18 +0200 | inversed | (~inversed@94.13.111.159) |
| 2022-04-20 04:16:40 +0200 | lainon | (~lainon@2601:7c0:c500:4d20::e45d) |
| 2022-04-20 04:16:48 +0200 | lainon | (~lainon@2601:7c0:c500:4d20::e45d) (Remote host closed the connection) |
| 2022-04-20 04:17:00 +0200 | inversed | (~inversed@94.13.111.159) (Read error: Connection reset by peer) |
| 2022-04-20 04:19:50 +0200 | inversed | (~inversed@94.13.111.159) |
| 2022-04-20 04:19:50 +0200 | inversed_ | (~inversed@94.13.111.159) |
| 2022-04-20 04:21:03 +0200 | JordiGH | (~jordi@user/jordigh) (Ping timeout: 260 seconds) |
| 2022-04-20 04:21:16 +0200 | RevoGen | (~RevoGen@136.167.108.147) (Remote host closed the connection) |
| 2022-04-20 04:22:07 +0200 | stvc | (~stvc@192.241.166.39) |
| 2022-04-20 04:22:48 +0200 | inversed | (~inversed@94.13.111.159) (Ping timeout: 272 seconds) |
| 2022-04-20 04:23:52 +0200 | jerry99 | (~339ea683@cerf.good1.com) |
| 2022-04-20 04:24:18 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 276 seconds) |
| 2022-04-20 04:25:53 +0200 | [Leary] | (~Leary]@122-58-90-96-vdsl.sparkbb.co.nz) (Ping timeout: 256 seconds) |
| 2022-04-20 04:26:03 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-04-20 04:26:03 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-04-20 04:26:03 +0200 | finn_elija | FinnElija |
| 2022-04-20 04:26:23 +0200 | AlexNoo_ | (~AlexNoo@178.34.161.31) |
| 2022-04-20 04:28:43 +0200 | Alex_test | (~al_test@178.34.150.20) (Ping timeout: 256 seconds) |
| 2022-04-20 04:28:52 +0200 | AlexZenon | (~alzenon@178.34.150.20) (Ping timeout: 246 seconds) |
| 2022-04-20 04:29:03 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-20 04:29:47 +0200 | AlexNoo | (~AlexNoo@178.34.150.20) (Ping timeout: 240 seconds) |
| 2022-04-20 04:31:40 +0200 | yauhsien | (~yauhsien@61-231-27-3.dynamic-ip.hinet.net) |
| 2022-04-20 04:31:53 +0200 | inversed_ | (~inversed@94.13.111.159) (Ping timeout: 272 seconds) |
| 2022-04-20 04:31:53 +0200 | inversed | (~inversed@94.13.111.159) |
| 2022-04-20 04:31:53 +0200 | inversed_ | (~inversed@94.13.111.159) |
| 2022-04-20 04:31:53 +0200 | inversed | (~inversed@94.13.111.159) (Ping timeout: 272 seconds) |
| 2022-04-20 04:32:35 +0200 | Alex_test | (~al_test@178.34.161.31) |
| 2022-04-20 04:32:45 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Ping timeout: 276 seconds) |
| 2022-04-20 04:32:59 +0200 | AlexZenon | (~alzenon@178.34.161.31) |
| 2022-04-20 04:33:27 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-04-20 04:35:31 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-20 04:37:13 +0200 | yauhsien | (~yauhsien@61-231-27-3.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 2022-04-20 04:38:38 +0200 | inversed_ | (~inversed@94.13.111.159) (Ping timeout: 272 seconds) |
| 2022-04-20 04:39:08 +0200 | inversed | (~inversed@94.13.111.159) |
| 2022-04-20 04:40:09 +0200 | Vajb | (~Vajb@2001:999:504:1dda:267d:6860:bdf7:f68b) |
| 2022-04-20 04:41:08 +0200 | alphabeta | (~kilolympu@31.205.200.235) (Read error: Connection reset by peer) |
| 2022-04-20 04:54:23 +0200 | [Leary] | (~Leary]@122-58-90-96-vdsl.sparkbb.co.nz) |
| 2022-04-20 04:54:45 +0200 | chenqisu1 | (~chenqisu1@183.217.200.38) |
| 2022-04-20 04:55:36 +0200 | benin | (~benin@183.82.204.110) |
| 2022-04-20 04:58:23 +0200 | abastro | (~abab9579@220.75.216.63) |
| 2022-04-20 05:03:15 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-04-20 05:07:12 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-04-20 05:22:21 +0200 | stackdroid18 | (~stackdroi@user/stackdroid) (Quit: hasta la vista... tchau!) |
| 2022-04-20 05:22:38 +0200 | wroathe | (~wroathe@user/wroathe) (Quit: Lost terminal) |
| 2022-04-20 05:25:50 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-04-20 05:25:50 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-04-20 05:25:50 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-04-20 05:30:29 +0200 | abastro | (~abab9579@220.75.216.63) (Ping timeout: 256 seconds) |
| 2022-04-20 05:33:51 +0200 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
| 2022-04-20 05:56:47 +0200 | Vajb | (~Vajb@2001:999:504:1dda:267d:6860:bdf7:f68b) (Read error: Connection reset by peer) |
| 2022-04-20 05:57:08 +0200 | <jerry99> | hmm, freenode still exists, I thought it died. same channels too |
| 2022-04-20 05:57:12 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-04-20 06:02:27 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-04-20 06:04:14 +0200 | <Axman6> | it "exists" but last I saw had nearly no users at all |
| 2022-04-20 06:04:48 +0200 | <jerry99> | just idlers from what I'm seeing |
| 2022-04-20 06:06:22 +0200 | <EvanR> | freenode, a classical existence |
| 2022-04-20 06:11:14 +0200 | mtjm | (~mutantmel@2604:a880:2:d0::208b:d001) (Remote host closed the connection) |
| 2022-04-20 06:11:33 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 276 seconds) |
| 2022-04-20 06:11:52 +0200 | mtjm | (~mutantmel@2604:a880:2:d0::208b:d001) |
| 2022-04-20 06:12:03 +0200 | <sm> | a cautionary tale |
| 2022-04-20 06:12:31 +0200 | <sm> | a monument to hubris and sloppy governance |
| 2022-04-20 06:13:27 +0200 | cdman | (~dcm@27.2.218.254) |
| 2022-04-20 06:13:27 +0200 | cdman | (~dcm@27.2.218.254) (Changing host) |
| 2022-04-20 06:13:27 +0200 | cdman | (~dcm@user/dmc/x-4369397) |
| 2022-04-20 06:13:37 +0200 | sm | imagines a buried city in the desert |
| 2022-04-20 06:13:53 +0200 | <Axman6> | The doublespeak that was going on from... I've forgotten his name... at the time was astounding |
| 2022-04-20 06:14:55 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-04-20 06:15:17 +0200 | <Axman6> | the stuff he's put on irc.com now is just as bad |
| 2022-04-20 06:16:00 +0200 | sammelweis_ | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 250 seconds) |
| 2022-04-20 06:18:31 +0200 | slack1256 | (~slack1256@191.126.99.208) |
| 2022-04-20 06:29:50 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-20 06:34:07 +0200 | rekahsoft | (~rekahsoft@cpe001b21a2fd89-cm64777ddc63a0.cpe.net.cable.rogers.com) |
| 2022-04-20 06:34:47 +0200 | zyklotomic | (~ethan@res380d-128-61-84-196.res.gatech.edu) |
| 2022-04-20 06:35:16 +0200 | <zyklotomic> | apologies if my google-fu isn't good enough, is https://hackage.haskell.org/package/random-1.2.1/docs/System-Random.html#v:mkStdGen determinstic across platforms? |
| 2022-04-20 06:36:33 +0200 | <Axman6> | According to the source it's just mkStdGen = StdGen . SM.mkSMGen . fromIntegral |
| 2022-04-20 06:36:40 +0200 | abastro | (~abab9579@220.75.216.63) |
| 2022-04-20 06:37:17 +0200 | <Axman6> | which uses https://hackage.haskell.org/package/splitmix-0.1.0.4/docs/System-Random-SplitMix.html#v:mkSMGen |
| 2022-04-20 06:37:25 +0200 | <Axman6> | "Preferred way to deterministically construct SMGen." |
| 2022-04-20 06:37:37 +0200 | <zyklotomic> | ah yup, i'm on https://hackage.haskell.org/package/splitmix too |
| 2022-04-20 06:38:09 +0200 | <zyklotomic> | i see, thank you so much for confirming |
| 2022-04-20 06:40:19 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-04-20 06:41:03 +0200 | abastro | (~abab9579@220.75.216.63) (Remote host closed the connection) |
| 2022-04-20 06:41:14 +0200 | abastro | (~abab9579@220.75.216.63) |
| 2022-04-20 06:45:28 +0200 | renzhi | (~xp@2607:fa49:6500:b100::229c) (Ping timeout: 250 seconds) |
| 2022-04-20 06:51:26 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-04-20 06:55:09 +0200 | dyeplexer | (~dyeplexer@user/dyeplexer) |
| 2022-04-20 06:55:37 +0200 | yauhsien | (~yauhsien@61-231-27-3.dynamic-ip.hinet.net) |
| 2022-04-20 06:57:11 +0200 | coot | (~coot@213.134.190.95) |
| 2022-04-20 07:00:19 +0200 | yauhsien | (~yauhsien@61-231-27-3.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 2022-04-20 07:03:10 +0200 | deadmarshal_ | (~deadmarsh@95.38.114.27) |
| 2022-04-20 07:05:54 +0200 | nattiestnate | (~nate@202.138.250.17) |
| 2022-04-20 07:13:55 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-04-20 07:15:06 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-04-20 07:19:52 +0200 | DNH | (~DNH@2a02:8109:b740:2c4:39b1:39b8:aa61:2e31) |
| 2022-04-20 07:23:42 +0200 | rekahsoft | (~rekahsoft@cpe001b21a2fd89-cm64777ddc63a0.cpe.net.cable.rogers.com) (Ping timeout: 276 seconds) |
| 2022-04-20 07:24:10 +0200 | michalz | (~michalz@185.246.204.43) |
| 2022-04-20 07:25:06 +0200 | JimL | (~quassel@89-162-2-132.fiber.signal.no) |
| 2022-04-20 07:33:44 +0200 | lemonsnicks | (~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) (Ping timeout: 248 seconds) |
| 2022-04-20 07:36:30 +0200 | nattiestnate | (~nate@202.138.250.17) (Quit: WeeChat 3.5) |
| 2022-04-20 07:36:50 +0200 | nattiestnate | (~nate@202.138.250.17) |
| 2022-04-20 07:37:18 +0200 | abastro | (~abab9579@220.75.216.63) (Remote host closed the connection) |
| 2022-04-20 07:37:41 +0200 | nattiestnate | (~nate@202.138.250.17) (Client Quit) |
| 2022-04-20 07:38:40 +0200 | abastro | (~abab9579@220.75.216.63) |
| 2022-04-20 07:38:56 +0200 | lemonsnicks | (~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) |
| 2022-04-20 07:41:22 +0200 | DNH | (~DNH@2a02:8109:b740:2c4:39b1:39b8:aa61:2e31) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-04-20 07:41:48 +0200 | zaquest | (~notzaques@5.130.79.72) (Ping timeout: 250 seconds) |
| 2022-04-20 07:43:28 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-04-20 07:44:00 +0200 | chenqisu1 | (~chenqisu1@183.217.200.38) (Remote host closed the connection) |
| 2022-04-20 07:44:23 +0200 | chenqisu1 | (~chenqisu1@183.217.200.38) |
| 2022-04-20 07:44:46 +0200 | bliminse | (~bliminse@host86-185-253-73.range86-185.btcentralplus.com) (Quit: leaving) |
| 2022-04-20 07:44:57 +0200 | acidjnk | (~acidjnk@p200300d0c722df42d024b6b501c38e3e.dip0.t-ipconnect.de) |
| 2022-04-20 07:46:12 +0200 | agumonkey | (~user@88.163.231.79) |
| 2022-04-20 07:49:29 +0200 | Batzy | (~quassel@user/batzy) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-04-20 07:49:52 +0200 | Batzy | (~quassel@user/batzy) |
| 2022-04-20 07:50:53 +0200 | odnes | (~odnes@5-203-181-172.pat.nym.cosmote.net) |
| 2022-04-20 07:52:21 +0200 | bliminse | (~bliminse@host86-185-253-73.range86-185.btcentralplus.com) |
| 2022-04-20 07:54:38 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-04-20 08:01:23 +0200 | phma | (~phma@host-67-44-208-45.hnremote.net) (Read error: Connection reset by peer) |
| 2022-04-20 08:01:54 +0200 | jeffz | (~user@lambda.xen.prgmr.com) (Remote host closed the connection) |
| 2022-04-20 08:02:03 +0200 | jeffz | (~user@lambda.xen.prgmr.com) |
| 2022-04-20 08:02:21 +0200 | deadmarshal_ | (~deadmarsh@95.38.114.27) (Ping timeout: 256 seconds) |
| 2022-04-20 08:02:22 +0200 | phma | (~phma@2001:5b0:2143:fb58:37e7:bba5:12de:8897) |
| 2022-04-20 08:03:16 +0200 | benin5 | (~benin@106.198.93.9) |
| 2022-04-20 08:05:11 +0200 | benin | (~benin@183.82.204.110) (Ping timeout: 256 seconds) |
| 2022-04-20 08:05:12 +0200 | benin5 | benin |
| 2022-04-20 08:06:34 +0200 | kaph__ | (~kaph@151.57.254.189) |
| 2022-04-20 08:07:18 +0200 | kaph_ | (~kaph@151.37.253.228) (Read error: Connection reset by peer) |
| 2022-04-20 08:12:11 +0200 | vorpuni | (~pvorp@2001:861:3881:c690:12a3:8b7c:1be1:1fd7) |
| 2022-04-20 08:18:37 +0200 | benin4 | (~benin@183.82.204.110) |
| 2022-04-20 08:20:00 +0200 | chenqisu1 | (~chenqisu1@183.217.200.38) (Remote host closed the connection) |
| 2022-04-20 08:20:54 +0200 | benin | (~benin@106.198.93.9) (Ping timeout: 276 seconds) |
| 2022-04-20 08:20:54 +0200 | benin4 | benin |
| 2022-04-20 08:21:27 +0200 | chenqisu1 | (~chenqisu1@183.217.200.38) |
| 2022-04-20 08:25:41 +0200 | echoreply | (~echoreply@45.32.163.16) (Quit: WeeChat 2.8) |
| 2022-04-20 08:26:16 +0200 | slack6398 | (~slack1256@181.43.228.21) |
| 2022-04-20 08:26:32 +0200 | echoreply | (~echoreply@45.32.163.16) |
| 2022-04-20 08:28:19 +0200 | slack1256 | (~slack1256@191.126.99.208) (Ping timeout: 240 seconds) |
| 2022-04-20 08:29:26 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-04-20 08:30:55 +0200 | slack1256 | (~slack1256@191.125.99.208) |
| 2022-04-20 08:31:55 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-04-20 08:32:59 +0200 | slack6398 | (~slack1256@181.43.228.21) (Ping timeout: 240 seconds) |
| 2022-04-20 08:36:59 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-20 08:40:53 +0200 | slack1256 | (~slack1256@191.125.99.208) (Ping timeout: 256 seconds) |
| 2022-04-20 08:40:53 +0200 | agumonkey | (~user@88.163.231.79) (Ping timeout: 256 seconds) |
| 2022-04-20 08:50:21 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
| 2022-04-20 08:50:30 +0200 | gehmehgeh | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2022-04-20 08:51:10 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
| 2022-04-20 08:52:50 +0200 | kaph__ | (~kaph@151.57.254.189) (Read error: Connection reset by peer) |
| 2022-04-20 08:53:40 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:499f:4b00:1f1f:2997) |
| 2022-04-20 08:53:54 +0200 | zer0bitz | (~zer0bitz@2001:2003:f444:8f00:9093:7e91:d33a:2c42) |
| 2022-04-20 09:00:15 +0200 | anomal | (~anomal@87.227.196.109) (Remote host closed the connection) |
| 2022-04-20 09:01:07 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-04-20 09:02:47 +0200 | fendor | (~fendor@77.119.201.123.wireless.dyn.drei.com) |
| 2022-04-20 09:07:34 +0200 | chele | (~chele@user/chele) |
| 2022-04-20 09:10:58 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 246 seconds) |
| 2022-04-20 09:12:34 +0200 | img | (~img@user/img) |
| 2022-04-20 09:12:52 +0200 | zeenk | (~zeenk@2a02:2f04:a313:d600:8d26:ec9f:3ff6:fc94) |
| 2022-04-20 09:16:50 +0200 | Midjak | (~Midjak@82.66.147.146) |
| 2022-04-20 09:18:06 +0200 | MajorBiscuit | (~MajorBisc@2a02-a461-129d-1-193d-75d8-745d-e91e.fixed6.kpn.net) |
| 2022-04-20 09:20:35 +0200 | Major_Biscuit | (~MajorBisc@c-001-011-040.client.tudelft.eduvpn.nl) |
| 2022-04-20 09:23:19 +0200 | MajorBiscuit | (~MajorBisc@2a02-a461-129d-1-193d-75d8-745d-e91e.fixed6.kpn.net) (Ping timeout: 240 seconds) |
| 2022-04-20 09:34:34 +0200 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 2022-04-20 09:37:36 +0200 | shriekingnoise | (~shrieking@201.231.16.156) (Quit: Quit) |
| 2022-04-20 09:39:35 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-04-20 09:41:19 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-04-20 09:43:41 +0200 | ccntrq | (~Thunderbi@2a01:e34:eccb:b060:6f9d:1748:66ed:cef9) |
| 2022-04-20 09:45:35 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-20 09:47:51 +0200 | anomal | (~anomal@87.227.196.109) |
| 2022-04-20 09:48:52 +0200 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-04-20 09:49:18 +0200 | odnes | (~odnes@5-203-181-172.pat.nym.cosmote.net) (Ping timeout: 276 seconds) |
| 2022-04-20 09:55:52 +0200 | wagle | (~wagle@quassel.wagle.io) (Quit: http://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-04-20 09:56:20 +0200 | wagle | (~wagle@quassel.wagle.io) |
| 2022-04-20 10:02:08 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-04-20 10:03:02 +0200 | bahamas | (~lucian@84.232.140.158) |
| 2022-04-20 10:08:24 +0200 | some02 | (~cat@user/sudden) (Ping timeout: 248 seconds) |
| 2022-04-20 10:09:09 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2022-04-20 10:13:36 +0200 | AlexNoo_ | AlexNoo |
| 2022-04-20 10:15:21 +0200 | sudden | (~cat@user/sudden) |
| 2022-04-20 10:16:30 +0200 | sprout | (~quassel@2a02-a467-ccd6-1-6cc6-7e1b-4577-8227.fixed6.kpn.net) (Ping timeout: 250 seconds) |
| 2022-04-20 10:20:10 +0200 | akegalj | (~akegalj@93-138-137-60.adsl.net.t-com.hr) |
| 2022-04-20 10:21:15 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-04-20 10:22:49 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-04-20 10:23:07 +0200 | <ggVGc> | EvanR: I'm expecting to be on IRC for life :) Also, I'm expecting to write Makefiles for life... |
| 2022-04-20 10:23:13 +0200 | <ggVGc> | not all of those things are good things |
| 2022-04-20 10:23:30 +0200 | <juri_> | ggVGc: I compile haskell with a Makefile. ;) |
| 2022-04-20 10:25:20 +0200 | <ggVGc> | as in, you call ghc directly? Sounds cumbersome |
| 2022-04-20 10:25:25 +0200 | <ggVGc> | Why do you need to do that? |
| 2022-04-20 10:25:53 +0200 | <abastro> | Thought I could use `Makefile` to call cabal as well |
| 2022-04-20 10:25:59 +0200 | acidjnk | (~acidjnk@p200300d0c722df42d024b6b501c38e3e.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-04-20 10:26:03 +0200 | <abastro> | Guess that is impossible? |
| 2022-04-20 10:26:37 +0200 | gurkenglas | (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) |
| 2022-04-20 10:27:02 +0200 | <ggVGc> | I mean, you can use make to call anything, as makefiles can just be used as "task runners". But that's not really using make for what it is |
| 2022-04-20 10:27:14 +0200 | <ggVGc> | People abuse make as a task runner all the time |
| 2022-04-20 10:27:30 +0200 | <ggVGc> | if you call cabal from a makefile, then cabal is still the build system |
| 2022-04-20 10:30:20 +0200 | <abastro> | Ah I misinterpreted that part |
| 2022-04-20 10:34:44 +0200 | derelict | (~derelict@user/derelict) (Quit: bye) |
| 2022-04-20 10:35:58 +0200 | derelict | (~derelict@user/derelict) |
| 2022-04-20 10:36:22 +0200 | jgeerds | (~jgeerds@d53604b0.access.ecotel.net) |
| 2022-04-20 10:37:42 +0200 | <juri_> | ggVGc: I call cabal. |
| 2022-04-20 10:38:24 +0200 | <juri_> | which is still painful. i grumble about it, and write dumb make stuff to work around cabal's duplicate information requirements. |
| 2022-04-20 10:40:14 +0200 | <juri_> | https://github.com/Haskell-Things/HSlice/blob/master/Makefile , if one wants to stare. |
| 2022-04-20 10:41:18 +0200 | bahamas | (~lucian@84.232.140.158) (Ping timeout: 276 seconds) |
| 2022-04-20 10:41:35 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2022-04-20 10:41:42 +0200 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) |
| 2022-04-20 10:41:52 +0200 | loonycyborg_ | (loonycybor@chat.chantal.wesnoth.org) (Quit: ZNC - http://znc.sourceforge.net) |
| 2022-04-20 10:42:23 +0200 | loonycyborg | (loonycybor@wesnoth/developer/loonycyborg) |
| 2022-04-20 10:42:36 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 276 seconds) |
| 2022-04-20 10:43:28 +0200 | CiaoSen | (~Jura@p200300c95732ec002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-04-20 10:44:15 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-04-20 10:48:59 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-04-20 10:52:25 +0200 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 2022-04-20 10:53:15 +0200 | abastro | <del>being dumb & writes Haskell script for this</del> |
| 2022-04-20 10:56:16 +0200 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
| 2022-04-20 10:59:16 +0200 | odnes | (~odnes@5-203-181-172.pat.nym.cosmote.net) |
| 2022-04-20 10:59:41 +0200 | <Hecate> | .2 |
| 2022-04-20 11:00:09 +0200 | abastro | (~abab9579@220.75.216.63) (Ping timeout: 276 seconds) |
| 2022-04-20 11:02:32 +0200 | chenqisu1 | (~chenqisu1@183.217.200.38) (Quit: Leaving) |
| 2022-04-20 11:04:15 +0200 | akegalj | (~akegalj@93-138-137-60.adsl.net.t-com.hr) (Ping timeout: 256 seconds) |
| 2022-04-20 11:05:10 +0200 | jerry99 | (~339ea683@cerf.good1.com) (Quit: CGI:IRC (Session timeout)) |
| 2022-04-20 11:05:31 +0200 | bliminse_ | (~bliminse@host86-142-79-206.range86-142.btcentralplus.com) |
| 2022-04-20 11:06:39 +0200 | bliminse | (~bliminse@host86-185-253-73.range86-185.btcentralplus.com) (Ping timeout: 276 seconds) |
| 2022-04-20 11:07:06 +0200 | mmhat | (~mmh@55d4917e.access.ecotel.net) |
| 2022-04-20 11:12:48 +0200 | xkuru | (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
| 2022-04-20 11:13:41 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-20 11:14:13 +0200 | DNH | (~DNH@2a02:8109:b740:2c4:39b1:39b8:aa61:2e31) |
| 2022-04-20 11:16:44 +0200 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Remote host closed the connection) |
| 2022-04-20 11:18:25 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 2022-04-20 11:21:06 +0200 | deadmarshal_ | (~deadmarsh@95.38.114.27) |
| 2022-04-20 11:26:23 +0200 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 2022-04-20 11:30:44 +0200 | kritzefitz_ | (~kritzefit@debian/kritzefitz) |
| 2022-04-20 11:31:02 +0200 | kritzefitz | (~kritzefit@debian/kritzefitz) (Ping timeout: 250 seconds) |
| 2022-04-20 11:36:39 +0200 | kritzefitz_ | kritzefitz |
| 2022-04-20 11:37:35 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-04-20 11:38:25 +0200 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Remote host closed the connection) |
| 2022-04-20 11:39:22 +0200 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 2022-04-20 11:39:54 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-04-20 11:44:12 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-20 11:45:17 +0200 | anomal | (~anomal@87.227.196.109) (Remote host closed the connection) |
| 2022-04-20 11:47:36 +0200 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Ping timeout: 248 seconds) |
| 2022-04-20 11:48:27 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 2022-04-20 11:54:00 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 248 seconds) |
| 2022-04-20 11:54:08 +0200 | pagnol | (~user@014198154145.ctinets.com) |
| 2022-04-20 11:54:54 +0200 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 2022-04-20 11:57:10 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-04-20 12:00:56 +0200 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Ping timeout: 248 seconds) |
| 2022-04-20 12:03:10 +0200 | deadmarshal_ | (~deadmarsh@95.38.114.27) (Ping timeout: 246 seconds) |
| 2022-04-20 12:04:39 +0200 | deadmarshal_ | (~deadmarsh@95.38.114.27) |
| 2022-04-20 12:05:51 +0200 | ccntrq | (~Thunderbi@2a01:e34:eccb:b060:6f9d:1748:66ed:cef9) (Quit: ccntrq) |
| 2022-04-20 12:07:45 +0200 | xff0x_ | (~xff0x@125x102x200x106.ap125.ftth.ucom.ne.jp) (Ping timeout: 276 seconds) |
| 2022-04-20 12:07:54 +0200 | ccntrq | (~Thunderbi@2a01:e34:eccb:b060:d359:2bff:e0f3:770d) |
| 2022-04-20 12:08:40 +0200 | sprout | (~quassel@2a02-a45f-f170-1-48ac-15ef-e810-76d0.fixed6.kpn.net) |
| 2022-04-20 12:09:07 +0200 | CiaoSen | (~Jura@p200300c95732ec002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-04-20 12:09:14 +0200 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) (Remote host closed the connection) |
| 2022-04-20 12:09:42 +0200 | Moyst_ | (~moyst@user/moyst) |
| 2022-04-20 12:11:59 +0200 | Moyst | (~moyst@user/moyst) (Ping timeout: 240 seconds) |
| 2022-04-20 12:15:39 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-20 12:16:51 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-04-20 12:19:58 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
| 2022-04-20 12:23:08 +0200 | ubert | (~Thunderbi@2a02:8109:9880:303c:6170:ffa2:78dc:c710) |
| 2022-04-20 12:26:53 +0200 | cosimone | (~user@93-47-228-79.ip115.fastwebnet.it) |
| 2022-04-20 12:28:08 +0200 | cosimone | (~user@93-47-228-79.ip115.fastwebnet.it) (Remote host closed the connection) |
| 2022-04-20 12:29:21 +0200 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 2022-04-20 12:31:28 +0200 | chomwitt | (~chomwitt@2a02:587:dc1b:da00:41cd:5357:91a5:6) |
| 2022-04-20 12:31:54 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-20 12:34:59 +0200 | flukiluke | (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) (Remote host closed the connection) |
| 2022-04-20 12:35:58 +0200 | flukiluke | (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) |
| 2022-04-20 12:36:19 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds) |
| 2022-04-20 12:36:50 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2022-04-20 12:36:58 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-04-20 12:38:00 +0200 | michalz | (~michalz@185.246.204.43) (Read error: Connection reset by peer) |
| 2022-04-20 12:39:02 +0200 | ubert | (~Thunderbi@2a02:8109:9880:303c:6170:ffa2:78dc:c710) (Quit: ubert) |
| 2022-04-20 12:39:14 +0200 | ubert1 | (~Thunderbi@2a02:8109:9880:303c:5c10:e3be:704c:35ca) |
| 2022-04-20 12:39:55 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 260 seconds) |
| 2022-04-20 12:41:19 +0200 | dsrt^ | (~dsrt@50-192-56-193-static.hfc.comcastbusiness.net) (Remote host closed the connection) |
| 2022-04-20 12:41:32 +0200 | ubert1 | ubert |
| 2022-04-20 12:41:34 +0200 | michalz | (~michalz@185.246.204.37) |
| 2022-04-20 12:43:22 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-04-20 12:43:23 +0200 | wybpip[m] | (~wybpipmat@2001:470:69fc:105::1:f452) |
| 2022-04-20 12:43:28 +0200 | wybpip[m] | (~wybpipmat@2001:470:69fc:105::1:f452) () |
| 2022-04-20 12:45:12 +0200 | sprout | (~quassel@2a02-a45f-f170-1-48ac-15ef-e810-76d0.fixed6.kpn.net) (Ping timeout: 248 seconds) |
| 2022-04-20 12:45:47 +0200 | sprout | (~quassel@2a02-a45f-f170-1-48ac-15ef-e810-76d0.fixed6.kpn.net) |
| 2022-04-20 12:45:48 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-20 12:49:31 +0200 | <abastro[m]> | What could I use to read a file alike stock `Read` instance reads? |
| 2022-04-20 12:50:14 +0200 | <abastro[m]> | The stock Read class is quite cumbersome (No error messages, constrained to String), but its format is beautiful |
| 2022-04-20 12:50:42 +0200 | <abastro[m]> | So I'd like to know how. |
| 2022-04-20 12:51:10 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-20 12:52:29 +0200 | deadmarshal_ | (~deadmarsh@95.38.114.27) (Ping timeout: 256 seconds) |
| 2022-04-20 12:55:07 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 240 seconds) |
| 2022-04-20 12:58:47 +0200 | sprout | (~quassel@2a02-a45f-f170-1-48ac-15ef-e810-76d0.fixed6.kpn.net) (Ping timeout: 240 seconds) |
| 2022-04-20 13:01:55 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-04-20 13:01:58 +0200 | jerry99 | (~339ea683@cerf.good1.com) |
| 2022-04-20 13:02:45 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-04-20 13:04:04 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-04-20 13:09:32 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-04-20 13:10:00 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-04-20 13:10:22 +0200 | sprout | (~quassel@2a02-a45f-f170-1-48ac-15ef-e810-76d0.fixed6.kpn.net) |
| 2022-04-20 13:15:29 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-20 13:17:14 +0200 | bahamas | (~lucian@84.232.140.158) |
| 2022-04-20 13:17:27 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-20 13:20:05 +0200 | zebrag | (~chris@user/zebrag) |
| 2022-04-20 13:20:33 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 276 seconds) |
| 2022-04-20 13:20:39 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 240 seconds) |
| 2022-04-20 13:22:00 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 248 seconds) |
| 2022-04-20 13:23:20 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-04-20 13:28:29 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Remote host closed the connection) |
| 2022-04-20 13:28:44 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-04-20 13:29:29 +0200 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) |
| 2022-04-20 13:31:12 +0200 | acidjnk | (~acidjnk@p200300d0c722df425cfbfca65ef55eb7.dip0.t-ipconnect.de) |
| 2022-04-20 13:33:28 +0200 | zeenk | (~zeenk@2a02:2f04:a313:d600:8d26:ec9f:3ff6:fc94) (Quit: Konversation terminated!) |
| 2022-04-20 13:33:59 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-04-20 13:35:21 +0200 | jgeerds | (~jgeerds@d53604b0.access.ecotel.net) (Ping timeout: 248 seconds) |
| 2022-04-20 13:39:11 +0200 | wz1000 | (~zubin@static.11.113.47.78.clients.your-server.de) (Remote host closed the connection) |
| 2022-04-20 13:39:59 +0200 | zyklotomic | (~ethan@res380d-128-61-84-196.res.gatech.edu) (Ping timeout: 240 seconds) |
| 2022-04-20 13:42:10 +0200 | zyklotomic | (~ethan@r4-128-61-92-91.res.gatech.edu) |
| 2022-04-20 13:43:17 +0200 | dminuoso | (~dminuoso@static.88-198-218-68.clients.your-server.de) (Changing host) |
| 2022-04-20 13:43:17 +0200 | dminuoso | (~dminuoso@user/dminuoso) |
| 2022-04-20 13:43:22 +0200 | ridcully | (~ridcully@pd951f433.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2022-04-20 13:43:34 +0200 | ridcully | (~ridcully@pd951f433.dip0.t-ipconnect.de) |
| 2022-04-20 13:44:56 +0200 | sprout | (~quassel@2a02-a45f-f170-1-48ac-15ef-e810-76d0.fixed6.kpn.net) (Ping timeout: 250 seconds) |
| 2022-04-20 13:45:12 +0200 | bah_ | bah |
| 2022-04-20 13:45:56 +0200 | sprout | (~quassel@2a02-a45f-f170-1-48ac-15ef-e810-76d0.fixed6.kpn.net) |
| 2022-04-20 13:46:05 +0200 | razetime | (~quassel@117.254.34.234) |
| 2022-04-20 13:46:38 +0200 | <razetime> | is haskell matchmaker being hosted online somewhere? |
| 2022-04-20 13:46:53 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-20 13:49:15 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-04-20 13:51:31 +0200 | CiaoSen | (~Jura@p200300c95732ec002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-04-20 13:51:45 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 276 seconds) |
| 2022-04-20 13:51:59 +0200 | bahamas | (~lucian@84.232.140.158) (Ping timeout: 240 seconds) |
| 2022-04-20 13:52:03 +0200 | dhouthoo | (~dhouthoo@178-117-36-167.access.telenet.be) |
| 2022-04-20 13:54:19 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-04-20 13:54:44 +0200 | mjs2600_ | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-04-20 13:56:09 +0200 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) |
| 2022-04-20 14:01:57 +0200 | abastro | (~abab9579@220.75.216.63) |
| 2022-04-20 14:03:59 +0200 | acidjnk | (~acidjnk@p200300d0c722df425cfbfca65ef55eb7.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-04-20 14:07:08 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-04-20 14:10:48 +0200 | zeenk | (~zeenk@2a02:2f04:a313:d600:8d26:ec9f:3ff6:fc94) |
| 2022-04-20 14:12:55 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-04-20 14:14:13 +0200 | zaquest | (~notzaques@5.130.79.72) |
| 2022-04-20 14:16:15 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-04-20 14:17:04 +0200 | JordiGH | (~jordi@user/jordigh) |
| 2022-04-20 14:19:26 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-20 14:20:36 +0200 | sprout | (~quassel@2a02-a45f-f170-1-48ac-15ef-e810-76d0.fixed6.kpn.net) (Ping timeout: 240 seconds) |
| 2022-04-20 14:21:30 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-20 14:21:42 +0200 | xff0x_ | (~xff0x@om126194210237.10.openmobile.ne.jp) |
| 2022-04-20 14:23:26 +0200 | sprout | (~quassel@2a02-a45f-f170-1-48ac-15ef-e810-76d0.fixed6.kpn.net) |
| 2022-04-20 14:24:15 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 276 seconds) |
| 2022-04-20 14:30:47 +0200 | qwedfg | (~qwedfg@user/qwedfg) (Read error: Connection reset by peer) |
| 2022-04-20 14:33:22 +0200 | qwedfg | (~qwedfg@user/qwedfg) |
| 2022-04-20 14:35:40 +0200 | sprout | (~quassel@2a02-a45f-f170-1-48ac-15ef-e810-76d0.fixed6.kpn.net) (Ping timeout: 260 seconds) |
| 2022-04-20 14:35:56 +0200 | ubert | (~Thunderbi@2a02:8109:9880:303c:5c10:e3be:704c:35ca) (Remote host closed the connection) |
| 2022-04-20 14:36:08 +0200 | ubert | (~Thunderbi@2a02:8109:9880:303c:d4fb:73bc:fd91:66d6) |
| 2022-04-20 14:38:09 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-20 14:38:23 +0200 | sprout | (~quassel@2a02-a45f-f170-1-48ac-15ef-e810-76d0.fixed6.kpn.net) |
| 2022-04-20 14:40:52 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-04-20 14:42:25 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
| 2022-04-20 14:43:35 +0200 | kaph | (~kaph@151.47.182.30) |
| 2022-04-20 14:45:35 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-04-20 14:46:29 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-20 14:47:50 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-04-20 14:50:15 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-04-20 14:50:55 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 2022-04-20 14:52:50 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-20 14:56:56 +0200 | acidjnk | (~acidjnk@p200300d0c722df425cfbfca65ef55eb7.dip0.t-ipconnect.de) |
| 2022-04-20 14:57:09 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 2022-04-20 15:00:01 +0200 | wz1000 | (~zubin@static.11.113.47.78.clients.your-server.de) |
| 2022-04-20 15:03:57 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2022-04-20 15:04:13 +0200 | ArshiaAghaei[m] | (~arshiaagh@2001:470:69fc:105::1:c382) (Ping timeout: 240 seconds) |
| 2022-04-20 15:04:27 +0200 | ArshiaAghaei[m] | (~arshiaagh@2001:470:69fc:105::1:c382) |
| 2022-04-20 15:05:41 +0200 | razetime | (~quassel@117.254.34.234) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-04-20 15:08:29 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-20 15:12:59 +0200 | acidjnk | (~acidjnk@p200300d0c722df425cfbfca65ef55eb7.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-04-20 15:14:57 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 276 seconds) |
| 2022-04-20 15:15:17 +0200 | gurkenglas | (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) (Ping timeout: 256 seconds) |
| 2022-04-20 15:22:13 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-20 15:25:13 +0200 | jespada | (~jespada@cpc121022-nmal24-2-0-cust171.19-2.cable.virginm.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-04-20 15:25:24 +0200 | kaph | (~kaph@151.47.182.30) (Read error: Connection reset by peer) |
| 2022-04-20 15:27:01 +0200 | ystael | (~ystael@user/ystael) |
| 2022-04-20 15:28:24 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 248 seconds) |
| 2022-04-20 15:30:56 +0200 | nerdypepper | np |
| 2022-04-20 15:31:40 +0200 | wyrd | (~wyrd@gateway/tor-sasl/wyrd) (Remote host closed the connection) |
| 2022-04-20 15:34:12 +0200 | romesrf | (~romes@2001:4c80:50:16:c0a8:d57b:713:5a07) |
| 2022-04-20 15:35:24 +0200 | jespada | (~jespada@cpc121022-nmal24-2-0-cust171.19-2.cable.virginm.net) |
| 2022-04-20 15:35:33 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-20 15:36:55 +0200 | wyrd | (~wyrd@gateway/tor-sasl/wyrd) |
| 2022-04-20 15:37:42 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-20 15:38:39 +0200 | romesrf | (~romes@2001:4c80:50:16:c0a8:d57b:713:5a07) (Ping timeout: 240 seconds) |
| 2022-04-20 15:40:09 +0200 | akegalj | (~akegalj@141-136-168-234.dsl.iskon.hr) |
| 2022-04-20 15:42:29 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 2022-04-20 15:43:09 +0200 | anomal | (~anomal@87.227.196.109) |
| 2022-04-20 15:43:42 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-04-20 15:43:43 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-04-20 15:43:43 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-04-20 15:44:22 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-20 15:45:20 +0200 | raym | (~raym@user/raym) (Read error: Connection reset by peer) |
| 2022-04-20 15:46:44 +0200 | raym | (~raym@user/raym) |
| 2022-04-20 15:48:52 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 260 seconds) |
| 2022-04-20 15:49:24 +0200 | vysn | (~vysn@user/vysn) (Ping timeout: 260 seconds) |
| 2022-04-20 15:50:02 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-20 15:50:27 +0200 | CiaoSen | (~Jura@p200300c95732ec002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-04-20 15:52:21 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-04-20 15:52:21 +0200 | michalz | (~michalz@185.246.204.37) (Read error: Connection reset by peer) |
| 2022-04-20 15:54:42 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 260 seconds) |
| 2022-04-20 15:54:58 +0200 | michalz | (~michalz@185.246.204.37) |
| 2022-04-20 15:56:32 +0200 | nihilazo | (~nihilazo@tilde.town) (Leaving) |
| 2022-04-20 15:57:34 +0200 | troydm | (~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-04-20 16:01:05 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-04-20 16:01:25 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-04-20 16:03:42 +0200 | bgamari | (~bgamari@64.223.157.187) (Ping timeout: 276 seconds) |
| 2022-04-20 16:04:32 +0200 | shriekingnoise | (~shrieking@201.231.16.156) |
| 2022-04-20 16:05:09 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-20 16:05:41 +0200 | bgamari | (~bgamari@2001:470:e438::1) |
| 2022-04-20 16:06:48 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 248 seconds) |
| 2022-04-20 16:07:32 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 2022-04-20 16:08:18 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-04-20 16:12:09 +0200 | mastarija | (~mastarija@2a05:4f46:e04:6000:d842:438e:34b1:6b7f) |
| 2022-04-20 16:12:22 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
| 2022-04-20 16:13:30 +0200 | anomal | (~anomal@87.227.196.109) (Remote host closed the connection) |
| 2022-04-20 16:13:47 +0200 | koz | (~koz@121.99.240.58) (Ping timeout: 240 seconds) |
| 2022-04-20 16:15:13 +0200 | koz | (~koz@121.99.240.58) |
| 2022-04-20 16:15:13 +0200 | michalz | (~michalz@185.246.204.37) (Read error: Connection reset by peer) |
| 2022-04-20 16:15:26 +0200 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) |
| 2022-04-20 16:16:39 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-04-20 16:18:13 +0200 | michalz | (~michalz@185.246.204.43) |
| 2022-04-20 16:19:24 +0200 | anomal | (~anomal@87.227.196.109) |
| 2022-04-20 16:20:34 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-20 16:20:55 +0200 | rekahsoft | (~rekahsoft@cpe001b21a2fd89-cm64777ddc63a0.cpe.net.cable.rogers.com) |
| 2022-04-20 16:22:02 +0200 | <juri_> | hey, how do i get my quickcheck tests of pure code to parallelize across multiple cores? -j, it and +RTS -N is doing nothing. |
| 2022-04-20 16:22:56 +0200 | <mastarija> | Can maybe someone take a quick look at my type derivation tree for a simple program? I'm not sure I'm passing extended context correctly. |
| 2022-04-20 16:22:59 +0200 | <mastarija> | https://pastebin.com/e4f7SvEh |
| 2022-04-20 16:23:06 +0200 | <geekosaur> | wouldn't you have to use `par`? |
| 2022-04-20 16:23:56 +0200 | <juri_> | geekosaur: i was hoping they would come up with N random value sets, then call N copies of my code. |
| 2022-04-20 16:24:21 +0200 | <geekosaur> | I think QC is not smart enough to do that |
| 2022-04-20 16:25:18 +0200 | <mastarija> | The inference rules in question : https://imagebin.ca/v/6ePRnUrxveXy |
| 2022-04-20 16:25:48 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 276 seconds) |
| 2022-04-20 16:27:15 +0200 | deadmarshal_ | (~deadmarsh@95.38.114.27) |
| 2022-04-20 16:27:27 +0200 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Ping timeout: 240 seconds) |
| 2022-04-20 16:28:44 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-20 16:29:39 +0200 | xcombelle | (~xavie@176-139-252-198.abo.bbox.fr) |
| 2022-04-20 16:29:41 +0200 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
| 2022-04-20 16:30:07 +0200 | zeenk | (~zeenk@2a02:2f04:a313:d600:8d26:ec9f:3ff6:fc94) (Quit: Konversation terminated!) |
| 2022-04-20 16:31:01 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2022-04-20 16:32:47 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 240 seconds) |
| 2022-04-20 16:34:53 +0200 | JordiGH | (~jordi@user/jordigh) (Leaving) |
| 2022-04-20 16:36:02 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Quit: _) |
| 2022-04-20 16:36:04 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-20 16:37:36 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-04-20 16:41:01 +0200 | slack1256 | (~slack1256@191.125.227.87) |
| 2022-04-20 16:45:00 +0200 | <slack1256> | Has anyone used the FFI to call function that should be run on a realtime scheduler? |
| 2022-04-20 16:45:37 +0200 | <merijn> | No, but depending on the details of what you mean, that's either easy or impossible :p |
| 2022-04-20 16:45:53 +0200 | bahamas | (~lucian@84.232.140.158) |
| 2022-04-20 16:47:39 +0200 | <slack1256> | I did a C program to read output from a digital scale chip (HX711). When reading bit-for-bit I got to respect some timings. Each reading is no longer that 100 micro sec. |
| 2022-04-20 16:48:33 +0200 | <slack1256> | I want to integrate that on a larger haskell program, I though about using the FFI. Do you see this as difficult? I can always "fork and pipe" to get the result back. |
| 2022-04-20 16:48:39 +0200 | <merijn> | slack1256: I'm pretty sure the POSIX realtime extensions are on a per-thread level, no? |
| 2022-04-20 16:49:18 +0200 | <merijn> | slack1256: You can always just fire up a new POSIX threat from Haskell and set things up there (or call a C function that sets up the pthread correctly) |
| 2022-04-20 16:49:52 +0200 | <merijn> | slack1256: To be pedantic: You can never *fork* and pipe, creating a new subprocess and pipe is reasonable, though |
| 2022-04-20 16:50:06 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-04-20 16:51:24 +0200 | <slack1256> | merijn: I think you are right, realtime scheduling seems to be process oriented. Having it at thread level would lead to priority inversion. |
| 2022-04-20 16:51:56 +0200 | <merijn> | slack1256: OS level scheduling happens at the thread level |
| 2022-04-20 16:52:30 +0200 | <merijn> | Even if GHC's runtime/threading supported realtime (it doesn't), the OS could randomly suspend your thread and you'd miss the deadline |
| 2022-04-20 16:52:37 +0200 | <c_wraith> | merijn: "You can always just fire up a new POSIX threat from Haskell" I'm not a huge fan of POSIX either, but that seems excessive. :P |
| 2022-04-20 16:52:40 +0200 | sprout | (~quassel@2a02-a45f-f170-1-48ac-15ef-e810-76d0.fixed6.kpn.net) (Ping timeout: 248 seconds) |
| 2022-04-20 16:53:07 +0200 | <merijn> | posix realtime extensions need OS support to guarantee realtime scheduling behaviour and I'm pretty sure that can be done per thread |
| 2022-04-20 16:53:57 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::46a8) |
| 2022-04-20 16:55:36 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 250 seconds) |
| 2022-04-20 16:56:11 +0200 | natto | (~natto@140.238.225.67) (Quit: a.) |
| 2022-04-20 16:56:13 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-04-20 16:58:32 +0200 | sprout | (~quassel@2a02-a45f-f170-1-48ac-15ef-e810-76d0.fixed6.kpn.net) |
| 2022-04-20 16:59:34 +0200 | natto | (~natto@140.238.225.67) |
| 2022-04-20 17:02:13 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-20 17:05:09 +0200 | gurkenglas | (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) |
| 2022-04-20 17:06:00 +0200 | pagnol | (~user@014198154145.ctinets.com) (Ping timeout: 250 seconds) |
| 2022-04-20 17:06:17 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-04-20 17:07:40 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-04-20 17:07:54 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-04-20 17:09:06 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-04-20 17:11:41 +0200 | akegalj | (~akegalj@141-136-168-234.dsl.iskon.hr) (Quit: leaving) |
| 2022-04-20 17:11:59 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Ping timeout: 240 seconds) |
| 2022-04-20 17:12:46 +0200 | Vajb | (~Vajb@2001:999:504:1dda:267d:6860:bdf7:f68b) |
| 2022-04-20 17:13:58 +0200 | michalz | (~michalz@185.246.204.43) (Read error: Connection reset by peer) |
| 2022-04-20 17:14:51 +0200 | abastro | (~abab9579@220.75.216.63) (Ping timeout: 256 seconds) |
| 2022-04-20 17:17:19 +0200 | michalz | (~michalz@185.246.204.57) |
| 2022-04-20 17:17:24 +0200 | sprout | (~quassel@2a02-a45f-f170-1-48ac-15ef-e810-76d0.fixed6.kpn.net) (Ping timeout: 240 seconds) |
| 2022-04-20 17:18:10 +0200 | sprout | (~quassel@2a02:a45f:f170:1:48ac:15ef:e810:76d0) |
| 2022-04-20 17:19:11 +0200 | cdman | (~dcm@user/dmc/x-4369397) (Quit: Leaving) |
| 2022-04-20 17:19:47 +0200 | <shapr> | I had someone ask me yesterday why there's a Data.OldList |
| 2022-04-20 17:20:09 +0200 | <shapr> | my first guess was that it's from before Foldable was a thing, where the functions were specialized to just [] |
| 2022-04-20 17:20:15 +0200 | <shapr> | does anyone have more info? |
| 2022-04-20 17:21:28 +0200 | <lortabac> | shapr: where did you find Data.OldList? I don't see it in the docs |
| 2022-04-20 17:21:52 +0200 | <lortabac> | do you mean GHC.OldList? |
| 2022-04-20 17:22:09 +0200 | <shapr> | aha, This legacy module provides access to the list-specialised operations of Data.List. |
| 2022-04-20 17:22:12 +0200 | <shapr> | yes, that one |
| 2022-04-20 17:22:16 +0200 | <shapr> | https://hackage.haskell.org/package/base-4.16.1.0/docs/GHC-OldList.html |
| 2022-04-20 17:23:41 +0200 | <lortabac> | yes, if I remember correctly it's the old Data.List |
| 2022-04-20 17:24:12 +0200 | <shapr> | thanks |
| 2022-04-20 17:24:44 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:499f:4b00:1f1f:2997) (Quit: WeeChat 2.8) |
| 2022-04-20 17:26:11 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2022-04-20 17:26:58 +0200 | <abastro[m]> | I wonder why they changed functions of Data.List to be polymorphic.. |
| 2022-04-20 17:27:42 +0200 | slac72554 | (~slack1256@186.11.101.140) |
| 2022-04-20 17:28:21 +0200 | <lyxia> | One could argue having name conflicts when you import both Data.List and Data.Foldable is not very nice. |
| 2022-04-20 17:29:50 +0200 | slack1256 | (~slack1256@191.125.227.87) (Ping timeout: 250 seconds) |
| 2022-04-20 17:30:20 +0200 | lbseale | (~ep1ctetus@user/ep1ctetus) |
| 2022-04-20 17:30:23 +0200 | slac72554 | slack1256 |
| 2022-04-20 17:30:56 +0200 | <abastro[m]> | Hmm |
| 2022-04-20 17:31:36 +0200 | <abastro[m]> | Doesn't container libraries go that route tho? |
| 2022-04-20 17:31:53 +0200 | <abastro[m]> | Prioritizing qualified imports |
| 2022-04-20 17:33:41 +0200 | romesrf | (~romes@185.5.8.134) |
| 2022-04-20 17:34:23 +0200 | slac89659 | (~slack1256@191.125.227.87) |
| 2022-04-20 17:35:03 +0200 | sammelweis_ | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-04-20 17:35:32 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Read error: Connection reset by peer) |
| 2022-04-20 17:36:22 +0200 | slack1256 | (~slack1256@186.11.101.140) (Ping timeout: 246 seconds) |
| 2022-04-20 17:36:48 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 260 seconds) |
| 2022-04-20 17:38:30 +0200 | mastarija | (~mastarija@2a05:4f46:e04:6000:d842:438e:34b1:6b7f) (Quit: Leaving) |
| 2022-04-20 17:41:06 +0200 | slac89659 | slack1256 |
| 2022-04-20 17:42:19 +0200 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) |
| 2022-04-20 17:42:34 +0200 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-04-20 17:42:55 +0200 | <lyxia> | Sure. Hindsight is also 20/20. |
| 2022-04-20 17:45:10 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-04-20 17:45:23 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-20 17:45:27 +0200 | bahamas | (~lucian@84.232.140.158) (Ping timeout: 256 seconds) |
| 2022-04-20 17:48:46 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-04-20 17:53:47 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 240 seconds) |
| 2022-04-20 17:53:59 +0200 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 240 seconds) |
| 2022-04-20 17:55:01 +0200 | mixfix41 | (~sdenynine@user/mixfix41) |
| 2022-04-20 17:57:55 +0200 | xff0x_ | (~xff0x@om126194210237.10.openmobile.ne.jp) (Ping timeout: 256 seconds) |
| 2022-04-20 17:59:18 +0200 | wz1000 | (~zubin@static.11.113.47.78.clients.your-server.de) (Quit: WeeChat 2.8) |
| 2022-04-20 17:59:29 +0200 | wz1000 | (~zubin@static.11.113.47.78.clients.your-server.de) |
| 2022-04-20 18:00:07 +0200 | TimothyBess[m] | (~dorksidem@2001:470:69fc:105::1:e14e) (Quit: You have been kicked for being idle) |
| 2022-04-20 18:01:26 +0200 | foundationer76 | (~godoy@181.46.145.183) |
| 2022-04-20 18:01:27 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2022-04-20 18:05:26 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-04-20 18:07:57 +0200 | yauhsien | (~yauhsien@61-231-27-3.dynamic-ip.hinet.net) |
| 2022-04-20 18:09:19 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-04-20 18:17:02 +0200 | son0p | (~ff@181.136.122.143) |
| 2022-04-20 18:17:02 +0200 | Vajb | (~Vajb@2001:999:504:1dda:267d:6860:bdf7:f68b) (Read error: Connection reset by peer) |
| 2022-04-20 18:17:54 +0200 | Vajb | (~Vajb@2001:999:504:1dda:267d:6860:bdf7:f68b) |
| 2022-04-20 18:19:41 +0200 | ubert | (~Thunderbi@2a02:8109:9880:303c:d4fb:73bc:fd91:66d6) (Remote host closed the connection) |
| 2022-04-20 18:19:41 +0200 | Vajb | (~Vajb@2001:999:504:1dda:267d:6860:bdf7:f68b) (Read error: Connection reset by peer) |
| 2022-04-20 18:19:48 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-04-20 18:22:17 +0200 | romesrf | (~romes@185.5.8.134) (Ping timeout: 256 seconds) |
| 2022-04-20 18:28:02 +0200 | bahamas | (~lucian@84.232.140.158) |
| 2022-04-20 18:29:18 +0200 | sprout | (~quassel@2a02:a45f:f170:1:48ac:15ef:e810:76d0) (Ping timeout: 260 seconds) |
| 2022-04-20 18:29:33 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-04-20 18:32:00 +0200 | foundationer76 | (~godoy@181.46.145.183) (Quit: Leaving) |
| 2022-04-20 18:32:24 +0200 | bahamas | (~lucian@84.232.140.158) (Ping timeout: 248 seconds) |
| 2022-04-20 18:34:34 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-20 18:35:56 +0200 | sprout | (~quassel@2a02-a45f-f170-1-48ac-15ef-e810-76d0.fixed6.kpn.net) |
| 2022-04-20 18:36:05 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-04-20 18:37:34 +0200 | motherfsck | (~motherfsc@user/motherfsck) |
| 2022-04-20 18:37:47 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.4) |
| 2022-04-20 18:42:09 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-04-20 18:43:03 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-04-20 18:43:48 +0200 | sprout | (~quassel@2a02-a45f-f170-1-48ac-15ef-e810-76d0.fixed6.kpn.net) (Ping timeout: 240 seconds) |
| 2022-04-20 18:50:53 +0200 | anomal | (~anomal@87.227.196.109) (Remote host closed the connection) |
| 2022-04-20 18:51:55 +0200 | `2jt | (~jtomas@175.red-83-36-129.dynamicip.rima-tde.net) |
| 2022-04-20 18:53:50 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-04-20 18:56:55 +0200 | ph88 | (~ph88@ip5f5af71f.dynamic.kabel-deutschland.de) |
| 2022-04-20 18:57:07 +0200 | ph88 | (~ph88@ip5f5af71f.dynamic.kabel-deutschland.de) (Client Quit) |
| 2022-04-20 19:00:14 +0200 | `2jt | (~jtomas@175.red-83-36-129.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 2022-04-20 19:01:25 +0200 | pavonia_ | (~user@user/siracusa) |
| 2022-04-20 19:01:49 +0200 | qwedfg | (~qwedfg@user/qwedfg) (Quit: ZNC - https://znc.in) |
| 2022-04-20 19:02:25 +0200 | <geekosaur> | polymorphic Data.List came along with Foldable/Traversable |
| 2022-04-20 19:02:45 +0200 | `2jt | (~jtomas@175.red-83-36-129.dynamicip.rima-tde.net) |
| 2022-04-20 19:02:46 +0200 | <geekosaur> | since many of its functions are now methods of one or the other |
| 2022-04-20 19:03:10 +0200 | infinity0 | (~infinity0@185.112.146.113) (Ping timeout: 246 seconds) |
| 2022-04-20 19:03:10 +0200 | sweater2 | (~sweater@206.81.18.26) (Ping timeout: 246 seconds) |
| 2022-04-20 19:03:23 +0200 | <geekosaur> | the original was saved as GHC.OldList to provide the method implementations for lists |
| 2022-04-20 19:03:31 +0200 | oxide | (~lambda@user/oxide) (Quit: oxide) |
| 2022-04-20 19:03:48 +0200 | bahamas | (~lucian@84.232.140.158) |
| 2022-04-20 19:03:55 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2022-04-20 19:04:09 +0200 | ubert | (~Thunderbi@p200300ecdf1588a8ad1d2aec8363db05.dip0.t-ipconnect.de) |
| 2022-04-20 19:04:12 +0200 | sweater2 | (~sweater@206.81.18.26) |
| 2022-04-20 19:04:34 +0200 | pavonia | (~user@user/siracusa) (Ping timeout: 246 seconds) |
| 2022-04-20 19:04:42 +0200 | qwedfg | (~qwedfg@user/qwedfg) |
| 2022-04-20 19:04:44 +0200 | pavonia_ | pavonia |
| 2022-04-20 19:05:59 +0200 | infinity0 | (~infinity0@185.112.146.113) |
| 2022-04-20 19:07:59 +0200 | bahamas | (~lucian@84.232.140.158) (Ping timeout: 240 seconds) |
| 2022-04-20 19:09:52 +0200 | <dmj`> | is there a way to query the RTS to see if there are exactly 0 forked threads |
| 2022-04-20 19:18:30 +0200 | bahamas | (~lucian@84.232.140.158) |
| 2022-04-20 19:19:45 +0200 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Quit: leaving) |
| 2022-04-20 19:24:40 +0200 | dcoutts_ | (~duncan@host213-122-143-81.range213-122.btcentralplus.com) (Ping timeout: 250 seconds) |
| 2022-04-20 19:26:16 +0200 | bahamas | (~lucian@84.232.140.158) (Ping timeout: 248 seconds) |
| 2022-04-20 19:27:59 +0200 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Read error: Connection reset by peer) |
| 2022-04-20 19:29:30 +0200 | anomal | (~anomal@87.227.196.109) |
| 2022-04-20 19:32:28 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2022-04-20 19:32:59 +0200 | slack1256 | (~slack1256@191.125.227.87) (Ping timeout: 240 seconds) |
| 2022-04-20 19:33:21 +0200 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 2022-04-20 19:35:46 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-04-20 19:38:04 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Client Quit) |
| 2022-04-20 19:38:22 +0200 | yauhsien | (~yauhsien@61-231-27-3.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-20 19:40:53 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-04-20 19:40:57 +0200 | JordiGH | (~jordi@user/jordigh) |
| 2022-04-20 19:41:02 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Client Quit) |
| 2022-04-20 19:43:52 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-04-20 19:43:52 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Client Quit) |
| 2022-04-20 19:43:55 +0200 | werneta | (~werneta@137.79.201.225) |
| 2022-04-20 19:46:30 +0200 | acidjnk | (~acidjnk@p200300d0c722df425cfbfca65ef55eb7.dip0.t-ipconnect.de) |
| 2022-04-20 19:47:14 +0200 | <Zemyla> | How long do I have to wait to get a pull request taken? |
| 2022-04-20 19:47:32 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-04-20 19:47:46 +0200 | <geekosaur> | depends on the repo |
| 2022-04-20 19:48:09 +0200 | <geekosaur> | and how overloaded the maintainers are, or if they're e.g. at work and can't look at it until evening, or etc. |
| 2022-04-20 19:48:55 +0200 | nehsou^ | (~nehsou@50-192-56-193-static.hfc.comcastbusiness.net) |
| 2022-04-20 19:52:45 +0200 | <janus> | Zemyla: you can file a package takeover request if they aren't responsive after a few months |
| 2022-04-20 19:52:59 +0200 | econo | (uid147250@user/econo) |
| 2022-04-20 19:57:44 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-04-20 19:57:55 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-04-20 19:58:42 +0200 | frost | (~frost@user/frost) (Ping timeout: 250 seconds) |
| 2022-04-20 19:58:47 +0200 | sprout | (~quassel@2a02-a467-ccd6-1-71e6-fc28-7b5f-489c.fixed6.kpn.net) |
| 2022-04-20 19:58:52 +0200 | vicfred | (~vicfred@user/vicfred) |
| 2022-04-20 19:59:39 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-20 20:00:03 +0200 | chexum_ | chexum |
| 2022-04-20 20:02:19 +0200 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Ping timeout: 240 seconds) |
| 2022-04-20 20:04:23 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-04-20 20:04:47 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-04-20 20:05:15 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-04-20 20:05:54 +0200 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
| 2022-04-20 20:06:09 +0200 | `2jt | (~jtomas@175.red-83-36-129.dynamicip.rima-tde.net) (Ping timeout: 276 seconds) |
| 2022-04-20 20:15:10 +0200 | jgeerds | (~jgeerds@d53604b0.access.ecotel.net) |
| 2022-04-20 20:18:41 +0200 | neceve | (~quassel@2.29.116.221) |
| 2022-04-20 20:23:00 +0200 | Topsi | (~Tobias@dyndsl-095-033-095-193.ewe-ip-backbone.de) |
| 2022-04-20 20:26:09 +0200 | agumonkey | (~user@88.163.231.79) |
| 2022-04-20 20:28:19 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-04-20 20:28:53 +0200 | agumonke` | (~user@37.168.108.13) |
| 2022-04-20 20:29:23 +0200 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Read error: Connection reset by peer) |
| 2022-04-20 20:29:39 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-04-20 20:30:39 +0200 | agumonkey | (~user@88.163.231.79) (Ping timeout: 240 seconds) |
| 2022-04-20 20:30:45 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-04-20 20:34:19 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 2022-04-20 20:36:50 +0200 | dyeplexer | (~dyeplexer@user/dyeplexer) (Remote host closed the connection) |
| 2022-04-20 20:37:07 +0200 | rekahsoft | (~rekahsoft@cpe001b21a2fd89-cm64777ddc63a0.cpe.net.cable.rogers.com) (Ping timeout: 240 seconds) |
| 2022-04-20 20:37:47 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-98.elisa-laajakaista.fi) |
| 2022-04-20 20:41:04 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-04-20 20:41:58 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-20 20:42:15 +0200 | Natch | (~natch@c-5e10225c.038-60-73746f7.bbcust.telenor.se) |
| 2022-04-20 20:47:59 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 240 seconds) |
| 2022-04-20 20:48:19 +0200 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 240 seconds) |
| 2022-04-20 20:49:56 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-20 20:55:51 +0200 | agumonke` | (~user@37.168.108.13) (Ping timeout: 256 seconds) |
| 2022-04-20 20:56:09 +0200 | neurocyte8614492 | (~neurocyte@IP-045014191203.dynamic.medianet-world.de) |
| 2022-04-20 20:56:09 +0200 | neurocyte8614492 | (~neurocyte@IP-045014191203.dynamic.medianet-world.de) (Changing host) |
| 2022-04-20 20:56:09 +0200 | neurocyte8614492 | (~neurocyte@user/neurocyte) |
| 2022-04-20 20:56:39 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 240 seconds) |
| 2022-04-20 20:58:44 +0200 | ccntrq | (~Thunderbi@2a01:e34:eccb:b060:d359:2bff:e0f3:770d) (Quit: ccntrq) |
| 2022-04-20 20:59:45 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-20 20:59:51 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-04-20 21:03:24 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-20 21:03:27 +0200 | odnes | (~odnes@5-203-181-172.pat.nym.cosmote.net) (Remote host closed the connection) |
| 2022-04-20 21:05:47 +0200 | pooryorick | (~pooryoric@87-119-174-173.tll.elisa.ee) (Ping timeout: 260 seconds) |
| 2022-04-20 21:08:39 +0200 | Major_Biscuit | (~MajorBisc@c-001-011-040.client.tudelft.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-04-20 21:10:12 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::46a8) (Ping timeout: 240 seconds) |
| 2022-04-20 21:11:21 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-04-20 21:12:53 +0200 | pooryorick | (~pooryoric@87-119-174-173.tll.elisa.ee) |
| 2022-04-20 21:13:07 +0200 | agumonke` | (~user@88.163.231.79) |
| 2022-04-20 21:13:46 +0200 | dcoutts_ | (~duncan@host213-122-143-81.range213-122.btcentralplus.com) |
| 2022-04-20 21:15:41 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2022-04-20 21:22:17 +0200 | __monty__ | (~toonn@user/toonn) |
| 2022-04-20 21:24:27 +0200 | agumonke` | (~user@88.163.231.79) (Remote host closed the connection) |
| 2022-04-20 21:29:17 +0200 | TonyStone | (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) (Remote host closed the connection) |
| 2022-04-20 21:30:00 +0200 | Natch | (~natch@c-5e10225c.038-60-73746f7.bbcust.telenor.se) (Ping timeout: 276 seconds) |
| 2022-04-20 21:31:26 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-04-20 21:32:54 +0200 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
| 2022-04-20 21:33:23 +0200 | Annie | (~Annie@88.133.8.86) |
| 2022-04-20 21:34:43 +0200 | raym | (~raym@user/raym) (Ping timeout: 246 seconds) |
| 2022-04-20 21:34:52 +0200 | raym_ | (~raym@user/raym) |
| 2022-04-20 21:35:15 +0200 | Major_Biscuit | (~MajorBisc@2a02-a461-129d-1-193d-75d8-745d-e91e.fixed6.kpn.net) |
| 2022-04-20 21:36:07 +0200 | raym_ | raym |
| 2022-04-20 21:38:51 +0200 | mixfix41 | (~sdenynine@user/mixfix41) (Quit: logging out bye) |
| 2022-04-20 21:40:56 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::46a8) |
| 2022-04-20 21:42:02 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-04-20 21:42:27 +0200 | TonyStone | (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) |
| 2022-04-20 21:45:25 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-04-20 21:45:40 +0200 | coot | (~coot@213.134.190.95) |
| 2022-04-20 21:45:41 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-20 21:46:41 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-04-20 21:46:51 +0200 | bahamas | (~lucian@84.232.140.158) |
| 2022-04-20 21:48:23 +0200 | Annie | (~Annie@88.133.8.86) (Quit: Client closed) |
| 2022-04-20 21:49:42 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-04-20 21:50:18 +0200 | Guest27 | (~Guest27@2601:281:d47f:1590:768c:7129:aa80:96d9) |
| 2022-04-20 21:54:45 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-04-20 21:54:47 +0200 | bahamas | (~lucian@84.232.140.158) (Ping timeout: 256 seconds) |
| 2022-04-20 21:55:05 +0200 | sprout | (~quassel@2a02-a467-ccd6-1-71e6-fc28-7b5f-489c.fixed6.kpn.net) (Ping timeout: 248 seconds) |
| 2022-04-20 21:55:24 +0200 | Major_Biscuit | (~MajorBisc@2a02-a461-129d-1-193d-75d8-745d-e91e.fixed6.kpn.net) (Ping timeout: 240 seconds) |
| 2022-04-20 21:56:03 +0200 | dhouthoo | (~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.5) |
| 2022-04-20 22:01:14 +0200 | Major_Biscuit | (~MajorBisc@2a02-a461-129d-1-193d-75d8-745d-e91e.fixed6.kpn.net) |
| 2022-04-20 22:04:15 +0200 | michalz | (~michalz@185.246.204.57) (Remote host closed the connection) |
| 2022-04-20 22:05:47 +0200 | sprout | (~quassel@2a02-a467-ccd6-1-71e6-fc28-7b5f-489c.fixed6.kpn.net) |
| 2022-04-20 22:06:27 +0200 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2022-04-20 22:09:28 +0200 | Major_Biscuit | (~MajorBisc@2a02-a461-129d-1-193d-75d8-745d-e91e.fixed6.kpn.net) (Ping timeout: 248 seconds) |
| 2022-04-20 22:12:07 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-04-20 22:16:02 +0200 | oxide | (~lambda@user/oxide) |
| 2022-04-20 22:19:15 +0200 | slack1256 | (~slack1256@186.11.98.12) |
| 2022-04-20 22:20:29 +0200 | fendor_ | (~fendor@178.115.48.2.wireless.dyn.drei.com) |
| 2022-04-20 22:21:15 +0200 | anomal | (~anomal@87.227.196.109) (Remote host closed the connection) |
| 2022-04-20 22:22:39 +0200 | fendor | (~fendor@77.119.201.123.wireless.dyn.drei.com) (Ping timeout: 240 seconds) |
| 2022-04-20 22:24:26 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2022-04-20 22:25:36 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-20 22:25:46 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-04-20 22:28:19 +0200 | TonyStone | (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) (Remote host closed the connection) |
| 2022-04-20 22:29:38 +0200 | <shapr> | hpc: oh, I just saw your yawneda joke, ha! |
| 2022-04-20 22:31:14 +0200 | <janus> | @yowneda |
| 2022-04-20 22:31:14 +0200 | <lambdabot> | Unknown command, try @list |
| 2022-04-20 22:32:02 +0200 | avpx_ | avpx |
| 2022-04-20 22:33:34 +0200 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2022-04-20 22:33:39 +0200 | neceve | (~quassel@2.29.116.221) (Ping timeout: 240 seconds) |
| 2022-04-20 22:38:13 +0200 | Major_Biscuit | (~MajorBisc@86-88-79-148.fixed.kpn.net) |
| 2022-04-20 22:40:36 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::46a8) (Ping timeout: 240 seconds) |
| 2022-04-20 22:42:01 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-04-20 22:44:48 +0200 | TonyStone | (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) |
| 2022-04-20 22:45:37 +0200 | Batzy | (~quassel@user/batzy) (Quit: No Ping reply in 180 seconds.) |
| 2022-04-20 22:47:04 +0200 | Batzy | (~quassel@user/batzy) |
| 2022-04-20 22:47:50 +0200 | acarrico1 | (~acarrico@dhcp-68-142-48-19.greenmountainaccess.net) |
| 2022-04-20 22:49:57 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-04-20 22:50:16 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-20 22:53:28 +0200 | Major_Biscuit | (~MajorBisc@86-88-79-148.fixed.kpn.net) (Ping timeout: 246 seconds) |
| 2022-04-20 22:54:31 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2022-04-20 22:55:37 +0200 | <avpx> | I'm trying to make a program that accepts an arbitrary number of command-line arguments (think like tar, ls, or other utilities that can take many files on the command line): |
| 2022-04-20 22:55:56 +0200 | <avpx> | ./myprogram --verbose --someotheroption file1 file2 |
| 2022-04-20 22:56:45 +0200 | <avpx> | I'm unclear how to do it in optparse-applicative. I can see how to get a (Parser String) for one argument using strArgument |
| 2022-04-20 22:56:57 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-04-20 22:57:42 +0200 | <avpx> | https://paste.tomsmeding.com/J3ApjwyT |
| 2022-04-20 22:58:16 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 260 seconds) |
| 2022-04-20 22:59:08 +0200 | <avpx> | One thought I had was to make a Parser [String] by chaining together an infinite number of Parser Strings. But I'm kind of worried that will make something infinite loop e.g. when printing --help |
| 2022-04-20 22:59:52 +0200 | <geekosaur> | did youu look at argument parsers? |
| 2022-04-20 23:00:04 +0200 | <geekosaur> | looks like they're intended for that use case |
| 2022-04-20 23:00:07 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds) |
| 2022-04-20 23:00:48 +0200 | <avpx> | You mean this one? https://hackage.haskell.org/package/optparse-applicative-0.17.0.0/docs/Options-Applicative.html#v:… |
| 2022-04-20 23:01:25 +0200 | <avpx> | Yeah I could see how to build a parser for *one* argument using that |
| 2022-04-20 23:01:43 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-04-20 23:02:51 +0200 | <geekosaur> | "To accept an arbitrary number of arguments, combine the argument builder with either the many or some combinator" fromthe README |
| 2022-04-20 23:03:02 +0200 | <avpx> | Oh thannk you! |
| 2022-04-20 23:03:10 +0200 | <geekosaur> | (remember, some is 1 or more, many is 0 or more) |
| 2022-04-20 23:04:04 +0200 | <monochrom> | Yeah I used `some (strArgument ...)` |
| 2022-04-20 23:04:13 +0200 | <avpx> | Interesting, so under the hood it basically is "chaining together an arbitrary number of/Kleene star of strArguments" |
| 2022-04-20 23:04:17 +0200 | <geekosaur> | and you probably want strArgument unless you're doing special processing duringt parsing |
| 2022-04-20 23:04:24 +0200 | <monochrom> | Actually `some (strArgument (metavar "FILES" <> help "files to be tested"))` to be exact. |
| 2022-04-20 23:04:40 +0200 | fendor_ | (~fendor@178.115.48.2.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2022-04-20 23:04:46 +0200 | vorpuni | (~pvorp@2001:861:3881:c690:12a3:8b7c:1be1:1fd7) (Remote host closed the connection) |
| 2022-04-20 23:05:14 +0200 | <monochrom> | Although, it has been a few years, not sure whether it works under the latest version. |
| 2022-04-20 23:06:10 +0200 | <avpx> | It works perfectly. Thanks folks! |
| 2022-04-20 23:08:34 +0200 | Stotteren | (~Stotteren@pool-108-20-79-41.bstnma.fios.verizon.net) |
| 2022-04-20 23:10:45 +0200 | dut | (~dut@user/dut) |
| 2022-04-20 23:10:57 +0200 | slac71531 | (~slack1256@191.125.99.203) |
| 2022-04-20 23:11:45 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-20 23:12:07 +0200 | dut | (~dut@user/dut) (Read error: Connection reset by peer) |
| 2022-04-20 23:12:29 +0200 | dut | (~dut@user/dut) |
| 2022-04-20 23:12:53 +0200 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-04-20 23:13:21 +0200 | slack1256 | (~slack1256@186.11.98.12) (Ping timeout: 276 seconds) |
| 2022-04-20 23:13:41 +0200 | <hpc> | shapr: :D |
| 2022-04-20 23:15:59 +0200 | Batzy | (~quassel@user/batzy) (Ping timeout: 240 seconds) |
| 2022-04-20 23:16:13 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 246 seconds) |
| 2022-04-20 23:18:14 +0200 | Guest27 | (~Guest27@2601:281:d47f:1590:768c:7129:aa80:96d9) (Quit: Client closed) |
| 2022-04-20 23:21:17 +0200 | xkuru | (~xkuru@user/xkuru) |
| 2022-04-20 23:23:47 +0200 | deadmarshal_ | (~deadmarsh@95.38.114.27) (Ping timeout: 240 seconds) |
| 2022-04-20 23:27:24 +0200 | Batzy | (~quassel@user/batzy) |
| 2022-04-20 23:32:49 +0200 | coot | (~coot@213.134.190.95) (Ping timeout: 256 seconds) |
| 2022-04-20 23:35:50 +0200 | <energizer> | does this function have a common name? `foo f g a b c = g (f a b) (f b c)` |
| 2022-04-20 23:35:53 +0200 | deadmarshal_ | (~deadmarsh@95.38.229.55) |
| 2022-04-20 23:37:50 +0200 | <energizer> | like `foo (<) (&&) 1 2 3` is $$ 1 < 2 < 3 $$ |
| 2022-04-20 23:39:27 +0200 | <dolio> | I don't think so. |
| 2022-04-20 23:40:40 +0200 | <energizer> | what is a concise way of doing comparison chaining? |
| 2022-04-20 23:41:17 +0200 | <Rembane> | energizer: Monoids! |
| 2022-04-20 23:41:19 +0200 | werneta | (~werneta@137.79.201.225) (Ping timeout: 256 seconds) |
| 2022-04-20 23:42:18 +0200 | <monochrom> | How does Monoid help? |
| 2022-04-20 23:43:06 +0200 | <energizer> | is there a shorter way than (a < b) && (b < c) ? |
| 2022-04-20 23:43:29 +0200 | <energizer> | perhaps using the fact that b is shared or that < is shared (or both) |
| 2022-04-20 23:43:35 +0200 | <geekosaur> | not without writing it yourself, I think |
| 2022-04-20 23:44:03 +0200 | <geekosaur> | conceivably Monoid could have been used to do it, but it got used for something more general instead |
| 2022-04-20 23:44:04 +0200 | <Rembane> | monochrom: Not at all, I mixed 'em up. :D |
| 2022-04-20 23:44:34 +0200 | <Rembane> | A fold perhaps, but for four variables it's not too useful. |
| 2022-04-20 23:45:38 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2022-04-20 23:46:07 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-04-20 23:46:57 +0200 | werneta | (~werneta@137.79.218.82) |
| 2022-04-20 23:48:41 +0200 | stackdroid18 | (14094@user/stackdroid) |
| 2022-04-20 23:48:59 +0200 | <geekosaur> | fold would only work if we had an Icon-like comparison operator setup (which would presumably be Ord a => Either () a) |
| 2022-04-20 23:49:15 +0200 | deadmarshal_ | (~deadmarsh@95.38.229.55) (Ping timeout: 256 seconds) |
| 2022-04-20 23:49:54 +0200 | <geekosaur> | mm, more generally Either Ordering a |
| 2022-04-20 23:50:38 +0200 | <energizer> | what about by applying id and flip to (<) |
| 2022-04-20 23:51:34 +0200 | <monochrom> | You mean id < flip ? |
| 2022-04-20 23:52:07 +0200 | <monochrom> | Ugh the vagueness of this discussion is too high for me. |
| 2022-04-20 23:52:32 +0200 | Guest18 | (~Guest18@dynamic-186-154-26-31.dynamic.etb.net.co) |
| 2022-04-20 23:52:47 +0200 | <Rembane> | This is not very elegant but could work: f x = all (uncurry (<)) $ zip xs $ tail xs |
| 2022-04-20 23:53:29 +0200 | Guest18 | (~Guest18@dynamic-186-154-26-31.dynamic.etb.net.co) (Client Quit) |
| 2022-04-20 23:55:40 +0200 | <geekosaur> | I think at this point I just write a bespoke inRange function |
| 2022-04-20 23:55:56 +0200 | <geekosaur> | rather than try to get tricky with operators |
| 2022-04-20 23:56:15 +0200 | <geekosaur> | come to think of it, there should already be one in Data.Ix |
| 2022-04-20 23:56:21 +0200 | <hpc> | :t on |
| 2022-04-20 23:56:21 +0200 | <geekosaur> | @hoogle inRange |
| 2022-04-20 23:56:22 +0200 | <lambdabot> | Data.Ix inRange :: Ix a => (a, a) -> a -> Bool |
| 2022-04-20 23:56:22 +0200 | <lambdabot> | GHC.Arr inRange :: Ix a => (a, a) -> a -> Bool |
| 2022-04-20 23:56:22 +0200 | <lambdabot> | GHC.Ix inRange :: Ix a => (a, a) -> a -> Bool |
| 2022-04-20 23:56:22 +0200 | <lambdabot> | (b -> b -> c) -> (a -> b) -> a -> a -> c |
| 2022-04-20 23:56:38 +0200 | <hpc> | :t over |
| 2022-04-20 23:56:40 +0200 | <lambdabot> | ASetter s t a b -> (a -> b) -> s -> t |
| 2022-04-20 23:56:47 +0200 | <hpc> | hmm, on is almost it |
| 2022-04-20 23:58:29 +0200 | Topsi | (~Tobias@dyndsl-095-033-095-193.ewe-ip-backbone.de) (Read error: Connection reset by peer) |