Logs: liberachat/#haskell
| 2021-07-18 01:11:39 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2021-07-18 01:12:12 | × | Atum_ quits (~IRC@user/atum/x-2392232) (Quit: Atum_) |
| 2021-07-18 01:12:46 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-07-18 01:13:01 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 246 seconds) |
| 2021-07-18 01:15:47 | → | _xor joins (~xor@74.215.232.67) |
| 2021-07-18 01:17:35 | → | Null_A joins (~null_a@2601:645:8700:2290:b55a:33c2:1e1d:f229) |
| 2021-07-18 01:17:42 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-18 01:21:42 | → | xff0x_ joins (~xff0x@2001:1a81:525b:ea00:2ecf:bd12:9251:d3e) |
| 2021-07-18 01:24:09 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 2021-07-18 01:24:28 | → | vicfred_ joins (~vicfred@206.217.205.37) |
| 2021-07-18 01:24:55 | × | xff0x quits (~xff0x@port-92-193-131-10.dynamic.as20676.net) (Ping timeout: 250 seconds) |
| 2021-07-18 01:28:20 | × | vicfred quits (~vicfred@user/vicfred) (Ping timeout: 268 seconds) |
| 2021-07-18 01:30:54 | → | mcfrdy- joins (~mcfrdy@45.67.96.175) |
| 2021-07-18 01:31:30 | × | mcfrdy quits (~mcfrdy@user/mcfrdy) (Ping timeout: 255 seconds) |
| 2021-07-18 01:31:39 | → | chris_ joins (~chris@81.96.113.213) |
| 2021-07-18 01:36:06 | → | neurocyte0 joins (~neurocyte@92.119.8.106) |
| 2021-07-18 01:36:06 | × | neurocyte0 quits (~neurocyte@92.119.8.106) (Changing host) |
| 2021-07-18 01:36:06 | → | neurocyte0 joins (~neurocyte@user/neurocyte) |
| 2021-07-18 01:39:06 | → | spruit11 joins (~quassel@2a02:a467:ccd6:1:b030:6032:2190:671b) |
| 2021-07-18 01:39:26 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-18 01:39:58 | × | neurocyte quits (~neurocyte@user/neurocyte) (Ping timeout: 252 seconds) |
| 2021-07-18 01:39:58 | neurocyte0 | is now known as neurocyte |
| 2021-07-18 01:40:57 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 255 seconds) |
| 2021-07-18 01:42:39 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-18 01:43:23 | × | ph88 quits (~ph88@2a02:8109:9e00:7e5c:f938:d06a:9ad7:b39c) (Ping timeout: 255 seconds) |
| 2021-07-18 01:43:49 | × | spruit11 quits (~quassel@2a02:a467:ccd6:1:b030:6032:2190:671b) (Ping timeout: 246 seconds) |
| 2021-07-18 01:46:32 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 255 seconds) |
| 2021-07-18 01:47:22 | × | hololeap quits (~hololeap@user/hololeap) (Ping timeout: 244 seconds) |
| 2021-07-18 01:48:09 | <davean> | I find most mathematical objects I deal with in practice to be "some set construction, with laws" |
| 2021-07-18 01:56:48 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-07-18 01:57:07 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Read error: Connection reset by peer) |
| 2021-07-18 01:58:55 | × | zebrag quits (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2021-07-18 02:05:54 | → | Maxdamantus joins (~Maxdamant@user/maxdamantus) |
| 2021-07-18 02:05:54 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 2021-07-18 02:07:00 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-18 02:12:32 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 2021-07-18 02:13:36 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
| 2021-07-18 02:13:59 | × | td_ quits (~td@muedsl-82-207-238-255.citykom.de) (Ping timeout: 258 seconds) |
| 2021-07-18 02:14:42 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 255 seconds) |
| 2021-07-18 02:15:07 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 2021-07-18 02:15:38 | → | td_ joins (~td@muedsl-82-207-238-204.citykom.de) |
| 2021-07-18 02:15:44 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 2021-07-18 02:15:44 | FinnElija | is now known as Guest7485 |
| 2021-07-18 02:15:44 | × | Guest7485 quits (~finn_elij@user/finn-elija/x-0085643) (Killed (sodium.libera.chat (Nickname regained by services))) |
| 2021-07-18 02:15:45 | finn_elija | is now known as FinnElija |
| 2021-07-18 02:17:13 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-18 02:18:20 | → | norias joins (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) |
| 2021-07-18 02:20:05 | → | alphabeta joins (~kilolympu@cpc92710-cmbg20-2-0-cust265.5-4.cable.virginm.net) |
| 2021-07-18 02:21:49 | × | kilolympus quits (~kilolympu@cpc92710-cmbg20-2-0-cust265.5-4.cable.virginm.net) (Ping timeout: 265 seconds) |
| 2021-07-18 02:24:21 | × | smichel17 quits (~smichel17@2601:193:8300:4b9::600) (Quit: smichel17) |
| 2021-07-18 02:36:14 | → | peterhil joins (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) |
| 2021-07-18 02:37:16 | → | ph88 joins (~ph88@2a02:8109:9e00:7e5c:f938:d06a:9ad7:b39c) |
| 2021-07-18 02:39:57 | → | h98 joins (~h98@187.83.249.216.dyn.smithville.net) |
| 2021-07-18 02:39:59 | → | spruit11 joins (~quassel@2a02:a467:ccd6:1:b030:6032:2190:671b) |
| 2021-07-18 02:44:51 | × | spruit11 quits (~quassel@2a02:a467:ccd6:1:b030:6032:2190:671b) (Ping timeout: 255 seconds) |
| 2021-07-18 02:52:45 | → | fef joins (~thedawn@user/thedawn) |
| 2021-07-18 02:53:08 | × | aman quits (~aman@user/aman) (Ping timeout: 255 seconds) |
| 2021-07-18 02:53:38 | → | agua joins (~agua@2804:18:44:17a3:1:0:2cdf:1514) |
| 2021-07-18 02:54:24 | × | h98 quits (~h98@187.83.249.216.dyn.smithville.net) (Quit: Client closed) |
| 2021-07-18 02:54:59 | × | enemeth79 quits (uid309041@id-309041.tooting.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-07-18 02:55:01 | × | vicfred_ quits (~vicfred@206.217.205.37) (Quit: Leaving) |
| 2021-07-18 02:55:13 | → | vicfred joins (~vicfred@user/vicfred) |
| 2021-07-18 02:56:33 | × | Core5124 quits (~agua@2804:14c:8793:8e2f:642c:be4c:c775:de87) (Ping timeout: 255 seconds) |
| 2021-07-18 02:59:13 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 258 seconds) |
| 2021-07-18 03:02:28 | × | shapr quits (~user@pool-100-36-247-68.washdc.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2021-07-18 03:02:45 | × | johnw quits (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) (Quit: ZNC - http://znc.in) |
| 2021-07-18 03:05:06 | × | myShoggoth quits (~myShoggot@97-120-70-214.ptld.qwest.net) (Ping timeout: 255 seconds) |
| 2021-07-18 03:06:08 | → | myShoggoth joins (~myShoggot@97-120-70-214.ptld.qwest.net) |
| 2021-07-18 03:06:26 | → | matsurago joins (~matsurago@p0125707-vcngn.tkyo.nt.ngn.ppp.ocn.ne.jp) |
| 2021-07-18 03:08:35 | → | spruit11 joins (~quassel@2a02:a467:ccd6:1:b030:6032:2190:671b) |
| 2021-07-18 03:09:29 | → | keutoi joins (~keutoi@157.47.111.203) |
| 2021-07-18 03:12:18 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2021-07-18 03:13:45 | → | desophos joins (~desophos@2601:249:1680:a570:f1ba:fb0d:59f:a0b5) |
| 2021-07-18 03:14:36 | → | pesada joins (~agua@191.177.175.57) |
| 2021-07-18 03:16:38 | → | Core1864 joins (~agua@2804:18:44:17a3:1:0:2cdf:1514) |
| 2021-07-18 03:16:46 | × | agua quits (~agua@2804:18:44:17a3:1:0:2cdf:1514) (Read error: Connection reset by peer) |
| 2021-07-18 03:17:02 | × | pesada quits (~agua@191.177.175.57) (Read error: Connection reset by peer) |
| 2021-07-18 03:17:12 | → | agua joins (~agua@2804:14c:8793:8e2f:642c:be4c:c775:de87) |
| 2021-07-18 03:20:46 | × | Core1864 quits (~agua@2804:18:44:17a3:1:0:2cdf:1514) (Ping timeout: 246 seconds) |
| 2021-07-18 03:23:06 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2021-07-18 03:23:58 | → | jushur joins (~human@user/jushur) |
| 2021-07-18 03:29:30 | → | mcfrdy joins (~mcfrdy@45.67.96.175) |
| 2021-07-18 03:29:30 | × | mcfrdy quits (~mcfrdy@45.67.96.175) (Changing host) |
| 2021-07-18 03:29:31 | → | mcfrdy joins (~mcfrdy@user/mcfrdy) |
| 2021-07-18 03:30:27 | × | mcfrdy- quits (~mcfrdy@45.67.96.175) (Ping timeout: 265 seconds) |
| 2021-07-18 03:30:46 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-07-18 03:33:11 | × | matsurago quits (~matsurago@p0125707-vcngn.tkyo.nt.ngn.ppp.ocn.ne.jp) (Quit: Leaving) |
| 2021-07-18 03:36:26 | → | vysn joins (~vysn@user/vysn) |
| 2021-07-18 03:38:54 | × | _xor quits (~xor@74.215.232.67) (Quit: brb) |
| 2021-07-18 03:39:53 | → | _xor joins (~xor@74.215.232.67) |
| 2021-07-18 03:42:50 | <guest61> | about IO socket, if peer closed the connection, will get -1, what about they just went off the network without sent disconnect signal, how to handle that? |
| 2021-07-18 03:44:04 | <geekosaur> | you get an exception which you must catch |
| 2021-07-18 03:44:33 | <geekosaur> | see the Control.Exception module |
| 2021-07-18 03:44:37 | <guest61> | how we handle that without exception? |
| 2021-07-18 03:44:50 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 258 seconds) |
| 2021-07-18 03:45:04 | <guest61> | what about C langauage, it doesnt have exception, how it handle that? |
| 2021-07-18 03:45:14 | → | img joins (~img@user/img) |
| 2021-07-18 03:45:24 | <guest61> | Either cant handle this IO exception? |
| 2021-07-18 03:45:37 | → | lars8 joins (~bc817c21@217.29.117.252) |
| 2021-07-18 03:45:39 | <geekosaur> | C returns -1 with an error code, vs. 0; it doesn;t have exceptions |
All times are in UTC.