Logs: freenode/#haskell
| 2021-04-14 22:13:19 | → | dinciorip joins (~dincio@5.170.25.42) |
| 2021-04-14 22:13:33 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 2021-04-14 22:14:22 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2021-04-14 22:15:06 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2021-04-14 22:16:29 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2021-04-14 22:17:47 | × | BosonCollider quits (~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 265 seconds) |
| 2021-04-14 22:21:06 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2021-04-14 22:21:36 | → | i7c joins (Rmit7A5pyb@unaffiliated/i7c) |
| 2021-04-14 22:21:57 | × | hololeap quits (~hololeap@gateway/tor-sasl/hololeap) (Ping timeout: 240 seconds) |
| 2021-04-14 22:22:10 | → | ericsagnes joins (~ericsagne@2405:6580:0:5100:abd4:f2b6:ee56:3374) |
| 2021-04-14 22:22:19 | → | BosonCollider joins (~olofs@90-227-86-119-no542.tbcn.telia.com) |
| 2021-04-14 22:23:06 | × | Lycurgus quits (~niemand@98.4.118.65) (Quit: Exeunt) |
| 2021-04-14 22:23:20 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-04-14 22:23:41 | × | dcoutts__ quits (~duncan@94.186.125.91.dyn.plus.net) (Ping timeout: 240 seconds) |
| 2021-04-14 22:24:16 | → | fendor_ joins (~fendor@178.165.129.79.wireless.dyn.drei.com) |
| 2021-04-14 22:27:03 | × | fendor quits (~fendor@77.119.129.135.wireless.dyn.drei.com) (Ping timeout: 268 seconds) |
| 2021-04-14 22:27:18 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-14 22:27:23 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-04-14 22:28:26 | × | shailangsa quits (~shailangs@host86-185-98-61.range86-185.btcentralplus.com) (Ping timeout: 240 seconds) |
| 2021-04-14 22:28:42 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-14 22:29:31 | × | ericsagnes quits (~ericsagne@2405:6580:0:5100:abd4:f2b6:ee56:3374) (Ping timeout: 260 seconds) |
| 2021-04-14 22:30:05 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-04-14 22:30:45 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-14 22:31:07 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-04-14 22:31:35 | × | lambdaman quits (~lambdaman@s66-183-152-156.bc.hsia.telus.net) (Remote host closed the connection) |
| 2021-04-14 22:32:41 | × | chenshen quits (~chenshen@2620:10d:c090:400::5:b29e) (Quit: My MacBook Pro has gone to sleep. ZZZzzz…) |
| 2021-04-14 22:32:43 | × | maiqthefalse quits (uid494950@gateway/web/irccloud.com/x-lubjogfdgluyqicn) (Quit: Connection closed for inactivity) |
| 2021-04-14 22:34:38 | → | snowflake joins (~snowflake@gateway/tor-sasl/snowflake) |
| 2021-04-14 22:34:48 | → | ddellacosta joins (~ddellacos@86.106.143.174) |
| 2021-04-14 22:34:52 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2021-04-14 22:37:10 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2021-04-14 22:37:15 | → | chenshen joins (~chenshen@2620:10d:c090:400::5:b29e) |
| 2021-04-14 22:37:42 | → | ddellaco_ joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-14 22:37:42 | → | ddella___ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-14 22:38:29 | × | bwe quits (~bwe@unaffiliated/bwe) (Quit: leaving) |
| 2021-04-14 22:39:40 | → | Sorna joins (~Sornaensi@077213203030.dynamic.telenor.dk) |
| 2021-04-14 22:40:26 | × | ddella___ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-04-14 22:41:51 | × | ddellacosta quits (~ddellacos@86.106.143.174) (Ping timeout: 268 seconds) |
| 2021-04-14 22:42:14 | → | ericsagnes joins (~ericsagne@2405:6580:0:5100:ca90:899b:210d:4dde) |
| 2021-04-14 22:42:56 | → | lambdaman joins (~lambdaman@s66-183-152-156.bc.hsia.telus.net) |
| 2021-04-14 22:43:50 | → | bwe joins (~bwe@unaffiliated/bwe) |
| 2021-04-14 22:45:34 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:305e:cb15:9982:892e) |
| 2021-04-14 22:45:46 | × | idhugo_ quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 240 seconds) |
| 2021-04-14 22:52:32 | × | ddellaco_ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Remote host closed the connection) |
| 2021-04-14 22:52:48 | → | L29Ah joins (~L29Ah@unaffiliated/l29ah) |
| 2021-04-14 22:53:01 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-14 22:57:31 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 2021-04-14 22:59:18 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-14 23:00:14 | × | son0p quits (~ff@181.136.122.143) (Remote host closed the connection) |
| 2021-04-14 23:00:20 | → | Alleria joins (~textual@2603-7000-3040-0000-c180-72b7-b8c7-a8f4.res6.spectrum.com) |
| 2021-04-14 23:00:44 | Alleria | is now known as Guest80119 |
| 2021-04-14 23:01:18 | × | lambdaman quits (~lambdaman@s66-183-152-156.bc.hsia.telus.net) (Remote host closed the connection) |
| 2021-04-14 23:02:50 | → | hendursaga joins (~weechat@gateway/tor-sasl/hendursaga) |
| 2021-04-14 23:03:10 | → | shailangsa joins (~shailangs@host86-185-98-61.range86-185.btcentralplus.com) |
| 2021-04-14 23:04:18 | holo2 | is now known as Faye |
| 2021-04-14 23:04:47 | × | Guest80119 quits (~textual@2603-7000-3040-0000-c180-72b7-b8c7-a8f4.res6.spectrum.com) (Ping timeout: 258 seconds) |
| 2021-04-14 23:04:52 | Faye | is now known as FayeAleph |
| 2021-04-14 23:05:33 | × | ericsagnes quits (~ericsagne@2405:6580:0:5100:ca90:899b:210d:4dde) (Ping timeout: 258 seconds) |
| 2021-04-14 23:06:31 | × | thc202 quits (~thc202@unaffiliated/thc202) (Ping timeout: 258 seconds) |
| 2021-04-14 23:07:33 | → | ericsagnes joins (~ericsagne@2405:6580:0:5100:b785:70ea:2ff6:8e22) |
| 2021-04-14 23:09:43 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-14 23:09:47 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-04-14 23:10:24 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Remote host closed the connection) |
| 2021-04-14 23:10:34 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-14 23:10:45 | → | ddellac__ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-14 23:11:10 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Remote host closed the connection) |
| 2021-04-14 23:11:20 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-14 23:11:56 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Remote host closed the connection) |
| 2021-04-14 23:12:24 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-14 23:12:36 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-14 23:13:17 | × | gawen quits (~gawen@movzbl.root.sx) (Quit: cya) |
| 2021-04-14 23:15:16 | × | ddellac__ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2021-04-14 23:16:16 | → | gawen joins (~gawen@movzbl.root.sx) |
| 2021-04-14 23:16:44 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 2021-04-14 23:17:02 | × | hendursaga quits (~weechat@gateway/tor-sasl/hendursaga) (Remote host closed the connection) |
| 2021-04-14 23:17:24 | → | hendursaga joins (~weechat@gateway/tor-sasl/hendursaga) |
| 2021-04-14 23:19:14 | × | gawen quits (~gawen@movzbl.root.sx) (Client Quit) |
| 2021-04-14 23:19:51 | <DigitalKiwi> | glguy: Sigyn likes ski more than me :( |
| 2021-04-14 23:21:35 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds) |
| 2021-04-14 23:22:11 | × | dinciorip quits (~dincio@5.170.25.42) (Quit: WeeChat 3.1) |
| 2021-04-14 23:22:12 | → | gawen joins (~gawen@movzbl.root.sx) |
| 2021-04-14 23:22:18 | <glguy> | DigitalKiwi: not particularly, no |
| 2021-04-14 23:22:27 | → | aVikingTrex joins (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) |
| 2021-04-14 23:22:56 | <nicholasbulka> | ski: this is the last part I got |
| 2021-04-14 23:23:02 | <nicholasbulka> | * ski <https://www.cs.utexas.edu/users/EWD/transcriptions/EWD12xx/EWD1298.html>, all by Edsger Wybe Dijkstra ) <ski> OP : to close with, i think the Lawvere & Schanuel book may be the easiest one to start with, for one without that much math experience. take care and have fun ! |
| 2021-04-14 23:23:02 | <nicholasbulka> | ski |
| 2021-04-14 23:23:02 | <nicholasbulka> | (done) |
| 2021-04-14 23:23:04 | <nicholasbulka> | 17:25 Disconnected |
| 2021-04-14 23:23:29 | <glguy> | probably good to drop in a pastebin |
| 2021-04-14 23:23:52 | <glguy> | nicholasbulka: (done) was the indication that it was |
| 2021-04-14 23:24:16 | <nicholasbulka> | makes sense |
| 2021-04-14 23:24:53 | <DigitalKiwi> | i need a grep that parses urls |
| 2021-04-14 23:25:34 | <DigitalKiwi> | like when people use matrix and it makes those long messages links that i never click... |
| 2021-04-14 23:26:18 | <DigitalKiwi> | 'parse' is the wrong word. |
| 2021-04-14 23:26:27 | <glguy> | DigitalKiwi: /url ? |
| 2021-04-14 23:26:50 | × | chenshen quits (~chenshen@2620:10d:c090:400::5:b29e) (Quit: My MacBook Pro has gone to sleep. ZZZzzz…) |
| 2021-04-14 23:26:58 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-14 23:27:49 | × | HannaM quits (~quassel@p54849510.dip0.t-ipconnect.de) (Quit: http://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2021-04-14 23:30:27 | × | usr25 quits (~usr25@unaffiliated/usr25) (Quit: Leaving) |
| 2021-04-14 23:30:44 | → | usr25 joins (~J@26.red-83-63-221.staticip.rima-tde.net) |
All times are in UTC.