Logs on 2025-09-24 (liberachat/#haskell)
| 00:01:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 00:04:11 | → | kaskal joins (~kaskal@84-115-235-223.cable.dynamic.surfer.at) |
| 00:06:44 | → | Tuplanolla joins (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) |
| 00:10:05 | trickard_ | is now known as trickard |
| 00:12:02 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:15:42 | → | Googulator69 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 00:15:42 | × | Googulator27 quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 00:16:59 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 00:20:53 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 00:21:20 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 00:21:28 | × | karenw_ quits (~karenw@user/karenw) (Ping timeout: 244 seconds) |
| 00:23:32 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 00:25:46 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 00:27:51 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:28:36 | × | Digit quits (~user@user/digit) (Ping timeout: 244 seconds) |
| 00:30:13 | → | Digit joins (~user@user/digit) |
| 00:30:48 | → | Axma59494 joins (~Axman6@user/axman6) |
| 00:32:47 | × | Axman6 quits (~Axman6@user/axman6) (Ping timeout: 250 seconds) |
| 00:33:06 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 00:35:42 | → | Googulator94 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 00:35:42 | × | Googulator69 quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 00:39:22 | × | Raito_Bezarius quits (~Raito@libera/contributor/wireguard.tunneler.raito-bezarius) (Ping timeout: 248 seconds) |
| 00:43:26 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 00:43:39 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:45:19 | × | xff0x quits (~xff0x@2405:6580:b080:900:58c5:f92c:e5e0:d47f) (Ping timeout: 250 seconds) |
| 00:46:19 | → | kerxphilox joins (~kerxphilo@2603:8001:9100:2aab:1432:3f88:100a:2952) |
| 00:47:15 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 00:47:52 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 00:48:20 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 00:55:42 | × | Googulator94 quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 00:55:42 | → | Googulator45 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 00:59:26 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:03:56 | → | Raito_Bezarius joins (~Raito@libera/contributor/wireguard.tunneler.raito-bezarius) |
| 01:04:26 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 01:05:58 | × | Googulator45 quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 01:06:02 | → | Googulator69 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 01:07:14 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 01:10:37 | × | Googulator69 quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Client Quit) |
| 01:10:40 | → | Googulator9 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 01:11:13 | × | Tuplanolla quits (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Quit: Leaving.) |
| 01:12:00 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 245 seconds) |
| 01:14:10 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 01:14:41 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 01:15:14 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:21:12 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 01:26:23 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 258 seconds) |
| 01:28:31 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 01:30:15 | → | arandombit joins (~arandombi@2603:7000:4600:ffbe:7054:843b:4b80:a9d) |
| 01:30:15 | × | arandombit quits (~arandombi@2603:7000:4600:ffbe:7054:843b:4b80:a9d) (Changing host) |
| 01:30:15 | → | arandombit joins (~arandombi@user/arandombit) |
| 01:32:46 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:35:27 | → | kilolympus3 joins (~kilolympu@vmi1102682.contaboserver.net) |
| 01:36:30 | → | A_Dragon joins (A_D@libera/staff/dragon) |
| 01:37:27 | → | dobblego joins (~dibblego@116.255.1.119) |
| 01:37:27 | × | dobblego quits (~dibblego@116.255.1.119) (Changing host) |
| 01:37:27 | → | dobblego joins (~dibblego@haskell/developer/dibblego) |
| 01:37:30 | → | koz_ joins (~koz@121.99.240.58) |
| 01:37:35 | → | thaumavorio_ joins (~thaumavor@thaumavor.io) |
| 01:37:48 | → | jaror3 joins (~jaror@5070ACC7.static.ziggozakelijk.nl) |
| 01:37:54 | → | sam113102 joins (~sam@modemcable200.189-202-24.mc.videotron.ca) |
| 01:38:05 | → | YoungFrawg joins (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) |
| 01:38:37 | → | shachaf_ joins (~shachaf@li227-219.members.linode.com) |
| 01:38:43 | → | jjhoo_ joins (~jahakala@user/jjhoo) |
| 01:38:58 | → | bairyn joins (~bairyn@MAIL.DIGITALKINGDOM.ORG) |
| 01:38:59 | → | jmcantre1 joins (~weechat@user/jmcantrell) |
| 01:39:01 | → | Maxdaman1us joins (~Maxdamant@user/maxdamantus) |
| 01:39:02 | × | thaumavorio quits (~thaumavor@thaumavor.io) (Ping timeout: 244 seconds) |
| 01:39:02 | × | ruvam quits (~ruvam@user/ruvam) (Ping timeout: 244 seconds) |
| 01:39:02 | × | koz quits (~koz@121.99.240.58) (Ping timeout: 244 seconds) |
| 01:39:02 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 01:39:02 | × | shachaf quits (~shachaf@user/shachaf) (Ping timeout: 244 seconds) |
| 01:39:02 | × | ByronJohnson quits (~bairyn@MAIL.DIGITALKINGDOM.ORG) (Ping timeout: 244 seconds) |
| 01:39:02 | × | Maxdamantus quits (~Maxdamant@user/maxdamantus) (Ping timeout: 244 seconds) |
| 01:39:03 | × | davean quits (~davean@davean.sciesnet.net) (Ping timeout: 244 seconds) |
| 01:39:03 | × | jjhoo quits (~jahakala@user/jjhoo) (Ping timeout: 244 seconds) |
| 01:39:03 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 01:39:03 | × | jaror quits (~jaror@5070ACC7.static.ziggozakelijk.nl) (Ping timeout: 244 seconds) |
| 01:39:03 | × | kilolympus quits (~kilolympu@vmi1102682.contaboserver.net) (Ping timeout: 244 seconds) |
| 01:39:03 | × | ringo__ quits (~ringo@157.230.117.128) (Ping timeout: 244 seconds) |
| 01:39:03 | × | gabriel_sevecek quits (~gabriel@188-167-229-200.dynamic.chello.sk) (Ping timeout: 244 seconds) |
| 01:39:03 | × | traxex quits (traxex@user/traxex) (Ping timeout: 244 seconds) |
| 01:39:03 | × | YoungFrog quits (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) (Ping timeout: 244 seconds) |
| 01:39:03 | × | dpk quits (~dpk@jains.nonceword.org) (Ping timeout: 244 seconds) |
| 01:39:03 | × | sam113101 quits (~sam@modemcable200.189-202-24.mc.videotron.ca) (Ping timeout: 244 seconds) |
| 01:39:03 | × | connrs quits (~connrs@conners.plus.com) (Ping timeout: 244 seconds) |
| 01:39:03 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 244 seconds) |
| 01:39:03 | × | byorgey quits (~byorgey@user/byorgey) (Ping timeout: 244 seconds) |
| 01:39:03 | dobblego | is now known as dibblego |
| 01:39:04 | kilolympus3 | is now known as kilolympus |
| 01:39:04 | jaror3 | is now known as jaror |
| 01:39:06 | sam113102 | is now known as sam113101 |
| 01:39:11 | YoungFrawg | is now known as YoungFrog |
| 01:39:13 | → | ringo__ joins (~ringo@157.230.117.128) |
| 01:39:23 | → | byorgey joins (~byorgey@155.138.238.211) |
| 01:39:23 | × | byorgey quits (~byorgey@155.138.238.211) (Changing host) |
| 01:39:23 | → | byorgey joins (~byorgey@user/byorgey) |
| 01:39:26 | → | connrs joins (~connrs@user/connrs) |
| 01:39:38 | → | gabriel_sevecek joins (~gabriel@188-167-229-200.dynamic.chello.sk) |
| 01:40:31 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 01:43:00 | × | gAy_Dragon quits (A_D@libera/staff/dragon) (Ping timeout: 610 seconds) |
| 01:43:08 | Axma59494 | is now known as Axman6 |
| 01:46:19 | × | yegor quits (~yegor@user/yegor) (Quit: znc) |
| 01:46:57 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 01:48:15 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 01:48:33 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:49:33 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 01:49:58 | → | yegor joins (~yegor@user/yegor) |
| 01:50:18 | → | davean joins (~davean@davean.sciesnet.net) |
| 01:51:43 | → | ruvam joins (~ruvam@user/ruvam) |
| 01:51:53 | × | Square quits (~Square4@user/square) (Ping timeout: 244 seconds) |
| 01:53:35 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 01:54:21 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 258 seconds) |
| 01:59:12 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 02:00:38 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Remote host closed the connection) |
| 02:01:59 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 02:02:02 | × | ystael quits (~ystael@user/ystael) (Ping timeout: 258 seconds) |
| 02:02:15 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Read error: Connection reset by peer) |
| 02:03:56 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 02:04:13 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 265 seconds) |
| 02:04:19 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:05:40 | × | Ranhir quits (~Ranhir@157.97.53.139) (Ping timeout: 265 seconds) |
| 02:08:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 02:13:02 | × | yegor quits (~yegor@user/yegor) (Quit: znc) |
| 02:14:23 | × | oxapentane quits (~oxapentan@user/oxapentane) (*.net *.split) |
| 02:14:23 | × | acidsys quits (~crameleon@openSUSE/member/crameleon) (*.net *.split) |
| 02:14:24 | × | dyniec quits (~dyniec@dybiec.info) (*.net *.split) |
| 02:14:24 | × | V quits (~v@ircpuzzles/2022/april/winner/V) (*.net *.split) |
| 02:14:24 | × | andreas303 quits (andreas303@is.drunk.and.ready-to.party) (*.net *.split) |
| 02:14:24 | × | nschoe quits (~nschoe@2a01:e0a:8e:a190:ec04:a931:3ffa:9fec) (*.net *.split) |
| 02:14:24 | × | pmk quits (6afe4476a1@2a03:6000:1812:100::26d) (*.net *.split) |
| 02:14:24 | × | TimWolla quits (~timwolla@2a01:4f8:150:6153:beef::6667) (*.net *.split) |
| 02:14:24 | × | _d0t quits (~{-d0t-}@user/-d0t-/x-7915216) (*.net *.split) |
| 02:14:24 | × | Fischmiep quits (~Fischmiep@user/Fischmiep) (*.net *.split) |
| 02:14:24 | × | sefidel quits (~sefidel@user/sefidel) (*.net *.split) |
| 02:14:24 | × | szkl quits (uid110435@id-110435.uxbridge.irccloud.com) (*.net *.split) |
| 02:14:24 | × | yahb2 quits (~yahb2@user/tomsmeding/bot/yahb2) (*.net *.split) |
| 02:14:24 | × | chymera quits (~chymera@ns1000526.ip-51-81-46.us) (*.net *.split) |
| 02:14:25 | × | robobub quits (uid248673@id-248673.uxbridge.irccloud.com) (*.net *.split) |
| 02:14:25 | × | alethkit quits (23bd17ddc6@sourcehut/user/alethkit) (*.net *.split) |
| 02:14:25 | × | sa quits (sid1055@id-1055.tinside.irccloud.com) (*.net *.split) |
| 02:14:25 | × | geekosaur quits (sid609282@xmonad/geekosaur) (*.net *.split) |
| 02:14:25 | × | fn_lumi quits (3d621153a5@2a03:6000:1812:100::df7) (*.net *.split) |
| 02:14:25 | × | b0o quits (0e4a0bf4c9@2a03:6000:1812:100::1bf) (*.net *.split) |
| 02:14:25 | × | semifunctor quits (~omnifunct@user/semifunctor) (*.net *.split) |
| 02:14:25 | × | hook54321 quits (sid149355@user/hook54321) (*.net *.split) |
| 02:14:25 | × | nshepperd2 quits (~nshepperd@2a01:4f9:3b:4cc9::2) (*.net *.split) |
| 02:14:25 | × | Guest7116 quits (~ds@2a02:8071:884:db60:f6b3:1ff:fe2f:d0a) (*.net *.split) |
| 02:14:25 | × | Goodbye_Vincent1 quits (cyvahl@freakshells.net) (*.net *.split) |
| 02:14:43 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 02:15:46 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 02:18:54 | → | Ranhir joins (~Ranhir@157.97.53.139) |
| 02:19:43 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:20:23 | → | oxapentane joins (~oxapentan@user/oxapentane) |
| 02:20:23 | → | acidsys joins (~crameleon@openSUSE/member/crameleon) |
| 02:20:23 | → | dyniec joins (~dyniec@dybiec.info) |
| 02:20:23 | → | V joins (~v@ircpuzzles/2022/april/winner/V) |
| 02:20:23 | → | andreas303 joins (andreas303@is.drunk.and.ready-to.party) |
| 02:20:23 | → | nschoe joins (~nschoe@2a01:e0a:8e:a190:ec04:a931:3ffa:9fec) |
| 02:20:23 | → | pmk joins (6afe4476a1@2a03:6000:1812:100::26d) |
| 02:20:23 | → | TimWolla joins (~timwolla@2a01:4f8:150:6153:beef::6667) |
| 02:20:23 | → | _d0t joins (~{-d0t-}@user/-d0t-/x-7915216) |
| 02:20:23 | → | Fischmiep joins (~Fischmiep@user/Fischmiep) |
| 02:20:23 | → | sefidel joins (~sefidel@user/sefidel) |
| 02:20:23 | → | szkl joins (uid110435@id-110435.uxbridge.irccloud.com) |
| 02:20:23 | → | yahb2 joins (~yahb2@user/tomsmeding/bot/yahb2) |
| 02:20:23 | → | chymera joins (~chymera@ns1000526.ip-51-81-46.us) |
| 02:20:23 | → | robobub joins (uid248673@id-248673.uxbridge.irccloud.com) |
| 02:20:23 | → | alethkit joins (23bd17ddc6@sourcehut/user/alethkit) |
| 02:20:23 | → | sa joins (sid1055@id-1055.tinside.irccloud.com) |
| 02:20:23 | → | geekosaur joins (sid609282@xmonad/geekosaur) |
| 02:20:23 | → | fn_lumi joins (3d621153a5@2a03:6000:1812:100::df7) |
| 02:20:23 | → | b0o joins (0e4a0bf4c9@2a03:6000:1812:100::1bf) |
| 02:20:23 | → | semifunctor joins (~omnifunct@user/semifunctor) |
| 02:20:23 | → | hook54321 joins (sid149355@user/hook54321) |
| 02:20:23 | → | nshepperd2 joins (~nshepperd@2a01:4f9:3b:4cc9::2) |
| 02:20:23 | → | Guest7116 joins (~ds@2a02:8071:884:db60:f6b3:1ff:fe2f:d0a) |
| 02:20:23 | → | Goodbye_Vincent1 joins (cyvahl@freakshells.net) |
| 02:20:23 | tungsten.libera.chat | sets mode +v yahb2 |
| 02:20:37 | → | Googulator48 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 02:20:40 | × | Googulator9 quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 02:20:46 | × | andreas303 quits (andreas303@is.drunk.and.ready-to.party) (Max SendQ exceeded) |
| 02:20:58 | <geekosaur> | whew |
| 02:21:05 | → | andreas303 joins (andreas303@is.drunk.and.ready-to.party) |
| 02:21:19 | <geekosaur> | irccloud was stuck on the wrong end of the split |
| 02:21:20 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Ping timeout: 244 seconds) |
| 02:22:47 | × | robobub quits (uid248673@id-248673.uxbridge.irccloud.com) (Ping timeout: 241 seconds) |
| 02:24:20 | × | szkl quits (uid110435@id-110435.uxbridge.irccloud.com) (Ping timeout: 244 seconds) |
| 02:24:20 | × | sa quits (sid1055@id-1055.tinside.irccloud.com) (Ping timeout: 244 seconds) |
| 02:25:43 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 255 seconds) |
| 02:25:57 | → | szkl joins (uid110435@id-110435.uxbridge.irccloud.com) |
| 02:26:24 | → | sa joins (sid1055@id-1055.tinside.irccloud.com) |
| 02:26:30 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 02:30:57 | → | robobub joins (uid248673@id-248673.uxbridge.irccloud.com) |
| 02:34:12 | → | arandombit joins (~arandombi@2603:7000:4600:ffbe:7054:843b:4b80:a9d) |
| 02:34:12 | × | arandombit quits (~arandombi@2603:7000:4600:ffbe:7054:843b:4b80:a9d) (Changing host) |
| 02:34:12 | → | arandombit joins (~arandombi@user/arandombit) |
| 02:36:14 | × | haskellbridge quits (~hackager@syn-096-028-224-214.res.spectrum.com) (Remote host closed the connection) |
| 02:37:46 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:39:21 | → | haskellbridge joins (~hackager@syn-096-028-224-214.res.spectrum.com) |
| 02:39:22 | ChanServ | sets mode +v haskellbridge |
| 02:42:34 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 02:44:15 | → | comonad joins (~comonad@p200300d027244d00b442e34853d3dae3.dip0.t-ipconnect.de) |
| 02:45:05 | × | comonad quits (~comonad@p200300d027244d00b442e34853d3dae3.dip0.t-ipconnect.de) (Client Quit) |
| 02:45:48 | → | Googulator91 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 02:46:14 | × | Googulator48 quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 02:46:21 | → | kerxphilox_ joins (~kerxphilo@2603:8001:9100:2aab:1432:3f88:100a:2952) |
| 02:48:49 | × | kerxphilox quits (~kerxphilo@2603:8001:9100:2aab:1432:3f88:100a:2952) (Ping timeout: 250 seconds) |
| 02:50:03 | → | Guest9267 joins (yegor@2600:1700:b4e0:5c40::2) |
| 02:51:38 | × | Guest9267 quits (yegor@2600:1700:b4e0:5c40::2) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 02:52:00 | → | yegorc joins (~yegor@user/yegor) |
| 02:52:02 | → | kerxphilox__ joins (~kerxphilo@2603:8001:9100:2aab:1432:3f88:100a:2952) |
| 02:52:27 | yegorc | is now known as yegor |
| 02:53:33 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:55:19 | × | kerxphilox_ quits (~kerxphilo@2603:8001:9100:2aab:1432:3f88:100a:2952) (Ping timeout: 250 seconds) |
| 02:55:31 | → | mange joins (~mange@user/mange) |
| 02:56:57 | × | pyrex quits (~pyrex@user/pyrex) (Read error: Connection reset by peer) |
| 02:57:47 | → | pyrex joins (~pyrex@user/pyrex) |
| 02:58:21 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 03:02:33 | × | jmcantre1 quits (~weechat@user/jmcantrell) (Quit: WeeChat 4.7.1) |
| 03:05:15 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 03:05:21 | jmcantrell_ | is now known as jmcantrell |
| 03:09:19 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:09:37 | × | pyrex quits (~pyrex@user/pyrex) (Ping timeout: 250 seconds) |
| 03:14:02 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 03:15:40 | × | Googulator91 quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 03:15:42 | → | Googulator53 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 03:25:06 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:30:11 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 03:31:05 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 03:31:53 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 03:32:30 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 03:39:11 | → | comonad joins (~comonad@p200300d027244d00b442e34853d3dae3.dip0.t-ipconnect.de) |
| 03:40:53 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:42:17 | × | sp1ff quits (~user@2601:1c2:4900:8209::a41) (Remote host closed the connection) |
| 03:44:47 | × | dutchie quits (~dutchie@user/dutchie) (Remote host closed the connection) |
| 03:45:54 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 03:47:15 | → | dutchie joins (~dutchie@user/dutchie) |
| 03:49:18 | <haskellbridge> | <Liamzee> fff, kimi is right, no? |
| 03:49:30 | <haskellbridge> | <Liamzee> I always thought map was a metamorphism, according to kimi, it's an anamorphism |
| 03:51:23 | → | tessier joins (~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) |
| 03:51:33 | × | Axman6 quits (~Axman6@user/axman6) (Ping timeout: 240 seconds) |
| 03:51:42 | → | pyrex joins (~pyrex@user/pyrex) |
| 03:53:18 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 03:55:08 | <Leary> | You can write `map` with both `cata` and `ana`. I don't know what a metamorphism is supposed to be. |
| 03:55:18 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 03:56:41 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:59:30 | × | aforemny_ quits (~aforemny@2001:9e8:6ce6:7800:dd29:c11d:38d8:740d) (Ping timeout: 244 seconds) |
| 03:59:56 | → | aforemny joins (~aforemny@2001:9e8:6cc5:d100:3ace:2858:c703:5d88) |
| 04:00:32 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 04:00:43 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 04:00:54 | <haskellbridge> | <Liamzee> metamorphism is unfold . fold |
| 04:01:15 | × | gabiruh_ quits (~gabiruh@vps19177.publiccloud.com.br) (Ping timeout: 258 seconds) |
| 04:02:02 | → | gabiruh joins (~gabiruh@vps19177.publiccloud.com.br) |
| 04:02:08 | <haskellbridge> | <Liamzee> i always thought of it as the definitive metamorphism, because you fold and unfold a data structure at the same time, but it seems you need discrete steps |
| 04:03:36 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 04:09:08 | <pyrex> | :t fold |
| 04:09:09 | <lambdabot> | (Foldable t, Monoid m) => t m -> m |
| 04:09:14 | <pyrex> | :t unfold |
| 04:09:15 | <lambdabot> | error: |
| 04:09:15 | <lambdabot> | • Variable not in scope: unfold |
| 04:09:15 | <lambdabot> | • Perhaps you meant one of these: |
| 04:10:22 | × | kerxphilox__ quits (~kerxphilo@2603:8001:9100:2aab:1432:3f88:100a:2952) (Ping timeout: 265 seconds) |
| 04:10:43 | × | Googulator53 quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 04:10:50 | → | Googulator6 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 04:11:50 | → | kerxphilox__ joins (~kerxphilo@2603:8001:9100:2aab:1432:3f88:100a:2952) |
| 04:12:24 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:17:20 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 04:19:04 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 265 seconds) |
| 04:20:40 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 04:24:20 | <fgarcia> | :t 1/0 |
| 04:24:20 | <lambdabot> | Fractional a => a |
| 04:24:22 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 04:28:03 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:30:56 | → | qqe joins (~qqq@185.54.23.100) |
| 04:31:09 | <pyrex> | :t :t |
| 04:31:10 | <lambdabot> | error: parse error on input ‘:’ |
| 04:32:40 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 04:34:10 | → | michalz joins (~michalz@185.246.207.203) |
| 04:37:05 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 04:37:36 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 04:37:39 | × | pyrex quits (~pyrex@user/pyrex) (Ping timeout: 258 seconds) |
| 04:38:47 | × | kerxphilox__ quits (~kerxphilo@2603:8001:9100:2aab:1432:3f88:100a:2952) (Quit: Leaving) |
| 04:39:09 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 04:43:28 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:46:18 | × | tt12310978324354 quits (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Ping timeout: 248 seconds) |
| 04:46:35 | → | tt12310978324354 joins (~tt1231@syn-075-185-104-199.res.spectrum.com) |
| 04:47:37 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 258 seconds) |
| 04:48:18 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 04:52:58 | → | pyrex joins (~pyrex@user/pyrex) |
| 04:56:03 | × | weary-traveler quits (~user@user/user363627) (Ping timeout: 258 seconds) |
| 04:56:25 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 04:57:13 | × | jmcantrell quits (~weechat@user/jmcantrell) (Quit: WeeChat 4.7.1) |
| 04:58:18 | → | weary-traveler joins (~user@user/user363627) |
| 04:59:15 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:03:40 | × | weary-traveler quits (~user@user/user363627) (Quit: Konversation terminated!) |
| 05:04:06 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 05:11:17 | × | monochrom quits (trebla@216.138.220.146) (Quit: ZNC 1.9.1+deb2build2 - https://znc.in) |
| 05:13:45 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 05:15:02 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:15:32 | × | ec__ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 272 seconds) |
| 05:16:22 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 05:19:35 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 05:26:24 | → | monochrom joins (trebla@216.138.220.146) |
| 05:30:49 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:34:33 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 05:34:55 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 05:37:51 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 05:41:35 | → | hylisper joins (~hylisper@user/hylisper) |
| 05:46:02 | × | nitrix quits (~nitrix@user/meow/nitrix) (Ping timeout: 248 seconds) |
| 05:47:47 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 05:48:52 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:51:17 | → | nitrix joins (~nitrix@user/meow/nitrix) |
| 05:53:54 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 05:54:56 | × | jreicher quits (~user@user/jreicher) (Read error: Connection reset by peer) |
| 05:56:09 | → | jreicher joins (~user@user/jreicher) |
| 06:04:39 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:07:35 | → | rvalue- joins (~rvalue@about/hackers/rvalue) |
| 06:08:09 | × | rvalue quits (~rvalue@about/hackers/rvalue) (Ping timeout: 244 seconds) |
| 06:09:39 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 06:13:30 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:14:48 | rvalue- | is now known as rvalue |
| 06:16:52 | × | aspen quits (sid449115@id-449115.helmsley.irccloud.com) (Ping timeout: 256 seconds) |
| 06:16:52 | × | Fijxu quits (~Fijxu@user/fijxu) (Ping timeout: 256 seconds) |
| 06:16:52 | × | degraafk quits (sid71464@id-71464.lymington.irccloud.com) (Ping timeout: 256 seconds) |
| 06:16:52 | × | jonrh quits (sid5185@id-5185.ilkley.irccloud.com) (Ping timeout: 256 seconds) |
| 06:17:26 | × | rselim quits (ce261f06ff@user/milesrout) (Ping timeout: 256 seconds) |
| 06:17:53 | → | h2t_ joins (~h2t@user/h2t) |
| 06:18:00 | × | jle` quits (~jle`@2603:8001:3b00:11::1156) (Ping timeout: 256 seconds) |
| 06:18:00 | × | h2t quits (~h2t@user/h2t) (Ping timeout: 256 seconds) |
| 06:18:00 | × | coldmountain quits (sid484352@id-484352.helmsley.irccloud.com) (Ping timeout: 256 seconds) |
| 06:18:06 | → | wz1000_ joins (~wz1000@2a01:4f9:c012:de50::1) |
| 06:18:15 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 06:18:34 | × | fernando-basso quits (~fernando-@2a01:4f9:c012:63d3::1) (Ping timeout: 256 seconds) |
| 06:18:34 | × | shawwwn quits (sid6132@id-6132.helmsley.irccloud.com) (Ping timeout: 256 seconds) |
| 06:18:34 | × | markasoftware quits (~quassel@2604:180:f2::217) (Ping timeout: 256 seconds) |
| 06:18:34 | × | 047AALI5L quits (~wz1000@2a01:4f9:c012:de50::1) (Ping timeout: 256 seconds) |
| 06:18:34 | × | dfordivam1 quits (~dfordivam@160.16.87.223.v6.sakura.ne.jp) (Ping timeout: 256 seconds) |
| 06:18:34 | × | flukiluke quits (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) (Ping timeout: 256 seconds) |
| 06:18:34 | × | laman quits (laman@rego.ai) (Ping timeout: 256 seconds) |
| 06:18:34 | × | picnoir quits (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (Ping timeout: 256 seconds) |
| 06:19:08 | × | myme quits (~myme@2a01:799:d5e:5f00:34cf:ff4e:49c6:2bd3) (Ping timeout: 256 seconds) |
| 06:19:36 | → | markasoftware joins (~quassel@2604:180:f2::217) |
| 06:19:47 | → | jle` joins (~jle`@2603:8001:3b00:11::1156) |
| 06:19:51 | → | Fijxu_ joins (~Fijxu@user/fijxu) |
| 06:20:03 | → | rselim joins (ce261f06ff@user/milesrout) |
| 06:20:10 | → | fernando-basso joins (~fernando-@2a01:4f9:c012:63d3::1) |
| 06:20:15 | → | laman joins (laman@rego.ai) |
| 06:20:19 | → | coldmountain joins (sid484352@id-484352.helmsley.irccloud.com) |
| 06:20:24 | → | shawwwn joins (sid6132@id-6132.helmsley.irccloud.com) |
| 06:20:31 | → | dfordivam1 joins (~dfordivam@160.16.87.223.v6.sakura.ne.jp) |
| 06:20:42 | → | myme joins (~myme@2a01:799:d5e:5f00:464e:d36:a653:d025) |
| 06:20:43 | → | flukiluke joins (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) |
| 06:21:57 | → | peterbecich joins (~Thunderbi@syn-172-222-149-049.res.spectrum.com) |
| 06:22:03 | → | lortabac joins (~lortabac@2a0d:e487:45f:4ca7:4660:8bc9:2a74:d14e) |
| 06:27:34 | <fgarcia> | you guys will probably laugh, but i finally learned how to loop in main. now i can sleep. putStr "" |
| 06:29:12 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:31:09 | → | jonrh joins (sid5185@id-5185.ilkley.irccloud.com) |
| 06:31:10 | → | aspen joins (sid449115@id-449115.helmsley.irccloud.com) |
| 06:31:11 | → | degraafk joins (sid71464@id-71464.lymington.irccloud.com) |
| 06:32:13 | → | picnoir joins (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) |
| 06:34:27 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 06:36:24 | × | lortabac quits (~lortabac@2a0d:e487:45f:4ca7:4660:8bc9:2a74:d14e) (Quit: WeeChat 4.5.2) |
| 06:38:33 | → | tromp joins (~textual@2001:1c00:3487:1b00:c5e8:54d7:3489:19df) |
| 06:44:59 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:49:53 | × | mfc_kbs- quits (~keibisoft@2a06:1fc0:0:1::1cd) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in) |
| 06:50:12 | → | mfc_kbs joins (~keibisoft@2a06:1fc0:0:1::1cd) |
| 06:50:21 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 06:56:32 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 07:00:01 | × | caconym74787 quits (~caconym@user/caconym) (Quit: bye) |
| 07:00:41 | → | caconym74787 joins (~caconym@user/caconym) |
| 07:00:48 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:01:50 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 07:01:52 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 07:02:04 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 07:02:09 | → | califax joins (~califax@user/califx) |
| 07:02:18 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 07:02:26 | × | pyrex quits (~pyrex@user/pyrex) (Ping timeout: 265 seconds) |
| 07:05:30 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 07:06:11 | → | pyrex joins (~pyrex@user/pyrex) |
| 07:06:12 | × | pyrex quits (~pyrex@user/pyrex) (Read error: Connection reset by peer) |
| 07:06:51 | → | broccoli-colonis joins (~Thunderbi@98.red-83-56-255.dynamicip.rima-tde.net) |
| 07:07:07 | → | pyrex joins (~pyrex@user/pyrex) |
| 07:07:36 | × | pyrex quits (~pyrex@user/pyrex) (Read error: Connection reset by peer) |
| 07:10:43 | × | tromp quits (~textual@2001:1c00:3487:1b00:c5e8:54d7:3489:19df) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 07:13:15 | → | dpk joins (~dpk@jains.nonceword.org) |
| 07:13:45 | → | tromp joins (~textual@2001:1c00:3487:1b00:c5e8:54d7:3489:19df) |
| 07:14:25 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:15:06 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 248 seconds) |
| 07:17:05 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 07:18:45 | → | lortabac joins (~lortabac@2a0d:e487:45f:4ca7:4660:8bc9:2a74:d14e) |
| 07:21:33 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 07:21:51 | → | traxex joins (traxex@user/traxex) |
| 07:22:38 | → | arandombit joins (~arandombi@2603:7000:4600:ffbe:15f4:44c6:cf8f:dc61) |
| 07:22:38 | × | arandombit quits (~arandombi@2603:7000:4600:ffbe:15f4:44c6:cf8f:dc61) (Changing host) |
| 07:22:38 | → | arandombit joins (~arandombi@user/arandombit) |
| 07:35:41 | → | fp joins (~Thunderbi@2001:708:20:1406::10c5) |
| 07:35:54 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
| 07:41:11 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Quit: Leaving) |
| 07:46:10 | × | poscat0x04 quits (~poscat@user/poscat) (Remote host closed the connection) |
| 07:48:12 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 07:49:14 | → | poscat joins (~poscat@user/poscat) |
| 07:50:27 | → | Enrico63 joins (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) |
| 07:53:02 | × | mange quits (~mange@user/mange) (Remote host closed the connection) |
| 07:53:32 | × | peterbecich quits (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 258 seconds) |
| 07:53:49 | <_bo> | No laughing from me, since I don't know how to loop at all :D |
| 07:56:37 | → | pyrex joins (~pyrex@user/pyrex) |
| 07:57:08 | × | lortabac quits (~lortabac@2a0d:e487:45f:4ca7:4660:8bc9:2a74:d14e) (Ping timeout: 260 seconds) |
| 07:58:03 | → | michalz_ joins (~michalz@185.246.207.203) |
| 07:58:54 | × | michalz quits (~michalz@185.246.207.203) (Ping timeout: 258 seconds) |
| 07:59:02 | → | lortabac joins (~lortabac@2a0d:e487:151e:e221:f814:ba3c:392a:2af7) |
| 08:01:20 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 08:02:03 | × | Enrico63 quits (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 08:03:27 | → | __monty__ joins (~toonn@user/toonn) |
| 08:04:00 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 08:05:17 | → | merijn joins (~merijn@77.242.116.146) |
| 08:11:00 | → | arandombit joins (~arandombi@2603:7000:4600:ffbe:15f4:44c6:cf8f:dc61) |
| 08:11:00 | × | arandombit quits (~arandombi@2603:7000:4600:ffbe:15f4:44c6:cf8f:dc61) (Changing host) |
| 08:11:00 | → | arandombit joins (~arandombi@user/arandombit) |
| 08:11:07 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 08:15:46 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 08:17:00 | A_Dragon | is now known as gAy_Dragon |
| 08:20:52 | <bwe> | _ :: Text -> Network.URI.URI -- which function do I need here? |
| 08:24:06 | × | ft quits (~ft@p4fc2a25a.dip0.t-ipconnect.de) (Quit: leaving) |
| 08:24:33 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 260 seconds) |
| 08:24:47 | × | lortabac quits (~lortabac@2a0d:e487:151e:e221:f814:ba3c:392a:2af7) (Quit: WeeChat 4.5.2) |
| 08:26:25 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 08:28:34 | → | arandombit joins (~arandombi@2603:7000:4600:ffbe:15f4:44c6:cf8f:dc61) |
| 08:28:34 | × | arandombit quits (~arandombi@2603:7000:4600:ffbe:15f4:44c6:cf8f:dc61) (Changing host) |
| 08:28:34 | → | arandombit joins (~arandombi@user/arandombit) |
| 08:29:43 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 08:30:18 | × | fp quits (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 256 seconds) |
| 08:30:43 | <jackdk> | Network.URI.parseURI . Data.Text.unpack, but be mindful that the parse might fail (it returns Maybe URI) |
| 08:30:53 | → | merijn joins (~merijn@77.242.116.146) |
| 08:32:49 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 08:38:30 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 244 seconds) |
| 08:39:25 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 08:45:31 | → | chele joins (~chele@user/chele) |
| 08:47:35 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 258 seconds) |
| 08:51:30 | <bwe> | jackdk: Thanks, another instance of how to get away with the Maybe :Q. |
| 08:52:15 | → | gmg joins (~user@user/gehmehgeh) |
| 08:53:36 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 08:53:55 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 08:54:02 | <jackdk> | Use a case expression and decide what you want to do if the parse fails, or use fmap to apply a function on the inside if you have a `Just` |
| 08:57:05 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 08:57:07 | → | Unhammer joins (~Unhammer@user/unhammer) |
| 08:58:17 | <jackdk> | Absolute worst case, you can use fromJust, but I've never needed it in nontrivial code |
| 09:00:40 | <Unhammer> | hi, in a project linking to odbc.so, I tried upgrading to ghc 9.8.4 from 9.6.7 and everything seems fine with my executable, but when I `stack test`, it rebuilds the lib and then gets an error on trying to build the test with "undefined symbol: SQLPrepareW". What changed in ghc 9.8.4 linking? |
| 09:01:15 | → | merijn joins (~merijn@77.242.116.146) |
| 09:02:43 | → | fp joins (~Thunderbi@2001:708:20:1406::10c5) |
| 09:06:33 | → | Enrico63 joins (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) |
| 09:06:33 | <Enrico63> | Hi all. I'd like some help with an exercise from https://haskell.mooc.fi/part2#lecture-15-youre-valid-even-without-monads |
| 09:06:33 | <Enrico63> | **Could you help me without spoiling the solution entirely?** |
| 09:06:34 | <Enrico63> | The exercise is this one: https://github.com/moocfi/haskell-mooc/blob/59735e76d37c5470504be4d64206cd49660e1324/exercises/Set15.hs#L172-L215 |
| 09:06:34 | <Enrico63> | I think I've correctly implemented these functions |
| 09:06:34 | × | Vajb quits (~Vajb@n74ieoy4jxary44nkr2-1.v6.elisa-mobile.fi) (Ping timeout: 248 seconds) |
| 09:06:35 | <Enrico63> | ``` |
| 09:06:35 | <Enrico63> | parseInt :: String -> Validation Arg |
| 09:06:36 | <Enrico63> | parseVar :: String -> Validation Arg |
| 09:06:36 | <Enrico63> | parseOp :: String -> Validation (Arg -> Arg -> Expression) |
| 09:06:37 | <Enrico63> | ``` |
| 09:06:37 | <Enrico63> | so I can do this |
| 09:06:38 | <Enrico63> | ``` |
| 09:06:38 | <Enrico63> | (<<|>>) = liftA2 (<|>) |
| 09:06:39 | <Enrico63> | parseIntOrVar = parseInt <<|>> parseVar |
| 09:06:39 | <Enrico63> | ``` |
| 09:06:40 | <Enrico63> | and I've verified that `parseIntOrVar` does what it should do. Furthemore, if I have 3 strings `op`, `a`, and `b`, I can run |
| 09:06:40 | <Enrico63> | ``` |
| 09:06:41 | <Enrico63> | parseOp op <*> parseIntOrVar a <*> parseIntOrVar b |
| 09:06:41 | <Enrico63> | ``` |
| 09:07:44 | → | Vajb joins (~Vajb@n7ndfx3ces7n6jnktab-1.v6.elisa-mobile.fi) |
| 09:14:09 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 seconds) |
| 09:14:37 | → | acidjnk joins (~acidjnk@p200300d6e71719544593b070e4f06c0e.dip0.t-ipconnect.de) |
| 09:18:09 | Googulator6 | is now known as Googulator |
| 09:18:45 | <__monty__> | Enrico63: And what part isn't working? |
| 09:19:34 | → | arandombit joins (~arandombi@2603:7000:4600:ffbe:15f4:44c6:cf8f:dc61) |
| 09:19:34 | × | arandombit quits (~arandombi@2603:7000:4600:ffbe:15f4:44c6:cf8f:dc61) (Changing host) |
| 09:19:34 | → | arandombit joins (~arandombi@user/arandombit) |
| 09:24:10 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 09:24:22 | <Unhammer> | … it's template haskell. If I drop the template haskell from my tests (quickcheck $forAllProperties), the linker error goes away. The quickcheck tests aren't even using that library though :-( |
| 09:26:23 | × | shr\ke quits (~shrike@user/shrke:31298) (Ping timeout: 260 seconds) |
| 09:28:53 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 265 seconds) |
| 09:28:58 | → | shr\ke joins (~shrike@user/paxhumana) |
| 09:28:58 | × | shr\ke quits (~shrike@user/paxhumana) (Changing host) |
| 09:28:58 | → | shr\ke joins (~shrike@user/shrke:31298) |
| 09:29:41 | × | AlexZenon quits (~alzenon@85.174.180.29) (Quit: ;-) |
| 09:29:54 | × | Vajb quits (~Vajb@n7ndfx3ces7n6jnktab-1.v6.elisa-mobile.fi) (Ping timeout: 252 seconds) |
| 09:30:07 | → | arandombit joins (~arandombi@user/arandombit) |
| 09:30:40 | → | Vajb joins (~Vajb@n7nfchy4dz4j3x4yypz-1.v6.elisa-mobile.fi) |
| 09:35:28 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 255 seconds) |
| 09:37:36 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 09:40:39 | <Enrico63> | __monty__, my brain, ahah. In the sense that I don't know how to plug those functions together. |
| 09:42:24 | × | qqe quits (~qqq@185.54.23.100) (Remote host closed the connection) |
| 09:45:16 | → | AlexZenon joins (~alzenon@85.174.180.29) |
| 09:45:16 | <__monty__> | Enrico63: Plug which functions together to achieve what? |
| 09:45:29 | <Enrico63> | That is, given these |
| 09:45:30 | <Enrico63> | ``` |
| 09:45:30 | <Enrico63> | liftA2 :: Applicative f => (a -> b -> c) -> f a -> f b -> f c |
| 09:45:31 | <Enrico63> | (<|>) :: Applicative f => f a -> f a -> f a |
| 09:45:31 | <Enrico63> | pure :: Applicative f => a -> f a |
| 09:45:32 | <Enrico63> | parseInt :: String -> Validation Arg |
| 09:45:32 | <Enrico63> | parseVar :: String -> Validation Arg |
| 09:45:33 | <Enrico63> | parseOp :: String -> Validation (Arg -> Arg -> Expression) |
| 09:45:33 | <Enrico63> | parseThreeWords :: String -> Validation (String, String, String) |
| 09:45:34 | <Enrico63> | ``` |
| 09:45:34 | <Enrico63> | I don't know how to implement this: |
| 09:45:35 | <Enrico63> | ``` |
| 09:45:35 | <Enrico63> | parseExpression :: String -> Validation Expression |
| 09:45:36 | <Enrico63> | ``` |
| 09:45:36 | <Enrico63> | probably `parseThreeWords` (in my first message I called it `parseExpr`, sorry) is what I've given the wrong signature to.. |
| 09:46:04 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Remote host closed the connection) |
| 09:46:20 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 09:46:26 | <tomsmeding> | Unhammer: something unrelated with template haskell, but try adding `other-extension: TemplateHaskell` to the components in your cabal file that use the TemplateHaskell extension somewhere in the source files |
| 09:46:50 | <Enrico63> | With just `parseInt`, `parseVar`, `parseOp`, I know I can implement `parseExpression`, but then it lacks the check on the number of words in the input string, which should be 3. |
| 09:46:58 | <tomsmeding> | Unhammer: it fixed some strange linking error with TH for me at some point; I think it was a different error, but who knows |
| 09:48:05 | <Unhammer> | i already had that :-/ |
| 09:48:38 | <Unhammer> | hm, but what if I put the TH in a lib … |
| 09:48:50 | <__monty__> | Enrico63: Don't you need to properly split the String in order to feed the correct bits to parseOp and parseIntOrVar? |
| 09:49:34 | <Enrico63> | Yes, and that's what my current implementation of `parseThreeWords` is doing. It takes a single `String`, and gives back a `Validation (String, String, String)`. |
| 09:49:38 | → | merijn joins (~merijn@77.242.116.146) |
| 09:50:16 | <tomsmeding> | what are you supposed to do if the input string has more than 3 words? |
| 09:50:59 | <Enrico63> | Still produce an error via `Validation`. |
| 09:51:27 | <tomsmeding> | are you allowed to use (>>=) on Validation |
| 09:51:32 | → | dhil joins (~dhil@5.151.29.141) |
| 09:51:35 | <Enrico63> | (Since it's the only exercise left in that batch, I could submit it and then lookup the solutions, but I want to understand first :( ) |
| 09:52:22 | <Enrico63> | Wait... am I under the mistaken assumption that Validation is not a Monad... ? Let me check. I rember I've explicitly read it is not. |
| 09:53:10 | <tomsmeding> | well if splitting is a partial operation (String -> Validation (String,String,String)) and parsing individual components also is (String -> Validation Arg), then you ain't gonna put them together without (>>=) |
| 09:53:11 | <Enrico63> | Confirm. It is Applicative, but isn't a Monad. |
| 09:54:13 | <Leary> | Enrico63: How about `hasThreeWords :: String -> Validation ()`? |
| 09:54:16 | <Enrico63> | Yeah, I thought the same. As in, I feel like I'd need Monad for doing what is requested, but Validation is definitely not a Monad. |
| 09:54:25 | <tomsmeding> | oh maybe the idea is that you use `orElse`? |
| 09:55:04 | <tomsmeding> | perhaps not orElse since that throws away the error if it's a failure |
| 09:55:38 | <Enrico63> | Leary, I've tried that, but I don't get, in the case of that failing, how to prevent the rest of the validation from running |
| 09:56:02 | <tomsmeding> | I've never worked with Validation specifically, but `Validation e a -> a -> (a -> Validation e b) -> Validation e b` is implementable, I think -- where the loose 'a' argument is a default for when the first argument is a failure |
| 09:56:13 | <tomsmeding> | not sure if Validation has a function with that functionality |
| 09:56:52 | <Leary> | Enrico63: Are you sure you don't want it to keep running? |
| 09:58:20 | <tomsmeding> | yeah what Leary says is the key point I think |
| 09:58:26 | <Enrico63> | Leary, I'm gonna try |
| 09:58:41 | <Leary> | (collecting as many warnings/errors as possible from the input is kinda the point of validation) |
| 09:59:02 | <Unhammer> | So as a workaround to my TH woes I can put all my tests in src/, putting them in the main library. Is it possible to have two libraries in one .cabal file? stack doesn't seem to let me build project:lib:library2, only project:lib |
| 09:59:09 | <Enrico63> | So you're saying that I should fire an error in case there's more than 3 words, but then I should disregard those additional words, rather than hard erroring, when doing the rest of the validation. |
| 09:59:43 | <Leary> | Probably. It's a reasonable option anyway. |
| 10:00:03 | <tomsmeding> | Unhammer: it is definitely possible to have multiple libraries in one .cabal file; at most one of them will be the "main" library (headed by `library`), the others will be sublibraries (headed by `library some-name`) |
| 10:00:21 | <tomsmeding> | Unhammer: whether stack is happy with that I dunno, but cabal supports that first-class |
| 10:00:22 | <Enrico63> | Leary, I see. In this case I just had the solution in front of me for the whole time. Let me try. |
| 10:01:29 | <tomsmeding> | Enrico63: and do not there is bindValidation |
| 10:01:53 | <tomsmeding> | which allows you, if I understand correctly, to "stop progressing" if an error occurred |
| 10:02:05 | <tomsmeding> | but you may or may not want to actually use that, as Leary argued |
| 10:05:02 | × | mud quits (~mud@user/kadoban) (Ping timeout: 258 seconds) |
| 10:06:24 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 10:06:39 | → | mud joins (~mud@user/kadoban) |
| 10:10:47 | <Enrico63> | Leary, but regarding the "keep running" approach, how am I gonna do that? If there's 3 words, I want to run `parseOp op <*> parseIntOrVar a <*> parseIntOrVar b`, being a, op, b the 3 words. But if there aren't 3 words... how am I gonna parse what's left? I could ignore the aditional words. But what if there are less, say 1 word. How do I proceed |
| 10:10:47 | <Enrico63> | with the computations? |
| 10:10:56 | <Unhammer> | OK, so `stack build project:lib` actually builds all libraries of the .cabal file. But for some reason, the linker error shows up again if I have `library testlib\nbuild-depends: applib` (where applib uses that C function). |
| 10:11:18 | <Unhammer> | oh https://discourse.haskell.org/t/adding-template-haskell-library-produces-linker-error-on-alpine/13000 |
| 10:11:27 | <Enrico63> | Leary, indeed, the testcase |
| 10:11:27 | <Enrico63> | ``` |
| 10:11:28 | <Enrico63> | parseExpression "k +" |
| 10:11:28 | <Enrico63> | ``` |
| 10:11:29 | <Enrico63> | expects this error |
| 10:11:29 | <Enrico63> | ``` |
| 10:11:30 | <Enrico63> | Expected: Errors ["Invalid expression: k +"] |
| 10:11:30 | <Enrico63> | ``` |
| 10:11:47 | <Enrico63> | So the parsing of `k` and `+` is not meant to have a chance to run |
| 10:14:10 | × | infinity0 quits (~infinity0@pwned.gg) (Ping timeout: 255 seconds) |
| 10:15:20 | <Enrico63> | Oh. I think the key is to use `empty`.. |
| 10:15:42 | × | Vajb quits (~Vajb@n7nfchy4dz4j3x4yypz-1.v6.elisa-mobile.fi) (Ping timeout: 256 seconds) |
| 10:16:13 | <Leary> | Neither `k` nor `+` are erroneous, so they wouldn't contribute to the error set either way; it's ambiguous whether parsing should proceed or not (perhaps intentionally so). |
| 10:18:03 | <Enrico63> | Ok, I have a solution. This is the validator you suggested: |
| 10:18:03 | <Enrico63> | ``` |
| 10:18:04 | <Enrico63> | hasThreeWords :: String -> Validation () |
| 10:18:04 | <Enrico63> | hasThreeWords s = case words s of |
| 10:18:05 | <Enrico63> | (a:op:b:[]) -> pure () |
| 10:18:05 | <Enrico63> | _ -> invalid $ "Invalid expression: " ++ s |
| 10:18:06 | <Enrico63> | ``` |
| 10:18:06 | <Enrico63> | and together with the others I've defined above, it can be used like this: |
| 10:18:07 | <Enrico63> | ``` |
| 10:18:07 | <Enrico63> | parseExpression :: String -> Validation Expression |
| 10:18:08 | <Enrico63> | parseExpression str = hasThreeWords str *> |
| 10:18:08 | <Enrico63> | case words str of |
| 10:18:09 | <Enrico63> | (a:op:b:_) -> parseOp op <*> parseIntOrVar a <*> parseIntOrVar b |
| 10:18:09 | <Enrico63> | _ -> empty |
| 10:18:10 | <Enrico63> | ``` |
| 10:19:14 | <Enrico63> | So if `hasThreeWords` passed, the computation proceeds as I had alrady done. The trick is that if that fails, then we just return `empty`, so we don't contribute to the list of errors, yet we don't hard-error nor we give a meaningless Ok. |
| 10:20:41 | → | arandombit joins (~arandombi@2603:7000:4600:ffbe:15f4:44c6:cf8f:dc61) |
| 10:20:41 | × | arandombit quits (~arandombi@2603:7000:4600:ffbe:15f4:44c6:cf8f:dc61) (Changing host) |
| 10:20:41 | → | arandombit joins (~arandombi@user/arandombit) |
| 10:25:52 | <Enrico63> | Thanks Leary and tomsmeding |
| 10:33:10 | <Enrico63> | Ok, the solution from the site is a bit simpler, ahah: |
| 10:33:11 | <Enrico63> | ``` |
| 10:33:11 | <Enrico63> | parseExpression :: String -> Validation Expression |
| 10:33:12 | <Enrico63> | parseExpression e = parse (words e) |
| 10:33:12 | <Enrico63> | where parse [a1,op,a2] = parseOp op <*> parseArg a1 <*> parseArg a2 |
| 10:33:13 | <Enrico63> | parse _ = invalid ("Invalid expression: " ++ e) |
| 10:33:13 | <Enrico63> | ``` |
| 10:34:35 | → | infinity0 joins (~infinity0@pwned.gg) |
| 10:38:16 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 10:41:21 | → | Vajb joins (~Vajb@n73ytrjjz36ldo55g3k-1.v6.elisa-mobile.fi) |
| 10:43:06 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Ping timeout: 248 seconds) |
| 10:45:46 | × | Vajb quits (~Vajb@n73ytrjjz36ldo55g3k-1.v6.elisa-mobile.fi) (Ping timeout: 248 seconds) |
| 10:49:14 | × | trickard quits (~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 10:49:27 | → | trickard_ joins (~trickard@cpe-49-98-47-163.wireline.com.au) |
| 10:49:50 | × | mulk quits (~mulk@pd95144c3.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 10:51:42 | → | michalz joins (~michalz@185.246.207.197) |
| 10:52:56 | × | michalz_ quits (~michalz@185.246.207.203) (Ping timeout: 258 seconds) |
| 10:55:05 | → | Vajb joins (~Vajb@85-76-47-114-nat.elisa-mobile.fi) |
| 10:58:37 | × | Enrico63 quits (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 11:03:40 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 258 seconds) |
| 11:06:21 | × | Vajb quits (~Vajb@85-76-47-114-nat.elisa-mobile.fi) (Ping timeout: 258 seconds) |
| 11:06:44 | → | merijn joins (~merijn@77.242.116.146) |
| 11:07:58 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 265 seconds) |
| 11:10:59 | × | Athas quits (athas@2a01:7c8:aaac:1cf:d153:5501:dd03:4891) (Quit: ZNC 1.9.1 - https://znc.in) |
| 11:11:11 | → | Athas joins (athas@sigkill.dk) |
| 11:23:59 | → | craunts79 joins (~craunts@136.158.7.194) |
| 11:24:44 | → | trickard___ joins (~trickard@cpe-51-98-47-163.wireline.com.au) |
| 11:24:52 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 11:25:23 | × | trickard_ quits (~trickard@cpe-49-98-47-163.wireline.com.au) (Ping timeout: 244 seconds) |
| 11:26:13 | trickard___ | is now known as trickard |
| 11:26:47 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 11:28:25 | → | Square joins (~Square4@user/square) |
| 11:31:13 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 11:31:14 | × | Inline quits (~Inline@ip-005-146-196-132.um05.pools.vodafone-ip.de) (Quit: Leaving) |
| 11:31:35 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 244 seconds) |
| 11:32:32 | Lord_of_Life_ | is now known as Lord_of_Life |
| 11:32:37 | × | gabiruh quits (~gabiruh@vps19177.publiccloud.com.br) (Ping timeout: 244 seconds) |
| 11:34:41 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 244 seconds) |
| 11:35:43 | × | acidjnk quits (~acidjnk@p200300d6e71719544593b070e4f06c0e.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 11:36:14 | × | tromp quits (~textual@2001:1c00:3487:1b00:c5e8:54d7:3489:19df) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 11:36:36 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 11:37:52 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 255 seconds) |
| 11:40:03 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 11:44:46 | → | Inline joins (~Inline@ip-005-146-196-132.um05.pools.vodafone-ip.de) |
| 11:45:34 | → | merijn joins (~merijn@77.242.116.146) |
| 11:47:48 | × | Googulator quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 11:48:07 | → | Googulator joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 11:49:11 | → | Enrico63 joins (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) |
| 11:50:30 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
| 11:53:41 | → | merijn joins (~merijn@77.242.116.146) |
| 12:01:16 | → | arandombit joins (~arandombi@user/arandombit) |
| 12:01:38 | × | Googulator quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 12:01:51 | → | Googulator joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 12:02:31 | × | broccoli-colonis quits (~Thunderbi@98.red-83-56-255.dynamicip.rima-tde.net) (Quit: broccoli-colonis) |
| 12:02:43 | × | _bo quits (~bo@98.red-83-56-255.dynamicip.rima-tde.net) (Quit: Leaving) |
| 12:07:54 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
| 12:08:18 | × | fp quits (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 252 seconds) |
| 12:09:16 | → | fp joins (~Thunderbi@wireless-86-50-141-96.open.aalto.fi) |
| 12:12:23 | <sajenim> | thank god thats over, absolutely hated having to use java |
| 12:12:38 | <Inline> | oh |
| 12:13:03 | <sajenim> | just did my oop exam, haskell was my first language so ... it was frustrating |
| 12:15:36 | → | Googulator34 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 12:15:39 | × | Googulator quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 12:17:33 | → | srk_ joins (~sorki@user/srk) |
| 12:18:03 | × | srk quits (~sorki@user/srk) (Ping timeout: 265 seconds) |
| 12:20:22 | srk_ | is now known as srk |
| 12:20:38 | × | Googulator34 quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 12:20:44 | → | Googulator96 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 12:20:54 | × | fp quits (~Thunderbi@wireless-86-50-141-96.open.aalto.fi) (Remote host closed the connection) |
| 12:21:03 | → | merijn joins (~merijn@77.242.116.146) |
| 12:25:58 | → | fp joins (~Thunderbi@2001:708:150:10::72df) |
| 12:33:51 | × | fp quits (~Thunderbi@2001:708:150:10::72df) (Remote host closed the connection) |
| 12:40:40 | → | Googulator40 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 12:40:45 | × | Googulator96 quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 12:40:46 | → | fp joins (~Thunderbi@2001:708:150:10::72df) |
| 12:43:07 | → | xff0x joins (~xff0x@2405:6580:b080:900:ff3d:7da6:9258:188) |
| 12:44:22 | → | qqe joins (~qqq@185.54.23.100) |
| 12:49:46 | Googulator40 | is now known as Googulator |
| 13:02:10 | × | p3n quits (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Quit: ZNC 1.9.1 - https://znc.in) |
| 13:03:58 | → | tromp joins (~textual@2001:1c00:3487:1b00:c5e8:54d7:3489:19df) |
| 13:04:03 | × | pointlessslippe1 quits (~pointless@62.106.85.17) (Quit: ZNC - http://znc.in) |
| 13:05:08 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
| 13:05:43 | → | Googulator33 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 13:05:46 | × | Googulator quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 13:07:04 | → | pointlessslippe1 joins (~pointless@62.106.85.17) |
| 13:07:37 | → | p3n joins (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) |
| 13:14:26 | × | pointlessslippe1 quits (~pointless@62.106.85.17) (Quit: ZNC - http://znc.in) |
| 13:16:03 | → | pointlessslippe1 joins (~pointless@62.106.85.17) |
| 13:16:47 | → | arandombit joins (~arandombi@user/arandombit) |
| 13:20:08 | → | ystael joins (~ystael@user/ystael) |
| 13:21:27 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 252 seconds) |
| 13:23:58 | → | Vajb joins (~Vajb@n5hm5k9t3gvbmoru6qi-1.v6.elisa-mobile.fi) |
| 13:25:37 | → | Googulator38 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 13:25:41 | → | acidjnk joins (~acidjnk@p200300d6e717193624b210ba5e3df64b.dip0.t-ipconnect.de) |
| 13:25:44 | × | Googulator33 quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 13:30:34 | → | Googulator79 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 13:30:38 | Googulator79 | is now known as Googulator |
| 13:30:43 | × | Googulator38 quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 13:32:23 | → | karenw_ joins (~karenw@user/karenw) |
| 13:35:35 | → | Googulator33 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 13:35:35 | × | Googulator quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 13:37:20 | → | weary-traveler joins (~user@user/user363627) |
| 13:45:41 | → | Googulator49 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 13:45:47 | × | Googulator33 quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 13:46:34 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 13:49:48 | → | arandombit joins (~arandombi@user/arandombit) |
| 13:50:41 | → | Googulator20 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 13:50:42 | × | Googulator49 quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 13:53:01 | × | Enrico63 quits (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 13:57:32 | → | ephilalethes joins (~noumenon@113.51-175-156.customer.lyse.net) |
| 13:58:22 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 14:06:18 | × | fp quits (~Thunderbi@2001:708:150:10::72df) (Ping timeout: 248 seconds) |
| 14:12:44 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 14:13:38 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 14:19:10 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 258 seconds) |
| 14:21:54 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 14:23:15 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 14:24:43 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 14:35:57 | <tomsmeding> | question from a colleague: is there a decent reference for how the GHC RTS works? This was brought up but it's very old: https://www.microsoft.com/en-us/research/wp-content/uploads/1998/01/new-rts.pdf |
| 14:36:16 | <tomsmeding> | [exa]: sorry for the ping but you tend to know lots of references somehow :) |
| 14:39:08 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 seconds) |
| 14:41:08 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 14:41:18 | <int-e> | tomsmeding: There's https://gitlab.haskell.org/ghc/ghc/-/wikis/commentary/rts/haskell-execution (and a link to the more recent fast curry paper). No clue whether there's anything better (apart from digging into the actual source code and/or dumping intermediate stages of the compiler at work) |
| 14:42:30 | <int-e> | (or maybe start one level above, https://gitlab.haskell.org/ghc/ghc/-/wikis/commentary/rts/ ) |
| 14:43:33 | × | Googulator20 quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 14:43:43 | → | Googulator20 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 14:44:39 | <tomsmeding> | int-e: thank you! |
| 14:45:14 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 14:53:39 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 260 seconds) |
| 15:03:15 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 258 seconds) |
| 15:05:18 | → | merijn joins (~merijn@77.242.116.146) |
| 15:05:48 | × | tromp quits (~textual@2001:1c00:3487:1b00:c5e8:54d7:3489:19df) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 15:06:28 | → | arandombit joins (~arandombi@2603:7000:4600:ffbe:15f4:44c6:cf8f:dc61) |
| 15:06:28 | × | arandombit quits (~arandombi@2603:7000:4600:ffbe:15f4:44c6:cf8f:dc61) (Changing host) |
| 15:06:28 | → | arandombit joins (~arandombi@user/arandombit) |
| 15:10:39 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 15:12:31 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 15:15:17 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2) |
| 15:20:38 | → | Googulator11 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 15:20:47 | × | Googulator20 quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 15:24:52 | → | arandombit joins (~arandombi@user/arandombit) |
| 15:25:47 | × | Googulator11 quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 15:25:48 | → | Googulator62 joins (~Googulato@80-95-93-255.pool.digikabel.hu) |
| 15:26:09 | × | Raito_Bezarius quits (~Raito@libera/contributor/wireguard.tunneler.raito-bezarius) (Ping timeout: 244 seconds) |
| 15:27:09 | × | karenw_ quits (~karenw@user/karenw) (Ping timeout: 250 seconds) |
| 15:44:32 | → | Raito_Bezarius joins (~Raito@libera/contributor/wireguard.tunneler.raito-bezarius) |
| 15:47:30 | × | pyrex quits (~pyrex@user/pyrex) (Remote host closed the connection) |
| 15:47:58 | → | pyrex joins (~pyrex@user/pyrex) |
| 15:51:44 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 15:53:55 | × | qqe quits (~qqq@185.54.23.100) (Quit: Lost terminal) |
| 15:54:34 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 256 seconds) |
| 15:59:56 | × | ephilalethes quits (~noumenon@113.51-175-156.customer.lyse.net) (Quit: Leaving) |
| 16:06:05 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 16:06:36 | × | gmg quits (~user@user/gehmehgeh) (Ping timeout: 272 seconds) |
| 16:06:45 | gehmehgeh | is now known as gmg |
| 16:06:50 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 16:10:35 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 16:10:59 | ← | pounce parts (8a023a9e4a@user/cute/pounce) () |
| 16:11:37 | → | MelodyOwO joins (~MelodyOwO@user/MelodyOwO) |
| 16:17:01 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 16:20:37 | → | Googulator57 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 16:20:37 | × | Googulator62 quits (~Googulato@80-95-93-255.pool.digikabel.hu) (Quit: Client closed) |
| 16:22:56 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 16:25:39 | → | Googulator19 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 16:25:43 | × | Googulator57 quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 16:26:20 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 16:30:00 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 16:30:31 | × | Googulator19 quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Client Quit) |
| 16:30:39 | → | Googulator19 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 16:32:56 | × | tt12310978324354 quits (~tt1231@syn-075-185-104-199.res.spectrum.com) (Quit: The Lounge - https://thelounge.chat) |
| 16:33:07 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 16:34:02 | → | tt12310978324354 joins (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) |
| 16:35:46 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 255 seconds) |
| 16:39:36 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 16:40:17 | → | gmg joins (~user@user/gehmehgeh) |
| 16:43:02 | → | arandombit joins (~arandombi@user/arandombit) |
| 16:43:07 | → | tromp joins (~textual@2001:1c00:3487:1b00:c5e8:54d7:3489:19df) |
| 16:45:44 | × | trickard quits (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 16:45:57 | → | trickard_ joins (~trickard@cpe-51-98-47-163.wireline.com.au) |
| 16:55:53 | × | hylisper quits (~hylisper@user/hylisper) (Remote host closed the connection) |
| 17:01:19 | × | tromp quits (~textual@2001:1c00:3487:1b00:c5e8:54d7:3489:19df) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 17:02:49 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 17:02:56 | → | Sgeo_ joins (~Sgeo@user/sgeo) |
| 17:03:37 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 17:05:10 | × | Sgeo quits (~Sgeo@user/sgeo) (Ping timeout: 258 seconds) |
| 17:05:56 | × | jreicher quits (~user@user/jreicher) (Ping timeout: 258 seconds) |
| 17:06:42 | × | davean quits (~davean@davean.sciesnet.net) (Ping timeout: 258 seconds) |
| 17:07:10 | → | jreicher joins (~user@user/jreicher) |
| 17:07:25 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 17:11:12 | → | tromp joins (~textual@2001:1c00:3487:1b00:c5e8:54d7:3489:19df) |
| 17:14:06 | Googulator19 | is now known as Googulator |
| 17:15:32 | × | Googulator quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 17:15:38 | → | Googulator84 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 17:20:41 | → | davean joins (~davean@davean.sciesnet.net) |
| 17:27:06 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 17:28:55 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 258 seconds) |
| 17:31:46 | → | arandombit joins (~arandombi@user/arandombit) |
| 17:33:29 | → | ft joins (~ft@p4fc2a25a.dip0.t-ipconnect.de) |
| 17:35:12 | Googulator84 | is now known as Googulator |
| 17:40:30 | × | Googulator quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 17:40:43 | → | Googulator joins (~Googulato@80-95-93-255.pool.digikabel.hu) |
| 17:42:10 | → | peterbecich joins (~Thunderbi@syn-172-222-149-049.res.spectrum.com) |
| 17:45:08 | × | juri_ quits (~juri@implicitcad.org) (Ping timeout: 256 seconds) |
| 17:46:03 | → | juri_ joins (~juri@implicitcad.org) |
| 17:48:09 | → | Tuplanolla joins (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) |
| 17:51:01 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 250 seconds) |
| 17:52:08 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 17:55:50 | × | peterbecich quits (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 256 seconds) |
| 17:58:04 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 17:59:48 | × | m1dnight_ quits (~m1dnight@d8D861A17.access.telenet.be) (Ping timeout: 256 seconds) |
| 18:00:07 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 250 seconds) |
| 18:01:09 | × | trickard_ quits (~trickard@cpe-51-98-47-163.wireline.com.au) (Ping timeout: 244 seconds) |
| 18:01:44 | → | trickard__ joins (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 18:14:32 | × | gmg quits (~user@user/gehmehgeh) (Ping timeout: 272 seconds) |
| 18:16:16 | → | gmg joins (~user@user/gehmehgeh) |
| 18:20:38 | <cheater> | what is the stuff on the left of => called |
| 18:20:45 | <cheater> | in general |
| 18:21:57 | <ncf> | a constraint (or a set of constraints) |
| 18:22:16 | <cheater> | right |
| 18:22:22 | <cheater> | temporary amnesia |
| 18:24:15 | <ncf> | i guess that's not what the report calls it https://www.haskell.org/onlinereport/haskell2010/haskellch4.html#x10-660004.1.3 |
| 18:24:32 | <ncf> | a context made up of class assertions |
| 18:24:41 | × | divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 18:24:50 | <ncf> | i guess GHC constraints don't have to be class assertions |
| 18:24:53 | → | divlamir joins (~divlamir@user/divlamir) |
| 18:25:09 | × | MelodyOwO quits (~MelodyOwO@user/MelodyOwO) (Quit: Leaving.) |
| 18:25:31 | <cheater> | what else can they be |
| 18:25:42 | <ncf> | equality constraints |
| 18:26:15 | <ncf> | and implicit parameters https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/constraint_kind.html |
| 18:28:50 | <cheater> | yeah i was thinking that |
| 18:37:15 | <EvanR> | implicit parameters, ewwwwww |
| 18:45:51 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 18:46:19 | <tomsmeding> | :t ?f <$> ?x |
| 18:46:20 | <lambdabot> | (Functor f, ?f::a -> b, ?x::f a) => f b |
| 18:46:45 | <tomsmeding> | also implicit parameters are just a reader monad but without needing to enter a monad |
| 18:47:07 | <tomsmeding> | I like implicit parameters; I use them rarely, but I like them when I do |
| 18:47:32 | → | finsternis joins (~X@23.226.237.192) |
| 18:47:40 | → | sprotte24 joins (~sprotte24@p200300d16f03df00ed1f69e1a121dad0.dip0.t-ipconnect.de) |
| 19:00:06 | × | caconym74787 quits (~caconym@user/caconym) (Quit: bye) |
| 19:00:46 | → | caconym74787 joins (~caconym@user/caconym) |
| 19:02:56 | × | jaror quits (~jaror@5070ACC7.static.ziggozakelijk.nl) (Quit: The Lounge - https://thelounge.chat) |
| 19:04:39 | → | jaror3 joins (~jaror@5070ACC7.static.ziggozakelijk.nl) |
| 19:04:52 | <[exa]> | tomsmeding: "which layer of the RTS" :D |
| 19:05:03 | <tomsmeding> | I dunno lol |
| 19:05:22 | <tomsmeding> | colleague gave few details, but they seemed happy with what int-e linked |
| 19:06:51 | <[exa]> | tomsmeding: ah ok... feel free to link that uskel nonsense of mine in case they want a lowlevel demo |
| 19:07:07 | <[exa]> | it's not STG per se but imagining the spine stack next to it isn't hard |
| 19:08:32 | <[exa]> | also the general other part of RTS is "how does the IO eventloop work with threads and GC" and tbh that is seriously dark magic for me |
| 19:09:35 | <tomsmeding> | right, when I think of "RTS" I think scheduler, IO loop, GC, etc. |
| 19:09:41 | <tomsmeding> | STG to me is compilation and codegen |
| 19:10:19 | <tomsmeding> | the fact that there happens to be an STG interpreter in the RTS (which TIL) is just because... for some reason a compiled haskell executable has ghci in it? |
| 19:10:23 | <tomsmeding> | is that really true? |
| 19:10:38 | × | leah2 quits (~leah@vuxu.org) (Ping timeout: 256 seconds) |
| 19:11:01 | <tomsmeding> | [exa]: https://tomsmeding.com/ss/get/tomsmeding/aGJuCc |
| 19:12:35 | <[exa]> | well the compiled haskell code is the STG interpreter, implicitly. I'm not OK with the "has ghci in it" part, see no reason for that, but it might be a ghc-specific thing nowadays |
| 19:12:53 | <[exa]> | tomsmeding: https://git.e-x-a.org/exa/uskel |
| 19:13:27 | <tomsmeding> | oof |
| 19:14:57 | <tomsmeding> | I thought I was cool in having written a micro netcat clone in assembly like 10 years go |
| 19:14:59 | <tomsmeding> | *ago |
| 19:15:44 | × | Googulator quits (~Googulato@80-95-93-255.pool.digikabel.hu) (Quit: Client closed) |
| 19:15:47 | → | Googulator37 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 19:16:36 | <[exa]> | tbh the netcat in assembly is probably harder, the stupidest part of this is that you need to encode the STG operations in the assembly macros |
| 19:17:14 | <[exa]> | and then you basically have haskell without the typesystem |
| 19:17:16 | <tomsmeding> | that just makes it better |
| 19:17:25 | <tomsmeding> | if you want pain, you can have pain |
| 19:17:28 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 19:18:39 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 19:20:54 | <[exa]> | e.g. this thing: https://git.e-x-a.org/exa/uskel/src/branch/master/fibs.s#L40-L44 -- if you read it from below, it essentially encodes thunks for AST `print(list_int_index(int(20), fibs0))`, and starts evaluating it it with continuation going into main_exit |
| 19:21:58 | <[exa]> | `thunkto %r11, $list_int_index, $2, %r11, %r12` reads "make a thunk and save its address to r11, the thunk will be evaluated by list_int_index, it has 2 arguments and they are at addresses from r11 and r12" |
| 19:22:19 | <tomsmeding> | I figured that out about 3 seconds before you posted |
| 19:22:23 | <[exa]> | <3 |
| 19:22:59 | <tomsmeding> | I was like, what's that $2 doing... there's a $20 before but oh that's an immediate... oh there is $0 at fibs0... oh wait |
| 19:23:24 | <[exa]> | yeah fibs0 is a starter, in haskell it would be `fibs0 = fibs 0 1` |
| 19:23:32 | → | leah2 joins (~leah@vuxu.org) |
| 19:23:49 | <tomsmeding> | does %rsi have a special meaning? |
| 19:23:51 | <[exa]> | TECHNICALLY I could make gnu as macros that simply parse haskell code into this, but man, so lazy |
| 19:23:52 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:23:58 | <tomsmeding> | I don't see it used or referenced above |
| 19:24:00 | <[exa]> | yeah %rsi in this case is a continuation pointer |
| 19:24:22 | <tomsmeding> | ah so if the thunk being entered has been evaluated to whnf, %rsi is entered? |
| 19:24:38 | → | annamalai joins (~annamalai@157.33.214.216) |
| 19:25:02 | <[exa]> | %rbp always points to the thunk that's currently evaluated, %rsi is "where it should send the result" (aka address of continuation), and %rsp points funnily to the small haskell heap, (this ignores the C stack entirely) |
| 19:25:11 | <[exa]> | reason: I can write thunks with a series of pushq |
| 19:25:33 | <tomsmeding> | "I have 1-instruction bump allocator" |
| 19:25:45 | <tomsmeding> | one word at a time |
| 19:25:59 | <[exa]> | the needs_alloc at the top of each thunk is checking if there's enough memory and triggers gc if not |
| 19:26:13 | <tomsmeding> | cool |
| 19:26:14 | <[exa]> | yeah the gc is probably the smartest part |
| 19:26:32 | <[exa]> | it has to fit into like 5 registers because the thunks need other registers to be able to compute their evacuation |
| 19:26:45 | <tomsmeding> | interesting |
| 19:26:57 | <tomsmeding> | you're using all of the x64 registers? |
| 19:27:22 | <[exa]> | and there's some oversmartness that is able to actually increase the amount of memory allocated IF it seems that the GC runs don't really help much |
| 19:27:43 | <tomsmeding> | increase nursery size, you mean? |
| 19:27:51 | <[exa]> | not really, in the "normal" evaluation only the 3 above are "important" |
| 19:28:14 | <[exa]> | during gc I think I use all "general" registers, ie %r8 to %r15 |
| 19:28:24 | × | olivial quits (~benjaminl@user/benjaminl) (Ping timeout: 260 seconds) |
| 19:28:43 | <[exa]> | the whole gc is registers-only, it only has a tiny global blob where it stores some extra info |
| 19:28:54 | <[exa]> | "nursery size" --- there's only nursery |
| 19:28:59 | <tomsmeding> | right |
| 19:28:59 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 19:29:18 | <tomsmeding> | I find it funny that hand-written assembly code tends to use registers so differently from generated code |
| 19:29:21 | <[exa]> | like if someone added an extra gc layer on top of this, it's actually going to be fast |
| 19:29:48 | <[exa]> | well lemme point to code a bit |
| 19:29:53 | <tomsmeding> | as fast as it can be if everything ever is boxed, right? |
| 19:30:35 | <[exa]> | these are the allocator globals: https://git.e-x-a.org/exa/uskel/src/branch/master/include/gc.s#L5 |
| 19:30:39 | → | Googulator84 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 19:30:48 | <[exa]> | well no one says you need to box your stuff |
| 19:30:49 | × | Googulator37 quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 19:30:54 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 19:31:01 | <tomsmeding> | :p |
| 19:31:06 | <tomsmeding> | that's fair |
| 19:31:29 | <tomsmeding> | `call` reserves a single word of space with the parameter as value? |
| 19:31:32 | <[exa]> | as in, you can perfectly do a thunk that contains `fibs, $2, $0, $1` |
| 19:31:54 | <tomsmeding> | but what will the GC do with a thunk that contains things that are not themselves thunks |
| 19:32:05 | × | tt12310978324354 quits (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) (Quit: The Lounge - https://thelounge.chat) |
| 19:32:30 | <tomsmeding> | s/`call`/`cell`/ what a dumb typo |
| 19:32:30 | <[exa]> | nothing, it doesn't know it. You need to make sure the thunk you have there is aware how to clean itself |
| 19:33:09 | trickard__ | is now known as trickard |
| 19:33:12 | <[exa]> | I think haskell had at some point a few "types" of thunks based on combination of boxedness of stuff stored in them, e.g. there was 2-param thunk for UU, then BB, UB, BU |
| 19:33:22 | → | tt12310978324354 joins (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) |
| 19:33:46 | <[exa]> | e.g. this is the object type definition for integers: https://git.e-x-a.org/exa/uskel/src/branch/master/include/data.s#L32-L48 |
| 19:34:10 | <tomsmeding> | oh I see |
| 19:34:31 | <tomsmeding> | thunks contain a type tag and each thunk type has a corresponding GC callback ("evacuate") that does the cleanup |
| 19:34:55 | <tomsmeding> | right, infotables |
| 19:35:29 | <tomsmeding> | any particular reason why you built this? :p |
| 19:35:31 | → | olivial joins (~benjaminl@user/benjaminl) |
| 19:35:32 | <[exa]> | it contains a single unboxed number, evacuate just copies both to the new location (pushq this time), and scavenge doesn't do anything because it doesn't point |
| 19:35:38 | <[exa]> | lol |
| 19:35:42 | <[exa]> | no idea |
| 19:35:51 | → | Googulator20 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 19:35:58 | <[exa]> | ah yeah I made a stupid small prolog before so I wanted to check if this would work |
| 19:36:16 | <tomsmeding> | sounds like a very good motivation |
| 19:36:17 | × | Googulator84 quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 19:36:21 | <[exa]> | if bored https://gitea.blesmrt.net/exa/prlg/ |
| 19:36:35 | <tomsmeding> | why different forge |
| 19:36:44 | <[exa]> | ah that's the old one |
| 19:36:45 | <tomsmeding> | p r l g https://gitea.blesmrt.net/exa/prlg/commit/3bfa127cbccbc77bb1b993153d6a6a2db2ec3ee4 |
| 19:36:48 | <[exa]> | it should be on the new one as well |
| 19:37:32 | <[exa]> | anyway if you are SUPER BORED |
| 19:37:53 | <tomsmeding> | I was bored enough to click around a bit in prlg and then give up |
| 19:37:53 | <[exa]> | there's a vienna abstract machine, which is kinda like warren abstract machine but has 2 instruction pointers, which allows it to allocate less |
| 19:38:02 | → | weary-traveler joins (~user@user/user363627) |
| 19:38:15 | <[exa]> | so this is a slightly refactored VAM in.... haskell lists. |
| 19:38:25 | <tomsmeding> | :D |
| 19:38:39 | <tomsmeding> | sounds very fast |
| 19:39:06 | <[exa]> | I was playing with the idea of metalanguages in prolog there, like the stuff they have for CLP |
| 19:39:39 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:39:56 | <[exa]> | after the effort I made a crucial observation that metalanguages are a complete BS and people should instead write more tiny transpilers and preprocessors |
| 19:40:09 | <[exa]> | (sounds biased!) |
| 19:40:29 | <tomsmeding> | how do you implement somethine like a CLP using a transpiler? |
| 19:40:33 | <tomsmeding> | s/a CLP/CLP/ |
| 19:40:53 | <[exa]> | you make another language that describes it nicely and compile it to prolog |
| 19:41:32 | <tomsmeding> | but don't you need something more than plain prolog search to efficiently solve CLP problems? |
| 19:41:34 | <[exa]> | the actual CLP implementation in most prologs, including swi, (and except maybe the historical big ones) is a bunch of macros |
| 19:41:40 | <tomsmeding> | oh really |
| 19:41:59 | <[exa]> | yeah tbh I expected more in there |
| 19:42:13 | <tomsmeding> | found the jump into the infotable https://git.e-x-a.org/exa/uskel/src/branch/master/include/gc.s#L154 |
| 19:42:27 | <__monty__> | And why is a separate compiler better than a macro system? |
| 19:42:40 | <[exa]> | "prolog macros" as in term_expansion/2 and goal_expansion/2 |
| 19:43:10 | <[exa]> | __monty__: oh, a clean macro system _is_ okay. The magic is to avoid mixing the layers. |
| 19:43:40 | <[exa]> | still no idea how to defend haskell in this view, the "types" are kinda metalanguage that mixes very much, yet they are SO GOOD |
| 19:44:20 | <tomsmeding> | types don't feel like a metalanguage to me, but that may be because I'm mostly unfamiliar with the whole prolog mindspace |
| 19:44:20 | <[exa]> | disclaimer, these ^^ are more like feelings than actual opinions, don't fry me over details pls |
| 19:44:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 19:46:47 | <tomsmeding> | [exa]: looking at https://e-x-a.org/ , is there a particular reason why you pluralise 'fedis' 'githubs' etc |
| 19:46:59 | <tomsmeding> | I've seen you do that before here on irc, kind of |
| 19:47:10 | <tomsmeding> | and now I'm wondering if it's just funny or if there's something I'm missing |
| 19:47:24 | <[exa]> | tomsmeding: re gc, there are funny things. The memory is (for some certain convenience lol) allocated in decreasing direction but scavenging can only move the pointer to the next item forward (scavenging is the only way to guess the size of something), so there's a double loop there, in each round a bit of stuff is evacuated (growing down) and then the whole new evacuated thing is scavenged back |
| 19:47:26 | <[exa]> | to top |
| 19:47:39 | <monochrom> | Yeah the debate between "there are lambda terms, and then some of them are typeable in your [limited] type system" vs "there are types, and then there are lambda terms [but only typeable ones]" |
| 19:47:49 | → | fp joins (~Thunderbi@89-27-10-140.bb.dnainternet.fi) |
| 19:47:51 | <[exa]> | ah lol, that's like "interwebs" or so |
| 19:48:21 | <tomsmeding> | yeah |
| 19:48:24 | <tomsmeding> | interesting re gc |
| 19:48:30 | <monochrom> | Quantum gravity predicts a superposition of multiple githubs >:) |
| 19:48:51 | <[exa]> | we've got a relatively legendary meme in CZ with the old woman saying something like "I'd ban all these internets" back in 1995-ish for a big newspaper |
| 19:49:00 | <[exa]> | locally legendary I'd say |
| 19:49:02 | <tomsmeding> | so when something is deallocated, it's first moved by evacuation, and then deleted? |
| 19:49:34 | <[exa]> | so I guess it might be derived from that one |
| 19:49:41 | <tomsmeding> | sounds goo |
| 19:49:43 | <tomsmeding> | *good |
| 19:50:07 | <[exa]> | if something is deallocated it's never reached by the scavenging because there's nothing to scavenge it |
| 19:50:13 | <[exa]> | btw scavenge routine _calls_ evacuations |
| 19:50:40 | <[exa]> | s/calls/triggers/, there's no actual call anywhere |
| 19:51:38 | tomsmeding | doesn't quite follow the gc stuff any more but it's late and I don't care enough today, sorry |
| 19:51:51 | <tomsmeding> | it's not complicated but my brain is not active enough :) |
| 19:51:56 | → | m1dnight joins (~m1dnight@109.236.63.53) |
| 19:54:01 | <monochrom> | Haha "Unknown function: ... This is so exciting that it deserves its own section" |
| 19:54:02 | <[exa]> | yeah it's actually simple, but quite tangled together in like 2 big circles which doesn't help |
| 19:54:20 | <[exa]> | oh wow the internets meme has its own wiki https://cs.wikipedia.org/wiki/J%C3%A1_bych_v%C5%A1echny_ty_internety_a_po%C4%8D%C3%ADta%C4%8De_zak%C3%A1zala |
| 19:54:30 | × | Googulator20 quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 19:54:35 | <[exa]> | tomsmeding: googletranslate if you want to ^ |
| 19:54:44 | → | Googulator20 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 19:55:14 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Read error: Connection reset by peer) |
| 19:55:25 | <tomsmeding> | when I look at that page I see "letters with lots of ' |
| 19:55:27 | <tomsmeding> | " |
| 19:55:28 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:55:31 | <tomsmeding> | okay that came out wrong |
| 19:55:45 | <tomsmeding> | "letters with lots of ´" |
| 19:55:47 | <tomsmeding> | there |
| 19:55:53 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 19:55:53 | <[exa]> | yeah somehow it didn't reach english internets |
| 19:56:14 | <[exa]> | monochrom: lol where |
| 19:56:22 | <tomsmeding> | gtranslate successfully translates internety to "internets" |
| 19:56:30 | <[exa]> | \o/ |
| 19:56:47 | <monochrom> | The GHC wiki, RTS, function calls. |
| 19:56:54 | <tomsmeding> | oh but only in the first paragraph, not in the callout blockquote |
| 19:57:01 | <monochrom> | err, RTS, execution, function calls |
| 19:58:40 | <monochrom> | I'm going to use the phrase "this is so exciting that it deserves its own lecture/assignment/course" when I teach. >:) |
| 19:59:38 | <tomsmeding> | :D |
| 19:59:53 | <monochrom> | Sample preview: "The Parser type together with pure and (>>=) forms a monad. This is so exciting that..." |
| 19:59:56 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 20:00:01 | <tomsmeding> | nice |
| 20:00:38 | <monochrom> | BTW the number theory course here, the prof decides "I don't want to talk about the Peano axioms" so he told students "free monoid on the singleton set". |
| 20:00:55 | <[exa]> | radical. |
| 20:01:02 | <tomsmeding> | so he taught category theory instead? |
| 20:02:05 | <monochrom> | Also it looks like he characterizes lcm as a categorical product. (This I haven't verified. I just saw, on blackboards in our math aid room, a commuting showing 60->6, 6->2, 6->3" |
| 20:02:19 | × | dhil quits (~dhil@5.151.29.141) (Ping timeout: 250 seconds) |
| 20:02:38 | <monochrom> | commuting diagram |
| 20:03:51 | <monochrom> | I'm now very afraid (haha). Maybe I should teach free monads and algebraic effects and Yoneda lemma to keep up. |
| 20:04:37 | <[exa]> | tbh you should |
| 20:05:18 | <[exa]> | like, even if you spent 3 minutes on each just showing the intuition, you convert a few people from "omg yoneda is too much categories to understand" to "ok wow yoneda again" |
| 20:05:36 | × | Googulator20 quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 20:05:39 | → | Googulator98 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 20:05:49 | <tomsmeding> | [exa]: that meme history is unsatisfying, I expected a response from Pohlová herself |
| 20:06:35 | <[exa]> | we assumed she banned the internet locally and has no way to respond |
| 20:06:54 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:07:25 | <monochrom> | It was the last straw that converted me, to be sure. :) |
| 20:08:32 | <[exa]> | monochrom: a slight indoctrination with categories is never wrong |
| 20:10:19 | [exa] | observes it's time to open a beverage |
| 20:11:05 | → | peterbecich joins (~Thunderbi@syn-172-222-149-049.res.spectrum.com) |
| 20:12:18 | <monochrom> | It happened this way if you want to know. Gordon Plotkin accepted an invitation to our university to give a lecture. He casually gave examples of "generic effects" e.g. "(M a)^2 -> M a" becomes "M Bool". I could see that intuitively it's right but I could put my finger on a math reason. Then it dawned on me "I'm a moron, I'm supposed to know the Yoneda lemma!" |
| 20:12:39 | Googulator98 | is now known as Googulator |
| 20:13:04 | <monochrom> | s/could/couldn't/ |
| 20:13:39 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 20:13:46 | tomsmeding | shall retire for the night, thanks for the fun |
| 20:14:41 | <haskellbridge> | <magic_rb> Goodnight |
| 20:15:12 | <tomsmeding> | :) |
| 20:17:43 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 20:24:56 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:25:32 | → | Googulator43 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 20:26:12 | × | Googulator quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 20:29:28 | × | peterbecich quits (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 258 seconds) |
| 20:29:57 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 20:30:28 | × | Googulator43 quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 20:30:38 | → | Googulator43 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 20:31:37 | shachaf_ | is now known as shachaf |
| 20:32:04 | × | shachaf quits (~shachaf@li227-219.members.linode.com) (Changing host) |
| 20:32:04 | → | shachaf joins (~shachaf@user/shachaf) |
| 20:32:30 | Googulator43 | is now known as Googulator |
| 20:35:22 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 20:35:40 | × | Googulator quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 20:35:43 | → | Googulator81 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 20:36:27 | → | karenw_ joins (~karenw@user/karenw) |
| 20:37:51 | × | petrichor quits (~jez@user/petrichor) (Read error: Connection reset by peer) |
| 20:38:29 | Googulator81 | is now known as Googulator |
| 20:40:43 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:41:00 | → | petrichor joins (~jez@user/petrichor) |
| 20:41:18 | × | fp quits (~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 256 seconds) |
| 20:45:35 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 20:55:39 | → | Googulator6 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 20:55:43 | × | Googulator quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 20:56:30 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:57:09 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 265 seconds) |
| 21:01:28 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 21:09:20 | × | califax quits (~califax@user/califx) (Ping timeout: 272 seconds) |
| 21:09:49 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 21:10:18 | → | mulk joins (~mulk@pd95144c3.dip0.t-ipconnect.de) |
| 21:11:14 | × | gmg quits (~user@user/gehmehgeh) (Ping timeout: 272 seconds) |
| 21:11:16 | → | califax joins (~califax@user/califx) |
| 21:12:17 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:12:43 | → | arandombit joins (~arandombi@2603:7000:4600:ffbe:15f4:44c6:cf8f:dc61) |
| 21:12:43 | × | arandombit quits (~arandombi@2603:7000:4600:ffbe:15f4:44c6:cf8f:dc61) (Changing host) |
| 21:12:43 | → | arandombit joins (~arandombi@user/arandombit) |
| 21:12:46 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 21:13:19 | → | gmg joins (~user@user/gehmehgeh) |
| 21:13:41 | → | Chai-T-Rex joins (~ChaiTRex@user/chaitrex) |
| 21:13:46 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 272 seconds) |
| 21:13:46 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 272 seconds) |
| 21:13:57 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 21:14:24 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 272 seconds) |
| 21:14:32 | → | chexum_ joins (~quassel@gateway/tor-sasl/chexum) |
| 21:14:41 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 21:15:35 | × | Googulator6 quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 21:15:42 | → | Googulator6 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 21:17:23 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 21:22:19 | Googulator6 | is now known as Googulator |
| 21:23:46 | × | michalz quits (~michalz@185.246.207.197) (Remote host closed the connection) |
| 21:28:05 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:30:26 | → | Square2 joins (~Square@user/square) |
| 21:31:50 | → | Enrico63 joins (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) |
| 21:32:52 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 21:33:42 | × | Square quits (~Square4@user/square) (Ping timeout: 252 seconds) |
| 21:35:03 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 21:35:36 | × | Googulator quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 21:35:42 | → | Googulator51 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 21:43:52 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:48:22 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 21:50:44 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 21:53:54 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 22:01:55 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:05:38 | × | Googulator51 quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 22:05:42 | → | Googulator96 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 22:05:59 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 22:06:34 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 22:06:59 | → | pavonia joins (~user@user/siracusa) |
| 22:07:01 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Quit: Lost terminal) |
| 22:07:21 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 22:08:39 | × | tromp quits (~textual@2001:1c00:3487:1b00:c5e8:54d7:3489:19df) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 22:10:42 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 22:10:53 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 22:11:04 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 22:11:35 | × | _________ quits (~nobody@user/noodly) (Ping timeout: 245 seconds) |
| 22:13:47 | → | _________ joins (~nobody@user/noodly) |
| 22:15:54 | × | chexum_ quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 22:16:02 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 22:19:06 | × | _________ quits (~nobody@user/noodly) (Ping timeout: 258 seconds) |
| 22:23:35 | × | Tuplanolla quits (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Quit: Leaving.) |
| 22:24:42 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 22:30:13 | → | _________ joins (~nobody@user/noodly) |
| 22:33:20 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 22:37:34 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 244 seconds) |
| 22:41:19 | → | poscat0x04 joins (~poscat@user/poscat) |
| 22:43:00 | × | poscat quits (~poscat@user/poscat) (Ping timeout: 265 seconds) |
| 22:46:51 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:51:58 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 22:54:28 | → | rekahsoft joins (~rekahsoft@70.51.99.245) |
| 22:55:08 | × | ystael quits (~ystael@user/ystael) (Ping timeout: 258 seconds) |
| 22:55:54 | × | Googulator96 quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 22:56:11 | → | Googulator96 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 23:01:18 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 23:02:38 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:05:14 | → | A_Dragon joins (A_D@libera/staff/dragon) |
| 23:06:04 | → | dysfigured joins (~dfg@dfg.rocks) |
| 23:06:17 | → | rustisafungus joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 23:06:23 | × | _________ quits (~nobody@user/noodly) (*.net *.split) |
| 23:06:23 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (*.net *.split) |
| 23:06:24 | × | m1dnight quits (~m1dnight@109.236.63.53) (*.net *.split) |
| 23:06:24 | × | trickard quits (~trickard@cpe-50-98-47-163.wireline.com.au) (*.net *.split) |
| 23:06:24 | × | juri_ quits (~juri@implicitcad.org) (*.net *.split) |
| 23:06:24 | × | jreicher quits (~user@user/jreicher) (*.net *.split) |
| 23:06:24 | × | Sgeo_ quits (~Sgeo@user/sgeo) (*.net *.split) |
| 23:06:24 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (*.net *.split) |
| 23:06:24 | × | annamalai quits (~annamalai@157.33.214.216) (*.net *.split) |
| 23:06:24 | × | pointlessslippe1 quits (~pointless@62.106.85.17) (*.net *.split) |
| 23:06:24 | × | AlexZenon quits (~alzenon@85.174.180.29) (*.net *.split) |
| 23:06:24 | × | shr\ke quits (~shrike@user/shrke:31298) (*.net *.split) |
| 23:06:24 | × | traxex quits (traxex@user/traxex) (*.net *.split) |
| 23:06:24 | × | gabriel_sevecek quits (~gabriel@188-167-229-200.dynamic.chello.sk) (*.net *.split) |
| 23:06:24 | × | bairyn quits (~bairyn@MAIL.DIGITALKINGDOM.ORG) (*.net *.split) |
| 23:06:24 | × | jjhoo_ quits (~jahakala@user/jjhoo) (*.net *.split) |
| 23:06:25 | × | shachaf quits (~shachaf@user/shachaf) (*.net *.split) |
| 23:06:25 | × | koz_ quits (~koz@121.99.240.58) (*.net *.split) |
| 23:06:25 | × | gAy_Dragon quits (A_D@libera/staff/dragon) (*.net *.split) |
| 23:06:25 | × | kilolympus quits (~kilolympu@vmi1102682.contaboserver.net) (*.net *.split) |
| 23:06:25 | × | Digit quits (~user@user/digit) (*.net *.split) |
| 23:06:25 | × | sweater3 quits (~sweater@206.81.18.26) (*.net *.split) |
| 23:06:25 | × | Flow quits (~none@gentoo/developer/flow) (*.net *.split) |
| 23:06:25 | × | defragger quits (~random@i5C742CDD.versanet.de) (*.net *.split) |
| 23:06:25 | × | Typedfern quits (~Typedfern@15.red-83-37-26.dynamicip.rima-tde.net) (*.net *.split) |
| 23:06:25 | × | bgamari quits (~bgamari@64.223.225.237) (*.net *.split) |
| 23:06:26 | × | tomboy64 quits (~tomboy64@user/tomboy64) (*.net *.split) |
| 23:06:26 | × | paddymahoney quits (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (*.net *.split) |
| 23:06:26 | × | wbrawner quits (~wbrawner@static.56.224.132.142.clients.your-server.de) (*.net *.split) |
| 23:06:26 | × | mjrosenb quits (~mjrosenb@70.18.10.118) (*.net *.split) |
| 23:06:26 | × | xerox quits (~edi@user/edi) (*.net *.split) |
| 23:06:26 | × | dfg quits (~dfg@user/dfg) (*.net *.split) |
| 23:06:52 | → | jjhoo joins (jahakala@user/jjhoo) |
| 23:06:55 | → | jreicher joins (~user@user/jreicher) |
| 23:06:57 | → | trickard_ joins (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 23:07:00 | → | bgamari joins (~bgamari@64.223.225.237) |
| 23:07:04 | → | _________ joins (~nobody@user/noodly) |
| 23:07:25 | → | ByronJohnson joins (~bairyn@MAIL.DIGITALKINGDOM.ORG) |
| 23:07:27 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 23:07:29 | → | pointlessslippe- joins (~pointless@62.106.85.17) |
| 23:07:43 | → | califax joins (~califax@user/califx) |
| 23:07:43 | → | juri_ joins (~juri@implicitcad.org) |
| 23:07:45 | → | defragger joins (~random@i5C742CDD.versanet.de) |
| 23:07:47 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 23:07:50 | → | mjrosenb joins (~mjrosenb@70.18.10.118) |
| 23:07:55 | → | sweater3 joins (~sweater@206.81.18.26) |
| 23:07:56 | → | xerox joins (~edi@user/edi) |
| 23:07:58 | → | shachaf joins (~shachaf@user/shachaf) |
| 23:08:00 | → | shr\ke joins (~shrike@user/paxhumana) |
| 23:08:00 | × | shr\ke quits (~shrike@user/paxhumana) (Changing host) |
| 23:08:00 | → | shr\ke joins (~shrike@user/shrke:31298) |
| 23:08:06 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 23:08:08 | → | AlexZenon joins (~alzenon@85.174.180.29) |
| 23:08:16 | → | gabriel_sevecek joins (~gabriel@188-167-229-200.dynamic.chello.sk) |
| 23:08:31 | → | Digitteknohippie joins (~user@user/digit) |
| 23:08:54 | × | adamCS quits (~adamCS@70.19.85.77) (Ping timeout: 260 seconds) |
| 23:10:06 | → | adamCS joins (~adamCS@70.19.85.77) |
| 23:11:40 | × | krei-se quits (~krei-se@p3ee0fdd4.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 23:11:46 | → | koz joins (~koz@121.99.240.58) |
| 23:11:50 | × | Enrico63 quits (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 23:12:09 | → | m1dnight joins (~m1dnight@109.236.63.53) |
| 23:12:50 | → | Typedfern joins (~Typedfern@15.red-83-37-26.dynamicip.rima-tde.net) |
| 23:13:21 | → | traxex joins (traxex@user/traxex) |
| 23:15:30 | × | sprotte24 quits (~sprotte24@p200300d16f03df00ed1f69e1a121dad0.dip0.t-ipconnect.de) (Quit: Leaving) |
| 23:17:25 | × | m1dnight quits (~m1dnight@109.236.63.53) (Ping timeout: 245 seconds) |
| 23:18:00 | → | annamalai joins (~annamalai@157.33.214.216) |
| 23:18:03 | → | wbrawner joins (~wbrawner@static.56.224.132.142.clients.your-server.de) |
| 23:18:41 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:18:46 | → | Flow joins (~none@gentoo/developer/flow) |
| 23:20:42 | → | Googulator83 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 23:20:47 | × | Googulator96 quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 23:21:09 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 23:21:16 | → | krei-se joins (~krei-se@p200300f1cf178601915f43887404f7ca.dip0.t-ipconnect.de) |
| 23:22:06 | → | paddymahoney joins (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) |
| 23:22:32 | → | m1dnight joins (~m1dnight@109.236.63.53) |
| 23:23:33 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 23:24:50 | → | tomboy64 joins (~tomboy64@user/tomboy64) |
| 23:28:08 | × | m1dnight quits (~m1dnight@109.236.63.53) (Ping timeout: 260 seconds) |
| 23:30:52 | → | m1dnight joins (~m1dnight@109.236.63.53) |
| 23:32:29 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 23:33:54 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 23:34:10 | × | craunts79 quits (~craunts@136.158.7.194) (Quit: The Lounge - https://thelounge.chat) |
| 23:34:29 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:35:06 | → | craunts79 joins (~craunts@136.158.7.194) |
| 23:36:04 | × | m1dnight quits (~m1dnight@109.236.63.53) (Ping timeout: 255 seconds) |
| 23:39:48 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 23:40:43 | → | Googulator57 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 23:40:43 | × | Googulator83 quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 23:41:05 | → | m1dnight joins (~m1dnight@109.236.63.53) |
| 23:41:38 | × | acidjnk quits (~acidjnk@p200300d6e717193624b210ba5e3df64b.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 23:43:26 | × | Inline quits (~Inline@ip-005-146-196-132.um05.pools.vodafone-ip.de) (Remote host closed the connection) |
| 23:44:37 | → | Inline joins (~Inline@ip-005-146-196-132.um05.pools.vodafone-ip.de) |
| 23:44:54 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 23:46:31 | × | Inline quits (~Inline@ip-005-146-196-132.um05.pools.vodafone-ip.de) (Client Quit) |
| 23:46:36 | × | m1dnight quits (~m1dnight@109.236.63.53) (Ping timeout: 256 seconds) |
| 23:50:16 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 23:50:16 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:50:49 | × | Googulator57 quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 23:51:00 | → | Googulator57 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 23:53:52 | → | m1dnight joins (~m1dnight@109.236.63.53) |
| 23:55:39 | → | Googulator66 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 23:55:49 | trickard_ | is now known as trickard |
| 23:56:09 | × | Googulator57 quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 23:57:22 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 23:58:08 | → | arandombit joins (~arandombi@user/arandombit) |
| 23:59:47 | × | m1dnight quits (~m1dnight@109.236.63.53) (Remote host closed the connection) |
All times are in UTC on 2025-09-24.