Logs on 2025-10-24 (liberachat/#haskell)
| 00:00:45 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 00:04:35 | × | jreicher quits (~user@user/jreicher) (Quit: In transit) |
| 00:11:53 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:12:38 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Remote host closed the connection) |
| 00:13:31 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 00:16:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 00:22:24 | caconym7478798 | is now known as caconym |
| 00:23:20 | ← | caconym parts (~caconym@user/caconym) (bye) |
| 00:27:20 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:30:13 | → | tabaqui joins (~tabaqui@167.71.80.236) |
| 00:32:16 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 00:34:17 | × | haltingsolver quits (~cmo@2604:3d09:207f:8000::d1dc) (Remote host closed the connection) |
| 00:34:40 | → | haltingsolver joins (~cmo@2604:3d09:207f:8000::d1dc) |
| 00:38:37 | × | otto_s quits (~user@p5de2fc78.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 00:38:58 | × | haltingsolver quits (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 256 seconds) |
| 00:40:10 | → | otto_s joins (~user@p5b044bdd.dip0.t-ipconnect.de) |
| 00:40:32 | × | tabaqui quits (~tabaqui@167.71.80.236) (Ping timeout: 244 seconds) |
| 00:41:31 | meinside- | is now known as meinside |
| 00:42:22 | → | tabaqui joins (~tabaqui@167.71.80.236) |
| 00:43:07 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:49:44 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 00:49:56 | × | trickard_ quits (~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 00:50:09 | → | trickard_ joins (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 00:50:18 | × | xff0x quits (~xff0x@2405:6580:b080:900:fec7:9ad7:e4a7:c671) (Ping timeout: 256 seconds) |
| 00:50:18 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 256 seconds) |
| 00:50:25 | × | ystael_ quits (~ystael@user/ystael) (Ping timeout: 264 seconds) |
| 00:52:09 | → | ystael joins (~ystael@user/ystael) |
| 00:56:49 | × | YoungFrog quits (~youngfrog@2a02:a03f:ca07:f900:3c4e:fa7a:e07a:5a51) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in) |
| 00:57:09 | → | YoungFrog joins (~youngfrog@2a02:a03f:ca07:f900:3c4e:fa7a:e07a:5a51) |
| 01:01:10 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:05:11 | → | weary-traveler joins (~user@user/user363627) |
| 01:05:17 | → | williu5 joins (~williu5@user/williu5) |
| 01:05:36 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 01:13:19 | × | EvanR quits (~EvanR@user/evanr) (Quit: Leaving) |
| 01:14:37 | × | karenw quits (~karenw@user/karenw) (Ping timeout: 255 seconds) |
| 01:16:10 | → | Square2 joins (~Square@user/square) |
| 01:16:38 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:21:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 01:22:10 | × | qqe quits (~qqq@185.54.23.200) (Remote host closed the connection) |
| 01:27:16 | × | trickard_ quits (~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 01:27:30 | → | trickard_ joins (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 01:28:07 | → | EvanR joins (~EvanR@user/evanr) |
| 01:30:46 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 01:31:55 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 01:32:20 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:37:12 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 01:45:03 | → | robobub joins (uid248673@id-248673.uxbridge.irccloud.com) |
| 01:48:07 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:50:48 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 01:53:12 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 02:02:59 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:06:53 | trickard_ | is now known as trickard |
| 02:07:51 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 02:14:11 | × | nurupo quits (~nurupo.ga@user/nurupo) (Quit: nurupo.ga) |
| 02:14:26 | → | nurupo joins (~nurupo.ga@user/nurupo) |
| 02:18:45 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:24:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 02:24:07 | → | qqe joins (~qqq@185.54.23.200) |
| 02:28:52 | × | td_ quits (~td@i53870926.versanet.de) (Ping timeout: 260 seconds) |
| 02:34:27 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:35:14 | → | td_ joins (~td@2001:9e8:19e0:2a00:334f:6dc4:3cb7:9653) |
| 02:38:46 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 02:45:13 | × | qqe quits (~qqq@185.54.23.200) (Quit: Lost terminal) |
| 02:45:53 | × | Pozyomka quits (~pyon@user/pyon) (Quit: brb) |
| 02:47:03 | → | Pozyomka joins (~pyon@user/pyon) |
| 02:49:54 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:54:52 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 02:55:53 | × | trickard quits (~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 02:56:06 | → | trickard_ joins (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 03:00:21 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 03:00:37 | × | trickard_ quits (~trickard@cpe-55-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 03:05:40 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:09:42 | × | bggd quits (~bgg@2a01:e0a:819:1510:1b45:b7a3:b4e:5159) (Remote host closed the connection) |
| 03:10:50 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 03:13:34 | → | trickard_ joins (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 03:21:27 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:26:42 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 256 seconds) |
| 03:28:02 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 03:29:14 | → | bggd joins (~bgg@2a01:e0a:819:1510:c164:b4c3:e966:1834) |
| 03:35:58 | × | trickard_ quits (~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 03:36:12 | → | trickard_ joins (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 03:38:59 | × | Googulator35 quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 03:39:15 | → | Googulator35 joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 03:39:36 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:44:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 03:48:12 | → | aforemny_ joins (~aforemny@i577B13CB.versanet.de) |
| 03:49:25 | × | aforemny quits (~aforemny@i59F4C4D3.versanet.de) (Ping timeout: 255 seconds) |
| 03:50:17 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 03:53:37 | × | Zemy quits (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 03:53:41 | → | Zemy_ joins (~Zemy@2600:100c:b008:ae3d:44a6:41ff:fe2b:8f71) |
| 03:54:14 | → | Zemy joins (~Zemy@72.178.108.235) |
| 03:54:59 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:57:52 | × | Zemy_ quits (~Zemy@2600:100c:b008:ae3d:44a6:41ff:fe2b:8f71) (Ping timeout: 256 seconds) |
| 04:00:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 04:04:20 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:09:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 04:15:39 | → | Googulator17 joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 04:15:39 | × | Googulator35 quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 04:16:57 | × | craunts795335385 quits (~craunts@136.158.7.194) (Quit: The Lounge - https://thelounge.chat) |
| 04:19:48 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:22:22 | → | michalz joins (~michalz@185.246.207.218) |
| 04:25:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 04:25:23 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 04:27:12 | trickard_ | is now known as trickard |
| 04:34:58 | → | gmg joins (~user@user/gehmehgeh) |
| 04:35:32 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:40:21 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 04:45:40 | → | Googulator36 joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 04:45:40 | × | Googulator17 quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 04:51:18 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:56:14 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 05:01:15 | → | Lears joins (~Leary@user/Leary/x-0910699) |
| 05:01:54 | × | Leary quits (~Leary@user/Leary/x-0910699) (Ping timeout: 256 seconds) |
| 05:02:56 | Lears | is now known as Leary |
| 05:04:29 | × | trickard quits (~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 05:04:43 | → | trickard_ joins (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 05:04:56 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:11:46 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 05:11:51 | × | priime quits (~priime@2a01:4ff:f0:7ccc::1) (Quit: The Lounge - https://thelounge.chat) |
| 05:14:40 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 05:15:15 | × | trickard_ quits (~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 05:15:28 | → | trickard_ joins (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 05:17:00 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 05:18:45 | → | LainIwakura joins (~LainIwaku@user/LainIwakura) |
| 05:22:32 | → | priime joins (~priime@2a01:4ff:f0:7ccc::1) |
| 05:23:00 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:27:48 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 05:31:53 | × | LainIwakura quits (~LainIwaku@user/LainIwakura) (Quit: Client closed) |
| 05:38:47 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:39:22 | → | Enrico63 joins (~Enrico63@host-82-59-110-109.retail.telecomitalia.it) |
| 05:43:36 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 05:49:57 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 05:50:32 | × | Googulator36 quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 05:50:44 | → | Googulator36 joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 05:54:10 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:55:25 | → | LainIwakura joins (~LainIwaku@user/LainIwakura) |
| 05:57:50 | × | trickard_ quits (~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 05:58:04 | → | trickard_ joins (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 05:59:27 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 06:05:56 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:10:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 06:15:35 | × | Googulator36 quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 06:15:37 | → | Googulator24 joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 06:20:45 | → | Googulator27 joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 06:20:45 | × | Googulator24 quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 06:21:43 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:23:01 | × | ft quits (~ft@p4fc2aaeb.dip0.t-ipconnect.de) (Quit: leaving) |
| 06:26:18 | × | LainIwakura quits (~LainIwaku@user/LainIwakura) (Quit: Client closed) |
| 06:26:20 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 06:33:52 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 06:35:11 | → | srazkvt joins (~sarah@user/srazkvt) |
| 06:36:40 | → | jreicher joins (~user@user/jreicher) |
| 06:37:06 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:40:18 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 06:42:51 | → | kubrat joins (~kubrat@149.62.205.13) |
| 06:43:06 | → | LainIwakura joins (~LainIwaku@user/LainIwakura) |
| 06:45:18 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 06:55:50 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:58:47 | × | LainIwakura quits (~LainIwaku@user/LainIwakura) (Quit: Client closed) |
| 07:03:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 07:04:57 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 07:08:02 | × | tomboy64 quits (~tomboy64@user/tomboy64) (Ping timeout: 244 seconds) |
| 07:09:57 | → | tomboy64 joins (~tomboy64@user/tomboy64) |
| 07:10:48 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 256 seconds) |
| 07:12:11 | trickard_ | is now known as trickard |
| 07:22:43 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:27:32 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 07:29:47 | × | synchromesh quits (~john@2406:5a00:2412:2c00:59ee:2e5c:beb6:44e3) (Read error: Connection reset by peer) |
| 07:30:39 | → | synchromesh joins (~john@2406:5a00:2412:2c00:443f:a42a:4395:130b) |
| 07:30:43 | → | LainIwakura joins (~LainIwaku@user/LainIwakura) |
| 07:35:37 | × | Googulator27 quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 07:35:41 | → | Googulator90 joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 07:38:32 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:42:24 | × | trickard quits (~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 07:42:38 | → | trickard_ joins (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 07:43:40 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 07:45:17 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:46:47 | × | krei-se quits (~krei-se@p200300f1cf412501000000000000c8c6.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 07:47:37 | → | __monty__ joins (~toonn@user/toonn) |
| 07:57:42 | × | srazkvt quits (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 07:57:57 | → | srazkvt joins (~sarah@user/srazkvt) |
| 07:59:45 | × | Enrico63 quits (~Enrico63@host-82-59-110-109.retail.telecomitalia.it) (Quit: Client closed) |
| 08:02:17 | × | srazkvt quits (~sarah@user/srazkvt) (Read error: Connection reset by peer) |
| 08:02:30 | → | srazkvt joins (~sarah@user/srazkvt) |
| 08:05:29 | trickard_ | is now known as trickard |
| 08:06:43 | → | Enrico63 joins (~Enrico63@host-82-59-110-109.retail.telecomitalia.it) |
| 08:07:16 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 255 seconds) |
| 08:09:02 | × | srazkvt quits (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 08:09:03 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 08:09:17 | → | srazkvt joins (~sarah@user/srazkvt) |
| 08:11:35 | → | tromp joins (~textual@2001:1c00:3487:1b00:cd8f:ea15:2cfa:e4a8) |
| 08:15:42 | → | Googulator75 joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 08:15:42 | × | Googulator90 quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 08:17:06 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 08:34:51 | × | LainIwakura quits (~LainIwaku@user/LainIwakura) (Quit: Client closed) |
| 08:50:39 | → | Googulator66 joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 08:50:45 | × | Googulator75 quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 08:55:19 | × | kubrat quits (~kubrat@149.62.205.13) (Quit: Client closed) |
| 09:00:16 | × | trickard quits (~trickard@cpe-55-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 09:03:30 | → | trickard_ joins (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 09:22:39 | → | craunts795335385 joins (~craunts@136.158.7.194) |
| 09:25:37 | → | Googulator18 joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 09:25:45 | × | Googulator66 quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 09:32:00 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 09:37:36 | → | kuribas joins (~user@2a02-1810-2825-6000-123f-3da5-629e-495e.ip6.access.telenet.be) |
| 09:39:18 | × | superbil quits (~superbil@114-32-231-70.hinet-ip.hinet.net) (Read error: Connection reset by peer) |
| 09:39:41 | → | superbil joins (~superbil@114-32-231-70.hinet-ip.hinet.net) |
| 09:41:46 | → | krei-se joins (~krei-se@p5dea1e5a.dip0.t-ipconnect.de) |
| 09:47:50 | × | Enrico63 quits (~Enrico63@host-82-59-110-109.retail.telecomitalia.it) (Quit: Client closed) |
| 09:49:52 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 09:57:25 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 09:58:06 | × | srazkvt quits (~sarah@user/srazkvt) (Read error: Connection reset by peer) |
| 09:58:21 | → | srazkvt joins (~sarah@user/srazkvt) |
| 10:00:45 | → | sajenim joins (~sajenim@user/sajenim) |
| 10:00:47 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 10:02:14 | × | Square2 quits (~Square@user/square) (Ping timeout: 256 seconds) |
| 10:02:38 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 10:04:51 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 10:04:51 | × | srazkvt quits (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 10:09:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 10:12:23 | × | jreicher quits (~user@user/jreicher) (Read error: Connection reset by peer) |
| 10:12:24 | → | Enrico63 joins (~Enrico63@host-82-59-110-109.retail.telecomitalia.it) |
| 10:13:09 | × | Enrico63 quits (~Enrico63@host-82-59-110-109.retail.telecomitalia.it) (Client Quit) |
| 10:13:32 | → | jreicher joins (~user@user/jreicher) |
| 10:14:10 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 10:21:24 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 10:27:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 10:36:36 | → | Enrico63 joins (~Enrico63@host-82-59-110-109.retail.telecomitalia.it) |
| 10:38:56 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 10:39:01 | × | robobub quits (uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 10:39:02 | → | LainIwakura joins (~LainIwaku@user/LainIwakura) |
| 10:45:52 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 10:47:40 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 10:48:47 | trickard_ | is now known as trickard |
| 10:51:49 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 10:55:56 | → | kubrat joins (~kubrat@149.62.205.13) |
| 11:01:41 | → | xff0x joins (~xff0x@ai080027.d.east.v6connect.net) |
| 11:07:41 | → | Wbooze joins (~wboozE@2a02:8071:57a1:dc0:58f2:1a2c:6dc:ccad) |
| 11:07:46 | × | Wbooze quits (~wboozE@2a02:8071:57a1:dc0:58f2:1a2c:6dc:ccad) (Remote host closed the connection) |
| 11:13:24 | × | Enrico63 quits (~Enrico63@host-82-59-110-109.retail.telecomitalia.it) (Quit: Client closed) |
| 11:24:32 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 11:35:37 | → | Wbooze joins (~wboozE@2a02:8071:57a1:dc0:58f2:1a2c:6dc:ccad) |
| 11:35:40 | × | Googulator18 quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 11:35:45 | → | Googulator47 joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 11:38:07 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 246 seconds) |
| 11:38:58 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 11:43:56 | → | acidjnk joins (~acidjnk@p200300d6e71719149420a57b8c2d8a1a.dip0.t-ipconnect.de) |
| 11:51:41 | → | qqe joins (~qqq@185.54.23.200) |
| 11:53:26 | → | Enrico63 joins (~Enrico63@host-82-59-110-109.retail.telecomitalia.it) |
| 12:05:56 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 12:07:23 | × | trickard quits (~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 12:07:37 | → | trickard_ joins (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 12:12:39 | × | LainIwakura quits (~LainIwaku@user/LainIwakura) (Quit: Client closed) |
| 12:14:57 | → | srazkvt joins (~sarah@user/srazkvt) |
| 12:15:43 | → | Googulator20 joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 12:15:46 | × | Googulator47 quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 12:17:06 | × | ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (Ping timeout: 256 seconds) |
| 12:19:19 | × | kubrat quits (~kubrat@149.62.205.13) (Quit: Client closed) |
| 12:21:09 | → | Jackneill_ joins (~Jackneill@94-21-95-10.pool.digikabel.hu) |
| 12:22:06 | → | LainIwakura joins (~LainIwaku@user/LainIwakura) |
| 12:23:40 | × | Jackneill quits (~Jackneill@94-21-95-227.pool.digikabel.hu) (Ping timeout: 245 seconds) |
| 12:29:21 | × | _________ quits (~nobody@user/noodly) (Ping timeout: 250 seconds) |
| 12:31:25 | → | _________ joins (~nobody@user/noodly) |
| 12:35:35 | → | Googulator78 joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 12:35:35 | × | Googulator20 quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 12:36:19 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 12:38:38 | × | tromp quits (~textual@2001:1c00:3487:1b00:cd8f:ea15:2cfa:e4a8) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 12:39:29 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 12:48:22 | → | Guest26 joins (~Guest26@88.97.199.38) |
| 12:48:33 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 12:49:05 | × | Guest26 quits (~Guest26@88.97.199.38) (Client Quit) |
| 12:55:28 | → | weary-traveler joins (~user@user/user363627) |
| 12:56:53 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 12:57:52 | × | divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 12:58:06 | → | divlamir joins (~divlamir@user/divlamir) |
| 13:01:25 | × | wbrawner quits (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 246 seconds) |
| 13:10:17 | → | wbrawner joins (~wbrawner@static.56.224.132.142.clients.your-server.de) |
| 13:13:18 | → | ft joins (~ft@p4fc2aaeb.dip0.t-ipconnect.de) |
| 13:15:43 | → | Googulator35 joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 13:15:43 | × | Googulator78 quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 13:21:10 | → | tromp joins (~textual@2001:1c00:3487:1b00:d88f:2255:14bf:ec80) |
| 13:23:24 | × | wbrawner quits (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 252 seconds) |
| 13:25:59 | × | trickard_ quits (~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 13:26:13 | → | trickard_ joins (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 13:39:33 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 13:40:12 | → | wbrawner joins (~wbrawner@static.56.224.132.142.clients.your-server.de) |
| 13:45:21 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 seconds) |
| 13:50:44 | × | Googulator35 quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 13:50:45 | → | Googulator81 joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 13:54:29 | → | paul424 joins (~lektor@2a01:111f:1301:c700:146c:2766:6a2d:c6cd) |
| 13:55:45 | <paul424> | I have function of type : m :: forall a b. (a -> b) -> [a] -> [b] . How to prove from that : m f xs = map f (m id xs) = m id (map f xs) |
| 13:57:45 | × | trickard_ quits (~trickard@cpe-55-98-47-163.wireline.com.au) (Ping timeout: 244 seconds) |
| 13:58:14 | → | trickard__ joins (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 14:01:40 | AntiRembane | is now known as Rembane |
| 14:05:22 | <__monty__> | paul424: Without further constraints on the problem that's not provable. `m` could be bottom in Haskell, fulfilling the signature but not commuting with map. |
| 14:08:36 | × | paul424 quits (~lektor@2a01:111f:1301:c700:146c:2766:6a2d:c6cd) (Quit: Leaving) |
| 14:17:35 | → | Square2 joins (~Square@user/square) |
| 14:17:52 | <tomsmeding> | __monty__: would it not? If m is bottom, wouldn't all three expressions evaluate to bottom? |
| 14:18:27 | <tomsmeding> | in any case, they should look up free theorems, but they left already |
| 14:18:49 | <tomsmeding> | ("Theorems for free!" by Wadler) |
| 14:18:57 | <tomsmeding> | there's probably more recent material |
| 14:22:30 | <__monty__> | Hmm, you're right. |
| 14:23:48 | × | srazkvt quits (~sarah@user/srazkvt) (Ping timeout: 260 seconds) |
| 14:35:20 | × | bggd quits (~bgg@2a01:e0a:819:1510:c164:b4c3:e966:1834) (Quit: std::move) |
| 14:49:15 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 14:50:17 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 14:53:39 | × | acidjnk quits (~acidjnk@p200300d6e71719149420a57b8c2d8a1a.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 14:53:52 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 14:58:54 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 14:59:47 | × | Enrico63 quits (~Enrico63@host-82-59-110-109.retail.telecomitalia.it) (Quit: Client closed) |
| 15:03:41 | × | img_ quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 15:04:10 | × | qqe quits (~qqq@185.54.23.200) (Remote host closed the connection) |
| 15:04:59 | → | img joins (~img@user/img) |
| 15:18:10 | × | ttybitnik quits (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 15:21:35 | × | trickard__ quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 15:21:49 | → | trickard_ joins (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 15:21:54 | × | LainIwakura quits (~LainIwaku@user/LainIwakura) (Quit: Client closed) |
| 15:24:18 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 15:43:16 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 15:43:30 | → | gmg joins (~user@user/gehmehgeh) |
| 15:45:38 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 256 seconds) |
| 15:47:12 | × | synchromesh quits (~john@2406:5a00:2412:2c00:443f:a42a:4395:130b) (Read error: Connection reset by peer) |
| 15:48:18 | → | synchromesh joins (~john@2406:5a00:2412:2c00:443f:a42a:4395:130b) |
| 15:50:02 | × | yin quits (~zero@user/zero) (Remote host closed the connection) |
| 15:52:36 | → | yin joins (~zero@user/zero) |
| 15:53:26 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Quit: leaving) |
| 15:54:45 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 16:00:39 | × | yin quits (~zero@user/zero) (Remote host closed the connection) |
| 16:02:31 | → | yin joins (~zero@user/zero) |
| 16:03:24 | trickard_ | is now known as trickard |
| 16:15:22 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 256 seconds) |
| 16:16:15 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 16:24:16 | → | LainIwakura joins (~LainIwaku@user/LainIwakura) |
| 16:26:56 | × | Googulator81 quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 16:27:11 | → | Googulator81 joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 16:28:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 16:28:13 | × | kuribas quits (~user@2a02-1810-2825-6000-123f-3da5-629e-495e.ip6.access.telenet.be) (Remote host closed the connection) |
| 16:39:43 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 16:39:55 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 16:48:15 | → | acidjnk joins (~acidjnk@p200300d6e71719145522d7c0b030ad0e.dip0.t-ipconnect.de) |
| 16:50:38 | → | Googulator71 joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 16:50:39 | × | yin quits (~zero@user/zero) (Remote host closed the connection) |
| 16:50:41 | × | Googulator81 quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 16:53:08 | → | yin joins (~zero@user/zero) |
| 16:54:46 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 256 seconds) |
| 16:55:39 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 16:58:05 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 17:00:45 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 17:01:05 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 17:03:50 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 17:05:41 | → | Guest54 joins (~Guest54@95.68.100.1) |
| 17:07:11 | Guest54 | is now known as Berimor |
| 17:07:41 | × | Berimor quits (~Guest54@95.68.100.1) (Client Quit) |
| 17:08:43 | → | qqe joins (~qqq@185.54.23.200) |
| 17:10:56 | → | econo_ joins (uid147250@id-147250.tinside.irccloud.com) |
| 17:15:13 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 17:15:55 | × | tabaqui quits (~tabaqui@167.71.80.236) (Quit: WeeChat 4.7.1) |
| 17:18:02 | → | bggd joins (~bgg@2a01:e0a:819:1510:7bcd:1a48:39fb:eb8e) |
| 17:18:06 | → | jespada joins (~jespada@2800:a4:225c:5f00:7482:e18d:48f6:46e9) |
| 17:23:06 | × | jespada quits (~jespada@2800:a4:225c:5f00:7482:e18d:48f6:46e9) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 17:25:30 | × | Googulator71 quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 17:25:40 | → | Googulator71 joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 17:31:36 | <tomsmeding> | Here's an idle complaint that you may well ignore if you want to. |
| 17:31:50 | <tomsmeding> | Lists have nice syntax in Haskell, and they carry that syntax to the type level too: type-level lists are nice. |
| 17:32:04 | <tomsmeding> | However, typing environments in programming language theory are snoc lists, not cons lists. |
| 17:32:47 | <tomsmeding> | So if you have a well-typed AST indexed by a type-level list indicating the typing environment, then you have a choice: either your type-level list goes the wrong way and you hvae to mentally reverse all the time, or you use your own custom snoc list data type and lose the nice list syntax. |
| 17:33:08 | <tomsmeding> | Can't have nice things |
| 17:34:09 | <tomsmeding> | My current codebase has lists, and I have to mentally reverse all the time. I did this because I came from a codebase that had a custom data type, and the notation was ugly and verbose |
| 17:34:24 | <tomsmeding> | I want both >.< |
| 17:34:45 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 244 seconds) |
| 17:38:09 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Read error: Connection reset by peer) |
| 17:42:19 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 17:44:55 | × | Square2 quits (~Square@user/square) (Ping timeout: 246 seconds) |
| 17:45:27 | × | trickard quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 17:45:41 | → | trickard_ joins (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 17:49:00 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 17:49:22 | × | juri_ quits (~juri@implicitcad.org) (Ping timeout: 260 seconds) |
| 17:50:53 | → | juri_ joins (~juri@implicitcad.org) |
| 17:59:47 | × | trickard_ quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 18:00:01 | → | trickard_ joins (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 18:00:33 | → | karenw joins (~karenw@user/karenw) |
| 18:06:11 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 18:07:50 | → | eron joins (~eron@143.0.15.19) |
| 18:10:20 | × | ystael quits (~ystael@user/ystael) (Quit: Lost terminal) |
| 18:16:51 | <EvanR> | yeah I will go with the nice syntax and metally reverse everything |
| 18:20:20 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 18:20:23 | → | haltingsolver joins (~cmo@2604:3d09:207f:8000:d250:ea0c:366a:6e73) |
| 18:20:32 | × | eron quits (~eron@143.0.15.19) (Quit: Client closed) |
| 18:20:55 | × | Googulator71 quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 18:21:09 | → | Googulator71 joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 18:22:13 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 18:22:58 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 18:25:26 | × | Pozyomka quits (~pyon@user/pyon) (Ping timeout: 256 seconds) |
| 18:27:12 | → | Pozyomka joins (~pyon@user/pyon) |
| 18:30:55 | → | LainIwakura19 joins (~LainIwaku@user/LainIwakura) |
| 18:31:12 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:31:15 | × | LainIwakura quits (~LainIwaku@user/LainIwakura) (Ping timeout: 250 seconds) |
| 18:35:25 | → | LainIwakura joins (~LainIwaku@user/LainIwakura) |
| 18:36:23 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 18:39:27 | × | qqe quits (~qqq@185.54.23.200) (Remote host closed the connection) |
| 18:39:29 | × | LainIwakura19 quits (~LainIwaku@user/LainIwakura) (Ping timeout: 250 seconds) |
| 18:45:44 | <monochrom> | For that kind of questions, usually we assume that there is no bottom, all functions/values involved are total. |
| 18:46:08 | <monochrom> | (If the question intended to include bottom, it would not ask about = in the first place.) |
| 18:46:58 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:47:54 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 18:52:02 | <tomsmeding> | EvanR: metally? |
| 18:54:47 | <EvanR> | 🤘 |
| 19:00:33 | → | rvalue- joins (~rvalue@about/hackers/rvalue) |
| 19:01:39 | × | rvalue quits (~rvalue@about/hackers/rvalue) (Ping timeout: 252 seconds) |
| 19:06:09 | rvalue- | is now known as rvalue |
| 19:12:35 | × | Googulator71 quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 19:12:51 | → | Googulator71 joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 19:20:00 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 19:21:05 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 19:26:19 | trickard_ | is now known as trickard |
| 19:28:46 | → | jespada joins (~jespada@2800:a4:225c:5f00:301a:4a31:d5e6:2c05) |
| 19:30:18 | × | fgidim quits (~lei@user/fgarcia) (Quit: Remote host closed the connection) |
| 19:32:37 | × | karenw quits (~karenw@user/karenw) (Ping timeout: 255 seconds) |
| 19:33:50 | → | Tuplanolla joins (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) |
| 19:35:25 | → | Achylles joins (~Achylles@45.182.57.47) |
| 19:35:39 | × | Googulator71 quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 19:35:46 | → | Googulator65 joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 19:36:52 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 19:41:10 | × | target_i quits (~target_i@user/target-i/x-6023099) (Ping timeout: 255 seconds) |
| 19:42:13 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 19:43:58 | × | Achylles quits (~Achylles@45.182.57.47) (Remote host closed the connection) |
| 19:44:16 | → | Achylles joins (~Achylles@45.182.57.47) |
| 19:45:25 | × | jespada quits (~jespada@2800:a4:225c:5f00:301a:4a31:d5e6:2c05) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 19:49:04 | → | yauhsien joins (~Yau-Hsien@36-229-172-92.dynamic-ip.hinet.net) |
| 19:50:21 | × | Achylles quits (~Achylles@45.182.57.47) (Remote host closed the connection) |
| 19:51:02 | × | yauhsien quits (~Yau-Hsien@36-229-172-92.dynamic-ip.hinet.net) (Read error: Connection reset by peer) |
| 19:51:19 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 19:51:37 | → | yauhsien joins (~Yau-Hsien@36-229-172-92.dynamic-ip.hinet.net) |
| 19:55:33 | × | synchromesh quits (~john@2406:5a00:2412:2c00:443f:a42a:4395:130b) (Read error: Connection reset by peer) |
| 19:56:57 | → | synchromesh joins (~john@2406:5a00:2412:2c00:443f:a42a:4395:130b) |
| 19:59:43 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 20:04:35 | × | td_ quits (~td@2001:9e8:19e0:2a00:334f:6dc4:3cb7:9653) (Ping timeout: 244 seconds) |
| 20:05:04 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 20:06:37 | → | td_ joins (~td@i53870931.versanet.de) |
| 20:07:03 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 20:23:56 | × | yauhsien quits (~Yau-Hsien@36-229-172-92.dynamic-ip.hinet.net) (Quit: Leaving) |
| 20:24:26 | × | haltingsolver quits (~cmo@2604:3d09:207f:8000:d250:ea0c:366a:6e73) (Ping timeout: 256 seconds) |
| 20:25:38 | → | Googulator16 joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 20:25:49 | × | Googulator65 quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 20:27:37 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 20:34:37 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 20:35:46 | → | Googulator52 joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 20:36:14 | × | Googulator16 quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 20:38:21 | → | trickard___ joins (~trickard@cpe-51-98-47-163.wireline.com.au) |
| 20:39:13 | × | trickard quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Ping timeout: 255 seconds) |
| 20:42:18 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 252 seconds) |
| 20:44:49 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 246 seconds) |
| 20:52:45 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 21:03:29 | × | AlexZenon quits (~alzenon@85.174.180.65) (Ping timeout: 244 seconds) |
| 21:04:10 | × | tromp quits (~textual@2001:1c00:3487:1b00:d88f:2255:14bf:ec80) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 21:05:13 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 21:06:39 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:10:00 | → | karenw joins (~karenw@user/karenw) |
| 21:11:08 | × | LainIwakura quits (~LainIwaku@user/LainIwakura) (Quit: Client closed) |
| 21:11:33 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 21:11:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 21:13:38 | → | pavonia joins (~user@user/siracusa) |
| 21:14:22 | → | AlexZenon joins (~alzenon@85.174.180.65) |
| 21:20:53 | → | LainIwakura joins (~LainIwaku@user/LainIwakura) |
| 21:21:40 | × | AlexZenon quits (~alzenon@85.174.180.65) (Ping timeout: 256 seconds) |
| 21:22:26 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:27:20 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 21:32:26 | → | AlexZenon joins (~alzenon@85.174.180.65) |
| 21:37:50 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 21:38:16 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:38:59 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 21:42:27 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 21:43:12 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 21:47:10 | × | AlexZenon quits (~alzenon@85.174.180.65) (Ping timeout: 256 seconds) |
| 21:52:52 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 21:53:22 | → | tromp joins (~textual@2001:1c00:3487:1b00:d88f:2255:14bf:ec80) |
| 21:54:07 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:55:19 | × | michalz quits (~michalz@185.246.207.218) (Remote host closed the connection) |
| 21:55:40 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 244 seconds) |
| 21:55:54 | → | AlexZenon joins (~alzenon@85.174.180.65) |
| 22:01:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 22:02:25 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Ping timeout: 264 seconds) |
| 22:03:09 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 22:03:22 | × | tromp quits (~textual@2001:1c00:3487:1b00:d88f:2255:14bf:ec80) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 22:04:10 | × | AlexZenon quits (~alzenon@85.174.180.65) (Ping timeout: 256 seconds) |
| 22:05:22 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 272 seconds) |
| 22:06:21 | → | haltingsolver joins (~cmo@2604:3d09:207f:8000::d1dc) |
| 22:06:37 | trickard___ | is now known as trickard |
| 22:08:07 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 22:11:42 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 272 seconds) |
| 22:12:05 | → | Sgeo_ joins (~Sgeo@user/sgeo) |
| 22:12:09 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:12:22 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 256 seconds) |
| 22:14:56 | × | Sgeo quits (~Sgeo@user/sgeo) (Ping timeout: 240 seconds) |
| 22:19:10 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 22:19:27 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 256 seconds) |
| 22:25:24 | ← | haltingsolver parts (~cmo@2604:3d09:207f:8000::d1dc) (Leaving) |
| 22:30:41 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:31:59 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 22:35:27 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 22:42:21 | → | AlexZenon joins (~alzenon@85.174.180.65) |
| 22:45:00 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 22:46:27 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:48:37 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 22:50:28 | × | AlexZenon quits (~alzenon@85.174.180.65) (Ping timeout: 246 seconds) |
| 22:52:05 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 22:56:05 | × | paddymahoney quits (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 23:02:03 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 23:03:31 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:05:23 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 23:06:11 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 23:08:06 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 23:08:46 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 23:09:40 | → | haltingsolver joins (~cmo@2604:3d09:207f:8000::d1dc) |
| 23:09:54 | → | AlexZenon joins (~alzenon@85.174.180.65) |
| 23:11:33 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 23:15:13 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 23:19:17 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:24:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 23:29:30 | × | karenw quits (~karenw@user/karenw) (Ping timeout: 252 seconds) |
| 23:34:55 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 246 seconds) |
| 23:35:05 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:37:04 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 23:40:51 | × | Tuplanolla quits (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Ping timeout: 265 seconds) |
| 23:48:01 | × | ridcully quits (~ridcully@p508accdc.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 23:48:50 | → | ridcully joins (~ridcully@p508acea1.dip0.t-ipconnect.de) |
All times are in UTC on 2025-10-24.