Logs: liberachat/#haskell
| 2021-06-16 02:29:53 | × | Guest7201 quits (~finn_elij@user/finn-elija/x-0085643) (Killed (silver.libera.chat (Nickname regained by services))) |
| 2021-06-16 02:29:53 | finn_elija | is now known as FinnElija |
| 2021-06-16 02:30:26 | × | jonathanclarke quits (~jonathanc@202.51.76.213) (Ping timeout: 272 seconds) |
| 2021-06-16 02:31:07 | × | zebrag quits (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2021-06-16 02:31:42 | × | sbmsr quits (~pi@2600:1700:63d0:4830:7dbf:92d8:fd42:235d) (Ping timeout: 272 seconds) |
| 2021-06-16 02:34:23 | × | ikex1 quits (~ash@user/ikex) (Ping timeout: 268 seconds) |
| 2021-06-16 02:34:29 | → | vicentius joins (~vicentius@user/vicentius) |
| 2021-06-16 02:35:04 | → | sbmsr joins (~pi@2600:1700:63d0:4830:7dbf:92d8:fd42:235d) |
| 2021-06-16 02:35:52 | → | mengu joins (~mengu@c188-150-13-129.bredband.tele2.se) |
| 2021-06-16 02:40:25 | × | fizbin quits (~fizbin@2601:8a:4080:1280:8c7e:5b3f:79d6:ec26) (Remote host closed the connection) |
| 2021-06-16 02:41:10 | × | mengu quits (~mengu@c188-150-13-129.bredband.tele2.se) (Ping timeout: 268 seconds) |
| 2021-06-16 02:42:56 | → | ddellacosta joins (~ddellacos@86.106.121.100) |
| 2021-06-16 02:43:34 | × | fef quits (~thedawn@user/thedawn) (Ping timeout: 252 seconds) |
| 2021-06-16 02:47:06 | × | ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 240 seconds) |
| 2021-06-16 02:48:34 | × | haltux quits (~haltux@a89-154-181-47.cpe.netcabo.pt) (Ping timeout: 268 seconds) |
| 2021-06-16 02:51:13 | → | fef joins (~thedawn@user/thedawn) |
| 2021-06-16 02:52:13 | × | jlamothe quits (~jlamothe@198.251.57.81) (Ping timeout: 272 seconds) |
| 2021-06-16 02:53:55 | → | haskl joins (~haskeller@2601:643:897f:561d:d8b7:bfb4:b64d:4a57) |
| 2021-06-16 02:54:21 | → | wei2912 joins (~wei2912@112.199.250.21) |
| 2021-06-16 02:55:13 | → | fizbin joins (~fizbin@2601:8a:4080:1280:8c7e:5b3f:79d6:ec26) |
| 2021-06-16 02:59:42 | × | fizbin quits (~fizbin@2601:8a:4080:1280:8c7e:5b3f:79d6:ec26) (Ping timeout: 264 seconds) |
| 2021-06-16 03:02:22 | × | td_ quits (~td@muedsl-82-207-238-208.citykom.de) (Ping timeout: 244 seconds) |
| 2021-06-16 03:04:28 | → | td_ joins (~td@94.134.91.127) |
| 2021-06-16 03:05:43 | → | ddellacosta joins (~ddellacos@86.106.121.100) |
| 2021-06-16 03:09:54 | × | ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 240 seconds) |
| 2021-06-16 03:11:10 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-16 03:11:50 | × | hololeap quits (~hololeap@user/hololeap) (Quit: Bye) |
| 2021-06-16 03:15:30 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-06-16 03:15:34 | × | lbseale quits (~lbseale@user/ep1ctetus) (Read error: Connection reset by peer) |
| 2021-06-16 03:25:30 | × | xff0x quits (~xff0x@2001:1a81:527a:b400:9fd4:5509:ffc:858e) (Ping timeout: 240 seconds) |
| 2021-06-16 03:29:04 | → | xff0x joins (~xff0x@2001:1a81:5287:3600:7899:dc24:fa0c:b95f) |
| 2021-06-16 03:33:59 | → | jlamothe joins (~jlamothe@198.251.57.81) |
| 2021-06-16 03:34:03 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 2021-06-16 03:35:02 | × | jao quits (jao@gateway/vpn/protonvpn/jao) (Ping timeout: 272 seconds) |
| 2021-06-16 03:35:17 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 272 seconds) |
| 2021-06-16 03:35:17 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2021-06-16 03:35:26 | × | vicentius quits (~vicentius@user/vicentius) (Ping timeout: 268 seconds) |
| 2021-06-16 03:35:33 | × | fef quits (~thedawn@user/thedawn) (Quit: Leaving) |
| 2021-06-16 03:36:31 | → | shredder joins (~shredder@user/shredder) |
| 2021-06-16 03:38:50 | × | xff0x quits (~xff0x@2001:1a81:5287:3600:7899:dc24:fa0c:b95f) (Ping timeout: 272 seconds) |
| 2021-06-16 03:40:15 | → | xff0x joins (~xff0x@2001:1a81:5288:d900:d116:d2ab:1be7:8aec) |
| 2021-06-16 03:40:18 | × | hammock quits (~Hammock@2600:1700:19a1:3330::625) (Ping timeout: 240 seconds) |
| 2021-06-16 03:41:12 | → | ddellacosta joins (~ddellacos@86.106.121.100) |
| 2021-06-16 03:42:07 | → | derelict joins (~derelict@user/derelict) |
| 2021-06-16 03:45:46 | × | ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 244 seconds) |
| 2021-06-16 03:46:18 | × | xff0x quits (~xff0x@2001:1a81:5288:d900:d116:d2ab:1be7:8aec) (Ping timeout: 240 seconds) |
| 2021-06-16 03:48:30 | → | xff0x joins (~xff0x@2001:1a81:5289:fc00:9751:4726:f0fc:92a8) |
| 2021-06-16 03:52:31 | → | sekun joins (~sekun@180.190.208.124) |
| 2021-06-16 03:53:30 | × | xff0x quits (~xff0x@2001:1a81:5289:fc00:9751:4726:f0fc:92a8) (Ping timeout: 240 seconds) |
| 2021-06-16 03:56:24 | × | alx741 quits (~alx741@186.178.108.66) (Quit: alx741) |
| 2021-06-16 03:58:53 | → | xff0x joins (~xff0x@port-92-195-125-207.dynamic.as20676.net) |
| 2021-06-16 04:03:30 | × | yd502 quits (~yd502@180.168.212.6) (Ping timeout: 240 seconds) |
| 2021-06-16 04:03:54 | × | xff0x quits (~xff0x@port-92-195-125-207.dynamic.as20676.net) (Ping timeout: 240 seconds) |
| 2021-06-16 04:04:03 | → | xff0x joins (~xff0x@2001:1a81:528b:bc00:8470:acd3:ea80:ae7a) |
| 2021-06-16 04:07:55 | × | vicfred quits (~vicfred@user/vicfred) (Read error: Connection reset by peer) |
| 2021-06-16 04:08:07 | → | vicfred joins (~vicfred@user/vicfred) |
| 2021-06-16 04:08:18 | × | xff0x quits (~xff0x@2001:1a81:528b:bc00:8470:acd3:ea80:ae7a) (Ping timeout: 240 seconds) |
| 2021-06-16 04:10:16 | → | xff0x joins (~xff0x@2001:1a81:528b:d800:ddbb:c4db:9c44:243b) |
| 2021-06-16 04:14:34 | → | slice joins (~slice@user/slice) |
| 2021-06-16 04:15:00 | → | ddellacosta joins (~ddellacos@86.106.121.100) |
| 2021-06-16 04:16:15 | × | xff0x quits (~xff0x@2001:1a81:528b:d800:ddbb:c4db:9c44:243b) (Ping timeout: 244 seconds) |
| 2021-06-16 04:18:27 | → | xff0x joins (~xff0x@2001:1a81:528b:ea00:a293:ef4f:1ed1:8444) |
| 2021-06-16 04:18:43 | → | beka joins (~beka@104.193.170-244.PUBLIC.monkeybrains.net) |
| 2021-06-16 04:19:01 | → | reumeth joins (~reumeth@user/reumeth) |
| 2021-06-16 04:19:03 | × | AgentM quits (~agentm@pool-162-83-130-212.nycmny.fios.verizon.net) (Quit: Leaving.) |
| 2021-06-16 04:19:21 | × | ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 244 seconds) |
| 2021-06-16 04:22:53 | → | yd502 joins (~yd502@180.168.212.6) |
| 2021-06-16 04:23:59 | → | mengu joins (~mengu@c188-150-13-129.bredband.tele2.se) |
| 2021-06-16 04:25:42 | × | reumeth quits (~reumeth@user/reumeth) (Ping timeout: 272 seconds) |
| 2021-06-16 04:28:07 | × | slowButPresent quits (~slowButPr@user/slowbutpresent) (Quit: leaving) |
| 2021-06-16 04:29:30 | × | mengu quits (~mengu@c188-150-13-129.bredband.tele2.se) (Ping timeout: 272 seconds) |
| 2021-06-16 04:31:14 | × | BosonCollider quits (~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 244 seconds) |
| 2021-06-16 04:42:52 | × | sheepduck quits (~sheepduck@cpe98524a8cef7c-cm98524a8cef7a.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 2021-06-16 04:43:10 | → | sheepduck joins (~sheepduck@cpe98524a8cef7c-cm98524a8cef7a.cpe.net.cable.rogers.com) |
| 2021-06-16 04:48:25 | → | beka_ joins (~beka@104.193.170-244.PUBLIC.monkeybrains.net) |
| 2021-06-16 04:48:53 | Aleksejs_Home | is now known as Aleksejs |
| 2021-06-16 04:49:21 | × | slice quits (~slice@user/slice) (Quit: o/) |
| 2021-06-16 04:50:18 | × | beka quits (~beka@104.193.170-244.PUBLIC.monkeybrains.net) (Ping timeout: 240 seconds) |
| 2021-06-16 04:52:31 | × | yd502 quits (~yd502@180.168.212.6) (Ping timeout: 268 seconds) |
| 2021-06-16 04:53:23 | → | ddellacosta joins (~ddellacos@86.106.121.100) |
| 2021-06-16 04:57:30 | × | ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 240 seconds) |
| 2021-06-16 05:00:00 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-06-16 05:00:32 | × | shredder quits (~shredder@user/shredder) (Remote host closed the connection) |
| 2021-06-16 05:00:56 | → | shredder joins (~shredder@user/shredder) |
| 2021-06-16 05:02:44 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-06-16 05:02:49 | → | mikko joins (~mikko@2a02:7b40:d418:6a61::1) |
| 2021-06-16 05:03:30 | × | sheepduck quits (~sheepduck@cpe98524a8cef7c-cm98524a8cef7a.cpe.net.cable.rogers.com) (Ping timeout: 240 seconds) |
| 2021-06-16 05:04:23 | → | theneo joins (~sakthig@122.181.48.188) |
| 2021-06-16 05:06:43 | <mikko> | am i missing something or is it true there is only readOct and readHex and no readBin? |
| 2021-06-16 05:07:21 | × | TheRAt quits (~TheRAt@user/therat) (Quit: :)) |
| 2021-06-16 05:08:10 | → | TheRAt joins (~TheRAt@user/therat) |
| 2021-06-16 05:13:44 | <sshine> | mikko, it appears that there's only readDec, readOct and readHex in base, yes. |
| 2021-06-16 05:14:11 | <mikko> | huh, that's a bit weird |
| 2021-06-16 05:14:28 | → | rk04 joins (~rk04@user/rajk) |
| 2021-06-16 05:14:34 | × | zmt00 quits (~zmt00@user/zmt00) (Read error: Connection reset by peer) |
| 2021-06-16 05:15:56 | → | zmt00 joins (~zmt00@user/zmt00) |
| 2021-06-16 05:15:57 | → | yd502 joins (~yd502@180.168.212.6) |
| 2021-06-16 05:16:24 | <sshine> | I wouldn't say weird. if you think about how many languages have special syntax for different number bases, you mostly see languages that let you specify decimal, 0octal and 0xhex, and rarely 0bbinary. wouldn't you agree? |
| 2021-06-16 05:16:56 | → | Codaraxis_ joins (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) |
| 2021-06-16 05:17:03 | <mikko> | i've mostly dealt with languages with the 0bbinary |
All times are in UTC.