Logs on 2026-03-25 (liberachat/#haskell)
| 00:08:07 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 00:12:34 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 00:14:43 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds) |
| 00:23:29 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 00:27:21 | → | AlexNoo_ joins (~AlexNoo@85.174.183.240) |
| 00:27:39 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 00:28:59 | × | Alex_delenda_est quits (~al_test@5.139.233.200) (Ping timeout: 252 seconds) |
| 00:29:24 | × | AlexZenon quits (~alzenon@5.139.233.200) (Ping timeout: 256 seconds) |
| 00:30:02 | × | zb quits (jobnbg@bot.kapsi.fi) (Ping timeout: 248 seconds) |
| 00:30:02 | × | haskellbridge quits (~hackager@96.28.224.214) (Read error: Connection reset by peer) |
| 00:30:44 | × | AlexNoo quits (~AlexNoo@5.139.233.200) (Ping timeout: 245 seconds) |
| 00:33:14 | → | AlexZenon joins (~alzenon@85.174.183.240) |
| 00:34:29 | × | Athas quits (athas@sigkill.dk) (Ping timeout: 252 seconds) |
| 00:34:40 | → | Athas joins (athas@sigkill.dk) |
| 00:35:53 | × | SoF quits (~skius@user/skius) (Ping timeout: 248 seconds) |
| 00:36:01 | → | haskellbridge joins (~hackager@96.28.224.214) |
| 00:36:01 | ChanServ | sets mode +v haskellbridge |
| 00:36:25 | → | SoF joins (~skius@user/skius) |
| 00:37:07 | → | zb joins (jobnbg@bot.kapsi.fi) |
| 00:38:51 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 00:39:02 | × | constxd quits (~constxd@user/constxd) (Ping timeout: 256 seconds) |
| 00:39:25 | → | constxd joins (~constxd@user/constxd) |
| 00:42:55 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 264 seconds) |
| 00:43:17 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 00:44:59 | → | Tuplanolla joins (~Tuplanoll@88-114-89-88.elisa-laajakaista.fi) |
| 00:45:10 | × | acidjnk_new3 quits (~acidjnk@p200300d6e700e555585d04fc6db743ea.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 00:47:37 | × | tromp quits (~textual@2001:1c00:340e:2700:880e:bf72:fe9e:eec6) (Ping timeout: 248 seconds) |
| 00:50:19 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 00:51:32 | × | xff0x quits (~xff0x@ai084147.d.east.v6connect.net) (Ping timeout: 252 seconds) |
| 00:54:13 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 01:00:57 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 01:12:16 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 01:17:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 01:27:39 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 01:32:57 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 01:38:21 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 01:43:40 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 01:47:01 | → | Digitteknohippie joins (~user@user/digit) |
| 01:48:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 01:48:55 | × | Digit quits (~user@user/digit) (Ping timeout: 264 seconds) |
| 01:59:04 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 02:03:33 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 02:06:20 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 02:07:33 | × | Tuplanolla quits (~Tuplanoll@88-114-89-88.elisa-laajakaista.fi) (Quit: Leaving.) |
| 02:10:39 | × | glguy quits (glguy@libera/staff/glguy) (Quit: Quit) |
| 02:11:28 | → | glguy joins (glguy@libera/staff/glguy) |
| 02:12:23 | × | zb quits (jobnbg@bot.kapsi.fi) (Ping timeout: 252 seconds) |
| 02:12:32 | → | zb joins (jobnbg@bot.kapsi.fi) |
| 02:14:29 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 02:16:36 | Digitteknohippie | is now known as Digit |
| 02:18:49 | × | shachaf quits (~shachaf@user/shachaf) (Ping timeout: 248 seconds) |
| 02:18:58 | → | shachaf joins (~shachaf@user/shachaf) |
| 02:19:03 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 02:22:07 | × | apache quits (apache2@anubis.0x90.dk) (Remote host closed the connection) |
| 02:22:16 | → | apache2 joins (apache2@anubis.0x90.dk) |
| 02:22:50 | × | mauke quits (~mauke@user/mauke) (Ping timeout: 252 seconds) |
| 02:23:05 | × | Clint quits (~Clint@user/clint) (Ping timeout: 248 seconds) |
| 02:23:13 | → | Clint joins (~Clint@user/clint) |
| 02:26:19 | × | mud quits (~mud@user/kadoban) (Read error: Connection reset by peer) |
| 02:26:42 | × | sttau quits (~sttau@199.180.255.81) (Ping timeout: 256 seconds) |
| 02:26:50 | → | sttau joins (~sttau@199.180.255.81) |
| 02:28:01 | → | mud joins (~mud@user/kadoban) |
| 02:28:07 | → | mauke joins (~mauke@user/mauke) |
| 02:28:53 | × | acro quits (~acro@user/acro) (Ping timeout: 252 seconds) |
| 02:29:39 | → | acro joins (~acro@user/acro) |
| 02:29:48 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 02:29:59 | × | xerox quits (~edi@user/edi) (Ping timeout: 252 seconds) |
| 02:30:07 | → | xerox joins (~edi@user/edi) |
| 02:31:05 | × | nckx quits (~nckx@libera/staff/owl/nckx) (Ping timeout: 248 seconds) |
| 02:36:34 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 02:40:01 | → | nckx joins (~nckx@libera/staff/owl/nckx) |
| 02:47:49 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 02:52:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 03:03:13 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 03:03:53 | → | lbseale joins (~quassel@user/ep1ctetus) |
| 03:04:52 | × | lbseale quits (~quassel@user/ep1ctetus) (Client Quit) |
| 03:05:37 | → | lbseale joins (~quassel@user/ep1ctetus) |
| 03:07:25 | → | hakutaku joins (~textual@user/hakutaku) |
| 03:08:09 | × | lbseale quits (~quassel@user/ep1ctetus) (Client Quit) |
| 03:08:23 | × | jreicher quits (~joelr@user/jreicher) (Ping timeout: 272 seconds) |
| 03:08:42 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 03:08:53 | → | lbseale joins (~quassel@user/ep1ctetus) |
| 03:09:12 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 03:09:26 | → | jreicher joins (~joelr@user/jreicher) |
| 03:19:59 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 03:23:18 | × | Googulator quits (~Googulato@2a01-036d-0106-2888-7906-f38b-8800-979e.pool6.digikabel.hu) (Quit: Client closed) |
| 03:23:50 | → | Googulator joins (~Googulato@2a01-036d-0106-2888-7906-f38b-8800-979e.pool6.digikabel.hu) |
| 03:24:21 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 03:35:21 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 03:39:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 03:44:17 | × | Googulator quits (~Googulato@2a01-036d-0106-2888-7906-f38b-8800-979e.pool6.digikabel.hu) (Quit: Client closed) |
| 03:44:34 | → | Googulator joins (~Googulato@2a01-036d-0106-2888-7906-f38b-8800-979e.pool6.digikabel.hu) |
| 03:50:43 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 03:55:21 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 04:06:06 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 04:12:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 04:24:09 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 04:29:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 04:39:33 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 04:40:55 | → | Square2 joins (~Square@user/square) |
| 04:44:22 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 04:44:50 | × | lbseale quits (~quassel@user/ep1ctetus) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 04:54:55 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 04:59:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 05:05:37 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 05:07:16 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 05:07:23 | → | califax_ joins (~califax@user/califx) |
| 05:08:34 | × | califax quits (~califax@user/califx) (Ping timeout: 265 seconds) |
| 05:08:40 | califax_ | is now known as califax |
| 05:10:06 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 05:14:07 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 264 seconds) |
| 05:15:53 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 248 seconds) |
| 05:20:59 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 05:25:46 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 05:26:02 | <ski> | bwe : did you mean something like `f :: a -> Reader r b' and `g :: b -> Reader r c' ? (your question was kind-incorrect.) maybe using two different `r's ? |
| 05:35:25 | → | michalz joins (~michalz@185.246.207.215) |
| 05:36:22 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 05:41:06 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 05:43:30 | × | czan quits (~czan@user/mange) (Remote host closed the connection) |
| 05:51:46 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 05:58:26 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 06:06:38 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 06:08:50 | × | tremon quits (~tremon@83.80.159.219) (Remote host closed the connection) |
| 06:11:00 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 06:12:29 | × | tusko quits (~uwu@user/tusko) (Remote host closed the connection) |
| 06:12:45 | → | tusko joins (~uwu@user/tusko) |
| 06:16:42 | × | sudden quits (~cat@user/sudden) (Quit: leaving) |
| 06:17:55 | → | sudden joins (~cat@user/sudden) |
| 06:18:35 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 272 seconds) |
| 06:21:05 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 06:21:59 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 06:23:53 | → | craunts795335385 joins (~craunts@209.35.162.231) |
| 06:26:17 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 06:26:32 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 06:29:34 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 06:37:06 | × | redshuffle quits (~quassel@45.43.70.75) (Ping timeout: 248 seconds) |
| 06:37:21 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 06:39:37 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 248 seconds) |
| 06:41:04 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 06:41:53 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 06:46:01 | → | redshuffle joins (~quassel@45.43.70.75) |
| 06:51:47 | × | haskellbridge quits (~hackager@96.28.224.214) (Read error: Connection reset by peer) |
| 06:52:37 | → | CiaoSen joins (~Jura@p549cb690.dip0.t-ipconnect.de) |
| 06:52:44 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 06:54:26 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 06:55:26 | → | haskellbridge joins (~hackager@96.28.224.214) |
| 06:55:26 | ChanServ | sets mode +v haskellbridge |
| 06:57:13 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 06:57:51 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 06:57:57 | → | j1n37 joins (~j1n37@user/j1n37) |
| 07:02:29 | × | craunts795335385 quits (~craunts@209.35.162.231) (Quit: The Lounge - https://thelounge.chat) |
| 07:03:36 | → | hsw joins (~hsw@106.104.102.45) |
| 07:07:37 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 07:12:18 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 07:19:40 | → | mistivia joins (~mistivia@user/mistivia) |
| 07:23:00 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 07:29:44 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 07:30:35 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 245 seconds) |
| 07:32:29 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 07:41:02 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 07:44:33 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 07:46:03 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 07:50:01 | × | Pozyomka quits (~pyon@user/pyon) (Quit: brb) |
| 07:50:48 | → | Pozyomka joins (~pyon@user/pyon) |
| 07:55:07 | × | jreicher quits (~joelr@user/jreicher) (Ping timeout: 264 seconds) |
| 07:56:23 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 07:57:09 | → | jreicher joins (~joelr@user/jreicher) |
| 08:00:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 08:00:39 | → | elarks joins (~elarks@user/yerrii) |
| 08:07:04 | × | mistivia quits (~mistivia@user/mistivia) (Remote host closed the connection) |
| 08:07:18 | → | mistivia joins (~mistivia@user/mistivia) |
| 08:08:37 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 08:09:45 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 245 seconds) |
| 08:10:45 | → | Enrico63 joins (~Enrico63@93-40-53-249.ip37.fastwebnet.it) |
| 08:13:04 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 08:13:12 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 08:17:52 | × | emmanuelux quits (~em@user/emmanuelux) (Read error: Connection reset by peer) |
| 08:20:02 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 248 seconds) |
| 08:22:39 | × | Enrico63 quits (~Enrico63@93-40-53-249.ip37.fastwebnet.it) (Quit: Client closed) |
| 08:24:07 | → | emmanuelux joins (~em@user/emmanuelux) |
| 08:25:44 | × | _d0t quits (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 245 seconds) |
| 08:28:50 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 268 seconds) |
| 08:30:44 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 08:31:41 | → | _d0t joins (~{-d0t-}@user/-d0t-/x-7915216) |
| 08:33:46 | × | haskellbridge quits (~hackager@96.28.224.214) (Read error: Connection reset by peer) |
| 08:36:25 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 244 seconds) |
| 08:39:52 | → | haskellbridge joins (~hackager@96.28.224.214) |
| 08:39:52 | ChanServ | sets mode +v haskellbridge |
| 08:43:20 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 08:46:45 | × | emmanuelux quits (~em@user/emmanuelux) (Quit: bye) |
| 08:47:11 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 08:54:26 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 252 seconds) |
| 08:54:52 | → | merijn joins (~merijn@77.242.116.146) |
| 08:57:44 | → | acidjnk_new3 joins (~acidjnk@p200300d6e700e555e63567b446fb80a9.dip0.t-ipconnect.de) |
| 08:58:10 | × | ft quits (~ft@p508db341.dip0.t-ipconnect.de) (Quit: leaving) |
| 09:03:38 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 09:13:00 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 256 seconds) |
| 09:14:26 | × | haskellbridge quits (~hackager@96.28.224.214) (Read error: Connection reset by peer) |
| 09:20:44 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 09:20:58 | → | haskellbridge joins (~hackager@96.28.224.214) |
| 09:20:58 | ChanServ | sets mode +v haskellbridge |
| 09:24:24 | → | chele joins (~chele@user/chele) |
| 09:26:32 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 244 seconds) |
| 09:29:41 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 09:30:32 | → | gmg joins (~user@user/gehmehgeh) |
| 09:34:05 | → | tromp joins (~textual@2001:1c00:340e:2700:8c4a:e90d:5184:c89) |
| 09:34:53 | → | Enrico63 joins (~Enrico63@93-36-224-24.ip62.fastwebnet.it) |
| 09:35:30 | → | __monty__ joins (~toonn@user/toonn) |
| 09:40:30 | × | dutchie quits (~dutchie@user/dutchie) (Ping timeout: 255 seconds) |
| 09:41:01 | → | bggd__ joins (~bgg@2a01:e0a:fd5:f510:6db0:76c5:e2a7:c8cf) |
| 09:41:53 | × | mistivia quits (~mistivia@user/mistivia) (Remote host closed the connection) |
| 09:43:07 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Read error: Connection reset by peer) |
| 09:43:09 | × | Enrico63 quits (~Enrico63@93-36-224-24.ip62.fastwebnet.it) (Quit: Client closed) |
| 09:43:58 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 09:44:42 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 09:51:36 | → | dutchie joins (~dutchie@user/dutchie) |
| 09:51:57 | × | drdo quits (~drdo@2a01:4f8:1c1c:4976::1) (Quit: Oh no!) |
| 10:03:19 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 264 seconds) |
| 10:04:12 | → | Guest99 joins (~Guest64@124.60.5.43) |
| 10:04:24 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 10:09:19 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 10:10:18 | × | haskellbridge quits (~hackager@96.28.224.214) (Read error: Connection reset by peer) |
| 10:10:56 | × | Buliarous quits (~gypsydang@46.232.210.139) (Remote host closed the connection) |
| 10:12:18 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 10:13:14 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 10:13:40 | × | dutchie quits (~dutchie@user/dutchie) (Ping timeout: 269 seconds) |
| 10:13:54 | → | dutchie joins (~dutchie@user/dutchie) |
| 10:14:15 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 255 seconds) |
| 10:15:10 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 245 seconds) |
| 10:17:04 | → | haskellbridge joins (~hackager@96.28.224.214) |
| 10:17:04 | ChanServ | sets mode +v haskellbridge |
| 10:21:00 | × | Guest99 quits (~Guest64@124.60.5.43) (Quit: Client closed) |
| 10:28:57 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 10:29:45 | → | acidjnk_new joins (~acidjnk@p200300d6e700e548e04f79b7362eb2f4.dip0.t-ipconnect.de) |
| 10:32:53 | × | acidjnk_new3 quits (~acidjnk@p200300d6e700e555e63567b446fb80a9.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 10:37:08 | → | mistivia joins (~mistivia@user/mistivia) |
| 10:42:14 | × | hakutaku quits (~textual@user/hakutaku) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 10:55:26 | × | FANTOM quits (~fantom@90.251.214.54) (Ping timeout: 265 seconds) |
| 11:04:09 | × | tromp quits (~textual@2001:1c00:340e:2700:8c4a:e90d:5184:c89) (Read error: Connection reset by peer) |
| 11:07:09 | × | Googulator quits (~Googulato@2a01-036d-0106-2888-7906-f38b-8800-979e.pool6.digikabel.hu) (Quit: Client closed) |
| 11:07:42 | → | Googulator joins (~Googulato@2a01-036d-0106-2888-7906-f38b-8800-979e.pool6.digikabel.hu) |
| 11:09:21 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 11:10:54 | → | FANTOM joins (~fantom@90.251.214.54) |
| 11:11:38 | → | xff0x joins (~xff0x@2405:6580:b080:900:6689:b5ed:8d4a:6974) |
| 11:12:16 | <moonshield2> | bn qa |
| 11:12:18 | <moonshield2> | .kkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkk |
| 11:12:20 | <moonshield2> | kkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkk |
| 11:12:22 | <moonshield2> | kkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkk |
| 11:12:24 | <moonshield2> | kkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkk |
| 11:12:26 | <moonshield2> | kkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkk |
| 11:12:28 | <moonshield2> | kkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkk |
| 11:12:30 | <moonshield2> | kkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkk |
| 11:12:32 | <moonshield2> | kkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkk |
| 11:12:34 | <moonshield2> | kkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkk |
| 11:12:36 | <moonshield2> | kkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkk |
| 11:12:38 | <moonshield2> | kkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkk |
| 11:12:40 | <moonshield2> | kkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkk |
| 11:12:42 | <moonshield2> | kkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkk |
| 11:12:44 | <moonshield2> | kkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkk |
| 11:12:44 | × | moonshield2 quits (~moonshiel@31.41.187.38) (Quit: WeeChat 2.3) |
| 11:13:17 | <FANTOM> | lol |
| 11:14:23 | × | divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 11:14:37 | → | divlamir joins (~divlamir@user/divlamir) |
| 11:15:57 | × | Square2 quits (~Square@user/square) (Ping timeout: 268 seconds) |
| 11:16:58 | → | danza joins (~danza@user/danza) |
| 11:18:38 | × | danza quits (~danza@user/danza) (Remote host closed the connection) |
| 11:25:07 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Read error: Connection reset by peer) |
| 11:26:43 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 11:40:05 | → | Enrico63 joins (~Enrico63@85.255.235.55) |
| 11:45:48 | → | danza joins (~danza@user/danza) |
| 11:50:04 | → | oskarw joins (~user@user/oskarw) |
| 11:50:32 | × | Ranhir quits (~Ranhir@157.97.53.139) (Ping timeout: 265 seconds) |
| 11:52:49 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Read error: Connection reset by peer) |
| 11:53:49 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 11:56:57 | × | CiaoSen quits (~Jura@p549cb690.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 11:58:34 | × | oskarw quits (~user@user/oskarw) (Remote host closed the connection) |
| 11:59:02 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 256 seconds) |
| 12:04:30 | → | Ranhir joins (~Ranhir@157.97.53.139) |
| 12:04:30 | × | traxex quits (traxex@user/traxex) (Ping timeout: 255 seconds) |
| 12:07:42 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 12:12:46 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 12:13:57 | <gentauro> | somebody is agreeng to something |
| 12:19:22 | × | Enrico63 quits (~Enrico63@85.255.235.55) (Ping timeout: 245 seconds) |
| 12:22:24 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 245 seconds) |
| 12:24:29 | → | danz28618 joins (~danza@user/danza) |
| 12:26:21 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 12:26:31 | → | weary-traveler joins (~user@user/user363627) |
| 12:26:43 | × | danza quits (~danza@user/danza) (Ping timeout: 264 seconds) |
| 12:31:07 | → | CiaoSen joins (~Jura@p549cb690.dip0.t-ipconnect.de) |
| 12:31:27 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 246 seconds) |
| 12:31:40 | × | danz28618 quits (~danza@user/danza) (Remote host closed the connection) |
| 12:36:34 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 12:37:44 | → | craunts795335385 joins (~craunts@152.32.99.2) |
| 12:42:18 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 255 seconds) |
| 12:43:28 | → | arandombit joins (~arandombi@2a02:2455:8656:7100:d4c8:c45c:e236:4954) |
| 12:43:28 | × | arandombit quits (~arandombi@2a02:2455:8656:7100:d4c8:c45c:e236:4954) (Changing host) |
| 12:43:28 | → | arandombit joins (~arandombi@user/arandombit) |
| 12:54:47 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 12:58:45 | → | tromp joins (~textual@2001:1c00:340e:2700:8c4a:e90d:5184:c89) |
| 13:00:26 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 244 seconds) |
| 13:01:58 | AlexNoo_ | is now known as AlexNoo |
| 13:02:25 | <mesaoptimizer> | so can I say that ad-hoc polymorphism is when the denotational semantics of the function is defined 'case-by-case' for every argument, while parametric polymorphism allows for composition? |
| 13:02:35 | → | Alex_delenda_est joins (~al_test@85.174.183.240) |
| 13:03:27 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 13:08:34 | → | drdo joins (~drdo@2a01:4f8:1c1c:4976::1) |
| 13:10:10 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 248 seconds) |
| 13:20:02 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 13:21:27 | → | Putonlalla1 joins (~Putonlall@it-cyan.it.jyu.fi) |
| 13:23:15 | × | Putonlalla quits (~Putonlall@it-cyan.it.jyu.fi) (Killed (NickServ (GHOST command used by Putonlalla1))) |
| 13:23:19 | Putonlalla1 | is now known as Putonlalla |
| 13:23:35 | × | Putonlalla quits (~Putonlall@it-cyan.it.jyu.fi) (Client Quit) |
| 13:23:43 | → | Putonlalla joins (~Putonlall@it-cyan.it.jyu.fi) |
| 13:27:18 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 268 seconds) |
| 13:31:08 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Read error: Connection reset by peer) |
| 13:32:56 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 13:35:24 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 13:39:37 | → | arandombit joins (~arandombi@user/arandombit) |
| 13:41:50 | → | Tuplanolla joins (~Tuplanoll@88-114-89-88.elisa-laajakaista.fi) |
| 13:44:43 | × | edwtjo quits (~edwtjo@fsf/member/edwtjo) (Ping timeout: 264 seconds) |
| 13:50:02 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 13:52:21 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Read error: Connection reset by peer) |
| 13:53:00 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 14:00:51 | <hc> | Hi all, quick question, out of curiosity; any of the package maintainers here use LLMs to help contribute to the source code? |
| 14:02:23 | → | arandombit joins (~arandombi@user/arandombit) |
| 14:02:33 | × | mistivia quits (~mistivia@user/mistivia) (Remote host closed the connection) |
| 14:02:59 | → | mistivia joins (~mistivia@user/mistivia) |
| 14:04:52 | <mesaoptimizer> | hc: I'm not a package maintainer, but I'm curious as to why you ask. What's on your mind? |
| 14:06:47 | <hc> | I'm just curious. I'm trying to learn what differend groups of people think of the code writing LLMs |
| 14:07:02 | <hc> | I think haskell developers have a special awareness of languages so it makes sense for me to ask here |
| 14:07:12 | <hc> | I am currently quite undecided and confused about the whole LLM situation |
| 14:07:27 | <hc> | Maybe it's a question for haskell-offtopic, though |
| 14:07:36 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Read error: Connection reset by peer) |
| 14:08:03 | × | mistivia quits (~mistivia@user/mistivia) (Remote host closed the connection) |
| 14:08:16 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 14:08:17 | → | mistivia joins (~mistivia@user/mistivia) |
| 14:09:51 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 268 seconds) |
| 14:12:03 | × | mistivia quits (~mistivia@user/mistivia) (Remote host closed the connection) |
| 14:13:21 | → | mistivia joins (~mistivia@user/mistivia) |
| 14:13:39 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 255 seconds) |
| 14:23:49 | → | arandombit joins (~arandombi@2a02:2455:8656:7100:f0ad:e176:99b:1fa4) |
| 14:23:49 | × | arandombit quits (~arandombi@2a02:2455:8656:7100:f0ad:e176:99b:1fa4) (Changing host) |
| 14:23:49 | → | arandombit joins (~arandombi@user/arandombit) |
| 14:24:42 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 14:26:47 | × | mistivia quits (~mistivia@user/mistivia) (Remote host closed the connection) |
| 14:27:08 | → | mistivia joins (~mistivia@user/mistivia) |
| 14:31:51 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 246 seconds) |
| 14:32:20 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 14:35:25 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 14:36:01 | × | redshuffle quits (~quassel@45.43.70.75) (Remote host closed the connection) |
| 14:36:09 | → | redshuffle joins (~quassel@45.43.70.75) |
| 14:40:02 | → | edwtjo joins (~edwtjo@h-85-24-143-65.A213.priv.bahnhof.se) |
| 14:40:02 | × | edwtjo quits (~edwtjo@h-85-24-143-65.A213.priv.bahnhof.se) (Changing host) |
| 14:40:02 | → | edwtjo joins (~edwtjo@fsf/member/edwtjo) |
| 14:42:42 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 246 seconds) |
| 14:43:32 | × | haskellbridge quits (~hackager@96.28.224.214) (Read error: Connection reset by peer) |
| 14:46:54 | × | Googulator quits (~Googulato@2a01-036d-0106-2888-7906-f38b-8800-979e.pool6.digikabel.hu) (Quit: Client closed) |
| 14:49:52 | → | haskellbridge joins (~hackager@96.28.224.214) |
| 14:49:52 | ChanServ | sets mode +v haskellbridge |
| 14:49:59 | × | Pozyomka quits (~pyon@user/pyon) (Quit: WeeChat 4.8.2) |
| 14:50:32 | → | Pozyomka joins (~pyon@user/pyon) |
| 14:50:45 | × | Pozyomka quits (~pyon@user/pyon) (Client Quit) |
| 14:50:55 | → | Pozyomka joins (~pyon@user/pyon) |
| 14:57:30 | → | Enrico63 joins (~Enrico63@93-36-224-24.ip62.fastwebnet.it) |
| 14:57:57 | → | Square2 joins (~Square@user/square) |
| 14:57:59 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 15:01:51 | → | machinedgod joins (~machinedg@d172-219-48-230.abhsia.telus.net) |
| 15:08:41 | × | CiaoSen quits (~Jura@p549cb690.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 15:10:42 | <pfc> | hc: outside of few extremists, I think you'll get the similar answer of "use it responsibly" to "'automate' the boilerplate." |
| 15:10:56 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Read error: Connection reset by peer) |
| 15:11:35 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 15:16:57 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 248 seconds) |
| 15:20:56 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 15:22:04 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 15:28:33 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 246 seconds) |
| 15:35:02 | → | Googulator joins (~Googulato@2a01-036d-0106-2888-7906-f38b-8800-979e.pool6.digikabel.hu) |
| 15:38:48 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 15:42:19 | × | Digit quits (~user@user/digit) (Ping timeout: 264 seconds) |
| 15:44:53 | <hc> | pfc: kk |
| 15:45:08 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 256 seconds) |
| 15:52:03 | <aka_dude> | Something just came to my head: in Rust, for example, they write `(...)` to group expressions and `{ ... }` to allow a block of statements to act as an expression. They could just use parentheses in both cases, right? `(a; b; c)` instead of `{ a; b; c }` would be unambigious? |
| 15:53:06 | seven3_ | is now known as seven3 |
| 15:53:16 | ← | seven3 parts (~seven3@user/seven3) (ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.2)) |
| 15:53:39 | <aka_dude> | I wrote a thin syntax-only transpiler from "better C" to C (as one does) and now I'm thinking that I could ditch {} for blocks and only use them for data, and just use () for both blocks and grouping |
| 15:54:13 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 15:54:19 | <haskellbridge> | <ijouw> I'm definitly missing context, but I also don't know Rust. |
| 15:55:23 | <haskellbridge> | <ijouw> But if it is clear where statements and where expressions are, that seems possible. |
| 15:56:07 | <aka_dude> | It becomes clear when it's followed by `;` |
| 15:56:43 | × | gmg quits (~user@user/gehmehgeh) (Ping timeout: 265 seconds) |
| 15:56:44 | <aka_dude> | (it = expression) |
| 15:57:24 | <haskellbridge> | <ijouw> Maybe they don't like backtracking parsers (seems like you need it for that)? |
| 15:57:35 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 15:58:50 | → | gmg joins (~user@user/gehmehgeh) |
| 15:59:27 | <aka_dude> | In `{ a(); b(); c() }` , the parser desides that `a()` is actually a expression-as-statement when it encounters `;`. I don't think that counts as backtracing 😀 But I don't know much theory |
| 15:59:51 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 255 seconds) |
| 16:00:29 | → | DetourNe- joins (~DetourNet@user/DetourNetworkUK) |
| 16:00:35 | × | DetourNetworkUK quits (~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 16:01:49 | → | Digit joins (~user@user/digit) |
| 16:02:49 | DetourNe- | is now known as DetourNetworkUK |
| 16:03:05 | <haskellbridge> | <ijouw> I don't think that is backtracking. If all expr are stmt then you only need backtracking when it fails to parse as expr but is stmt. |
| 16:07:04 | × | jrm quits (~jrm@user/jrm) (Quit: ciao) |
| 16:07:24 | → | jrm joins (~jrm@user/jrm) |
| 16:10:37 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 16:11:29 | → | gmg joins (~user@user/gehmehgeh) |
| 16:16:36 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 16:17:40 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 16:25:31 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 264 seconds) |
| 16:36:15 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 16:51:48 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Remote host closed the connection) |
| 16:53:43 | × | euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 16:57:22 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 17:02:12 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds) |
| 17:06:08 | → | tremon joins (~tremon@83.80.159.219) |
| 17:08:07 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 17:23:19 | × | mistivia quits (~mistivia@user/mistivia) (Quit: Leaving) |
| 17:24:29 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 17:25:58 | × | slomp quits (~slomp@47-158-212-88.lsan.ca.frontiernet.net) (Ping timeout: 265 seconds) |
| 17:25:58 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 17:26:50 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 245 seconds) |
| 17:30:32 | → | euphores joins (~SASL_euph@user/euphores) |
| 17:31:43 | × | Enrico63 quits (~Enrico63@93-36-224-24.ip62.fastwebnet.it) (Quit: Client closed) |
| 17:41:24 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 17:42:23 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 17:43:35 | → | st_aldini joins (~Betterbir@2605:a601:a07c:7426:ecad:2043:34c4:9f7a) |
| 17:44:51 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 17:48:30 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 245 seconds) |
| 17:49:16 | × | elarks quits (~elarks@user/yerrii) (Quit: WeeChat 4.7.1) |
| 17:49:57 | × | st_aldini quits (~Betterbir@2605:a601:a07c:7426:ecad:2043:34c4:9f7a) (Ping timeout: 246 seconds) |
| 17:50:22 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 17:50:25 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 17:51:41 | → | elarks joins (~elarks@user/yerrii) |
| 17:53:04 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 17:56:25 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 17:57:49 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 17:58:47 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 17:59:01 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 18:00:56 | → | poscat joins (~poscat@user/poscat) |
| 18:05:40 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 256 seconds) |
| 18:10:27 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 18:11:59 | <haskellbridge> | <sm> hc it's not just you. Any specific questions ? |
| 18:16:33 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 246 seconds) |
| 18:22:49 | <hc> | I don't know enough yet to have specific questions |
| 18:26:15 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 18:28:45 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 18:29:38 | × | bggd__ quits (~bgg@2a01:e0a:fd5:f510:6db0:76c5:e2a7:c8cf) (Quit: std::move) |
| 18:30:05 | <haskellbridge> | <sm> we're discussing it in #hledger:matrix.org (https://matrix.to/#/#hledger:matrix.org), FYI |
| 18:31:03 | <hc> | kk, thx |
| 18:31:06 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 18:31:14 | She | is now known as ehS |
| 18:31:50 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 18:32:09 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 248 seconds) |
| 18:40:36 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 18:41:10 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 18:46:25 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 245 seconds) |
| 18:51:44 | × | infinity0 quits (~infinity0@pwned.gg) (Ping timeout: 252 seconds) |
| 18:58:13 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 19:00:54 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 19:13:13 | → | infinity0 joins (~infinity0@pwned.gg) |
| 19:14:11 | × | Digit quits (~user@user/digit) (Quit: switching init and wm) |
| 19:17:33 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 19:18:36 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 19:19:12 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 255 seconds) |
| 19:26:38 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Read error: Connection reset by peer) |
| 19:27:24 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 19:32:42 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 255 seconds) |
| 19:37:13 | → | slomp joins (~slomp@47-158-212-88.lsan.ca.frontiernet.net) |
| 19:37:31 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 19:37:43 | → | __monty__ joins (~toonn@user/toonn) |
| 19:38:11 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 19:39:20 | → | ft joins (~ft@p508db341.dip0.t-ipconnect.de) |
| 19:43:56 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 20:14:57 | × | Square2 quits (~Square@user/square) (Ping timeout: 244 seconds) |
| 20:17:34 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 20:20:25 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 248 seconds) |
| 20:21:03 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 20:23:01 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 20:25:11 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 20:28:10 | → | arandombit joins (~arandombi@2a02:2455:8656:7100:85cf:8971:c9f1:6248) |
| 20:28:10 | × | arandombit quits (~arandombi@2a02:2455:8656:7100:85cf:8971:c9f1:6248) (Changing host) |
| 20:28:10 | → | arandombit joins (~arandombi@user/arandombit) |
| 20:28:16 | → | Digit joins (~user@user/digit) |
| 20:29:36 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 20:29:37 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 20:38:43 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 264 seconds) |
| 20:40:34 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 20:42:48 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 20:44:39 | → | CiaoSen joins (~Jura@p549cb690.dip0.t-ipconnect.de) |
| 20:45:09 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 20:45:25 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 20:46:39 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 20:46:56 | → | pavonia joins (~user@user/siracusa) |
| 20:49:25 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 20:52:39 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 246 seconds) |
| 20:55:55 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 20:56:47 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 21:00:26 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 21:02:25 | → | lisbeths joins (uid135845@id-135845.lymington.irccloud.com) |
| 21:04:08 | <jreicher> | mesaoptimizer: what you've said about polymorphism doesn't sound quite right. Why are you referring to composition, for example? |
| 21:06:43 | <mesaoptimizer> | jreicher: something like [[c1; c2]] = [[c1]] . [[c2]] in elementary denotational semantics terms |
| 21:11:18 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 21:13:29 | × | michalz quits (~michalz@185.246.207.215) (Remote host closed the connection) |
| 21:15:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 21:18:35 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 252 seconds) |
| 21:19:02 | <jreicher> | I don't understand what point this makes about parametric polymorphism |
| 21:20:19 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 21:26:40 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 21:27:00 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 255 seconds) |
| 21:31:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 21:31:52 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 21:37:48 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 246 seconds) |
| 21:42:02 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 21:44:14 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 21:45:52 | → | hakutaku joins (~textual@user/hakutaku) |
| 21:48:39 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 21:52:09 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 248 seconds) |
| 21:53:27 | × | rainbyte quits (~rainbyte@181.47.219.3) (Read error: Connection reset by peer) |
| 21:55:10 | ← | sixfourtwelve parts (~ethanmorg@static.82.129.225.46.clients.your-server.de) () |
| 21:56:30 | → | rainbyte joins (~rainbyte@181.47.219.3) |
| 21:59:17 | × | hakutaku quits (~textual@user/hakutaku) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 22:00:05 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 22:02:25 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 22:03:11 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 22:04:20 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 22:04:59 | × | arandombit quits (~arandombi@user/arandombit) (Remote host closed the connection) |
| 22:08:23 | → | arandombit joins (~arandombi@user/arandombit) |
| 22:09:11 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 252 seconds) |
| 22:09:19 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds) |
| 22:13:53 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 22:15:14 | × | CiaoSen quits (~Jura@p549cb690.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 22:15:27 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 22:18:00 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 22:20:11 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 22:26:02 | → | karenw joins (~karenw@user/karenw) |
| 22:26:47 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 252 seconds) |
| 22:30:49 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 22:32:40 | × | rabbull quits (~rabbull@user/rabbull) (Read error: Connection reset by peer) |
| 22:33:29 | → | rabbull joins (~rabbull@user/rabbull) |
| 22:35:47 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 22:42:23 | → | beagles_ joins (~beagles@142.163.133.95) |
| 22:42:55 | × | beagles quits (~beagles@142.163.133.95) (Ping timeout: 264 seconds) |
| 22:44:16 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 22:46:11 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 22:46:35 | × | arandombit quits (~arandombi@user/arandombit) (Remote host closed the connection) |
| 22:47:28 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 22:48:25 | × | Tuplanolla quits (~Tuplanoll@88-114-89-88.elisa-laajakaista.fi) (Quit: Leaving.) |
| 22:50:26 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 22:51:50 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 256 seconds) |
| 22:56:34 | × | karenw quits (~karenw@user/karenw) (Ping timeout: 245 seconds) |
| 23:00:21 | → | emmanuelux joins (~em@user/emmanuelux) |
| 23:01:09 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 23:01:35 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 23:02:27 | → | arandombit joins (~arandombi@user/arandombit) |
| 23:06:17 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 23:08:30 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 245 seconds) |
| 23:11:41 | × | lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 23:15:31 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 23:17:01 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 23:20:55 | <monochrom> | ad-hoc polymorphism just means varying by types; parametric polymorphism means uniform over all types. |
| 23:21:47 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 252 seconds) |
| 23:21:56 | <monochrom> | "negate :: Num a => a -> a" is ad-hoc-polymorphic, and yet it's "clearly" compositional. |
| 23:22:57 | × | xff0x quits (~xff0x@2405:6580:b080:900:6689:b5ed:8d4a:6974) (Quit: xff0x) |
| 23:23:59 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 23:28:56 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 23:35:01 | → | merijn joins (~merijn@62.45.136.136) |
| 23:39:39 | × | merijn quits (~merijn@62.45.136.136) (Ping timeout: 268 seconds) |
| 23:40:49 | ehS | is now known as She |
| 23:48:55 | → | xff0x joins (~xff0x@ai084147.d.east.v6connect.net) |
| 23:56:26 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
All times are in UTC on 2026-03-25.