Logs: freenode/#haskell
| 2021-05-17 22:30:34 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-17 22:32:33 | → | tsaka__ joins (~torstein@178-147-206-209.haap.dm.cosmote.net) |
| 2021-05-17 22:32:59 | × | todda7 quits (~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) (Ping timeout: 260 seconds) |
| 2021-05-17 22:34:40 | × | __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving) |
| 2021-05-17 22:37:22 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-17 22:37:43 | ← | bone-baboon parts (bone-baboo@gateway/vpn/privateinternetaccess/bone-baboon) ("Using Circe, the loveliest of all IRC clients") |
| 2021-05-17 22:41:29 | → | jao joins (~jao@pdpc/supporter/professional/jao) |
| 2021-05-17 22:41:35 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-17 22:41:50 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 246 seconds) |
| 2021-05-17 22:42:33 | × | elliott_ quits (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2021-05-17 22:42:46 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-17 22:47:11 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2021-05-17 22:50:05 | × | nicholasbulka quits (~nicholasb@c-73-21-82-200.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 2021-05-17 22:50:46 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:189f:ecee:d0e0:93ba) |
| 2021-05-17 22:52:08 | × | gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving) |
| 2021-05-17 22:52:12 | → | sm2n joins (~sm2n@bras-base-hmtnon143hw-grc-13-70-54-76-97.dsl.bell.ca) |
| 2021-05-17 22:52:32 | → | CrazyPython joins (~crazypyth@206.214.238.6) |
| 2021-05-17 22:52:36 | × | vnz quits (~vnz@unaffiliated/vnz) (Write error: Connection reset by peer) |
| 2021-05-17 22:53:18 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2021-05-17 22:54:34 | → | vnz joins (~vnz@51.15.143.225) |
| 2021-05-17 22:54:35 | × | vnz quits (~vnz@51.15.143.225) (Changing host) |
| 2021-05-17 22:54:35 | → | vnz joins (~vnz@unaffiliated/vnz) |
| 2021-05-17 22:55:05 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:189f:ecee:d0e0:93ba) (Ping timeout: 250 seconds) |
| 2021-05-17 22:55:11 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-05-17 22:56:22 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 268 seconds) |
| 2021-05-17 22:56:58 | × | Guest1564 quits (~textual@mskresolve-a.mskcc.org) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-17 22:59:13 | × | guest517` quits (~user@49.5.6.87) (Read error: Connection reset by peer) |
| 2021-05-17 23:00:01 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-17 23:00:18 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-17 23:03:01 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-17 23:06:00 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 265 seconds) |
| 2021-05-17 23:06:39 | × | patlv_ quits (~patlv@unaffiliated/patlv) (Ping timeout: 245 seconds) |
| 2021-05-17 23:10:58 | → | ddellacosta joins (~ddellacos@86.106.143.48) |
| 2021-05-17 23:11:10 | → | Alleria joins (~textual@2603-7000-3040-0000-ac44-24c4-f597-ec96.res6.spectrum.com) |
| 2021-05-17 23:11:33 | Alleria | is now known as Guest49769 |
| 2021-05-17 23:12:39 | × | st8less quits (~st8less@2603:a060:11fd:0:475f:7ec2:20c6:ac2c) (Ping timeout: 260 seconds) |
| 2021-05-17 23:13:01 | × | veverak quits (~veverak@ip-89-102-98-161.net.upcbroadband.cz) (Ping timeout: 268 seconds) |
| 2021-05-17 23:13:09 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 260 seconds) |
| 2021-05-17 23:14:22 | → | st8less joins (~st8less@inet-167-224-197-181.isp.ozarksgo.net) |
| 2021-05-17 23:15:11 | × | ddellacosta quits (~ddellacos@86.106.143.48) (Ping timeout: 240 seconds) |
| 2021-05-17 23:15:24 | × | Guest49769 quits (~textual@2603-7000-3040-0000-ac44-24c4-f597-ec96.res6.spectrum.com) (Ping timeout: 245 seconds) |
| 2021-05-17 23:15:24 | → | veverak joins (~veverak@ip-89-102-98-161.net.upcbroadband.cz) |
| 2021-05-17 23:16:26 | × | frozenErebus quits (~frozenEre@94.129.65.28) (Ping timeout: 240 seconds) |
| 2021-05-17 23:23:41 | × | wroathe quits (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 2021-05-17 23:23:46 | × | urdh quits (~urdh@unaffiliated/urdh) (Ping timeout: 240 seconds) |
| 2021-05-17 23:24:04 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-17 23:25:52 | → | stree joins (~stree@68.36.8.116) |
| 2021-05-17 23:29:03 | × | usr25 quits (~usr25@unaffiliated/usr25) (Ping timeout: 268 seconds) |
| 2021-05-17 23:29:56 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2021-05-17 23:31:06 | → | ozataman joins (~ozataman@71.190.112.58) |
| 2021-05-17 23:32:07 | → | Evilmagix joins (2be74510@43.231.69.16) |
| 2021-05-17 23:32:25 | → | a6a45081-2b83 joins (~aditya@171.76.17.86) |
| 2021-05-17 23:32:25 | × | a6a45081-2b83 quits (~aditya@171.76.17.86) (Client Quit) |
| 2021-05-17 23:33:11 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-17 23:36:36 | <Evilmagix> | I have started reading Bird's "Pearls of functional algorithm design" and in the first chapter he seems to state that us \\ vs is O(n) rather than what I assume is O(n^2). Hackage doesnt have anything on the time complexity of (\\), does anyone know if he is right? Only the left list is sorted in his example but I cant imagine the (\\) uses |
| 2021-05-17 23:36:37 | <Evilmagix> | indexing. |
| 2021-05-17 23:37:09 | × | mikoto-c1 quits (~mikoto-ch@gateway/tor-sasl/mikoto-chan) (Ping timeout: 240 seconds) |
| 2021-05-17 23:37:36 | × | xcmw quits (~textual@2603-6011-2200-f103-1907-5406-5646-5d03.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-17 23:37:39 | → | mikoto-c1 joins (~mikoto-ch@gateway/tor-sasl/mikoto-chan) |
| 2021-05-17 23:37:41 | × | cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 268 seconds) |
| 2021-05-17 23:37:41 | → | urdh joins (~urdh@unaffiliated/urdh) |
| 2021-05-17 23:38:13 | → | perrier-jouet joins (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 2021-05-17 23:41:02 | <monochrom> | head (us \\ vs) ≠ us \\ vs |
| 2021-05-17 23:41:27 | × | acidjnk_new quits (~acidjnk@p200300d0c72b955231b1979c10e605d9.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2021-05-17 23:42:26 | × | ozataman quits (~ozataman@71.190.112.58) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-05-17 23:43:38 | → | Alleria joins (~textual@2603-7000-3040-0000-ac44-24c4-f597-ec96.res6.spectrum.com) |
| 2021-05-17 23:44:01 | Alleria | is now known as Guest11746 |
| 2021-05-17 23:44:10 | → | argento joins (~argent0@168.227.97.34) |
| 2021-05-17 23:44:37 | × | Deide quits (~Deide@217.155.19.23) (Quit: Seeee yaaaa) |
| 2021-05-17 23:46:14 | → | cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 2021-05-17 23:47:57 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-17 23:51:12 | <mniip> | is \\ list subtraction? |
| 2021-05-17 23:51:19 | <mniip> | you can never know with bird's formalism |
| 2021-05-17 23:52:11 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-05-17 23:55:49 | × | Jrdan quits (~Jrdan@modemcable159.116-21-96.mc.videotron.ca) (Ping timeout: 252 seconds) |
| 2021-05-17 23:56:33 | × | deviantfero quits (~deviantfe@190.150.27.58) (Quit: WeeChat 3.1) |
| 2021-05-18 00:04:45 | × | pjb quits (~pjb@2a01cb04063ec50010052b303219aac8.ipv6.abo.wanadoo.fr) (Ping timeout: 246 seconds) |
| 2021-05-18 00:06:03 | <monochrom> | It's given in the book. us \\ vs = filter (∉ vs) us |
| 2021-05-18 00:07:42 | × | proofofkeags quits (~proofofke@205.209.28.54) (Ping timeout: 252 seconds) |
| 2021-05-18 00:10:11 | × | cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 240 seconds) |
| 2021-05-18 00:10:28 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-18 00:10:41 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 240 seconds) |
| 2021-05-18 00:11:11 | → | bennofs__ joins (~quassel@x4dbf70df.dyn.telefonica.de) |
| 2021-05-18 00:14:18 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-05-18 00:14:41 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 240 seconds) |
| 2021-05-18 00:15:04 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2021-05-18 00:15:07 | × | bennofs_ quits (~quassel@dynamic-077-013-032-144.77.13.pool.telefonica.de) (Ping timeout: 265 seconds) |
| 2021-05-18 00:15:49 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-18 00:17:31 | × | hiroaki quits (~hiroaki@2a02:8108:8c40:2bb8:f5ad:6b00:298d:80c7) (Ping timeout: 260 seconds) |
| 2021-05-18 00:20:40 | × | sm2n quits (~sm2n@bras-base-hmtnon143hw-grc-13-70-54-76-97.dsl.bell.ca) (Read error: Connection reset by peer) |
| 2021-05-18 00:20:50 | → | sm2n joins (~sm2n@bras-base-hmtnon143hw-grc-13-70-54-76-97.dsl.bell.ca) |
| 2021-05-18 00:22:42 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-18 00:22:51 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 265 seconds) |
| 2021-05-18 00:23:00 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-18 00:23:20 | × | wonko7 quits (~wonko7@62.115.229.50) (Ping timeout: 265 seconds) |
| 2021-05-18 00:23:45 | <Evilmagix> | Yeah sorry I should have clarified that he gave the definition as filter. Does this mean that due to laziness of Haskell, it is O(n)? |
| 2021-05-18 00:23:47 | × | sm2n quits (~sm2n@bras-base-hmtnon143hw-grc-13-70-54-76-97.dsl.bell.ca) (Excess Flood) |
| 2021-05-18 00:24:06 | → | sm2n joins (~sm2n@bras-base-hmtnon143hw-grc-13-70-54-76-97.dsl.bell.ca) |
| 2021-05-18 00:24:12 | × | stefan-_ quits (~cri@42dots.de) (Ping timeout: 252 seconds) |
| 2021-05-18 00:24:31 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
All times are in UTC.