Logs: liberachat/#haskell
| 2021-07-22 02:45:04 | <arkanoid> | need some sleep now. It has been a pleasure to learn so many things in a short time. I swear I've skimmed Data.List, Data.String and Data.Char days ago, but once you get into the editor it's another story |
| 2021-07-22 02:45:14 | <sm> | no Joachim Breitner. https://haskell-via-sokoban.nomeata.de |
| 2021-07-22 02:47:46 | × | paddymahoney quits (~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 2021-07-22 02:48:24 | → | msr joins (~msr@user/msr) |
| 2021-07-22 02:50:26 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 255 seconds) |
| 2021-07-22 02:50:50 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-22 02:52:04 | → | paddymahoney joins (~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) |
| 2021-07-22 03:00:02 | × | haasn quits (~nand@haasn.dev) (Quit: ZNC 1.7.5+deb4 - https://znc.in) |
| 2021-07-22 03:00:09 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 255 seconds) |
| 2021-07-22 03:00:33 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-22 03:01:07 | × | machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 268 seconds) |
| 2021-07-22 03:01:25 | → | haasn joins (~nand@haasn.dev) |
| 2021-07-22 03:03:40 | <dsal> | arkanoid: AoC is usually super fun. Last year seemed strangely easy, but you get to make the problems harder if you want. e.g., I often made parser problems where there weren't any. |
| 2021-07-22 03:03:44 | <dsal> | :t concatMap |
| 2021-07-22 03:03:45 | <lambdabot> | Foldable t => (a -> [b]) -> t a -> [b] |
| 2021-07-22 03:03:49 | <dsal> | :t foldMap |
| 2021-07-22 03:03:50 | <lambdabot> | (Foldable t, Monoid m) => (a -> m) -> t a -> m |
| 2021-07-22 03:04:47 | <dsal> | `wordAcronym [a] = [a | isUpper a]` is an interesting way to write that. |
| 2021-07-22 03:06:28 | <dsal> | @src takeWhile |
| 2021-07-22 03:06:29 | <lambdabot> | takeWhile _ [] = [] |
| 2021-07-22 03:06:29 | <lambdabot> | takeWhile p (x:xs) | p x = x : takeWhile p xs |
| 2021-07-22 03:06:29 | <lambdabot> | | otherwise = [] |
| 2021-07-22 03:10:17 | → | Codaraxis__ joins (~Codaraxis@141.98.255.143) |
| 2021-07-22 03:11:14 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2021-07-22 03:13:10 | → | ishutin_ joins (~ishutin@193-110-63-61.cable-modem.hdsnet.hu) |
| 2021-07-22 03:13:53 | → | soft-warm joins (~soft-warm@2600:8801:db01:8f0:2b46:c2bc:f21e:3c72) |
| 2021-07-22 03:14:06 | × | Codaraxis_ quits (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) (Ping timeout: 255 seconds) |
| 2021-07-22 03:14:42 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 245 seconds) |
| 2021-07-22 03:16:34 | × | derelict quits (~derelict@user/derelict) (Ping timeout: 240 seconds) |
| 2021-07-22 03:16:37 | × | hgolden quits (~hgolden2@cpe-172-114-84-61.socal.res.rr.com) (Quit: Konversation terminated!) |
| 2021-07-22 03:16:48 | × | ishutin quits (~ishutin@85-238-93-30.pool.digikabel.hu) (Ping timeout: 265 seconds) |
| 2021-07-22 03:16:51 | × | fradet quits (~fradet@216.252.75.247) (Quit: leaving) |
| 2021-07-22 03:17:34 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-22 03:18:09 | × | msr quits (~msr@user/msr) (Ping timeout: 255 seconds) |
| 2021-07-22 03:18:23 | → | fradet joins (~fradet@216.252.75.247) |
| 2021-07-22 03:19:51 | → | hgolden joins (~hgolden2@cpe-172-114-84-61.socal.res.rr.com) |
| 2021-07-22 03:22:17 | → | cjb joins (~cjb@user/cjb) |
| 2021-07-22 03:24:00 | → | talismanick joins (~user@2601:644:8502:d700::f19d) |
| 2021-07-22 03:30:45 | × | Matthias1 quits (~Matthias1@cpe-76-170-236-166.socal.res.rr.com) (Remote host closed the connection) |
| 2021-07-22 03:32:31 | × | zaquest quits (~notzaques@5.128.210.178) (Quit: Leaving) |
| 2021-07-22 03:32:48 | → | Matthias1 joins (~Matthias1@cpe-76-170-236-166.socal.res.rr.com) |
| 2021-07-22 03:32:53 | → | derelict joins (~derelict@user/derelict) |
| 2021-07-22 03:33:42 | → | zaquest joins (~notzaques@5.128.210.178) |
| 2021-07-22 03:34:41 | × | nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds) |
| 2021-07-22 03:35:09 | → | stevenxl joins (uid133530@id-133530.highgate.irccloud.com) |
| 2021-07-22 03:47:57 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-07-22 03:49:07 | → | falafel_ joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-07-22 03:52:48 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 255 seconds) |
| 2021-07-22 03:55:12 | × | Matthias1 quits (~Matthias1@cpe-76-170-236-166.socal.res.rr.com) () |
| 2021-07-22 03:58:08 | × | zebrag quits (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2021-07-22 04:14:45 | tnks_ | is now known as tnks |
| 2021-07-22 04:16:54 | × | derelict quits (~derelict@user/derelict) (Quit: WeeChat 3.2) |
| 2021-07-22 04:21:58 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-07-22 04:23:00 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-22 04:24:47 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-07-22 04:31:03 | × | hiruji quits (~hiruji@user/hiruji) (Ping timeout: 255 seconds) |
| 2021-07-22 04:32:51 | → | michalz joins (~michalz@185.246.204.62) |
| 2021-07-22 04:43:36 | ← | qrpnxz parts (~qrpnxz@user/qrpnxz) (Disconnected: closed) |
| 2021-07-22 04:44:14 | → | qrpnxz joins (~qrpnxz@user/qrpnxz) |
| 2021-07-22 04:44:18 | ← | qrpnxz parts (~qrpnxz@user/qrpnxz) () |
| 2021-07-22 04:44:54 | → | qrpnxz joins (~qrpnxz@user/qrpnxz) |
| 2021-07-22 04:51:49 | × | eL_Bart0 quits (eL_Bart0@dietunichtguten.org) (Read error: Connection reset by peer) |
| 2021-07-22 04:52:49 | → | eL_Bart0 joins (eL_Bart0@dietunichtguten.org) |
| 2021-07-22 04:57:09 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 255 seconds) |
| 2021-07-22 05:03:30 | × | cjb quits (~cjb@user/cjb) (Ping timeout: 246 seconds) |
| 2021-07-22 05:05:30 | × | catern quits (~sbaugh@2604:2000:8fc0:b:a9c7:866a:bf36:3407) (Ping timeout: 240 seconds) |
| 2021-07-22 05:08:32 | → | cjb joins (~cjb@user/cjb) |
| 2021-07-22 05:08:46 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 268 seconds) |
| 2021-07-22 05:10:15 | × | monochrom quits (trebla@216.138.220.146) (Quit: NO CARRIER) |
| 2021-07-22 05:12:00 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 255 seconds) |
| 2021-07-22 05:15:15 | → | isekaijin joins (~pyon@user/pyon) |
| 2021-07-22 05:15:46 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-22 05:16:35 | × | isekaijin quits (~pyon@user/pyon) (Client Quit) |
| 2021-07-22 05:17:22 | × | sheepduck quits (~sheepduck@user/sheepduck) (Remote host closed the connection) |
| 2021-07-22 05:18:01 | → | isekaijin joins (~pyon@user/pyon) |
| 2021-07-22 05:25:22 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-07-22 05:29:32 | → | monochrom joins (trebla@216.138.220.146) |
| 2021-07-22 05:30:27 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 255 seconds) |
| 2021-07-22 05:31:51 | → | jneira joins (~jneira@212.8.115.226) |
| 2021-07-22 05:32:43 | × | isekaijin quits (~pyon@user/pyon) (Quit: WeeChat 3.2) |
| 2021-07-22 05:34:07 | → | unyu joins (~pyon@user/pyon) |
| 2021-07-22 05:42:09 | → | drd joins (~drd@93-39-151-19.ip76.fastwebnet.it) |
| 2021-07-22 05:44:34 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 2021-07-22 05:46:50 | × | drd quits (~drd@93-39-151-19.ip76.fastwebnet.it) (Ping timeout: 255 seconds) |
| 2021-07-22 05:49:09 | → | Obo joins (~roberto@70.pool90-171-81.dynamic.orange.es) |
| 2021-07-22 05:49:10 | × | Vajb quits (~Vajb@85-76-37-76-nat.elisa-mobile.fi) (Read error: Connection reset by peer) |
| 2021-07-22 05:49:18 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) |
| 2021-07-22 05:51:23 | × | johnw quits (~johnw@2600:1700:cf00:db0:4c55:69bc:4e4d:1c90) (Quit: ZNC - http://znc.in) |
| 2021-07-22 05:54:56 | × | stevenxl quits (uid133530@id-133530.highgate.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-07-22 05:57:45 | × | falafel_ quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2021-07-22 06:02:01 | × | unyu quits (~pyon@user/pyon) (Quit: WeeChat 3.2) |
| 2021-07-22 06:02:17 | × | shriekingnoise quits (~shrieking@186.137.144.80) (Quit: Quit) |
| 2021-07-22 06:09:23 | → | Null_A joins (~null_a@2601:645:8700:2290:c911:1c05:b98d:d069) |
| 2021-07-22 06:12:32 | → | chris_ joins (~chris@81.96.113.213) |
| 2021-07-22 06:21:22 | × | michalz quits (~michalz@185.246.204.62) (Ping timeout: 245 seconds) |
| 2021-07-22 06:22:07 | × | Null_A quits (~null_a@2601:645:8700:2290:c911:1c05:b98d:d069) (Remote host closed the connection) |
| 2021-07-22 06:23:30 | → | Null_A joins (~null_a@2601:645:8700:2290:c911:1c05:b98d:d069) |
| 2021-07-22 06:25:22 | → | chele joins (~chele@user/chele) |
| 2021-07-22 06:26:24 | → | michalz joins (~michalz@185.246.204.58) |
| 2021-07-22 06:30:18 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 240 seconds) |
All times are in UTC.