Logs: liberachat/#haskell
| 2021-05-26 18:25:39 | × | epolanski quits (uid312403@id-312403.brockwell.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-05-26 18:25:50 | → | y04nn joins (~y04nn@185.204.1.208) |
| 2021-05-26 18:25:50 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-05-26 18:26:04 | emilypi | is now known as tapas |
| 2021-05-26 18:26:12 | → | o1lo01ol1o joins (~o1lo01ol1@cpe-74-72-45-166.nyc.res.rr.com) |
| 2021-05-26 18:29:28 | → | thonkpod joins (~thonkpod@user/thonkpod) |
| 2021-05-26 18:29:35 | → | tristanC joins (~tristanC@163.172.94.116) |
| 2021-05-26 18:29:35 | × | tristanC quits (~tristanC@163.172.94.116) (Changing host) |
| 2021-05-26 18:29:35 | → | tristanC joins (~tristanC@user/tristanc) |
| 2021-05-26 18:31:33 | × | o1lo01ol1o quits (~o1lo01ol1@cpe-74-72-45-166.nyc.res.rr.com) (Remote host closed the connection) |
| 2021-05-26 18:32:00 | × | coot quits (~coot@37.30.49.19.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2021-05-26 18:32:53 | <edwardk> | bontaq: its a mix of au de haskell hackathon and new channel smell. we'll get the mix right eventually. the former should... resolve itself once working from home guidelines go back to closer to normal |
| 2021-05-26 18:33:09 | <edwardk> | er eau de |
| 2021-05-26 18:33:20 | × | taeaad quits (~taeaad@user/taeaad) (Quit: ZNC 1.7.5+deb4 - https://znc.in) |
| 2021-05-26 18:33:50 | → | o1lo01ol1o joins (~o1lo01ol1@cpe-74-72-45-166.nyc.res.rr.com) |
| 2021-05-26 18:34:35 | → | ircbrowse_tom joins (~ircbrowse@64.225.78.177) |
| 2021-05-26 18:34:35 | Server | sets mode +Cnt |
| 2021-05-26 18:34:38 | <agumonke`> | some people like to think free floating and grow organic solutions |
| 2021-05-26 18:34:41 | <edwardk> | working on some stuff, dealing with this nonsense, then packing tomorrow and driving 9 hours the next day. |
| 2021-05-26 18:34:48 | <agumonke`> | some people prefer strict thinking framework |
| 2021-05-26 18:34:50 | → | jpds joins (~jpds@tor-relay.zwiebeltoralf.de) |
| 2021-05-26 18:35:05 | → | Erutuon joins (~Erutuon@97-116-14-180.mpls.qwest.net) |
| 2021-05-26 18:35:12 | <edwardk> | so i guess the drive is downtime, but still stress. |
| 2021-05-26 18:35:26 | <maerwald> | agumonke`: yeah, but I think most of the programming community doesn't see it that way but is trying to figure out the "one right way", not understanding the psychological factors |
| 2021-05-26 18:35:33 | <maerwald> | and focussing on technical aspects only |
| 2021-05-26 18:35:36 | <agumonke`> | probably |
| 2021-05-26 18:35:38 | <sm> | edwardk: best of luck. Just forget old #haskell if you need to, people will figure this out |
| 2021-05-26 18:35:45 | <Vq> | edwardk: Take it easy |
| 2021-05-26 18:35:45 | <[exa]> | so where do we purchase l'eau de haskell? |
| 2021-05-26 18:35:52 | → | taeaad joins (~taeaad@user/taeaad) |
| 2021-05-26 18:35:53 | × | o1lo01ol1o quits (~o1lo01ol1@cpe-74-72-45-166.nyc.res.rr.com) (Remote host closed the connection) |
| 2021-05-26 18:36:08 | <edwardk> | sm: its up, its sort of there for the matrix and tor users still trapped there. |
| 2021-05-26 18:36:38 | <Vq> | edwardk: It looks pretty dead to me. |
| 2021-05-26 18:36:47 | <sm> | I'm not sure having it up is better to be honest |
| 2021-05-26 18:36:54 | <edwardk> | i'm ever so mildly amused that the topic for ##haskell on freenode is now '#haskell discussion', and that the obvious recursive channels are present. |
| 2021-05-26 18:36:56 | <sm> | but you don't want to hear that.. quiet sm |
| 2021-05-26 18:37:03 | <edwardk> | but that's basically mild stress relief. |
| 2021-05-26 18:37:57 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-26 18:38:15 | <Vq> | Really? Who set that topic? |
| 2021-05-26 18:38:27 | <monochrom> | edwardk did :) |
| 2021-05-26 18:38:33 | × | taeaad quits (~taeaad@user/taeaad) (Client Quit) |
| 2021-05-26 18:38:36 | <monochrom> | with ideas from people |
| 2021-05-26 18:39:02 | <edwardk> | it also links to https://haskell.org/irc |
| 2021-05-26 18:39:16 | <Vq> | ##haskell is about discussing the killed channel or the channel here? |
| 2021-05-26 18:39:17 | <edwardk> | because any direct link to where channels are might provoke the eye of sauron |
| 2021-05-26 18:39:20 | <monochrom> | OK, I am not sure edwardk did. I just have correlations suggesting entanglement. |
| 2021-05-26 18:39:27 | <edwardk> | i did |
| 2021-05-26 18:39:29 | → | o1lo01ol1o joins (~o1lo01ol1@cpe-74-72-45-166.nyc.res.rr.com) |
| 2021-05-26 18:39:31 | × | Lycurgus quits (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-05-26 18:39:46 | <sm> | Vq: there's a fair bit of meta discussion right now, it'll pass |
| 2021-05-26 18:39:56 | <sm> | usually we discuss Haskell here :) |
| 2021-05-26 18:39:59 | <monochrom> | The other thing edwardk did was creating DNS entry irc.cofreenode.net to alias to freenode. |
| 2021-05-26 18:40:01 | <hpc> | edwardk: are we allowed to set the topic to "this is no longer the official channel and we can't tell you why"? |
| 2021-05-26 18:40:08 | <edwardk> | there's ####haskell for '###haskell discussion' as well. but #####haskell is a redirect that internally has a haskell topic indicating no more than 3 levels of recursion is ever really required' |
| 2021-05-26 18:40:08 | <Vq> | sm: ok, I'm still in #haskell and it's nice and quiet. |
| 2021-05-26 18:40:24 | <monochrom> | The rest of us are supposed to take inspiration and register forgetfulnode etc. |
| 2021-05-26 18:40:28 | × | ubert quits (~Thunderbi@p200300ecdf259de574882ed522245916.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2021-05-26 18:40:33 | <edwardk> | hpc: no. that'll get us booted out leaving nobody there to fight spammers, til someone comes along without 'an agenda' or something. |
| 2021-05-26 18:40:42 | <maerwald> | no more than 3 levels of recursion :D |
| 2021-05-26 18:40:46 | → | ubert joins (~Thunderbi@p200300ecdf259de574882ed522245916.dip0.t-ipconnect.de) |
| 2021-05-26 18:40:50 | <maerwald> | should be enough for everyone |
| 2021-05-26 18:41:10 | <hpc> | :( |
| 2021-05-26 18:41:19 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-05-26 18:41:21 | × | fizbin_ quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Read error: Connection reset by peer) |
| 2021-05-26 18:41:22 | <monochrom> | Well the cycle could be seen as a joke on Haskell cyclic lazy list. |
| 2021-05-26 18:41:27 | <edwardk> | Vq: if you disconnect you'll get redirected to ##haskell |
| 2021-05-26 18:41:28 | <Vq> | edwardk: Won't that happen regardless when you keel over from trying to manage this? |
| 2021-05-26 18:41:33 | → | taeaad joins (~taeaad@user/taeaad) |
| 2021-05-26 18:41:38 | <edwardk> | Vq: well, yes. |
| 2021-05-26 18:41:56 | <monochrom> | https://ro-che.info/ccc/9 |
| 2021-05-26 18:42:09 | <edwardk> | thats why i've been taking out the stress by making stupid TANSTAAFN jokes and point irc.cofreenode.net as irc.freenode.net |
| 2021-05-26 18:42:12 | <edwardk> | er pointing |
| 2021-05-26 18:42:19 | <monochrom> | "you need to wake from pure dream to IO reality to observe the cycle" |
| 2021-05-26 18:43:37 | <edwardk> | i'm not yet ready to rename Cofree to Lee, but it may wind up as shorthand in some of my code. |
| 2021-05-26 18:44:01 | → | nuncanada joins (~dude@179.235.160.168) |
| 2021-05-26 18:44:18 | × | taeaad quits (~taeaad@user/taeaad) (Client Quit) |
| 2021-05-26 18:44:44 | → | fizbin_ joins (~fizbin@2601:82:c380:87a:1402:5197:16b7:3f5b) |
| 2021-05-26 18:44:52 | <agumonke`> | i keep learning about monads, cps, streambased logical programming |
| 2021-05-26 18:45:00 | → | reumeth joins (~joakim@2001:4652:9745:0:72c9:4eff:fea7:32ab) |
| 2021-05-26 18:45:13 | × | michalz quits (~user@185.246.204.45) (Remote host closed the connection) |
| 2021-05-26 18:45:14 | <agumonke`> | but I can't store trees in on disk for a small app |
| 2021-05-26 18:45:24 | zzz | is now known as you |
| 2021-05-26 18:45:25 | <statusbot> | Status Bot enabled for #haskell |
| 2021-05-26 18:45:32 | <agumonke`> | i blame haskell for all my mysery in life |
| 2021-05-26 18:46:12 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-26 18:46:27 | you | is now known as zzz |
| 2021-05-26 18:47:47 | → | taeaad joins (~taeaad@user/taeaad) |
| 2021-05-26 18:48:09 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 272 seconds) |
| 2021-05-26 18:48:12 | → | sbmsr joins (~pi@2600:1700:63d0:4830::25) |
| 2021-05-26 18:48:23 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-05-26 18:48:23 | × | taeaad quits (~taeaad@user/taeaad) (Remote host closed the connection) |
| 2021-05-26 18:49:18 | <[exa]> | agumonke`: who told you that you can't store trees on disk? |
| 2021-05-26 18:49:38 | → | mig joins (~mig@2405:6580:b1c0:2500:3c98:f151:a0d9:62c7) |
| 2021-05-26 18:50:03 | <[exa]> | (disks are full of trees) |
| 2021-05-26 18:50:17 | <monochrom> | That can go philosophical very quickly regarding whether you're storing a tree or an encoding of such. |
| 2021-05-26 18:50:43 | <monochrom> | And feel free to contemplate "what is a disk?" too >:) |
| 2021-05-26 18:50:46 | → | taeaad joins (~taeaad@user/taeaad) |
| 2021-05-26 18:51:14 | × | Scotty_Trees quits (~Scotty_Tr@162-234-179-169.lightspeed.brhmal.sbcglobal.net) (Quit: Leaving) |
| 2021-05-26 18:51:21 | × | taeaad quits (~taeaad@user/taeaad) (Remote host closed the connection) |
| 2021-05-26 18:51:32 | → | Scotty_Trees joins (~Scotty_Tr@162-234-179-169.lightspeed.brhmal.sbcglobal.net) |
All times are in UTC.