| 2021-04-14 00:00:02 +0200 | <DigitalKiwi> | juri_: are you saying bitcoin should be 1million? |
| 2021-04-14 00:03:48 +0200 | <int-e> | DigitalKiwi: sufficiently advanced monetization requires a lot less electricity |
| 2021-04-14 00:04:40 +0200 | hypercube | (hypercube@gateway/vpn/protonvpn/hypercube) |
| 2021-04-14 00:05:23 +0200 | dariof4 | (~dario@5.179.159.205) (Quit: WeeChat 3.1) |
| 2021-04-14 00:05:28 +0200 | lemur | (~l3m@cable-static-7-246.breitband.ch) |
| 2021-04-14 00:06:17 +0200 | <DigitalKiwi> | nobody would buy it then though! |
| 2021-04-14 00:06:26 +0200 | alexm_ | (~alexm_@161.8.254.229) (Ping timeout: 240 seconds) |
| 2021-04-14 00:07:08 +0200 | __monty__ | (~toonn@unaffiliated/toonn) (Quit: leaving) |
| 2021-04-14 00:07:52 +0200 | <int-e> | DigitalKiwi: bitcoin doesn't have a nominal value; the value people generally report is the (median, I guess) price it's traded at. |
| 2021-04-14 00:08:44 +0200 | <int-e> | Though I suppose if you had a bitcoin and offered it for 1 million then indeed nobody would buy it. |
| 2021-04-14 00:08:49 +0200 | int-e | wanders off. |
| 2021-04-14 00:09:22 +0200 | <DigitalKiwi> | the price has to go up always up! |
| 2021-04-14 00:10:09 +0200 | __minoru__shirae | (~shiraeesh@46.34.206.215) |
| 2021-04-14 00:10:15 +0200 | <DigitalKiwi> | and sometimes down quite a lot but we don't talk about that |
| 2021-04-14 00:10:58 +0200 | bitmapper | (uid464869@gateway/web/irccloud.com/x-fibjwudbwypqphxb) (Quit: Connection closed for inactivity) |
| 2021-04-14 00:11:18 +0200 | cafce25 | (~cafce25@ipbcc3009d.dynamic.kabel-deutschland.de) (Quit: leaving) |
| 2021-04-14 00:11:31 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 2021-04-14 00:13:59 +0200 | danvet | (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 260 seconds) |
| 2021-04-14 00:16:25 +0200 | raichoo | (~raichoo@dslb-088-077-025-199.088.077.pools.vodafone-ip.de) (Quit: Lost terminal) |
| 2021-04-14 00:16:38 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-14 00:20:25 +0200 | Rudd0 | (~Rudd0@185.189.115.103) |
| 2021-04-14 00:22:41 +0200 | rekahsoft | (~rekahsoft@52.129.35.150) (Ping timeout: 240 seconds) |
| 2021-04-14 00:24:58 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:3117:c681:fa07:7f26) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-14 00:25:02 +0200 | lemur | (~l3m@cable-static-7-246.breitband.ch) (Quit: Konversation terminated!) |
| 2021-04-14 00:26:23 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-04-14 00:27:27 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-14 00:29:01 +0200 | dpl | (~dpl@77-121-78-163.chn.volia.net) |
| 2021-04-14 00:29:51 +0200 | xsperry | (~as@unaffiliated/xsperry) (Ping timeout: 260 seconds) |
| 2021-04-14 00:30:15 +0200 | coot | (~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2021-04-14 00:31:19 +0200 | Guest40868 | (~textual@mskresolve-a.mskcc.org) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-14 00:31:43 +0200 | loller_ | (uid358106@gateway/web/irccloud.com/x-smufmjmlmpltpnfn) |
| 2021-04-14 00:32:04 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 2021-04-14 00:33:05 +0200 | alexm_ | (~alexm_@161.8.254.229) |
| 2021-04-14 00:41:53 +0200 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 2021-04-14 00:42:56 +0200 | grimpeux | (~textual@modemcable153.12-178-173.mc.videotron.ca) |
| 2021-04-14 00:44:12 +0200 | <fresheyeball> | join #nixos |
| 2021-04-14 00:45:01 +0200 | alexm_ | (~alexm_@161.8.254.229) (Ping timeout: 268 seconds) |
| 2021-04-14 00:46:28 +0200 | danso | (~dan@23-233-111-52.cpe.pppoe.ca) (Quit: WeeChat 3.0) |
| 2021-04-14 00:46:57 +0200 | hololeap_ | (~hololeap@gateway/tor-sasl/hololeap) |
| 2021-04-14 00:47:10 +0200 | Sornaensis | (~Sornaensi@85.203.36.21) (Ping timeout: 252 seconds) |
| 2021-04-14 00:47:37 +0200 | __minoru__shirae | (~shiraeesh@46.34.206.215) (Remote host closed the connection) |
| 2021-04-14 00:48:01 +0200 | __minoru__shirae | (~shiraeesh@46.34.206.215) |
| 2021-04-14 00:50:25 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-14 00:50:45 +0200 | hololeap | (~hololeap@gateway/tor-sasl/hololeap) (Ping timeout: 240 seconds) |
| 2021-04-14 00:51:19 +0200 | dmytrish | (~mitra@2a02:8084:a82:d900:f811:9873:2623:c28b) (Ping timeout: 260 seconds) |
| 2021-04-14 00:52:41 +0200 | <maerwald[m]> | No |
| 2021-04-14 00:53:21 +0200 | <monochrom> | "directed join" |
| 2021-04-14 00:53:33 +0200 | zebrag | (~inkbottle@aaubervilliers-654-1-2-51.w83-200.abo.wanadoo.fr) (Ping timeout: 240 seconds) |
| 2021-04-14 00:54:29 +0200 | <hpc> | i just assume those are missed /s |
| 2021-04-14 00:57:26 +0200 | <monochrom> | I do too. |
| 2021-04-14 00:58:00 +0200 | <monochrom> | But I still don't understand why in this the 21st century of our lord people still manually enter "/join" |
| 2021-04-14 00:58:03 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-14 00:58:11 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2021-04-14 00:58:41 +0200 | <monochrom> | and everyday, every time, at that. |
| 2021-04-14 00:58:41 +0200 | <glguy> | Yeah, I just think the name of the channel I want to join. |
| 2021-04-14 00:58:52 +0200 | <pjb> | neuralink! |
| 2021-04-14 00:59:25 +0200 | <monochrom> | Well, I mean config files exist, right? You enter it only once a long time ago, right? |
| 2021-04-14 00:59:44 +0200 | xsperry | (~as@unaffiliated/xsperry) |
| 2021-04-14 01:00:01 +0200 | Alleria | (~textual@2603-7000-3040-0000-9df5-86d2-c184-c1c0.res6.spectrum.com) |
| 2021-04-14 01:00:26 +0200 | Alleria | Guest36821 |
| 2021-04-14 01:01:05 +0200 | <pjb> | monochrom: interests or questionnings may change. |
| 2021-04-14 01:01:36 +0200 | <maerwald[m]> | Odd |
| 2021-04-14 01:01:44 +0200 | berberman | (~berberman@unaffiliated/berberman) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-04-14 01:02:04 +0200 | <pjb> | monochrom: but granted, this should be bury it under layers of AI: just type your message or question, and let the AI decide in what channel to sent it. |
| 2021-04-14 01:02:08 +0200 | berberman | (~berberman@unaffiliated/berberman) |
| 2021-04-14 01:02:12 +0200 | <monochrom> | Or is it true that the beloved text-mode-console IRC clients don't have any notion of config files so you make-shift with a keyboard logger-and-replayer but sometimes there is a race condition so one replayed keystroke is lost and it happens to be a slash. |
| 2021-04-14 01:03:40 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2021-04-14 01:04:36 +0200 | Guest36821 | (~textual@2603-7000-3040-0000-9df5-86d2-c184-c1c0.res6.spectrum.com) (Ping timeout: 258 seconds) |
| 2021-04-14 01:04:50 +0200 | rprije | (~rprije@59-102-63-15.tpgi.com.au) |
| 2021-04-14 01:06:08 +0200 | grimpeux | (~textual@modemcable153.12-178-173.mc.videotron.ca) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-14 01:07:13 +0200 | alexm_ | (~alexm_@161.8.254.229) |
| 2021-04-14 01:07:35 +0200 | grimpeux | (~textual@modemcable153.12-178-173.mc.videotron.ca) |
| 2021-04-14 01:09:33 +0200 | rj | (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 2021-04-14 01:10:15 +0200 | <yushyin> | I often join a channel temporarily, /join works great for that |
| 2021-04-14 01:12:47 +0200 | alexm_ | (~alexm_@161.8.254.229) () |
| 2021-04-14 01:15:37 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-14 01:18:08 +0200 | porygon2 | (~porygon2@178.239.168.171) (Remote host closed the connection) |
| 2021-04-14 01:19:38 +0200 | <pjb> | And I often leave channels with obnoxious self-appointed channel operators, and remove them from my auto-join list… hence the occasional manual /join. |
| 2021-04-14 01:19:46 +0200 | grimpeux | (~textual@modemcable153.12-178-173.mc.videotron.ca) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-14 01:21:12 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2021-04-14 01:22:00 +0200 | dpl_ | (~dpl@77-121-78-163.chn.volia.net) |
| 2021-04-14 01:22:02 +0200 | Cerise | (~jerry@unaffiliated/cerise) (Ping timeout: 245 seconds) |
| 2021-04-14 01:22:06 +0200 | malumore_ | (~malumore@151.62.122.89) (Ping timeout: 240 seconds) |
| 2021-04-14 01:22:56 +0200 | rotcev | (63c75abf@d99-199-90-191.bchsia.telus.net) |
| 2021-04-14 01:23:48 +0200 | Cerise | (~jerry@natsumi.devzero.info) |
| 2021-04-14 01:23:48 +0200 | Cerise | (~jerry@natsumi.devzero.info) (Changing host) |
| 2021-04-14 01:23:48 +0200 | Cerise | (~jerry@unaffiliated/cerise) |
| 2021-04-14 01:24:32 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-04-14 01:25:43 +0200 | dpl | (~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 268 seconds) |
| 2021-04-14 01:26:00 +0200 | ddere | (uid110888@gateway/web/irccloud.com/x-gokpmupptkfvgzhl) |
| 2021-04-14 01:27:46 +0200 | shailangsa | (~shailangs@host86-185-98-61.range86-185.btcentralplus.com) (Ping timeout: 240 seconds) |
| 2021-04-14 01:29:51 +0200 | kini | (~kini@unaffiliated/kini) (Remote host closed the connection) |
| 2021-04-14 01:31:10 +0200 | kini | (~kini@unaffiliated/kini) |
| 2021-04-14 01:32:33 +0200 | SquidDev3 | (~SquidDev@autoclave.squiddev.cc) |
| 2021-04-14 01:32:35 +0200 | nojster | (~noj@vmd62096.contaboserver.net) (Ping timeout: 248 seconds) |
| 2021-04-14 01:33:01 +0200 | nojster | (~noj@vmd62096.contaboserver.net) |
| 2021-04-14 01:33:11 +0200 | pierrot | (~pi@unaffiliated/pierrot) (Ping timeout: 260 seconds) |
| 2021-04-14 01:33:33 +0200 | hendursa1 | (~weechat@gateway/tor-sasl/hendursaga) (Ping timeout: 240 seconds) |
| 2021-04-14 01:33:55 +0200 | SquidDev | (~SquidDev@autoclave.squiddev.cc) (Ping timeout: 252 seconds) |
| 2021-04-14 01:33:56 +0200 | SquidDev3 | SquidDev |
| 2021-04-14 01:35:39 +0200 | hendursa1 | (~weechat@gateway/tor-sasl/hendursaga) |
| 2021-04-14 01:38:18 +0200 | kiweun | (~kiweun@2607:fea8:2a62:9600:5146:1352:4c05:7f61) |
| 2021-04-14 01:42:33 +0200 | kiweun | (~kiweun@2607:fea8:2a62:9600:5146:1352:4c05:7f61) (Ping timeout: 258 seconds) |
| 2021-04-14 01:46:01 +0200 | haskellstudent | (~quassel@213-225-6-101.nat.highway.a1.net) (Ping timeout: 260 seconds) |
| 2021-04-14 01:46:01 +0200 | haskellstudent_ | (~quassel@213-225-6-101.nat.highway.a1.net) |
| 2021-04-14 01:46:14 +0200 | Deide | (~Deide@217.155.19.23) (Quit: Seeee yaaaa) |
| 2021-04-14 01:47:10 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-04-14 01:47:28 +0200 | kingmaker | (2edfa3b9@HSI-KBW-46-223-163-185.hsi.kabel-badenwuerttemberg.de) |
| 2021-04-14 01:50:02 +0200 | thc202 | (~thc202@unaffiliated/thc202) (Ping timeout: 258 seconds) |
| 2021-04-14 01:50:52 +0200 | xsperry | (~as@unaffiliated/xsperry) (Remote host closed the connection) |
| 2021-04-14 01:54:53 +0200 | shailangsa | (~shailangs@host86-185-98-61.range86-185.btcentralplus.com) |
| 2021-04-14 01:56:09 +0200 | pierrot | (~pi@unaffiliated/pierrot) |
| 2021-04-14 01:59:08 +0200 | <kingmaker> | Hi, anyone know some HXT and could answer a quick question about it's XmlArrow? |
| 2021-04-14 02:02:04 +0200 | landonf | (landonf@mac68k.info) (Excess Flood) |
| 2021-04-14 02:02:44 +0200 | dsrt^ | (dsrt@ip98-184-89-2.mc.at.cox.net) () |
| 2021-04-14 02:02:56 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-04-14 02:03:25 +0200 | landonf | (landonf@mac68k.info) |
| 2021-04-14 02:05:20 +0200 | grimpeux | (~textual@modemcable153.12-178-173.mc.videotron.ca) |
| 2021-04-14 02:05:58 +0200 | tmciver | (~tmciver@cpe-172-101-40-226.maine.res.rr.com) (Ping timeout: 240 seconds) |
| 2021-04-14 02:06:36 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-14 02:08:08 +0200 | tmciver | (~tmciver@cpe-172-101-40-226.maine.res.rr.com) |
| 2021-04-14 02:15:31 +0200 | acidjnk_new | (~acidjnk@p200300d0c72b954090611fa1f3f989eb.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2021-04-14 02:15:40 +0200 | kingmaker | (2edfa3b9@HSI-KBW-46-223-163-185.hsi.kabel-badenwuerttemberg.de) (Quit: Connection closed) |
| 2021-04-14 02:16:50 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-14 02:22:26 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2021-04-14 02:24:11 +0200 | Tario | (~Tario@201.192.165.173) (Ping timeout: 240 seconds) |
| 2021-04-14 02:25:53 +0200 | Tario | (~Tario@200.119.184.15) |
| 2021-04-14 02:28:08 +0200 | whataday | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2021-04-14 02:29:15 +0200 | whataday | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-04-14 02:30:09 +0200 | smibarber | (~smibarber@195.140.213.38) |
| 2021-04-14 02:30:28 +0200 | haskellstudent_ | (~quassel@213-225-6-101.nat.highway.a1.net) (Ping timeout: 268 seconds) |
| 2021-04-14 02:32:09 +0200 | __minoru__shirae | (~shiraeesh@46.34.206.215) (Read error: No route to host) |
| 2021-04-14 02:32:19 +0200 | obiiwahn | (~obiwahn@pdpc/supporter/student/obiwahn) (Ping timeout: 268 seconds) |
| 2021-04-14 02:32:25 +0200 | __minoru__shirae | (~shiraeesh@46.34.206.215) |
| 2021-04-14 02:33:32 +0200 | obiiwahn | (~obiwahn@pdpc/supporter/student/obiwahn) |
| 2021-04-14 02:36:10 +0200 | kilolympus | (~kilolympu@5.151.5.177) (Read error: Connection reset by peer) |
| 2021-04-14 02:36:10 +0200 | Tario | (~Tario@200.119.184.15) (Read error: Connection reset by peer) |
| 2021-04-14 02:36:25 +0200 | Tario | (~Tario@201.192.165.173) |
| 2021-04-14 02:37:36 +0200 | ukari | (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 2021-04-14 02:38:51 +0200 | ukari | (~ukari@unaffiliated/ukari) |
| 2021-04-14 02:38:57 +0200 | rotcev | (63c75abf@d99-199-90-191.bchsia.telus.net) (Quit: Connection closed) |
| 2021-04-14 02:42:30 +0200 | Gurkenglas | (~Gurkengla@unaffiliated/gurkenglas) (Remote host closed the connection) |
| 2021-04-14 02:43:10 +0200 | gitgood | (~gitgood@80-44-9-246.dynamic.dsl.as9105.com) (Remote host closed the connection) |
| 2021-04-14 02:43:41 +0200 | BosonCollider | (~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 240 seconds) |
| 2021-04-14 02:44:17 +0200 | carlomagno | (~cararell@148.87.23.8) (Quit: Leaving.) |
| 2021-04-14 02:48:10 +0200 | nrh^ | (nrh@ip98-184-89-2.mc.at.cox.net) |
| 2021-04-14 02:51:39 +0200 | freecoupo | (~freecoupo@185.200.34.249) |
| 2021-04-14 02:51:41 +0200 | <freecoupo> | Hello my friends! Claim up to US $24 in coupons now! |
| 2021-04-14 02:51:41 +0200 | <freecoupo> | Your $24 in coupons are here! |
| 2021-04-14 02:51:41 +0200 | <freecoupo> | https://a.aliexpress.com/_m0XtOXd Not spam, not virus, just coupons! ;) |
| 2021-04-14 02:51:54 +0200 | <Axman6> | @where ops |
| 2021-04-14 02:51:54 +0200 | <lambdabot> | byorgey Cale conal copumpkin dcoutts dibblego dolio edwardk geekosaur glguy jmcarthur johnw mniip monochrom quicksilver shachaf shapr ski |
| 2021-04-14 02:58:09 +0200 | grimpeux | (~textual@modemcable153.12-178-173.mc.videotron.ca) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-04-14 02:59:11 +0200 | shailangsa | (~shailangs@host86-185-98-61.range86-185.btcentralplus.com) (Ping timeout: 240 seconds) |
| 2021-04-14 02:59:47 +0200 | smerdyakov9 | (~dan@ip-95-222-147-230.hsi15.unitymediagroup.de) |
| 2021-04-14 03:00:05 +0200 | freecoupo | (~freecoupo@185.200.34.249) (K-Lined) |
| 2021-04-14 03:01:01 +0200 | justan0theruser | (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 250 seconds) |
| 2021-04-14 03:01:41 +0200 | smerdyakov | (~dan@5.146.195.159) (Ping timeout: 240 seconds) |
| 2021-04-14 03:01:42 +0200 | smerdyakov9 | smerdyakov |
| 2021-04-14 03:03:25 +0200 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2021-04-14 03:05:52 +0200 | xsperry | (~as@cpe-188-129-52-227.dynamic.amis.hr) |
| 2021-04-14 03:05:58 +0200 | rekahsoft | (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) |
| 2021-04-14 03:06:00 +0200 | xsperry | (~as@cpe-188-129-52-227.dynamic.amis.hr) (Changing host) |
| 2021-04-14 03:06:00 +0200 | xsperry | (~as@unaffiliated/xsperry) |
| 2021-04-14 03:07:33 +0200 | ddk | (9d23f773@157.35.247.115) |
| 2021-04-14 03:07:47 +0200 | ddk | (9d23f773@157.35.247.115) (Client Quit) |
| 2021-04-14 03:08:02 +0200 | jamm_ | (~jamm@unaffiliated/jamm) (Ping timeout: 258 seconds) |
| 2021-04-14 03:08:12 +0200 | smerdyakov8 | (~dan@5.146.195.164) |
| 2021-04-14 03:08:31 +0200 | ep1ctetus | (~epictetus@ip72-194-54-201.sb.sd.cox.net) (Quit: Leaving) |
| 2021-04-14 03:11:49 +0200 | smerdyakov | (~dan@ip-95-222-147-230.hsi15.unitymediagroup.de) (Ping timeout: 252 seconds) |
| 2021-04-14 03:11:49 +0200 | smerdyakov8 | smerdyakov |
| 2021-04-14 03:11:51 +0200 | <shapr> | yay k-lined |
| 2021-04-14 03:19:43 +0200 | xff0x | (~xff0x@2001:1a81:52e3:ed00:16c4:781d:2418:6176) (Ping timeout: 260 seconds) |
| 2021-04-14 03:20:04 +0200 | hypercube | (hypercube@gateway/vpn/protonvpn/hypercube) (Ping timeout: 252 seconds) |
| 2021-04-14 03:20:43 +0200 | olligobber | (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 2021-04-14 03:21:03 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-14 03:21:10 +0200 | mrchampion | (~mrchampio@38.18.109.23) (Ping timeout: 252 seconds) |
| 2021-04-14 03:21:42 +0200 | xff0x | (~xff0x@2001:1a81:53de:e800:556:f11d:9bcf:7d2e) |
| 2021-04-14 03:22:05 +0200 | aVikingTrex | (~holoirc@2001:8003:340d:d00:147c:abad:fef7:d5de) |
| 2021-04-14 03:22:23 +0200 | Tario | (~Tario@201.192.165.173) (Ping timeout: 246 seconds) |
| 2021-04-14 03:24:58 +0200 | mrchampion | (~mrchampio@38.18.109.23) |
| 2021-04-14 03:25:53 +0200 | alisa | (adf8e1c6@173.248.225.198) |
| 2021-04-14 03:26:02 +0200 | shailangsa | (~shailangs@host86-185-98-61.range86-185.btcentralplus.com) |
| 2021-04-14 03:26:55 +0200 | <alisa> | hi, I need you help , i want get current process infos, such as pid , full run path |
| 2021-04-14 03:28:13 +0200 | barakkl1993 | (~barakkley@2.55.175.206) |
| 2021-04-14 03:28:44 +0200 | alias | (45ac5999@69-172-89-153.static.imsbiz.com) |
| 2021-04-14 03:28:55 +0200 | alias | BalterNotz |
| 2021-04-14 03:31:05 +0200 | drbean_ | (~drbean@TC210-63-209-49.static.apol.com.tw) |
| 2021-04-14 03:31:17 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:a04b:d074:eb9e:ca69) |
| 2021-04-14 03:31:56 +0200 | <alisa> | hello |
| 2021-04-14 03:33:16 +0200 | __minoru__shirae | (~shiraeesh@46.34.206.215) (Ping timeout: 252 seconds) |
| 2021-04-14 03:34:20 +0200 | kiweun | (~kiweun@2607:fea8:2a62:9600:3c96:f497:7c0d:d48f) |
| 2021-04-14 03:34:27 +0200 | <shapr> | hi alisa |
| 2021-04-14 03:34:29 +0200 | HannaM | (~quassel@p54849510.dip0.t-ipconnect.de) (Quit: http://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2021-04-14 03:35:37 +0200 | <alisa> | oh, alisa , is here have any method to get current process info |
| 2021-04-14 03:35:38 +0200 | <shapr> | alisa: what about https://hackage.haskell.org/package/base-4.15.0.0/docs/System-Environment.html#v:getProgName ? |
| 2021-04-14 03:35:50 +0200 | <alisa> | oh! thinks |
| 2021-04-14 03:36:03 +0200 | <shapr> | along with https://hackage.haskell.org/package/base-4.15.0.0/docs/System-Environment.html#v:getExecutablePath |
| 2021-04-14 03:36:38 +0200 | <alisa> | Niu B, thank you very much |
| 2021-04-14 03:36:40 +0200 | <shapr> | I don't know how to get the pid of the running program |
| 2021-04-14 03:36:56 +0200 | viluon | (uid453725@gateway/web/irccloud.com/x-nnqlbbddhkybeglg) (Quit: Connection closed for inactivity) |
| 2021-04-14 03:37:42 +0200 | <hololeap_> | maybe it's in an environment variable? |
| 2021-04-14 03:37:46 +0200 | hololeap_ | hololeap |
| 2021-04-14 03:38:08 +0200 | <alisa> | en. I’m conducting an experiment. During the uninterrupted operation of the server, the code is dynamically compiled and loaded |
| 2021-04-14 03:40:01 +0200 | <shapr> | this function claims to return the pid of the current process: https://hackage.haskell.org/package/unix-2.7.2.2/docs/System-Posix-Process.html#v:getProcessID |
| 2021-04-14 03:40:15 +0200 | <shapr> | alisa: that's a fun experiment |
| 2021-04-14 03:40:44 +0200 | <shapr> | alisa: how did you get that working? |
| 2021-04-14 03:41:31 +0200 | barakkl1993 | (~barakkley@2.55.175.206) (Ping timeout: 252 seconds) |
| 2021-04-14 03:41:52 +0200 | jchia[m] | (jchiamatri@gateway/shell/matrix.org/x-afhcftwgolwwlgft) |
| 2021-04-14 03:42:39 +0200 | hypercube | (hypercube@gateway/vpn/protonvpn/hypercube) |
| 2021-04-14 03:43:26 +0200 | <alisa> | During the exploration, just like nginx dynamic loading configuration, I want to realize that through custom commands like ./program run, ./program load souce_code_file.hs, it can be run in multiple instances. Just started, and now it’s just an idea. |
| 2021-04-14 03:43:38 +0200 | <jchia[m]> | I need to copy a Data.Vector.Storable Float to a IOVector Float. Is there a more efficient way than to use write in a for_ to copy element-by-element? I would expect those two types of vectors to have the exact same data representation in memory. |
| 2021-04-14 03:45:01 +0200 | <jchia[m]> | Let me add that the IOVector Float is larger. I want to copy the Storable vector to the IOVector starting from some non-zero index. |
| 2021-04-14 03:45:19 +0200 | <shapr> | alisa: I hope your idea works! |
| 2021-04-14 03:45:44 +0200 | alisa | (adf8e1c6@173.248.225.198) (Quit: Connection closed) |
| 2021-04-14 03:46:40 +0200 | <hololeap> | jchia[m]: looks like there's an unsafeCast function in Data.Vector.Storable |
| 2021-04-14 03:46:59 +0200 | <hololeap> | oh, nvm that just casts the elements |
| 2021-04-14 03:47:59 +0200 | santiacq1 | (~santiacq@r167-60-199-83.dialup.adsl.anteldata.net.uy) (Quit: WeeChat 3.1) |
| 2021-04-14 03:54:54 +0200 | amol | (~amol@c-67-169-78-228.hsd1.ca.comcast.net) |
| 2021-04-14 03:55:05 +0200 | amol | syntactic_sugar |
| 2021-04-14 03:55:16 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-04-14 03:57:11 +0200 | jlamothe | (~jlamothe@198.251.57.81) (Ping timeout: 240 seconds) |
| 2021-04-14 03:57:42 +0200 | <hololeap> | it doesn't seem like they have the same representation, or at least i don't see any supported way to do what you want, other than O(n) copy |
| 2021-04-14 04:00:42 +0200 | Tario | (~Tario@201.192.165.173) |
| 2021-04-14 04:01:41 +0200 | <monochrom> | "IOVector" is ambiguous, there are two or more. |
| 2021-04-14 04:03:35 +0200 | rajivr | (uid269651@gateway/web/irccloud.com/x-ubwtsitjrarbotro) |
| 2021-04-14 04:03:38 +0200 | <monochrom> | But Data.Vector.Storable.unsafeFreeze/Thaw is the unsafe cast between Storable.Vector and Storable.Mutable.IOVector |
| 2021-04-14 04:04:24 +0200 | aVikingTrex | (~holoirc@2001:8003:340d:d00:147c:abad:fef7:d5de) (Remote host closed the connection) |
| 2021-04-14 04:04:37 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds) |
| 2021-04-14 04:05:47 +0200 | <hololeap> | monochrom: it doesn't seem like the types match up |
| 2021-04-14 04:07:15 +0200 | <monochrom> | As said, there are like 5 things all called "IOVector". The wrong ones don't match, sure. |
| 2021-04-14 04:07:37 +0200 | <hololeap> | oh, i see what you're saying now :) |
| 2021-04-14 04:09:20 +0200 | gnumonic | (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) |
| 2021-04-14 04:09:55 +0200 | <jchia[m]> | I mean Data.Vector.Mutable.IOVector |
| 2021-04-14 04:10:45 +0200 | <monochrom> | No go. Data.Vector.Mutable is the "boxed" kind, i.e., behind Data.Vector |
| 2021-04-14 04:11:02 +0200 | <jchia[m]> | Or Data.Vector.Unboxed.Mutable.Vector |
| 2021-04-14 04:11:12 +0200 | <monochrom> | But you can always s/import Data.Vector.Mutable/import Data.Vector.Storable.Mutable/ |
| 2021-04-14 04:11:15 +0200 | <jchia[m]> | Data.Vector.Unboxed.Mutable.IOVector |
| 2021-04-14 04:11:52 +0200 | olligobber | (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 265 seconds) |
| 2021-04-14 04:11:58 +0200 | <monochrom> | <monochrom> As said, there are like 5 things all called "IOVector". The wrong ones don't match, sure. |
| 2021-04-14 04:12:36 +0200 | <jchia[m]> | Is using Storable.Vector Float more or less efficient than Unboxed.Vector Float? I expect them to both be unboxed in the general sense. |
| 2021-04-14 04:13:40 +0200 | <monochrom> | I heard yes for Float a most scalar element types. I haven't tested it though. |
| 2021-04-14 04:13:47 +0200 | <monochrom> | s/a most/and most/ |
| 2021-04-14 04:14:14 +0200 | <hololeap> | Storable is using pointers hiding behind FFI. no idea though :) |
| 2021-04-14 04:14:51 +0200 | <monochrom> | Naw just one pointer to the beginning of the whole array. Elementwise it uses Storable methods. |
| 2021-04-14 04:15:15 +0200 | Sgeo | (~Sgeo@ool-18b98aa4.dyn.optonline.net) (Ping timeout: 265 seconds) |
| 2021-04-14 04:15:19 +0200 | <hololeap> | i would think they would be very similar in performance |
| 2021-04-14 04:15:45 +0200 | Sgeo | (~Sgeo@ool-18b98aa4.dyn.optonline.net) |
| 2021-04-14 04:16:22 +0200 | syntactic_sugar | (~amol@c-67-169-78-228.hsd1.ca.comcast.net) (Quit: syntactic_sugar) |
| 2021-04-14 04:16:57 +0200 | syntactic_sugar | (~amol@c-67-169-78-228.hsd1.ca.comcast.net) |
| 2021-04-14 04:17:15 +0200 | syntactic_sugar | (~amol@c-67-169-78-228.hsd1.ca.comcast.net) (Client Quit) |
| 2021-04-14 04:17:22 +0200 | <monochrom> | I would either ask the authors or do my benchmarks or just go Unboxed and not think. But Storable is sweet because it's much more user-customizable than Unboxed. |
| 2021-04-14 04:18:12 +0200 | syntactic_sugar | (~amol@c-67-169-78-228.hsd1.ca.comcast.net) |
| 2021-04-14 04:18:16 +0200 | <monochrom> | Like if I had "data E = MkE Int Bool Char" I would go Storable because that's the only choice. Unboxed is closed. |
| 2021-04-14 04:18:51 +0200 | <monochrom> | But Float? Why even bother unless you're using someone else library that forces you to. |
| 2021-04-14 04:18:56 +0200 | syntactic_sugar | (~amol@c-67-169-78-228.hsd1.ca.comcast.net) (Client Quit) |
| 2021-04-14 04:19:21 +0200 | <monochrom> | Or unless it's Float today but you envision you will change it to your own type tomorrow. |
| 2021-04-14 04:19:26 +0200 | rekahsoft | (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Ping timeout: 240 seconds) |
| 2021-04-14 04:19:34 +0200 | <jchia[m]> | It feels like storable should be a special case of unboxed, other than that unbox splits up parts of a tuple. |
| 2021-04-14 04:19:53 +0200 | syntactic_sugar | (~amol@c-67-169-78-228.hsd1.ca.comcast.net) |
| 2021-04-14 04:20:02 +0200 | <jchia[m]> | i.e. whatever you can do with unbox you should be able to do with storable |
| 2021-04-14 04:20:05 +0200 | urodna_ | (~urodna@unaffiliated/urodna) (Quit: urodna_) |
| 2021-04-14 04:20:55 +0200 | <jchia[m]> | and treat a storable as an unbox without any expensive conversion, discounting tuples |
| 2021-04-14 04:21:12 +0200 | <jchia[m]> | making the whole thing make sense while working for tuple splitting is a problem, though |
| 2021-04-14 04:22:23 +0200 | <jchia[m]> | but then, there is no storable instance for tuples |
| 2021-04-14 04:22:50 +0200 | <hololeap> | my guess is there is something about hiding behind FFI which does not guarantee structure, hence why there is no explicit conversion |
| 2021-04-14 04:27:58 +0200 | <monochrom> | Hrm nevermind, Unboxed is pretty open too. But you may or may not like tearing up one Complex array into two Double arrays. |
| 2021-04-14 04:28:56 +0200 | <monochrom> | err nevermind that too, it doesn't tear up into two arrays. |
| 2021-04-14 04:29:10 +0200 | pthariensflame | (~pthariens@2600:6c52:727f:4200:4df9:43c4:992a:20a1) |
| 2021-04-14 04:29:25 +0200 | pthariensflame | (~pthariens@2600:6c52:727f:4200:4df9:43c4:992a:20a1) (Client Quit) |
| 2021-04-14 04:31:37 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-04-14 04:32:38 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-04-14 04:33:01 +0200 | myShoggoth | (~myShoggot@97-120-72-12.ptld.qwest.net) (Ping timeout: 260 seconds) |
| 2021-04-14 04:36:48 +0200 | <gnumonic> | Can someone explain what a "matchable function" is? Or at least clarify whether (k ~> Type) or (k -> Type) is "matchable"? |
| 2021-04-14 04:40:59 +0200 | myShoggoth | (~myShoggot@97-120-72-12.ptld.qwest.net) |
| 2021-04-14 04:41:19 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-04-14 04:46:13 +0200 | theDon | (~td@muedsl-82-207-238-185.citykom.de) (Ping timeout: 240 seconds) |
| 2021-04-14 04:47:28 +0200 | jlamothe | (~jlamothe@198.251.57.81) |
| 2021-04-14 04:48:13 +0200 | theDon | (~td@94.134.91.214) |
| 2021-04-14 04:48:41 +0200 | drbean_ | (~drbean@TC210-63-209-49.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
| 2021-04-14 04:50:28 +0200 | <koz_> | Unboxed is considerably more annoying to implement than Storable, that much _is_ true. |
| 2021-04-14 04:51:05 +0200 | FinnElija | (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 2021-04-14 04:51:05 +0200 | finn_elija | Guest79333 |
| 2021-04-14 04:51:05 +0200 | FinnElija | finn_elija |
| 2021-04-14 04:51:06 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 2021-04-14 04:52:23 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-04-14 04:53:57 +0200 | Guest79333 | (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 240 seconds) |
| 2021-04-14 04:59:23 +0200 | justsomeguy | (~justsomeg@unaffiliated/--/x-3805311) |
| 2021-04-14 05:00:54 +0200 | <justsomeguy> | Can someone give me a dumbed-down, possibly inaccurate summary of what Traversable is, just to give me a sense of it? Is it an iterator? A thingy that flips inner structure with outer structure? Something that helps me climb trees? |
| 2021-04-14 05:02:22 +0200 | machinedgod | (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 252 seconds) |
| 2021-04-14 05:02:33 +0200 | <koz_> | justsomeguy: Traversable is 'effectful fmap'. |
| 2021-04-14 05:02:35 +0200 | <koz_> | :t fmap |
| 2021-04-14 05:02:37 +0200 | <lambdabot> | Functor f => (a -> b) -> f a -> f b |
| 2021-04-14 05:02:40 +0200 | <koz_> | :t traverse |
| 2021-04-14 05:02:41 +0200 | <lambdabot> | (Traversable t, Applicative f) => (a -> f b) -> t a -> f (t b) |
| 2021-04-14 05:03:07 +0200 | <koz_> | s/is/allows/ |
| 2021-04-14 05:06:58 +0200 | justsomeguy | slowly mulls over what an applicative effect is. |
| 2021-04-14 05:07:48 +0200 | <monochrom> | IO is an example. |
| 2021-04-14 05:08:03 +0200 | justanotheruser | (~justanoth@unaffiliated/justanotheruser) |
| 2021-04-14 05:09:31 +0200 | <monochrom> | If you have ["hello", "hi", "aloha"], and if you want for each string there you putStrLn then getLine, and you want the result list to be the 3 lines you get from the 3 getLines: |
| 2021-04-14 05:09:52 +0200 | roconnor | (~roconnor@host-45-78-202-80.dyn.295.ca) (Ping timeout: 240 seconds) |
| 2021-04-14 05:09:57 +0200 | <monochrom> | traverse (\s -> putStrLn s >> getLine) ["hello", "hi", "aloha"] |
| 2021-04-14 05:10:04 +0200 | <monochrom> | THE END |
| 2021-04-14 05:11:21 +0200 | syntactic_sugar | (~amol@c-67-169-78-228.hsd1.ca.comcast.net) (Quit: syntactic_sugar) |
| 2021-04-14 05:11:55 +0200 | syntactic_sugar | (~syntactic@c-67-169-78-228.hsd1.ca.comcast.net) |
| 2021-04-14 05:11:55 +0200 | Sheilong | (uid293653@gateway/web/irccloud.com/x-ljvkmqtgqlpdhiue) () |
| 2021-04-14 05:12:26 +0200 | syntactic_sugar | (~syntactic@c-67-169-78-228.hsd1.ca.comcast.net) (Remote host closed the connection) |
| 2021-04-14 05:12:36 +0200 | syntactic_sugar | (~syntactic@c-67-169-78-228.hsd1.ca.comcast.net) |
| 2021-04-14 05:13:25 +0200 | <justsomeguy> | Hrm, that's pretty similar to forM, which I've been using for a while now without understanding. |
| 2021-04-14 05:13:28 +0200 | guest414 | (~user@49.5.6.87) |
| 2021-04-14 05:13:53 +0200 | <monochrom> | Just different argument orders. |
| 2021-04-14 05:14:32 +0200 | <guest414> | how to take out 3 and 4 from [Just 3, Just 4] with fmap? turn List and Maybe into a monad transformer? |
| 2021-04-14 05:14:58 +0200 | <monochrom> | fmap fromJust |
| 2021-04-14 05:15:21 +0200 | <monochrom> | perhaps catMaybes |
| 2021-04-14 05:16:04 +0200 | <guest414> | monochrom: what if it's not Just 3, if it's T 3, data T a = T a |
| 2021-04-14 05:16:13 +0200 | <guest414> | T 3 :: T Int |
| 2021-04-14 05:16:20 +0200 | <monochrom> | fmap (\(T i) -> i) |
| 2021-04-14 05:16:22 +0200 | <guest414> | [T 3, T 4] |
| 2021-04-14 05:18:13 +0200 | <guest414> | monochrom: fmap f [T 3, T 4], I would like want f to take 3 or 4 |
| 2021-04-14 05:18:38 +0200 | <guest414> | like fmap (+1) [T 3, T 4] |
| 2021-04-14 05:18:47 +0200 | <monochrom> | Clearly f cannot take 3 or 4. has to take T 3 or T 4. |
| 2021-04-14 05:18:48 +0200 | <guest414> | return [T 4, T 5] |
| 2021-04-14 05:18:57 +0200 | <monochrom> | \(T i) -> i+1 |
| 2021-04-14 05:19:09 +0200 | <guest414> | monochrom: if [T] is a functor, it can |
| 2021-04-14 05:19:31 +0200 | <guest414> | [T a] |
| 2021-04-14 05:20:23 +0200 | <monochrom> | fmap (fmap (+1)) |
| 2021-04-14 05:20:48 +0200 | <guest414> | fmap f (T x) = T (f x) could make T as a functor |
| 2021-04-14 05:20:51 +0200 | <guest414> | and [] is a functor |
| 2021-04-14 05:21:00 +0200 | <guest414> | so I wonder if [T ] would be a functor? |
| 2021-04-14 05:21:19 +0200 | <monochrom> | Did you see my <monochrom> fmap (fmap (+1)) ? |
| 2021-04-14 05:22:09 +0200 | aerona | (~aerona@2600:6c54:4600:f300:92f6:b406:86cc:ef76) (Quit: Leaving) |
| 2021-04-14 05:22:53 +0200 | dpl_ | (~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 240 seconds) |
| 2021-04-14 05:23:16 +0200 | mnrmnaugh | (~mnrmnaugh@unaffiliated/mnrmnaugh) (Quit: Leaving) |
| 2021-04-14 05:24:47 +0200 | <guest414> | ok |
| 2021-04-14 05:25:25 +0200 | mnrmnaugh | (~mnrmnaugh@unaffiliated/mnrmnaugh) |
| 2021-04-14 05:26:53 +0200 | olligobber | (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 2021-04-14 05:37:01 +0200 | syntactic_sugar | (~syntactic@c-67-169-78-228.hsd1.ca.comcast.net) (Quit: syntactic_sugar) |
| 2021-04-14 05:45:32 +0200 | horatiohb | (~horatiohb@104.236.81.226) (Ping timeout: 240 seconds) |
| 2021-04-14 05:52:09 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-14 05:52:55 +0200 | <Axman6> | justsomeguy: assuming you have getURL :: URL -> IO ByteString and urls :: Tree URL, you can traverse getUrl urls will give you back a tree with identical structure as urls but with all URLs replaced with their contents, IO (Tree ByteString) |
| 2021-04-14 05:53:10 +0200 | <Axman6> | :t forM |
| 2021-04-14 05:53:11 +0200 | <lambdabot> | (Traversable t, Monad m) => t a -> (a -> m b) -> m (t b) |
| 2021-04-14 05:53:16 +0200 | <Axman6> | :t traverse |
| 2021-04-14 05:53:17 +0200 | <lambdabot> | (Traversable t, Applicative f) => (a -> f b) -> t a -> f (t b) |
| 2021-04-14 05:56:01 +0200 | infinisil | (~infinisil@NixOS/user/infinisil) (Ping timeout: 246 seconds) |
| 2021-04-14 05:56:24 +0200 | infinisil | (~infinisil@NixOS/user/infinisil) |
| 2021-04-14 05:56:45 +0200 | snowflake | (~snowflake@gateway/tor-sasl/snowflake) (Ping timeout: 240 seconds) |
| 2021-04-14 05:57:01 +0200 | Benett | (~Benett@unaffiliated/benett) (Ping timeout: 245 seconds) |
| 2021-04-14 05:57:07 +0200 | noexcept | (~noexcept@noexcept.org) (Ping timeout: 248 seconds) |
| 2021-04-14 05:57:09 +0200 | Chai-T-Rex | (~ChaiTRex@gateway/tor-sasl/chaitrex) (Ping timeout: 240 seconds) |
| 2021-04-14 05:57:12 +0200 | Black | (~Benett@unaffiliated/benett) |
| 2021-04-14 05:57:18 +0200 | Black | Benett |
| 2021-04-14 05:57:31 +0200 | snowflake | (~snowflake@gateway/tor-sasl/snowflake) |
| 2021-04-14 05:57:40 +0200 | DustyDin1o | (~nonamen@v2202001112302107134.ultrasrv.de) (Ping timeout: 276 seconds) |
| 2021-04-14 05:57:42 +0200 | mupf | (~micha@v22017094964653601.ultrasrv.de) (Ping timeout: 252 seconds) |
| 2021-04-14 05:58:15 +0200 | flow | (~none@salem.informatik.uni-erlangen.de) (Ping timeout: 250 seconds) |
| 2021-04-14 05:59:02 +0200 | DustyDingo | (~nonamen@v2202001112302107134.ultrasrv.de) |
| 2021-04-14 05:59:03 +0200 | noexcept | (~noexcept@2a03:b0c0:3:d0::33:9001) |
| 2021-04-14 05:59:12 +0200 | Chai-T-Rex | (~ChaiTRex@gateway/tor-sasl/chaitrex) |
| 2021-04-14 05:59:31 +0200 | mupf | (~micha@v22017094964653601.ultrasrv.de) |
| 2021-04-14 06:00:22 +0200 | v01d4lph4 | (~v01d4lph4@122.160.65.250) |
| 2021-04-14 06:00:23 +0200 | flow | (~none@salem.informatik.uni-erlangen.de) |
| 2021-04-14 06:00:26 +0200 | Alleria | (~textual@2603-7000-3040-0000-9df5-86d2-c184-c1c0.res6.spectrum.com) |
| 2021-04-14 06:00:49 +0200 | Alleria | Guest52501 |
| 2021-04-14 06:02:13 +0200 | olligobber | (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 240 seconds) |
| 2021-04-14 06:02:15 +0200 | olligobber1 | (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 2021-04-14 06:04:45 +0200 | Guest52501 | (~textual@2603-7000-3040-0000-9df5-86d2-c184-c1c0.res6.spectrum.com) (Ping timeout: 250 seconds) |
| 2021-04-14 06:08:13 +0200 | mawk | (mawk@serveur.io) (Ping timeout: 260 seconds) |
| 2021-04-14 06:08:57 +0200 | lawt | (~lawt@2601:200:8101:f140:dea6:32ff:fea1:adfa) |
| 2021-04-14 06:10:50 +0200 | pjb | (~t@2a01cb04063ec500d887d9fd1a878571.ipv6.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2021-04-14 06:11:16 +0200 | justsomeguy | (~justsomeg@unaffiliated/--/x-3805311) (Quit: WeeChat 3.0.1) |
| 2021-04-14 06:11:18 +0200 | hypercube | (hypercube@gateway/vpn/protonvpn/hypercube) (Ping timeout: 240 seconds) |
| 2021-04-14 06:14:56 +0200 | olligobber1 | (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 260 seconds) |
| 2021-04-14 06:15:16 +0200 | fresheyeball | (~isaac@c-71-237-105-37.hsd1.co.comcast.net) (Quit: WeeChat 2.9) |
| 2021-04-14 06:15:35 +0200 | fresheyeball | (~isaac@c-71-237-105-37.hsd1.co.comcast.net) |
| 2021-04-14 06:24:32 +0200 | mawk | (mawk@serveur.io) |
| 2021-04-14 06:26:31 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-04-14 06:26:39 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:a04b:d074:eb9e:ca69) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-14 06:29:16 +0200 | pfurla_ | (~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2021-04-14 06:30:05 +0200 | olligobber1 | (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 2021-04-14 06:31:16 +0200 | torei | (~torei@c-174-56-229-139.hsd1.ga.comcast.net) |
| 2021-04-14 06:37:11 +0200 | waleee-cl | (uid373333@gateway/web/irccloud.com/x-modavknqpmqvbcri) (Quit: Connection closed for inactivity) |
| 2021-04-14 06:41:44 +0200 | pfurla | (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 2021-04-14 06:44:13 +0200 | pthariensflame | (~pthariens@2600:6c52:727f:4200:8122:644a:c675:df20) |
| 2021-04-14 06:44:51 +0200 | pthariensflame | (~pthariens@2600:6c52:727f:4200:8122:644a:c675:df20) (Client Quit) |
| 2021-04-14 06:45:12 +0200 | pthariensflame | (~pthariens@2600:6c52:727f:4200:8122:644a:c675:df20) |
| 2021-04-14 06:45:25 +0200 | pfurla_ | (~pfurla@64.145.79.9) |
| 2021-04-14 06:46:19 +0200 | olligobber1 | (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 252 seconds) |
| 2021-04-14 06:48:31 +0200 | pfurla | (~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2021-04-14 06:50:47 +0200 | alx741 | (~alx741@181.196.69.92) (Quit: alx741) |
| 2021-04-14 06:51:33 +0200 | berberman | (~berberman@unaffiliated/berberman) (Ping timeout: 250 seconds) |
| 2021-04-14 06:51:35 +0200 | berberman_ | (~berberman@unaffiliated/berberman) |
| 2021-04-14 06:52:54 +0200 | pthariensflame | (~pthariens@2600:6c52:727f:4200:8122:644a:c675:df20) () |
| 2021-04-14 06:52:58 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:2926:4844:fa1f:b849) |
| 2021-04-14 06:53:16 +0200 | <nineonine> | Q about readMVar |
| 2021-04-14 06:53:23 +0200 | <nineonine> | does it leave an MVar empty? |
| 2021-04-14 06:55:02 +0200 | <cjay> | no |
| 2021-04-14 06:55:52 +0200 | <nineonine> | thanks |
| 2021-04-14 06:56:38 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2021-04-14 06:56:55 +0200 | pthariensflame | (~pthariens@2600:6c52:727f:4200:8122:644a:c675:df20) |
| 2021-04-14 06:57:35 +0200 | pthariensflame | (~pthariens@2600:6c52:727f:4200:8122:644a:c675:df20) (Client Quit) |
| 2021-04-14 06:57:53 +0200 | pthariensflame | (~pthariens@2600:6c52:727f:4200:8122:644a:c675:df20) |
| 2021-04-14 06:58:15 +0200 | pthariensflame | (~pthariens@2600:6c52:727f:4200:8122:644a:c675:df20) (Client Quit) |
| 2021-04-14 06:58:24 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-04-14 06:59:47 +0200 | pfurla | (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 2021-04-14 07:01:46 +0200 | <Axman6> | nineonine: you want takeMVar for that |
| 2021-04-14 07:02:16 +0200 | pfurla_ | (~pfurla@64.145.79.9) (Ping timeout: 252 seconds) |
| 2021-04-14 07:03:41 +0200 | rdivyanshu | (uid322626@gateway/web/irccloud.com/x-vrscawlvxnzknimj) |
| 2021-04-14 07:04:13 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds) |
| 2021-04-14 07:05:37 +0200 | kristijonas_ | (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 2021-04-14 07:07:18 +0200 | eacameron | (uid256985@gateway/web/irccloud.com/x-aldlwnzrztbxujia) (Quit: Connection closed for inactivity) |
| 2021-04-14 07:07:39 +0200 | syntactic_sugar | (~syntactic@c-67-169-78-228.hsd1.ca.comcast.net) |
| 2021-04-14 07:08:02 +0200 | kristijonas_ | (~kristijon@78-56-32-39.static.zebra.lt) |
| 2021-04-14 07:08:07 +0200 | kristijonas_ | (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 2021-04-14 07:08:38 +0200 | CaptainIRS | (9d314145@157.49.65.69) |
| 2021-04-14 07:12:08 +0200 | monochrom | (trebla@216.138.220.146) (Quit: NO CARRIER) |
| 2021-04-14 07:20:51 +0200 | LKoen | (~LKoen@65.250.88.92.rev.sfr.net) |
| 2021-04-14 07:27:58 +0200 | monochrom | (trebla@216.138.220.146) |
| 2021-04-14 07:38:58 +0200 | nut | (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-04-14 07:48:41 +0200 | DTZUZU | (~DTZUZO@205.ip-149-56-132.net) (Ping timeout: 240 seconds) |
| 2021-04-14 07:50:57 +0200 | loller_ | (uid358106@gateway/web/irccloud.com/x-smufmjmlmpltpnfn) (Quit: Connection closed for inactivity) |
| 2021-04-14 07:53:22 +0200 | DTZUZU | (~DTZUZO@205.ip-149-56-132.net) |
| 2021-04-14 07:55:27 +0200 | smibarber | (~smibarber@195.140.213.38) (Remote host closed the connection) |
| 2021-04-14 07:56:04 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 268 seconds) |
| 2021-04-14 07:57:42 +0200 | syntactic_sugar | (~syntactic@c-67-169-78-228.hsd1.ca.comcast.net) (Quit: syntactic_sugar) |
| 2021-04-14 07:59:45 +0200 | kiweun | (~kiweun@2607:fea8:2a62:9600:3c96:f497:7c0d:d48f) (Remote host closed the connection) |
| 2021-04-14 08:01:07 +0200 | lambdaman | (~lambdaman@s66-183-152-156.bc.hsia.telus.net) |
| 2021-04-14 08:04:43 +0200 | kiweun | (~kiweun@2607:fea8:2a62:9600:d18c:7d6b:6683:b0b0) |
| 2021-04-14 08:04:46 +0200 | malumore_ | (~malumore@151.62.114.211) |
| 2021-04-14 08:09:36 +0200 | chele | (~chele@78.128.94.174) |
| 2021-04-14 08:13:38 +0200 | darkon | (~darkon@90.214.167.201) (Ping timeout: 240 seconds) |
| 2021-04-14 08:14:14 +0200 | _ht | (~quassel@82-169-194-8.biz.kpn.net) |
| 2021-04-14 08:15:00 +0200 | michalz | (~user@185.246.204.61) |
| 2021-04-14 08:15:58 +0200 | nut | (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 252 seconds) |
| 2021-04-14 08:16:09 +0200 | danvet | (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) |
| 2021-04-14 08:16:20 +0200 | idhugo | (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 2021-04-14 08:18:19 +0200 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2021-04-14 08:22:33 +0200 | tinwood | (~tinwood@general.default.akavanagh.uk0.bigv.io) (Remote host closed the connection) |
| 2021-04-14 08:22:45 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-14 08:25:44 +0200 | tinwood | (~tinwood@general.default.akavanagh.uk0.bigv.io) |
| 2021-04-14 08:26:58 +0200 | fresheyeball | (~isaac@c-71-237-105-37.hsd1.co.comcast.net) (Quit: WeeChat 2.9) |
| 2021-04-14 08:28:04 +0200 | evanjs | (~evanjs@075-129-098-007.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2021-04-14 08:28:08 +0200 | pthariensflame | (~pthariens@2600:6c52:727f:4200:8122:644a:c675:df20) |
| 2021-04-14 08:28:34 +0200 | pthariensflame | (~pthariens@2600:6c52:727f:4200:8122:644a:c675:df20) (Client Quit) |
| 2021-04-14 08:28:53 +0200 | pthariensflame | (~pthariens@2600:6c52:727f:4200:8122:644a:c675:df20) |
| 2021-04-14 08:30:28 +0200 | pthariensflame | (~pthariens@2600:6c52:727f:4200:8122:644a:c675:df20) (Client Quit) |
| 2021-04-14 08:31:16 +0200 | aVikingTrex | (789a2138@120.154.33.56) |
| 2021-04-14 08:31:39 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-04-14 08:32:13 +0200 | myShoggoth | (~myShoggot@97-120-72-12.ptld.qwest.net) (Ping timeout: 240 seconds) |
| 2021-04-14 08:32:59 +0200 | ixlun | (~user@109.249.184.235) |
| 2021-04-14 08:33:05 +0200 | MrMobius | (~MrMobius@208.58.206.154) (Read error: Connection reset by peer) |
| 2021-04-14 08:34:09 +0200 | thc202 | (~thc202@unaffiliated/thc202) |
| 2021-04-14 08:34:12 +0200 | Firedancer | (sid336191@gateway/web/irccloud.com/x-ymzfrqjvnjogppne) (Ping timeout: 246 seconds) |
| 2021-04-14 08:34:15 +0200 | mpickering | (sid78412@gateway/web/irccloud.com/x-adymmghybcqfpwbe) (Ping timeout: 250 seconds) |
| 2021-04-14 08:34:15 +0200 | simony | (sid226116@gateway/web/irccloud.com/x-mscpxuicjuzgvhyw) (Ping timeout: 258 seconds) |
| 2021-04-14 08:34:27 +0200 | PoliticsII______ | (sid193551@gateway/web/irccloud.com/x-kbvwclhudsmkcyno) (Ping timeout: 248 seconds) |
| 2021-04-14 08:34:34 +0200 | Tritlo | (sid58727@gateway/web/irccloud.com/x-ebgcghokgzjiocde) (Ping timeout: 246 seconds) |
| 2021-04-14 08:34:41 +0200 | gluegadget | (sid22336@gateway/web/irccloud.com/x-mneshyogspxgyxsl) (Ping timeout: 250 seconds) |
| 2021-04-14 08:34:43 +0200 | acertain | (sid470584@gateway/web/irccloud.com/x-xarjgpqbpnaskcwh) (Read error: Connection reset by peer) |
| 2021-04-14 08:34:45 +0200 | affinespaces | (sid327561@gateway/web/irccloud.com/x-hytpelyqynztawrd) (Read error: Connection reset by peer) |
| 2021-04-14 08:34:45 +0200 | edwinb | (sid69486@gateway/web/irccloud.com/x-zkwljnhotbnadxsf) (Read error: Connection reset by peer) |
| 2021-04-14 08:34:45 +0200 | heyj | (sid171370@gateway/web/irccloud.com/x-arodbxfmhubswiuy) (Read error: Connection reset by peer) |
| 2021-04-14 08:34:49 +0200 | BosonCollider | (~olofs@90-227-86-119-no542.tbcn.telia.com) |
| 2021-04-14 08:34:49 +0200 | rann | (sid175221@gateway/web/irccloud.com/x-gqisofztpsiaqwfs) (Read error: Connection reset by peer) |
| 2021-04-14 08:34:50 +0200 | dsturnbull | (sid347899@gateway/web/irccloud.com/x-ulzijgzjjjoyxwfv) (Ping timeout: 258 seconds) |
| 2021-04-14 08:34:58 +0200 | dmj` | (sid72307@gateway/web/irccloud.com/x-ozlyyuwrrxwejoza) (Read error: Connection reset by peer) |
| 2021-04-14 08:35:13 +0200 | hamishmack | (sid389057@gateway/web/irccloud.com/x-zggwyezkruntccxr) (Ping timeout: 258 seconds) |
| 2021-04-14 08:35:14 +0200 | lambdaman | (~lambdaman@s66-183-152-156.bc.hsia.telus.net) (Remote host closed the connection) |
| 2021-04-14 08:35:14 +0200 | CaptainIRS | (9d314145@157.49.65.69) (Quit: Connection closed) |
| 2021-04-14 08:35:20 +0200 | adius | (sid321344@gateway/web/irccloud.com/x-pplzvbbtxozdptux) (Read error: Connection reset by peer) |
| 2021-04-14 08:35:47 +0200 | thc202 | (~thc202@unaffiliated/thc202) (Max SendQ exceeded) |
| 2021-04-14 08:35:52 +0200 | lambdaman | (~lambdaman@s66-183-152-156.bc.hsia.telus.net) |
| 2021-04-14 08:35:57 +0200 | lexi-lambda | (sid92601@gateway/web/irccloud.com/x-ziectdehwbawptyu) (Ping timeout: 246 seconds) |
| 2021-04-14 08:35:59 +0200 | nick_h | (sid319833@gateway/web/irccloud.com/x-hurbpwgphyteuyqm) (Ping timeout: 250 seconds) |
| 2021-04-14 08:36:08 +0200 | adius | (sid321344@gateway/web/irccloud.com/x-yfsibqzgqazbvhna) |
| 2021-04-14 08:36:08 +0200 | mpickering | (sid78412@gateway/web/irccloud.com/x-uuuhuurfuxahsslu) |
| 2021-04-14 08:36:08 +0200 | Tritlo | (sid58727@gateway/web/irccloud.com/x-aozswbintmywimnv) |
| 2021-04-14 08:36:20 +0200 | hamishmack | (sid389057@gateway/web/irccloud.com/x-pnmcssvibehjvusv) |
| 2021-04-14 08:36:21 +0200 | lexi-lambda | (sid92601@gateway/web/irccloud.com/x-lbtagjjufznxxeun) |
| 2021-04-14 08:36:21 +0200 | Firedancer | (sid336191@gateway/web/irccloud.com/x-xoleucehjmvybibw) |
| 2021-04-14 08:36:23 +0200 | thc202 | (~thc202@unaffiliated/thc202) |
| 2021-04-14 08:36:26 +0200 | heyj | (sid171370@gateway/web/irccloud.com/x-ztdmvfaxkruzhawl) |
| 2021-04-14 08:36:26 +0200 | PoliticsII______ | (sid193551@gateway/web/irccloud.com/x-xczsjbruunvdnrpf) |
| 2021-04-14 08:36:30 +0200 | Sgeo | (~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2021-04-14 08:36:33 +0200 | affinespaces | (sid327561@gateway/web/irccloud.com/x-uzfjyzvrqoqxacwx) |
| 2021-04-14 08:36:45 +0200 | rann | (sid175221@gateway/web/irccloud.com/x-jkryvxnehqtlncpj) |
| 2021-04-14 08:36:54 +0200 | dmj` | (sid72307@gateway/web/irccloud.com/x-crrlyvbcezdwisgb) |
| 2021-04-14 08:37:02 +0200 | edwinb | (sid69486@gateway/web/irccloud.com/x-ceykgrlrnlvnljwc) |
| 2021-04-14 08:37:02 +0200 | acertain | (sid470584@gateway/web/irccloud.com/x-udpocathjkijcvpk) |
| 2021-04-14 08:37:27 +0200 | dsturnbull | (sid347899@gateway/web/irccloud.com/x-rwwelyrmjwhraekh) |
| 2021-04-14 08:37:28 +0200 | nick_h | (sid319833@gateway/web/irccloud.com/x-rpjxyycebsudwryk) |
| 2021-04-14 08:37:43 +0200 | simony | (sid226116@gateway/web/irccloud.com/x-kqfdecpcfpxqodld) |
| 2021-04-14 08:37:55 +0200 | thc202 | (~thc202@unaffiliated/thc202) (Remote host closed the connection) |
| 2021-04-14 08:38:02 +0200 | gluegadget | (sid22336@gateway/web/irccloud.com/x-yvyuuucqiikbdiwr) |
| 2021-04-14 08:39:15 +0200 | mnrmnaugh | awk |
| 2021-04-14 08:39:35 +0200 | thc202 | (~thc202@unaffiliated/thc202) |
| 2021-04-14 08:39:44 +0200 | Sornaensis | (~Sornaensi@85.203.36.21) |
| 2021-04-14 08:41:34 +0200 | lambdaman | (~lambdaman@s66-183-152-156.bc.hsia.telus.net) (Ping timeout: 265 seconds) |
| 2021-04-14 08:41:52 +0200 | aVikingTrex | (789a2138@120.154.33.56) (Quit: Connection closed) |
| 2021-04-14 08:43:21 +0200 | aVikingTrex | (789a2138@120.154.33.56) |
| 2021-04-14 08:47:08 +0200 | nineonin_ | (~nineonine@50.216.62.2) |
| 2021-04-14 08:47:09 +0200 | cfricke | (~cfricke@unaffiliated/cfricke) |
| 2021-04-14 08:48:26 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:2926:4844:fa1f:b849) (Ping timeout: 258 seconds) |
| 2021-04-14 08:48:48 +0200 | Sorna | (~Sornaensi@79.142.232.102.static.router4.bolignet.dk) |
| 2021-04-14 08:49:01 +0200 | ixlun | (~user@109.249.184.235) (Remote host closed the connection) |
| 2021-04-14 08:51:03 +0200 | xff0x | (~xff0x@2001:1a81:53de:e800:556:f11d:9bcf:7d2e) (Ping timeout: 260 seconds) |
| 2021-04-14 08:51:52 +0200 | Sornaensis | (~Sornaensi@85.203.36.21) (Ping timeout: 252 seconds) |
| 2021-04-14 08:51:56 +0200 | xff0x | (~xff0x@2001:1a81:53de:e800:8a89:d95a:dbc3:e25e) |
| 2021-04-14 08:52:06 +0200 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2021-04-14 08:52:28 +0200 | aVikingTrex | Evilmagix |
| 2021-04-14 08:52:31 +0200 | jamm_ | (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2021-04-14 08:53:31 +0200 | Evilmagix | aVikingTrex |
| 2021-04-14 08:53:52 +0200 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2021-04-14 08:55:57 +0200 | EvilMagix | (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) |
| 2021-04-14 08:56:26 +0200 | aVikingTrex | (789a2138@120.154.33.56) (Quit: Connection closed) |
| 2021-04-14 08:56:40 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-04-14 08:57:03 +0200 | EvilMagix | aVikingTrex |
| 2021-04-14 08:57:19 +0200 | nrh^ | (nrh@ip98-184-89-2.mc.at.cox.net) () |
| 2021-04-14 08:59:16 +0200 | kiweun | (~kiweun@2607:fea8:2a62:9600:d18c:7d6b:6683:b0b0) (Remote host closed the connection) |
| 2021-04-14 08:59:43 +0200 | awk | mnrmnaugh |
| 2021-04-14 09:01:47 +0200 | aVikingTrex | (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 260 seconds) |
| 2021-04-14 09:01:56 +0200 | coot | (~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl) |
| 2021-04-14 09:02:15 +0200 | hiroaki_ | (~hiroaki@2a02:8108:8c40:2bb8:c438:feb2:e809:229a) (Ping timeout: 260 seconds) |
| 2021-04-14 09:02:26 +0200 | nineonin_ | (~nineonine@50.216.62.2) (Ping timeout: 240 seconds) |
| 2021-04-14 09:04:38 +0200 | nut | (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-04-14 09:04:55 +0200 | idhugo_ | (~idhugo@87-49-44-84-mobile.dk.customer.tdc.net) |
| 2021-04-14 09:06:51 +0200 | Guest63507 | (~Tracerneo@185.204.1.185) |
| 2021-04-14 09:07:40 +0200 | idhugo | (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 252 seconds) |
| 2021-04-14 09:08:07 +0200 | veverak | (~veverak@ip-89-102-98-161.net.upcbroadband.cz) |
| 2021-04-14 09:12:58 +0200 | nictki | (~nictki@b2b-78-94-64-166.unitymedia.biz) |
| 2021-04-14 09:13:26 +0200 | hiroaki_ | (~hiroaki@2a02:8108:8c40:2bb8:4629:c718:4876:b286) |
| 2021-04-14 09:14:50 +0200 | nictki | (~nictki@b2b-78-94-64-166.unitymedia.biz) (Client Quit) |
| 2021-04-14 09:15:46 +0200 | v01d4lph4 | (~v01d4lph4@122.160.65.250) (Read error: No route to host) |
| 2021-04-14 09:16:02 +0200 | v01d4lph4 | (~v01d4lph4@122.160.65.250) |
| 2021-04-14 09:19:38 +0200 | mikoto-chan | (~anass@gateway/tor-sasl/mikoto-chan) |
| 2021-04-14 09:22:52 +0200 | kuribas | (~user@ptr-25vy0i7m3jb61f685yu.18120a2.ip6.access.telenet.be) |
| 2021-04-14 09:25:43 +0200 | lokesh1197 | (cbc182d2@203.193.130.210) |
| 2021-04-14 09:26:36 +0200 | Varis | (~Tadas@unaffiliated/varis) |
| 2021-04-14 09:27:11 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 2021-04-14 09:29:12 +0200 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2021-04-14 09:30:04 +0200 | dpl_ | (~dpl@77-121-78-163.chn.volia.net) |
| 2021-04-14 09:36:21 +0200 | Major_Biscuit | (~Major_Bis@82-169-100-198.biz.kpn.net) |
| 2021-04-14 09:39:13 +0200 | nineonine | (~nineonine@50.216.62.2) |
| 2021-04-14 09:43:32 +0200 | nineonine | (~nineonine@50.216.62.2) (Ping timeout: 246 seconds) |
| 2021-04-14 09:43:45 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-14 09:44:32 +0200 | evanjs | (~evanjs@075-129-098-007.res.spectrum.com) |
| 2021-04-14 09:47:33 +0200 | Gurkenglas | (~Gurkengla@unaffiliated/gurkenglas) |
| 2021-04-14 09:48:38 +0200 | syntactic_sugar | (~syntactic@209.58.139.237) |
| 2021-04-14 09:48:53 +0200 | fiedlr | (~fiedlr@83.148.33.254) (Remote host closed the connection) |
| 2021-04-14 09:49:11 +0200 | fiedlr | (~fiedlr@83.148.33.254) |
| 2021-04-14 09:51:47 +0200 | syntactic_sugar | (~syntactic@209.58.139.237) (Client Quit) |
| 2021-04-14 09:51:48 +0200 | haskellstudent | (~quassel@213-225-6-101.nat.highway.a1.net) |
| 2021-04-14 09:52:12 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Quit: leaving) |
| 2021-04-14 09:57:01 +0200 | __minoru__shirae | (~shiraeesh@46.34.206.215) |
| 2021-04-14 10:00:07 +0200 | Alleria | (~textual@2603-7000-3040-0000-9df5-86d2-c184-c1c0.res6.spectrum.com) |
| 2021-04-14 10:00:30 +0200 | Alleria | Guest30018 |
| 2021-04-14 10:01:17 +0200 | evanjs | (~evanjs@075-129-098-007.res.spectrum.com) (Read error: Connection reset by peer) |
| 2021-04-14 10:04:47 +0200 | Guest30018 | (~textual@2603-7000-3040-0000-9df5-86d2-c184-c1c0.res6.spectrum.com) (Ping timeout: 260 seconds) |
| 2021-04-14 10:05:18 +0200 | evanjs | (~evanjs@075-129-098-007.res.spectrum.com) |
| 2021-04-14 10:05:31 +0200 | torei | (~torei@c-174-56-229-139.hsd1.ga.comcast.net) (Read error: Connection reset by peer) |
| 2021-04-14 10:07:04 +0200 | hendursaga | (~weechat@gateway/tor-sasl/hendursaga) |
| 2021-04-14 10:09:10 +0200 | Sorny | (~Sornaensi@077213203030.dynamic.telenor.dk) |
| 2021-04-14 10:09:57 +0200 | hendursa1 | (~weechat@gateway/tor-sasl/hendursaga) (Ping timeout: 240 seconds) |
| 2021-04-14 10:11:22 +0200 | BalterNotz | (45ac5999@69-172-89-153.static.imsbiz.com) (Ping timeout: 240 seconds) |
| 2021-04-14 10:11:44 +0200 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) |
| 2021-04-14 10:13:16 +0200 | Sorna | (~Sornaensi@79.142.232.102.static.router4.bolignet.dk) (Ping timeout: 252 seconds) |
| 2021-04-14 10:13:21 +0200 | ukari | (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 2021-04-14 10:14:31 +0200 | ukari | (~ukari@unaffiliated/ukari) |
| 2021-04-14 10:19:54 +0200 | srk | (~sorki@unaffiliated/srk) |
| 2021-04-14 10:23:10 +0200 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 2021-04-14 10:25:52 +0200 | mikolaj | (~mikon@duch.mimuw.edu.pl) |
| 2021-04-14 10:26:44 +0200 | kritzefitz | (~kritzefit@212.86.56.80) |
| 2021-04-14 10:28:16 +0200 | alias | (790c93fc@121.12.147.252) |
| 2021-04-14 10:30:10 +0200 | nut | (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 252 seconds) |
| 2021-04-14 10:30:41 +0200 | mikolaj | (~mikon@duch.mimuw.edu.pl) (Client Quit) |
| 2021-04-14 10:32:58 +0200 | rdivyanshu | (uid322626@gateway/web/irccloud.com/x-vrscawlvxnzknimj) (Quit: Connection closed for inactivity) |
| 2021-04-14 10:34:29 +0200 | ddere | (uid110888@gateway/web/irccloud.com/x-gokpmupptkfvgzhl) (Quit: Connection closed for inactivity) |
| 2021-04-14 10:34:47 +0200 | nut | (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-04-14 10:34:55 +0200 | kiweun | (~kiweun@cpe98524a8cef7c-cm98524a8cef7a.cpe.net.cable.rogers.com) |
| 2021-04-14 10:39:32 +0200 | kiweun | (~kiweun@cpe98524a8cef7c-cm98524a8cef7a.cpe.net.cable.rogers.com) (Ping timeout: 240 seconds) |
| 2021-04-14 10:40:36 +0200 | olligobber | (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 2021-04-14 10:40:55 +0200 | acidjnk_new | (~acidjnk@p200300d0c72b954090611fa1f3f989eb.dip0.t-ipconnect.de) |
| 2021-04-14 10:43:04 +0200 | fendor | (~fendor@91.141.2.26.wireless.dyn.drei.com) |
| 2021-04-14 10:43:49 +0200 | shutdown_-h_now | (~arjan@2001:1c06:2d0b:2312:88d8:adcd:b46:7f64) (Ping timeout: 258 seconds) |
| 2021-04-14 10:48:05 +0200 | <ij> | What does this mean? [__1] rejecting: dmenu:setup.Cabal-3.0.1.0/installed-3.0.1.0 (conflict: dmenu => dmenu:setup.Cabal>=1.10 && <1.25) |
| 2021-04-14 10:48:18 +0200 | Wuzzy | (~Wuzzy@p5790e74f.dip0.t-ipconnect.de) |
| 2021-04-14 10:48:23 +0200 | <ij> | I'm trying to revive this dmenu.cabal: https://github.com/m0rphism/haskell-dmenu/blob/master/dmenu.cabal |
| 2021-04-14 10:51:49 +0200 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 268 seconds) |
| 2021-04-14 10:51:54 +0200 | Neuromancer | (~Neuromanc@unaffiliated/neuromancer) (Read error: Connection reset by peer) |
| 2021-04-14 10:51:56 +0200 | ubert | (~Thunderbi@77.119.128.21.wireless.dyn.drei.com) |
| 2021-04-14 10:52:00 +0200 | shutdown_-h_now | (~arjan@2001:1c06:2d0b:2312:d1b3:8e6:fe83:6a87) |
| 2021-04-14 10:52:51 +0200 | <ij> | it seems that cabal-version: >=1.10 is correct (because other updates packages have that) and the file doesn't have any other versions specified |
| 2021-04-14 10:53:02 +0200 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2021-04-14 10:54:17 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2021-04-14 10:56:34 +0200 | lampowner | (~xblow@broadband-90-154-72-32.ip.moscow.rt.ru) |
| 2021-04-14 10:57:31 +0200 | jamm_ | (~jamm@unaffiliated/jamm) (Ping timeout: 260 seconds) |
| 2021-04-14 10:58:32 +0200 | pjb | (~t@2a01cb04063ec500344f9530065f230b.ipv6.abo.wanadoo.fr) |
| 2021-04-14 10:59:19 +0200 | kritzefitz | (~kritzefit@212.86.56.80) (Ping timeout: 252 seconds) |
| 2021-04-14 10:59:41 +0200 | Sornaensis | (~Sornaensi@79.142.232.102) |
| 2021-04-14 10:59:47 +0200 | kritzefitz | (~kritzefit@2003:5b:203b:200::10:49) |
| 2021-04-14 11:00:08 +0200 | VarikValefor[m] | (varikvalef@gateway/shell/matrix.org/x-uozhdqikwobvzrfg) (Quit: Idle for 30+ days) |
| 2021-04-14 11:01:15 +0200 | <alias> | #haskell.tw |
| 2021-04-14 11:02:12 +0200 | Sorny | (~Sornaensi@077213203030.dynamic.telenor.dk) (Ping timeout: 240 seconds) |
| 2021-04-14 11:02:19 +0200 | Pickchea | (~private@unaffiliated/pickchea) |
| 2021-04-14 11:10:13 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-04-14 11:10:42 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-04-14 11:10:47 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2021-04-14 11:17:52 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds) |
| 2021-04-14 11:21:01 +0200 | Sorna | (~Sornaensi@077213203030.dynamic.telenor.dk) |
| 2021-04-14 11:22:25 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-04-14 11:23:51 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-14 11:24:04 +0200 | Sornaensis | (~Sornaensi@79.142.232.102) (Ping timeout: 252 seconds) |
| 2021-04-14 11:27:01 +0200 | __monty__ | (~toonn@unaffiliated/toonn) |
| 2021-04-14 11:28:53 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-04-14 11:29:57 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-14 11:30:36 +0200 | <gnumonic> | So I'd like to use type level Peano numbers with the singletons library. I don't think that the library itself provides that and I'm pretty sure I shouldn't use typelits, so is there some preferred library that interfaces with singletons? Or does everyone just roll their own and prove axioms of number theory as they need them? :p |
| 2021-04-14 11:32:18 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-04-14 11:33:23 +0200 | zaquest | (~notzaques@5.128.210.178) (Quit: Leaving) |
| 2021-04-14 11:34:57 +0200 | zaquest | (~notzaques@5.128.210.178) |
| 2021-04-14 11:34:58 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-04-14 11:35:27 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-14 11:37:54 +0200 | <__monty__> | That's not an unlikely scenario, given haskell's not really suited to theorem proving anyway. |
| 2021-04-14 11:40:33 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-04-14 11:41:16 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-14 11:41:23 +0200 | <gnumonic> | Bearing in mind that I know nothing about how TypeLits are implemented at all, is there some reason GHC's typechecker can't prove simple facts about typelevel numbers? |
| 2021-04-14 11:41:55 +0200 | Katarushisu | (~Katarushi@cpc152083-finc20-2-0-cust170.4-2.cable.virginm.net) (Quit: Ping timeout (120 seconds)) |
| 2021-04-14 11:42:46 +0200 | BosonCollider | (~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 252 seconds) |
| 2021-04-14 11:42:54 +0200 | DavidEichmann | (~david@47.27.93.209.dyn.plus.net) |
| 2021-04-14 11:43:31 +0200 | <__monty__> | No, it's just not a popular pursuit. |
| 2021-04-14 11:43:34 +0200 | <__monty__> | @where hasochism |
| 2021-04-14 11:43:35 +0200 | <lambdabot> | I know nothing about hasochism. |
| 2021-04-14 11:43:41 +0200 | LKoen | (~LKoen@65.250.88.92.rev.sfr.net) (Remote host closed the connection) |
| 2021-04-14 11:43:43 +0200 | shutdown_-h_now | (~arjan@2001:1c06:2d0b:2312:d1b3:8e6:fe83:6a87) (Ping timeout: 260 seconds) |
| 2021-04-14 11:43:47 +0200 | seanparsons | (~sean@cpc145088-gill21-2-0-cust281.20-1.cable.virginm.net) (Ping timeout: 265 seconds) |
| 2021-04-14 11:43:57 +0200 | <DigitalKiwi> | dibblego gave me some peano exercises maybe he has an idea |
| 2021-04-14 11:43:58 +0200 | Foritus | (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2021-04-14 11:44:00 +0200 | <kuribas> | I don't get why people think haskell is about proving business logic in types. |
| 2021-04-14 11:44:18 +0200 | Tesseraction | (~Tesseract@unaffiliated/tesseraction) (Ping timeout: 240 seconds) |
| 2021-04-14 11:44:27 +0200 | <__monty__> | This paper shows what's possible and how inconvenient it is compared to a language with support for such things, https://dl.acm.org/doi/abs/10.1145/2578854.2503786 |
| 2021-04-14 11:44:58 +0200 | <kuribas> | I see haskell more like, it's a language with nice abstractions, and a type system that is expressive enough to express and guard those abstractions. |
| 2021-04-14 11:45:13 +0200 | machinedgod | (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 2021-04-14 11:45:28 +0200 | <__monty__> | kuribas: You're extrapolating. gnumonic is probably just interested in this. No harm checking it out. |
| 2021-04-14 11:46:08 +0200 | <__monty__> | gnumonic: Codewares.io has a couple fun type-level hackery challenges. |
| 2021-04-14 11:46:13 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-04-14 11:46:27 +0200 | <kuribas> | __monty__: I am not saying you shouldn't have fun with it. |
| 2021-04-14 11:46:32 +0200 | nut | (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 2021-04-14 11:46:52 +0200 | Katarushisu | (~Katarushi@cpc152083-finc20-2-0-cust170.4-2.cable.virginm.net) |
| 2021-04-14 11:46:58 +0200 | <gnumonic> | monty: mkay I'll check it out, thank you. And yeah I'm just sort of experimenting with what I can do at the type level. |
| 2021-04-14 11:47:21 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-14 11:48:03 +0200 | Foritus | (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) |
| 2021-04-14 11:48:23 +0200 | <kuribas> | __monty__: I am just saying you probably make your life harder if you go that route. |
| 2021-04-14 11:48:24 +0200 | <DigitalKiwi> | kuribas: the real mad lads are the people that write their business logic in hedgehog |
| 2021-04-14 11:48:52 +0200 | <__monty__> | DigitalKiwi: Surely you mean describe their business logic to hedgehog and have it infer the implementation? : ) |
| 2021-04-14 11:49:13 +0200 | <DigitalKiwi> | https://clrnd.com.ar/posts/2017-04-21-the-water-jug-problem-in-hedgehog.html idk :D |
| 2021-04-14 11:49:15 +0200 | seanparsons | (~sean@cpc145088-gill21-2-0-cust281.20-1.cable.virginm.net) |
| 2021-04-14 11:49:34 +0200 | Tesseraction | (~Tesseract@unaffiliated/tesseraction) |
| 2021-04-14 11:51:58 +0200 | shutdown_-h_now | (~arjan@2001:1c06:2d0b:2312:d1b3:8e6:fe83:6a87) |
| 2021-04-14 11:52:09 +0200 | <kuribas> | I've been wondering if there is a way to create tests for edge cases... |
| 2021-04-14 11:52:28 +0200 | <kuribas> | Like, you have some code, and you generate tests which will exercise all code paths. |
| 2021-04-14 11:52:38 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-04-14 11:53:00 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-14 11:53:23 +0200 | <__monty__> | I think maybe there's some FSM test machinery that does so? |
| 2021-04-14 11:54:05 +0200 | <__monty__> | The general problem sounds very Halting-y to me. |
| 2021-04-14 11:54:54 +0200 | <kuribas> | I had a bug in our compression algorithm which happened only in few cases. |
| 2021-04-14 11:55:05 +0200 | <kuribas> | Luckily we did a large scale test first. |
| 2021-04-14 11:55:08 +0200 | <DigitalKiwi> | smolcheck |
| 2021-04-14 11:55:43 +0200 | rdivyanshu | (uid322626@gateway/web/irccloud.com/x-andoqpzjmzizoeoe) |
| 2021-04-14 11:55:47 +0200 | <kuribas> | https://github.com/burmanm/compression-int/issues/6 |
| 2021-04-14 11:55:48 +0200 | <DigitalKiwi> | kuribas: "large scale test" == "pushed to prod" ? |
| 2021-04-14 11:56:00 +0200 | <kuribas> | DigitalKiwi: before pushing to prod even! |
| 2021-04-14 11:56:03 +0200 | <maralorn> | kuribas: There is a difference between "proving your business logic" and using typelevel nats for good code. I e.g. am doing a lot of stuff mit matrices and tracking on the typelevel that their dimensions match seems not crazy to me at all. |
| 2021-04-14 11:56:16 +0200 | <DigitalKiwi> | kuribas: congrats you're a 10x dev |
| 2021-04-14 11:56:27 +0200 | <maralorn> | Although the constraints "(KnownNat n, KnownNat k, KnownNat (n * k), (n * k) ~ (k * n)) =>" are certainly not satisfying. |
| 2021-04-14 11:56:45 +0200 | <kuribas> | DigitalKiwi: not sure, it took us months testing and integrating the compression. |
| 2021-04-14 11:57:43 +0200 | <DigitalKiwi> | well if had gone to prod it would have likely become a feature |
| 2021-04-14 11:57:47 +0200 | <kuribas> | maralorn: my take is, avoid complicated types if you can, otherwise just use them :-) |
| 2021-04-14 11:58:08 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-04-14 11:58:10 +0200 | BosonCollider | (~olofs@90-227-86-119-no542.tbcn.telia.com) |
| 2021-04-14 11:58:27 +0200 | <DigitalKiwi> | as in, it'd never get fixed, all future code would be aware of it, and require its existence |
| 2021-04-14 11:58:50 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-14 11:59:38 +0200 | <DigitalKiwi> | ...or not aware of it and be extra perplexing when it doesn't work :D |
| 2021-04-14 12:00:25 +0200 | <kuribas> | Or customers suddenly not making their quotas because of the change to compression... |
| 2021-04-14 12:01:22 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2021-04-14 12:04:00 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-04-14 12:04:40 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-14 12:05:12 +0200 | ubert | (~Thunderbi@77.119.128.21.wireless.dyn.drei.com) (Ping timeout: 240 seconds) |
| 2021-04-14 12:07:13 +0200 | dpl_ | (~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 240 seconds) |
| 2021-04-14 12:07:55 +0200 | idhugo__ | (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 2021-04-14 12:09:50 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 2021-04-14 12:10:12 +0200 | idhugo_ | (~idhugo@87-49-44-84-mobile.dk.customer.tdc.net) (Ping timeout: 240 seconds) |
| 2021-04-14 12:10:18 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-04-14 12:10:32 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-14 12:10:44 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-14 12:15:12 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds) |
| 2021-04-14 12:15:46 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-04-14 12:16:04 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-14 12:18:14 +0200 | LKoen | (~LKoen@65.250.88.92.rev.sfr.net) |
| 2021-04-14 12:21:16 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-04-14 12:21:43 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-14 12:23:53 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 2021-04-14 12:27:19 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-04-14 12:27:34 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-14 12:28:26 +0200 | LKoen | (~LKoen@65.250.88.92.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”) |
| 2021-04-14 12:30:40 +0200 | fiedlr | (~fiedlr@83.148.33.254) (Remote host closed the connection) |
| 2021-04-14 12:31:28 +0200 | proteusguy | (~proteusgu@cm-58-10-209-239.revip7.asianet.co.th) |
| 2021-04-14 12:32:07 +0200 | __minoru__shirae | (~shiraeesh@46.34.206.215) (Ping timeout: 265 seconds) |
| 2021-04-14 12:32:32 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-04-14 12:33:26 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-14 12:34:40 +0200 | pjb | foopjb |
| 2021-04-14 12:34:59 +0200 | foopjb | pjb |
| 2021-04-14 12:36:05 +0200 | kiweun | (~kiweun@2607:fea8:2a62:9600:280b:80b1:e1e0:8381) |
| 2021-04-14 12:36:13 +0200 | lambdaman | (~lambdaman@s66-183-152-156.bc.hsia.telus.net) |
| 2021-04-14 12:40:21 +0200 | kiweun | (~kiweun@2607:fea8:2a62:9600:280b:80b1:e1e0:8381) (Ping timeout: 258 seconds) |
| 2021-04-14 12:40:41 +0200 | lambdaman | (~lambdaman@s66-183-152-156.bc.hsia.telus.net) (Ping timeout: 260 seconds) |
| 2021-04-14 12:41:30 +0200 | fiedlr | (~fiedlr@83.148.33.254) |
| 2021-04-14 12:42:45 +0200 | xelxebar | (~xelxebar@gateway/tor-sasl/xelxebar) (Ping timeout: 240 seconds) |
| 2021-04-14 12:43:03 +0200 | xelxebar | (~xelxebar@gateway/tor-sasl/xelxebar) |
| 2021-04-14 12:53:19 +0200 | troydm | (~troydm@unaffiliated/troydm) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset) |
| 2021-04-14 12:57:56 +0200 | ClaudiusMaximus | (~claude@cpc98210-croy26-2-0-cust137.19-2.cable.virginm.net) |
| 2021-04-14 12:58:04 +0200 | ClaudiusMaximus | (~claude@cpc98210-croy26-2-0-cust137.19-2.cable.virginm.net) (Changing host) |
| 2021-04-14 12:58:05 +0200 | ClaudiusMaximus | (~claude@unaffiliated/claudiusmaximus) |
| 2021-04-14 13:00:00 +0200 | Alleria | (~textual@2603-7000-3040-0000-9df5-86d2-c184-c1c0.res6.spectrum.com) |
| 2021-04-14 13:00:24 +0200 | Alleria | Guest39903 |
| 2021-04-14 13:02:09 +0200 | aVikingTrex | (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) |
| 2021-04-14 13:02:28 +0200 | fiedlr | (~fiedlr@83.148.33.254) (Remote host closed the connection) |
| 2021-04-14 13:04:30 +0200 | Guest39903 | (~textual@2603-7000-3040-0000-9df5-86d2-c184-c1c0.res6.spectrum.com) (Ping timeout: 258 seconds) |
| 2021-04-14 13:12:11 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-14 13:13:32 +0200 | Alleria__ | (~textual@mskresolve-a.mskcc.org) |
| 2021-04-14 13:15:41 +0200 | rprije | (~rprije@59-102-63-15.tpgi.com.au) (Ping timeout: 240 seconds) |
| 2021-04-14 13:16:49 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2021-04-14 13:25:31 +0200 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2021-04-14 13:31:26 +0200 | dsrt^ | (dsrt@ip98-184-89-2.mc.at.cox.net) |
| 2021-04-14 13:33:27 +0200 | jonatan | (~nate@h77-53-70-163.cust.a3fiber.se) |
| 2021-04-14 13:33:56 +0200 | pjb | (~t@2a01cb04063ec500344f9530065f230b.ipv6.abo.wanadoo.fr) (Quit: new parameters) |
| 2021-04-14 13:34:53 +0200 | howdoi | (uid224@gateway/web/irccloud.com/x-tzexppsgjjqaiofw) (Quit: Connection closed for inactivity) |
| 2021-04-14 13:35:46 +0200 | pjb | (~pjb@2a01cb04063ec50074da953aa01bf5c6.ipv6.abo.wanadoo.fr) |
| 2021-04-14 13:38:16 +0200 | olligobber | (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 252 seconds) |
| 2021-04-14 13:40:23 +0200 | jchia_ | (~jchia@jungle.jchia.net) |
| 2021-04-14 13:41:05 +0200 | fiedlr | (~fiedlr@83.148.33.254) |
| 2021-04-14 13:41:48 +0200 | pjb | foopjb |
| 2021-04-14 13:41:57 +0200 | Lycurgus | (~niemand@98.4.118.65) |
| 2021-04-14 13:42:05 +0200 | foopjb | pjb |
| 2021-04-14 13:45:16 +0200 | troydm | (~troydm@unaffiliated/troydm) |
| 2021-04-14 13:49:58 +0200 | rodriga | (~quassel@134.204.25.66) |
| 2021-04-14 13:52:25 +0200 | jchia_ | (~jchia@jungle.jchia.net) (Remote host closed the connection) |
| 2021-04-14 13:52:45 +0200 | jchia_ | (~jchia@jungle.jchia.net) |
| 2021-04-14 13:54:24 +0200 | Nihilist | (5f761bd1@dynamic-095-118-027-209.95.118.pool.telefonica.de) |
| 2021-04-14 13:59:00 +0200 | hc | (~hc@fsfe/hc) (Read error: Connection reset by peer) |
| 2021-04-14 13:59:07 +0200 | hc | (~hc@fsfe/hc) |
| 2021-04-14 14:04:12 +0200 | urodna | (~urodna@unaffiliated/urodna) |
| 2021-04-14 14:07:26 +0200 | jchia_ | (~jchia@jungle.jchia.net) (Remote host closed the connection) |
| 2021-04-14 14:07:49 +0200 | jchia_ | (~jchia@jungle.jchia.net) |
| 2021-04-14 14:07:58 +0200 | jonathanx_ | (~jonathan@h-176-109.A357.priv.bahnhof.se) (Ping timeout: 252 seconds) |
| 2021-04-14 14:08:59 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:c4d3:a85a:9b66:5814) |
| 2021-04-14 14:12:08 +0200 | vicfred | (~vicfred@unaffiliated/vicfred) (Quit: Leaving) |
| 2021-04-14 14:17:16 +0200 | berberman_ | (~berberman@unaffiliated/berberman) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-04-14 14:17:24 +0200 | idhugo_ | (~idhugo@87-49-44-84-mobile.dk.customer.tdc.net) |
| 2021-04-14 14:17:45 +0200 | berberman | (~berberman@unaffiliated/berberman) |
| 2021-04-14 14:19:50 +0200 | Pickchea | (~private@unaffiliated/pickchea) (Quit: Leaving) |
| 2021-04-14 14:19:54 +0200 | idhugo__ | (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 265 seconds) |
| 2021-04-14 14:20:31 +0200 | HannaM | (~quassel@p54849510.dip0.t-ipconnect.de) |
| 2021-04-14 14:21:45 +0200 | Deide | (~Deide@217.155.19.23) |
| 2021-04-14 14:22:26 +0200 | jchia_ | (~jchia@jungle.jchia.net) (Remote host closed the connection) |
| 2021-04-14 14:23:09 +0200 | jchia_ | (~jchia@jungle.jchia.net) |
| 2021-04-14 14:23:57 +0200 | kritzefitz | (~kritzefit@2003:5b:203b:200::10:49) (Ping timeout: 250 seconds) |
| 2021-04-14 14:28:01 +0200 | guest414 | (~user@49.5.6.87) (Remote host closed the connection) |
| 2021-04-14 14:32:44 +0200 | __minoru__shirae | (~shiraeesh@46.34.206.85) |
| 2021-04-14 14:34:42 +0200 | BosonCollider | (~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 252 seconds) |
| 2021-04-14 14:36:44 +0200 | kiweun | (~kiweun@2607:fea8:2a62:9600:495f:53bc:48fb:8f7c) |
| 2021-04-14 14:37:27 +0200 | jchia_ | (~jchia@jungle.jchia.net) (Remote host closed the connection) |
| 2021-04-14 14:37:36 +0200 | kritzefitz | (~kritzefit@2003:5b:203b:200::10:49) |
| 2021-04-14 14:37:45 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:c4d3:a85a:9b66:5814) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-14 14:38:27 +0200 | jchia_ | (~jchia@jungle.jchia.net) |
| 2021-04-14 14:41:04 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-04-14 14:41:29 +0200 | kiweun | (~kiweun@2607:fea8:2a62:9600:495f:53bc:48fb:8f7c) (Ping timeout: 258 seconds) |
| 2021-04-14 14:41:31 +0200 | Nihilist | (5f761bd1@dynamic-095-118-027-209.95.118.pool.telefonica.de) (Quit: Connection closed) |
| 2021-04-14 14:41:37 +0200 | Neuromancer | (~Neuromanc@unaffiliated/neuromancer) |
| 2021-04-14 14:43:09 +0200 | Lycurgus | (~niemand@98.4.118.65) (Quit: Exeunt) |
| 2021-04-14 14:44:04 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-04-14 14:44:33 +0200 | xff0x | (~xff0x@2001:1a81:53de:e800:8a89:d95a:dbc3:e25e) (Ping timeout: 258 seconds) |
| 2021-04-14 14:45:08 +0200 | jchia_ | (~jchia@jungle.jchia.net) (Remote host closed the connection) |
| 2021-04-14 14:45:20 +0200 | jrm | (~jrm@freebsd/developer/jrm) (Read error: Connection reset by peer) |
| 2021-04-14 14:45:21 +0200 | jchia_ | (~jchia@jungle.jchia.net) |
| 2021-04-14 14:45:27 +0200 | jrm2 | (~jrm@freebsd/developer/jrm) |
| 2021-04-14 14:45:29 +0200 | xff0x | (~xff0x@2001:1a81:53de:e800:34cf:6978:1caf:5ec6) |
| 2021-04-14 14:46:09 +0200 | jrm2 | jrm |
| 2021-04-14 14:46:27 +0200 | supernaut | (~supernaut@aadl28.neoplus.adsl.tpnet.pl) |
| 2021-04-14 14:47:58 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-14 14:48:31 +0200 | supernaut | (~supernaut@aadl28.neoplus.adsl.tpnet.pl) (Client Quit) |
| 2021-04-14 14:48:35 +0200 | <raehik> | What's the difference between a Type and a * ? Is there any? |
| 2021-04-14 14:48:41 +0200 | <raehik> | :k * |
| 2021-04-14 14:48:43 +0200 | <lambdabot> | * |
| 2021-04-14 14:48:46 +0200 | <raehik> | :k Type |
| 2021-04-14 14:48:48 +0200 | <lambdabot> | error: |
| 2021-04-14 14:48:48 +0200 | <lambdabot> | Not in scope: type constructor or class ‘Type’ |
| 2021-04-14 14:48:58 +0200 | <merijn> | raehik: None |
| 2021-04-14 14:49:07 +0200 | <merijn> | raehik: Type is a new name for * |
| 2021-04-14 14:49:27 +0200 | <merijn> | raehik: Because the dependent Haskell crowd want to use * as type-level multiplication operator |
| 2021-04-14 14:50:10 +0200 | <merijn> | % :k * |
| 2021-04-14 14:50:10 +0200 | <yahb> | merijn: * |
| 2021-04-14 14:50:12 +0200 | <merijn> | % :k Type |
| 2021-04-14 14:50:12 +0200 | <yahb> | merijn: ; <interactive>:1:1: error:; Ambiguous occurrence `Type'; It could refer to; either `Language.Haskell.TH.Type', imported from `Language.Haskell.TH' (and originally defined in `Language.Haskell.TH.Syntax'); or `Data.Kind.Type', imported from `Data.Kind' (and originally defined in `GHC.Types') |
| 2021-04-14 14:50:17 +0200 | <merijn> | oof |
| 2021-04-14 14:50:22 +0200 | <raehik> | merijn: thanks! |
| 2021-04-14 14:50:47 +0200 | <merijn> | raehik: See also -XStarIsType (or whatever it was called) in the GHC user guide |
| 2021-04-14 14:50:51 +0200 | <merijn> | @where user-guide |
| 2021-04-14 14:50:52 +0200 | <lambdabot> | I know nothing about user-guide. |
| 2021-04-14 14:50:55 +0200 | <merijn> | @where userguide |
| 2021-04-14 14:50:55 +0200 | <lambdabot> | https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/ |
| 2021-04-14 14:51:05 +0200 | sdrodge | (~sdrodge@unaffiliated/sdrodge) (Quit: WeeChat 3.1) |
| 2021-04-14 14:52:02 +0200 | <raehik> | cool, wonder if that's planned to get into a release soon |
| 2021-04-14 14:52:09 +0200 | <merijn> | Probably not |
| 2021-04-14 14:52:28 +0200 | jchia_ | (~jchia@jungle.jchia.net) (Remote host closed the connection) |
| 2021-04-14 14:52:57 +0200 | jchia_ | (~jchia@jungle.jchia.net) |
| 2021-04-14 14:53:03 +0200 | sdrodge | (~sdrodge@unaffiliated/sdrodge) |
| 2021-04-14 14:54:33 +0200 | jonathanx | (~jonathan@h-176-109.A357.priv.bahnhof.se) |
| 2021-04-14 14:55:05 +0200 | raichoo | (~raichoo@dslb-088-077-024-130.088.077.pools.vodafone-ip.de) |
| 2021-04-14 14:55:49 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2021-04-14 14:57:00 +0200 | hyperisco | (~hyperisco@d192-186-117-226.static.comm.cgocable.net) |
| 2021-04-14 14:57:09 +0200 | whataday | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2021-04-14 14:57:34 +0200 | v01d4lph4 | (~v01d4lph4@122.160.65.250) (Read error: Connection reset by peer) |
| 2021-04-14 14:58:15 +0200 | whataday | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-04-14 15:00:33 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 240 seconds) |
| 2021-04-14 15:06:04 +0200 | cafce25 | (~cafce25@ipbcc3009d.dynamic.kabel-deutschland.de) |
| 2021-04-14 15:07:28 +0200 | jchia_ | (~jchia@jungle.jchia.net) (Remote host closed the connection) |
| 2021-04-14 15:07:57 +0200 | jchia_ | (~jchia@jungle.jchia.net) |
| 2021-04-14 15:13:38 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-14 15:14:11 +0200 | hiroaki_ | (~hiroaki@2a02:8108:8c40:2bb8:4629:c718:4876:b286) (Ping timeout: 260 seconds) |
| 2021-04-14 15:14:14 +0200 | freeman42x | (~40726@2a02:2f0c:5a03:4a00:25d9:dfce:25a7:bd32) |
| 2021-04-14 15:14:31 +0200 | mrchampion | (~mrchampio@38.18.109.23) (Ping timeout: 260 seconds) |
| 2021-04-14 15:14:38 +0200 | nut | (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-04-14 15:16:53 +0200 | elliott_ | (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) |
| 2021-04-14 15:20:33 +0200 | lawid | (~quassel@2a02:8109:b5c0:5334:265e:beff:fe2a:dde8) |
| 2021-04-14 15:20:50 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-04-14 15:20:51 +0200 | matijja | (~matijja@193.77.181.208) |
| 2021-04-14 15:21:34 +0200 | Nihilist | (5f761bd1@dynamic-095-118-027-209.95.118.pool.telefonica.de) |
| 2021-04-14 15:21:44 +0200 | Nihilist | (5f761bd1@dynamic-095-118-027-209.95.118.pool.telefonica.de) () |
| 2021-04-14 15:21:49 +0200 | carlomagno | (~cararell@148.87.23.13) |
| 2021-04-14 15:22:11 +0200 | gnumonic | (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2021-04-14 15:22:28 +0200 | jchia_ | (~jchia@jungle.jchia.net) (Remote host closed the connection) |
| 2021-04-14 15:22:45 +0200 | roconnor | (~roconnor@host-45-58-193-19.dyn.295.ca) |
| 2021-04-14 15:23:08 +0200 | jchia_ | (~jchia@jungle.jchia.net) |
| 2021-04-14 15:23:19 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 252 seconds) |
| 2021-04-14 15:26:12 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 2021-04-14 15:26:14 +0200 | rj | (~x@gateway/tor-sasl/rj) |
| 2021-04-14 15:26:40 +0200 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) (Remote host closed the connection) |
| 2021-04-14 15:27:23 +0200 | lokesh1197 | (cbc182d2@203.193.130.210) (Ping timeout: 240 seconds) |
| 2021-04-14 15:27:53 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-14 15:27:56 +0200 | Tario | (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-04-14 15:28:03 +0200 | fiedlr | (~fiedlr@83.148.33.254) (Remote host closed the connection) |
| 2021-04-14 15:28:15 +0200 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 2021-04-14 15:28:18 +0200 | fiedlr | (~fiedlr@83.148.33.254) |
| 2021-04-14 15:31:04 +0200 | jamm_ | (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2021-04-14 15:31:49 +0200 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2021-04-14 15:31:49 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-04-14 15:32:07 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-04-14 15:32:32 +0200 | hiroaki_ | (~hiroaki@2a02:8108:8c40:2bb8:9346:b3f:94d7:13fa) |
| 2021-04-14 15:35:32 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-04-14 15:36:19 +0200 | jamm_ | (~jamm@unaffiliated/jamm) (Ping timeout: 250 seconds) |
| 2021-04-14 15:37:29 +0200 | jchia_ | (~jchia@jungle.jchia.net) (Remote host closed the connection) |
| 2021-04-14 15:38:07 +0200 | Tario | (~Tario@201.192.165.173) |
| 2021-04-14 15:38:22 +0200 | jchia_ | (~jchia@jungle.jchia.net) |
| 2021-04-14 15:39:13 +0200 | __minoru__shirae | (~shiraeesh@46.34.206.85) (Ping timeout: 240 seconds) |
| 2021-04-14 15:40:43 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-14 15:40:51 +0200 | <whataday> | is there ListT? |
| 2021-04-14 15:41:10 +0200 | <whataday> | no IOT? |
| 2021-04-14 15:41:35 +0200 | <dolio> | There's no IOT. |
| 2021-04-14 15:41:41 +0200 | alx741 | (~alx741@181.196.69.92) |
| 2021-04-14 15:42:18 +0200 | <whataday> | is there MaybeT [] a? |
| 2021-04-14 15:42:52 +0200 | <whataday> | MaybeT [Just 3, Nothing] is ok? |
| 2021-04-14 15:44:13 +0200 | Clint | squints. |
| 2021-04-14 15:45:38 +0200 | unyu | (~pyon@unaffiliated/pyon) |
| 2021-04-14 15:45:57 +0200 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2021-04-14 15:46:52 +0200 | <hyperisco> | whataday, you can look for these things on Hoogle |
| 2021-04-14 15:46:53 +0200 | Tario | (~Tario@201.192.165.173) (Ping timeout: 240 seconds) |
| 2021-04-14 15:47:03 +0200 | <hyperisco> | and you can try them in ghci |
| 2021-04-14 15:48:31 +0200 | pavonia | (~user@unaffiliated/siracusa) (Quit: Bye!) |
| 2021-04-14 15:50:03 +0200 | <ski> | @type MaybeT [Just (3 :: Integer),Nothing] |
| 2021-04-14 15:50:05 +0200 | <lambdabot> | MaybeT [] Integer |
| 2021-04-14 15:50:19 +0200 | cr3 | (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 2021-04-14 15:50:19 +0200 | jchia_ | (~jchia@jungle.jchia.net) (Remote host closed the connection) |
| 2021-04-14 15:50:31 +0200 | <ski> | @wiki ListT done right |
| 2021-04-14 15:50:31 +0200 | <lambdabot> | https://wiki.haskell.org/ListT_done_right |
| 2021-04-14 15:51:25 +0200 | jchia_ | (~jchia@jungle.jchia.net) |
| 2021-04-14 15:52:26 +0200 | jchia_ | (~jchia@jungle.jchia.net) (Remote host closed the connection) |
| 2021-04-14 15:52:58 +0200 | rdivyanshu | (uid322626@gateway/web/irccloud.com/x-andoqpzjmzizoeoe) (Quit: Connection closed for inactivity) |
| 2021-04-14 15:53:02 +0200 | jchia_ | (~jchia@jungle.jchia.net) |
| 2021-04-14 15:58:25 +0200 | st8less | (~st8less@2603:a060:11fd::bf1) |
| 2021-04-14 15:59:03 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-04-14 15:59:57 +0200 | rj | (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 2021-04-14 16:00:40 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-04-14 16:01:19 +0200 | <whataday> | ok |
| 2021-04-14 16:01:49 +0200 | nut | (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 252 seconds) |
| 2021-04-14 16:01:52 +0200 | <whataday> | :t flatMap |
| 2021-04-14 16:01:54 +0200 | <lambdabot> | error: Variable not in scope: flatMap |
| 2021-04-14 16:02:28 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-14 16:02:59 +0200 | <geekosaur> | :t (>>=) |
| 2021-04-14 16:03:00 +0200 | <lambdabot> | Monad m => m a -> (a -> m b) -> m b |
| 2021-04-14 16:03:54 +0200 | Tops2 | (~Tobias@dyndsl-095-033-095-094.ewe-ip-backbone.de) |
| 2021-04-14 16:04:07 +0200 | rj | (~x@gateway/tor-sasl/rj) |
| 2021-04-14 16:04:13 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds) |
| 2021-04-14 16:04:32 +0200 | <whataday> | I remember there's a function could work on nested list |
| 2021-04-14 16:04:47 +0200 | <whataday> | but I forget its name |
| 2021-04-14 16:05:19 +0200 | <geekosaur> | fmap "drills down", if that's what you mean |
| 2021-04-14 16:05:28 +0200 | <whataday> | fmap f [[1], [2,3]] |
| 2021-04-14 16:05:51 +0200 | <whataday> | that f work on 1 or 2 or 3 |
| 2021-04-14 16:06:13 +0200 | <Zemyla> | ContT (Compose IO []) works too, because right associativity is enforced. |
| 2021-04-14 16:06:20 +0200 | <geekosaur> | thta f works on [1] and [2,3]. but you can nest fmap-s to work on inner values |
| 2021-04-14 16:06:48 +0200 | <Tops2> | > (fmap . fmap) (subtract 1) [[1],[2,3]] |
| 2021-04-14 16:06:50 +0200 | <lambdabot> | [[0],[1,2]] |
| 2021-04-14 16:07:01 +0200 | Rudd0 | (~Rudd0@185.189.115.103) (Remote host closed the connection) |
| 2021-04-14 16:07:30 +0200 | jchia_ | (~jchia@jungle.jchia.net) (Remote host closed the connection) |
| 2021-04-14 16:07:54 +0200 | <whataday> | could I name fmap = fmap . fmap? |
| 2021-04-14 16:08:03 +0200 | <Zemyla> | :t \a -> ContT $ \c -> Compose $ a >>= (getCompose . c) |
| 2021-04-14 16:08:04 +0200 | <lambdabot> | forall k (f :: * -> *) a1 (a2 :: k) (g :: k -> *). Monad f => f a1 -> ContT a2 (Compose f g) a1 |
| 2021-04-14 16:08:08 +0200 | <whataday> | so [[]] is a functor? |
| 2021-04-14 16:08:09 +0200 | <Zemyla> | :t \a -> ContT $ \c -> Compose $ fmap join $ traverse (getCompose . c) $ a |
| 2021-04-14 16:08:10 +0200 | <lambdabot> | (Monad g, Traversable g, Applicative f) => g a1 -> ContT a2 (Compose f g) a1 |
| 2021-04-14 16:08:28 +0200 | <whataday> | ContT is beyond my comprehension now |
| 2021-04-14 16:08:44 +0200 | <Zemyla> | You want to use Compose for nested fmaps. |
| 2021-04-14 16:08:52 +0200 | <Zemyla> | :t Compose [[1], [2, 3]] |
| 2021-04-14 16:08:53 +0200 | <lambdabot> | Num a => Compose [] [] a |
| 2021-04-14 16:09:00 +0200 | <whataday> | I always don't know how callCC worked |
| 2021-04-14 16:09:15 +0200 | <whataday> | aha, |
| 2021-04-14 16:09:34 +0200 | <whataday> | Compose is a functor, right? |
| 2021-04-14 16:10:18 +0200 | <Tops2> | > (getCompose . fmap) (subtract 1) (Compose [[1],[2,3]]) |
| 2021-04-14 16:10:20 +0200 | <lambdabot> | error: |
| 2021-04-14 16:10:20 +0200 | <lambdabot> | • Couldn't match type ‘f0 b0 -> f0 b0’ |
| 2021-04-14 16:10:20 +0200 | <lambdabot> | with ‘Compose ((->) (Compose [] [] a0)) g a’ |
| 2021-04-14 16:10:43 +0200 | <whataday> | fmap (+1) $ Compose [[1], [2,3]] |
| 2021-04-14 16:12:06 +0200 | <Tops2> | > getCompose . fmap (subtract 1) $ Compose [[1],[2,3]] |
| 2021-04-14 16:12:08 +0200 | <lambdabot> | [[0],[1,2]] |
| 2021-04-14 16:12:38 +0200 | <Tops2> | ye it's Data.Functor.Compose |
| 2021-04-14 16:13:19 +0200 | <whataday> | ok |
| 2021-04-14 16:13:26 +0200 | Mrbuck | (~Mrbuck@gateway/tor-sasl/mrbuck) |
| 2021-04-14 16:13:29 +0200 | <Zemyla> | I don't know when ContT started making sense to me. |
| 2021-04-14 16:14:00 +0200 | <whataday> | I can understand Cont a little |
| 2021-04-14 16:14:14 +0200 | <whataday> | but callCC is really beyond my comprehension |
| 2021-04-14 16:14:58 +0200 | dpl_ | (~dpl@77-121-78-163.chn.volia.net) |
| 2021-04-14 16:15:06 +0200 | <dolio> | callCC is arguably the worst control operator. |
| 2021-04-14 16:15:44 +0200 | <whataday> | that use fixed point implement goto with callCC inside Cont, what a twisted! |
| 2021-04-14 16:16:19 +0200 | <whataday> | I never understand why call fixed point inside Cont would create a loop? |
| 2021-04-14 16:16:22 +0200 | <dolio> | You could probably come up with worse, but the worst that is usually talked about. |
| 2021-04-14 16:16:53 +0200 | __minoru__shirae | (~shiraeesh@46.34.206.85) |
| 2021-04-14 16:16:59 +0200 | mrchampion | (~mrchampio@38.18.109.23) |
| 2021-04-14 16:17:15 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-04-14 16:17:29 +0200 | <whataday> | I saw some people's articles, but no one explained it plainly |
| 2021-04-14 16:17:44 +0200 | ukari | (~ukari@unaffiliated/ukari) (Ping timeout: 252 seconds) |
| 2021-04-14 16:17:47 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-14 16:17:54 +0200 | <whataday> | just make me more confused |
| 2021-04-14 16:18:05 +0200 | <whataday> | so I just leave it alone |
| 2021-04-14 16:20:26 +0200 | <geekosaur> | Cont does that to a lot of people |
| 2021-04-14 16:21:04 +0200 | <juri_> | i keep watching haskell videon, thinking they'll teach me something useful. so far, no dice. |
| 2021-04-14 16:21:19 +0200 | Sgeo | (~Sgeo@ool-18b98aa4.dyn.optonline.net) |
| 2021-04-14 16:21:32 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2021-04-14 16:22:34 +0200 | <yushyin> | you have more chances to learn something if you just read along here than watching haskell vidoes, is my guess. |
| 2021-04-14 16:23:40 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-04-14 16:24:34 +0200 | <whataday> | until someone ask you to read books... |
| 2021-04-14 16:24:43 +0200 | <whataday> | like real work haskell |
| 2021-04-14 16:24:53 +0200 | <whataday> | haskell first principal etc |
| 2021-04-14 16:25:15 +0200 | <whataday> | not some like learn your a haskell for good |
| 2021-04-14 16:25:27 +0200 | <juri_> | yeah, the books are more useful. |
| 2021-04-14 16:25:54 +0200 | curlybangs | (185a6b4e@cpe-24-90-107-78.nyc.res.rr.com) |
| 2021-04-14 16:26:00 +0200 | <juri_> | unfortunately when i'm down due to headache (bad month), reading a book is much worse than listening to a video. |
| 2021-04-14 16:27:11 +0200 | <juri_> | and when i'm not down due to headache, i'm busy writing (bad) haskell. |
| 2021-04-14 16:27:16 +0200 | <whataday> | I like to learn some skills in haskell and see how it's implemented in others |
| 2021-04-14 16:27:46 +0200 | <whataday> | I use kotlin for most work |
| 2021-04-14 16:27:53 +0200 | <whataday> | and they have arrow-kt |
| 2021-04-14 16:28:16 +0200 | <whataday> | it has some thoughts very like haskell |
| 2021-04-14 16:28:36 +0200 | <whataday> | but implements are in a horrible way |
| 2021-04-14 16:28:57 +0200 | <whataday> | but hey, better than nothing |
| 2021-04-14 16:29:44 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-04-14 16:30:57 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-14 16:31:07 +0200 | <whataday> | they simulate to implement higher kind type with class, that class confused me a while |
| 2021-04-14 16:31:21 +0200 | ukari | (~ukari@unaffiliated/ukari) |
| 2021-04-14 16:31:44 +0200 | Tario | (~Tario@201.192.165.173) |
| 2021-04-14 16:33:21 +0200 | dariof4 | (~dario@5.11.121.66) |
| 2021-04-14 16:37:30 +0200 | kiweun | (~kiweun@2607:fea8:2a62:9600:71af:dc19:e65b:7248) |
| 2021-04-14 16:40:29 +0200 | cfricke | (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 3.1) |
| 2021-04-14 16:41:28 +0200 | aVikingTrex | (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 258 seconds) |
| 2021-04-14 16:42:14 +0200 | kiweun | (~kiweun@2607:fea8:2a62:9600:71af:dc19:e65b:7248) (Ping timeout: 258 seconds) |
| 2021-04-14 16:42:26 +0200 | dpl_ | (~dpl@77-121-78-163.chn.volia.net) (Quit: dpl_) |
| 2021-04-14 16:42:28 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-04-14 16:43:53 +0200 | nineonine | (~nineonine@50.216.62.2) |
| 2021-04-14 16:43:57 +0200 | rj | (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 2021-04-14 16:45:11 +0200 | xff0x | (~xff0x@2001:1a81:53de:e800:34cf:6978:1caf:5ec6) (Ping timeout: 260 seconds) |
| 2021-04-14 16:45:44 +0200 | xff0x | (~xff0x@2001:1a81:53de:e800:f134:1482:73e7:cb45) |
| 2021-04-14 16:46:56 +0200 | vfaronov | (~Srain@broadband-95-84-210-78.ip.moscow.rt.ru) |
| 2021-04-14 16:47:51 +0200 | rj | (~x@gateway/tor-sasl/rj) |
| 2021-04-14 16:48:46 +0200 | nineonine | (~nineonine@50.216.62.2) (Ping timeout: 265 seconds) |
| 2021-04-14 16:48:52 +0200 | <vfaronov> | Hi all. Any idea why TH's addDependentFile may not work? I have the exact problem described in https://stackoverflow.com/q/49757162, I do what the answer suggests, and still, changing only the embedded file make `cabal build` say "Up to date". |
| 2021-04-14 16:50:07 +0200 | <tdammers> | off the top of my head, you may need to put it in extra-source-files or sth like that |
| 2021-04-14 16:50:25 +0200 | acidjnk_new | (~acidjnk@p200300d0c72b954090611fa1f3f989eb.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2021-04-14 16:50:36 +0200 | <merijn> | cabal is not aware of addDependentFile, afaik |
| 2021-04-14 16:50:40 +0200 | <vfaronov> | tdammers: it's there already |
| 2021-04-14 16:50:43 +0200 | BosonCollider | (~olofs@90-227-86-119-no542.tbcn.telia.com) |
| 2021-04-14 16:50:54 +0200 | <geekosaur> | the problem with addDependentFile is cabal won't know about it until it compiles the file, but it won't compile the file becauseit doesn't know about the extra dep |
| 2021-04-14 16:51:42 +0200 | <merijn> | There was some talk/work on making cabal aware of it, I think. But no clue if anything has been done about that |
| 2021-04-14 16:52:09 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-04-14 16:53:42 +0200 | jamm_ | (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2021-04-14 16:54:24 +0200 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2021-04-14 16:54:36 +0200 | <vfaronov> | I see, too bad |
| 2021-04-14 16:54:45 +0200 | <vfaronov> | thanks anyway |
| 2021-04-14 16:55:33 +0200 | idhugo_ | (~idhugo@87-49-44-84-mobile.dk.customer.tdc.net) (Ping timeout: 240 seconds) |
| 2021-04-14 16:55:35 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:49a9:cf03:7849:ab6b) |
| 2021-04-14 16:55:36 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-04-14 16:56:59 +0200 | hypercube | (hypercube@gateway/vpn/protonvpn/hypercube) |
| 2021-04-14 16:57:20 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-14 16:59:06 +0200 | jamm_ | (~jamm@unaffiliated/jamm) (Ping timeout: 258 seconds) |
| 2021-04-14 16:59:56 +0200 | xff0x | (~xff0x@2001:1a81:53de:e800:f134:1482:73e7:cb45) (Ping timeout: 245 seconds) |
| 2021-04-14 17:00:58 +0200 | xff0x | (~xff0x@2001:1a81:53de:e800:d3b4:413a:5958:6939) |
| 2021-04-14 17:01:02 +0200 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 246 seconds) |
| 2021-04-14 17:01:51 +0200 | name | (5847aff9@dslb-088-071-175-249.088.071.pools.vodafone-ip.de) |
| 2021-04-14 17:06:12 +0200 | hypercube | (hypercube@gateway/vpn/protonvpn/hypercube) (Ping timeout: 240 seconds) |
| 2021-04-14 17:06:57 +0200 | <vfaronov> | in that case, is it possible to force Cabal/GHC to recompile (only) a particular file (the one that does embedFile) without actually changing it? I probably need to remove something from under dist-newstyle/build, but what exactly? |
| 2021-04-14 17:07:38 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-14 17:08:11 +0200 | name | (5847aff9@dslb-088-071-175-249.088.071.pools.vodafone-ip.de) (Quit: Connection closed) |
| 2021-04-14 17:08:38 +0200 | <merijn> | "not really" https://github.com/haskell/cabal/issues/5300 |
| 2021-04-14 17:10:11 +0200 | dyeplexer | (~lol@unaffiliated/terpin) |
| 2021-04-14 17:14:06 +0200 | curlybangs | (185a6b4e@cpe-24-90-107-78.nyc.res.rr.com) (Quit: Ping timeout (120 seconds)) |
| 2021-04-14 17:14:16 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-04-14 17:14:56 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-14 17:15:47 +0200 | lambdaman | (~lambdaman@s66-183-152-156.bc.hsia.telus.net) |
| 2021-04-14 17:16:00 +0200 | dcbdan | (~dcbdan@c-73-76-129-120.hsd1.tx.comcast.net) (Ping timeout: 268 seconds) |
| 2021-04-14 17:16:29 +0200 | chele | (~chele@78.128.94.174) (Remote host closed the connection) |
| 2021-04-14 17:19:22 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2021-04-14 17:19:58 +0200 | lambdaman | (~lambdaman@s66-183-152-156.bc.hsia.telus.net) (Ping timeout: 240 seconds) |
| 2021-04-14 17:20:10 +0200 | ddellaco_ | ddellacosta_ |
| 2021-04-14 17:22:25 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-14 17:22:39 +0200 | s00pcan | (~chris@107.181.165.217) |
| 2021-04-14 17:26:45 +0200 | rj | (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 2021-04-14 17:26:45 +0200 | dariof4 | (~dario@5.11.121.66) (Ping timeout: 260 seconds) |
| 2021-04-14 17:29:36 +0200 | hexfive | (~hexfive@50.35.83.177) |
| 2021-04-14 17:29:39 +0200 | kilolympus | (~kilolympu@5.151.5.180) |
| 2021-04-14 17:31:02 +0200 | rj | (~x@gateway/tor-sasl/rj) |
| 2021-04-14 17:32:02 +0200 | bienjensu | (~bienjensu@unaffiliated/bienjensu) |
| 2021-04-14 17:33:10 +0200 | myShoggoth | (~myShoggot@97-120-72-12.ptld.qwest.net) |
| 2021-04-14 17:33:33 +0200 | Unhammer | (~Unhammer@gateway/tor-sasl/unhammer) (Ping timeout: 240 seconds) |
| 2021-04-14 17:35:06 +0200 | Unhammer | (~Unhammer@gateway/tor-sasl/unhammer) |
| 2021-04-14 17:36:50 +0200 | LKoen | (~LKoen@65.250.88.92.rev.sfr.net) |
| 2021-04-14 17:38:31 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:49a9:cf03:7849:ab6b) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-14 17:40:57 +0200 | alias | (790c93fc@121.12.147.252) (Quit: Connection closed) |
| 2021-04-14 17:41:19 +0200 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2021-04-14 17:41:32 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 2021-04-14 17:41:51 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-04-14 17:43:21 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:49a9:cf03:7849:ab6b) |
| 2021-04-14 17:44:22 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-04-14 17:48:03 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:49a9:cf03:7849:ab6b) (Client Quit) |
| 2021-04-14 17:49:12 +0200 | dariof4 | (~dario@5.11.121.66) |
| 2021-04-14 17:50:13 +0200 | jamm_ | (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2021-04-14 17:50:26 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:49a9:cf03:7849:ab6b) |
| 2021-04-14 17:50:56 +0200 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2021-04-14 17:52:23 +0200 | bienjensu | (~bienjensu@unaffiliated/bienjensu) (Ping timeout: 268 seconds) |
| 2021-04-14 17:54:04 +0200 | rond_ | (5940206b@89-64-32-107.dynamic.chello.pl) |
| 2021-04-14 17:55:14 +0200 | rmk236 | (~lcampos@2a02:908:3616:b100:32db:6142:a17f:785a) |
| 2021-04-14 17:55:27 +0200 | jamm_ | (~jamm@unaffiliated/jamm) (Ping timeout: 258 seconds) |
| 2021-04-14 17:56:34 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2021-04-14 17:57:05 +0200 | horatiohb | (~horatiohb@104.236.208.44) |
| 2021-04-14 17:57:54 +0200 | ep1ctetus | (~epictetus@ip72-194-54-201.sb.sd.cox.net) |
| 2021-04-14 17:59:08 +0200 | eacameron | (uid256985@gateway/web/irccloud.com/x-rzlatralzulvgovn) |
| 2021-04-14 18:00:24 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2021-04-14 18:00:39 +0200 | Rudd0 | (~Rudd0@185.189.115.103) |
| 2021-04-14 18:00:45 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 2021-04-14 18:01:31 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-04-14 18:03:19 +0200 | taleb_sabina | (~taleb_sab@2601:285:100:6430::1) |
| 2021-04-14 18:03:41 +0200 | <taleb_sabina> | How can I have my ghci prompt output the type signature like it does on haskell.org? |
| 2021-04-14 18:05:28 +0200 | <geekosaur> | :t fmap -- this? |
| 2021-04-14 18:05:29 +0200 | <lambdabot> | Functor f => (a -> b) -> f a -> f b |
| 2021-04-14 18:05:51 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 2021-04-14 18:06:02 +0200 | <thblt> | taleb_sabina: :set +t |
| 2021-04-14 18:06:37 +0200 | <geekosaur> | that was the other thing I was thinking of |
| 2021-04-14 18:07:15 +0200 | <taleb_sabina> | thblt, that looks like this: λ> 5 |
| 2021-04-14 18:07:15 +0200 | <taleb_sabina> | 5 |
| 2021-04-14 18:07:15 +0200 | <taleb_sabina> | it :: Num p => p |
| 2021-04-14 18:07:15 +0200 | <taleb_sabina> | while the website as λ 5 |
| 2021-04-14 18:07:17 +0200 | <taleb_sabina> | :: Num a => a |
| 2021-04-14 18:07:30 +0200 | <taleb_sabina> | oops. Sorry about the spam. I forgot how to use IRCs |
| 2021-04-14 18:08:15 +0200 | <edwardk> | vfaronov: when you embedded the file with template haskell or whatever did you make sure to add a dependency on that file? |
| 2021-04-14 18:08:35 +0200 | <edwardk> | oh i just saw that you mentioned addDependentFile |
| 2021-04-14 18:09:14 +0200 | <edwardk> | and oooof. that kinda hurts re cabal i hadn't considered that part |
| 2021-04-14 18:10:08 +0200 | <thblt> | taleb_sabina: enter :set +t at the ghci prompt to get that effect |
| 2021-04-14 18:11:16 +0200 | waleee-cl | (uid373333@gateway/web/irccloud.com/x-cwhemzwwgbboniwh) |
| 2021-04-14 18:11:38 +0200 | rond_ | (5940206b@89-64-32-107.dynamic.chello.pl) (Quit: Connection closed) |
| 2021-04-14 18:11:56 +0200 | <taleb_sabina> | thblt, I don't want to have the signature on a separate line. Like haskell.org, it's the result followed by the type sigature. For example: `5 :: Num p => p` rather than `5 \n it :: Num p => p`. Does that make sense? |
| 2021-04-14 18:11:57 +0200 | rj | (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 2021-04-14 18:12:37 +0200 | ram19890 | (~ram@49.207.130.109) |
| 2021-04-14 18:12:48 +0200 | <sm[m]> | g'day all. lookupEnv reads the environment variables as they were at program startup, am I right ? |
| 2021-04-14 18:13:17 +0200 | <sm[m]> | I don't think there's a way to alter the env vars seen by a program while it's running, from outside the program |
| 2021-04-14 18:14:56 +0200 | rj | (~x@gateway/tor-sasl/rj) |
| 2021-04-14 18:15:23 +0200 | vfaronov | (~Srain@broadband-95-84-210-78.ip.moscow.rt.ru) (Remote host closed the connection) |
| 2021-04-14 18:15:58 +0200 | slack1256 | (~slack1256@191.113.234.51) |
| 2021-04-14 18:16:08 +0200 | <geekosaur> | there is not |
| 2021-04-14 18:16:11 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 2021-04-14 18:16:23 +0200 | <geekosaur> | and couldn't be, as they are implemented |
| 2021-04-14 18:17:32 +0200 | <sm[m]> | cool. Context: I'm using unsafePerformIO to check whether NO_COLOR is defined, whether --color=X was used on command line, and whether stdout (or stderr) support ANSI color |
| 2021-04-14 18:17:47 +0200 | <sm[m]> | which I think is safe and reliable enough |
| 2021-04-14 18:18:01 +0200 | <geekosaur> | well, hypothetically you could use a debugger to pause the program and edit its memory image, but then you have to deal with e.g. caching (for example time-related stuff calls tzset() once and uses what's computed for the life of the program, never looking at $TZ again) |
| 2021-04-14 18:19:06 +0200 | nut | (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-04-14 18:19:24 +0200 | gitgood | (~gitgood@80-44-9-246.dynamic.dsl.as9105.com) |
| 2021-04-14 18:19:57 +0200 | kritzefitz | (~kritzefit@2003:5b:203b:200::10:49) (Remote host closed the connection) |
| 2021-04-14 18:20:08 +0200 | <sm[m]> | nice example: https://unix.stackexchange.com/a/38212 |
| 2021-04-14 18:20:41 +0200 | ski | . o O ( PCLSRing <http://fare.tunes.org/tmp/emergent/pclsr.htm>,<https://existentialtype.wordpress.com/2016/07/11/pclsring-in-semantics/> ) |
| 2021-04-14 18:20:50 +0200 | lambdaman | (~lambdaman@s66-183-152-156.bc.hsia.telus.net) |
| 2021-04-14 18:21:38 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-14 18:22:30 +0200 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2021-04-14 18:24:01 +0200 | st8less | (~st8less@2603:a060:11fd::bf1) (Ping timeout: 250 seconds) |
| 2021-04-14 18:25:58 +0200 | st8less | (~st8less@inet-167-224-197-181.isp.ozarksgo.net) |
| 2021-04-14 18:26:13 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 2021-04-14 18:26:45 +0200 | romesrf | (~romesrf@44.190.189.46.rev.vodafone.pt) |
| 2021-04-14 18:27:36 +0200 | ukari | (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 2021-04-14 18:27:54 +0200 | dariof4 | (~dario@5.11.121.66) (Ping timeout: 252 seconds) |
| 2021-04-14 18:28:20 +0200 | ukari | (~ukari@unaffiliated/ukari) |
| 2021-04-14 18:28:59 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-14 18:29:27 +0200 | <romesrf> | good afternoon, could someone help me understand Parsec's use of reserved and reservedOp in this small "if" example? https://paste.tomsmeding.com/MZMIiZEW |
| 2021-04-14 18:30:29 +0200 | <romesrf> | i don't understand 1) why use reserved at all, 2) why use reservedOp to parse "then" unlike "if" and "else" |
| 2021-04-14 18:31:41 +0200 | dmytrish | (~mitra@2a02:8084:a82:d900:f811:9873:2623:c28b) |
| 2021-04-14 18:32:01 +0200 | enikar | thinks… because then is like an operator between two expressions. |
| 2021-04-14 18:32:16 +0200 | <enikar> | but I'm not sure. |
| 2021-04-14 18:32:33 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-04-14 18:33:14 +0200 | <__monty__> | romesrf: Because you might want to include rules like "not in reservedWords" for your regular identifier parser. |
| 2021-04-14 18:33:54 +0200 | <__monty__> | I'm not sure about the Op-ness, since surely else looks pretty darn similar? |
| 2021-04-14 18:36:19 +0200 | <romesrf> | my understanding is that `reservedOp name` will fail if name is a prefix to a reserved operation, and `reserved name` will fail if name is a prefix to a reserved name ... :( |
| 2021-04-14 18:36:37 +0200 | nineonine | (~nineonine@50.216.62.2) |
| 2021-04-14 18:37:18 +0200 | <romesrf> | all examples i've seen use reserved and reservedOp when defining the parser, but i can't quite understand *why* |
| 2021-04-14 18:38:16 +0200 | kiweun | (~kiweun@2607:fea8:2a62:9600:4003:210e:21b8:f2c0) |
| 2021-04-14 18:38:36 +0200 | gawen | (~gawen@movzbl.root.sx) (Quit: cya) |
| 2021-04-14 18:39:35 +0200 | MrMobius | (~MrMobius@208.58.206.154) |
| 2021-04-14 18:40:16 +0200 | justsomeguy | (~justsomeg@unaffiliated/--/x-3805311) |
| 2021-04-14 18:40:55 +0200 | gawen | (~gawen@movzbl.root.sx) |
| 2021-04-14 18:42:59 +0200 | kiweun | (~kiweun@2607:fea8:2a62:9600:4003:210e:21b8:f2c0) (Ping timeout: 258 seconds) |
| 2021-04-14 18:43:26 +0200 | ukari | (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 2021-04-14 18:44:05 +0200 | ukari | (~ukari@unaffiliated/ukari) |
| 2021-04-14 18:47:24 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-14 18:48:31 +0200 | jamm_ | (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2021-04-14 18:51:55 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:49a9:cf03:7849:ab6b) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-14 18:52:13 +0200 | fendor_ | (~fendor@77.119.129.135.wireless.dyn.drei.com) |
| 2021-04-14 18:52:49 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-04-14 18:52:59 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:b54d:c232:d06e:243a) |
| 2021-04-14 18:53:01 +0200 | zaquest | (~notzaques@5.128.210.178) (Read error: Connection reset by peer) |
| 2021-04-14 18:53:13 +0200 | <monochrom> | reserved eats trailing whitespaces for you. |
| 2021-04-14 18:53:36 +0200 | <monochrom> | But I would use reserved "then", not reservedOp "then". |
| 2021-04-14 18:54:19 +0200 | <monochrom> | reservedOp is really for reserved symbols/punctuations, for example semicolon, not alphanum things. |
| 2021-04-14 18:54:55 +0200 | fendor | (~fendor@91.141.2.26.wireless.dyn.drei.com) (Ping timeout: 265 seconds) |
| 2021-04-14 18:56:14 +0200 | hexfive | (~hexfive@50.35.83.177) (Quit: i must go. my people need me.) |
| 2021-04-14 18:56:26 +0200 | <romesrf> | thank you :) |
| 2021-04-14 18:56:57 +0200 | <monochrom> | https://wiki.haskell.org/Parsing_expressions_and_statements is my better example. |
| 2021-04-14 18:57:19 +0200 | <romesrf> | great, i'll check it out |
| 2021-04-14 18:57:35 +0200 | seven_three | (~user@pool-96-233-64-53.bstnma.fios.verizon.net) |
| 2021-04-14 18:57:54 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-04-14 18:58:45 +0200 | rj | (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 2021-04-14 19:00:08 +0200 | rajivr | (uid269651@gateway/web/irccloud.com/x-ubwtsitjrarbotro) (Quit: Connection closed for inactivity) |
| 2021-04-14 19:00:24 +0200 | seven_three | (~user@pool-96-233-64-53.bstnma.fios.verizon.net) () |
| 2021-04-14 19:01:20 +0200 | <monochrom> | I have taken a look at the source code of reservedOp. Here is what's wrong with reservedOp "then". |
| 2021-04-14 19:01:34 +0200 | <romesrf> | monochrom: +1 it helped, different wordings and different examples are good for understanding better :) ty |
| 2021-04-14 19:01:52 +0200 | <monochrom> | Suppose your grammar allows "then ;", in which "then" is a reserved word, ";" is a reserved symbol. Two tokens, not one. |
| 2021-04-14 19:01:55 +0200 | rmk236 | (~lcampos@2a02:908:3616:b100:32db:6142:a17f:785a) (Quit: Leaving.) |
| 2021-04-14 19:02:17 +0200 | <romesrf> | yes |
| 2021-04-14 19:02:44 +0200 | <monochrom> | Err I need the grammar to allow "then;" too, no space between them, but still two tokens as said. |
| 2021-04-14 19:03:00 +0200 | rj | (~x@gateway/tor-sasl/rj) |
| 2021-04-14 19:03:15 +0200 | <monochrom> | reservedOp "then" >> reservedOp ";" will fail to do that. |
| 2021-04-14 19:03:51 +0200 | <romesrf> | understood! but reserved "then" >> reservedOp ";" would work, right? |
| 2021-04-14 19:04:07 +0200 | <monochrom> | This is because reservedOp "then" goes: string "then" >> notFollowedBy opLetter. (And supposed ';' satisfies opLetter) |
| 2021-04-14 19:04:12 +0200 | <monochrom> | Yes. |
| 2021-04-14 19:05:16 +0200 | <monochrom> | So the dichotomy is not "not infix vs infix", it is "alphanum vs symbols" |
| 2021-04-14 19:05:30 +0200 | <monochrom> | I am OK with "alphanum vs line noise" too. >:) |
| 2021-04-14 19:06:12 +0200 | <romesrf> | pretty cool, thank you |
| 2021-04-14 19:06:24 +0200 | <geekosaur> | unless writing an APL parser :p |
| 2021-04-14 19:06:40 +0200 | <geekosaur> | or J |
| 2021-04-14 19:07:13 +0200 | Guest_54 | (c4bf35f2@196.191.53.242) |
| 2021-04-14 19:07:31 +0200 | <monochrom> | There is also K. |
| 2021-04-14 19:07:41 +0200 | <monochrom> | Or is there? I forgot. |
| 2021-04-14 19:07:47 +0200 | aweinstock | (~aweinstoc@cpe-67-248-65-250.nycap.res.rr.com) (Ping timeout: 250 seconds) |
| 2021-04-14 19:07:51 +0200 | <geekosaur> | there is |
| 2021-04-14 19:07:54 +0200 | zyeri- | (zyeri@gateway/shell/tilde.team/x-kkkevpuavtvflcri) |
| 2021-04-14 19:07:56 +0200 | <geekosaur> | but nobody talks about it |
| 2021-04-14 19:07:59 +0200 | <monochrom> | But I really love to say "C/C++ and J/Java/Javascript" >:) |
| 2021-04-14 19:08:07 +0200 | duckonomy_ | (~duckonomy@177.ip-144-217-84.net) |
| 2021-04-14 19:08:13 +0200 | zyeri | (zyeri@tilde.team/users/zyeri) (Ping timeout: 250 seconds) |
| 2021-04-14 19:08:13 +0200 | duckonomy | (~duckonomy@177.ip-144-217-84.net) (Ping timeout: 250 seconds) |
| 2021-04-14 19:08:13 +0200 | enikar | . o O ( too weird languages ) |
| 2021-04-14 19:08:56 +0200 | Major_Biscuit | (~Major_Bis@82-169-100-198.biz.kpn.net) (Quit: WeeChat 3.0.1) |
| 2021-04-14 19:08:57 +0200 | aweinstock | (~aweinstoc@cpe-67-248-65-250.nycap.res.rr.com) |
| 2021-04-14 19:09:19 +0200 | zaquest | (~notzaques@5.128.210.178) |
| 2021-04-14 19:09:35 +0200 | <ski> | @where C/C++ |
| 2021-04-14 19:09:36 +0200 | <lambdabot> | "C/C++ : A new language for the new Millennium" by Richard Heathfield in 2005-02 at <http://web.archive.org/web/20090421080714/http://www.cpax.org.uk/prg/portable/c/c++/rfe00000.html> |
| 2021-04-14 19:09:37 +0200 | <geekosaur> | and J is made worse by Microsoft attempting a J# at one point to embrace-and-extend Java (iirc) |
| 2021-04-14 19:10:21 +0200 | <monochrom> | Wait, how does that make J worse, not make Java worse? |
| 2021-04-14 19:10:46 +0200 | <koala_man> | haha |
| 2021-04-14 19:11:37 +0200 | <monochrom> | Sorry but I'm like "I hit your head and the pain goes to your classmate" or something. |
| 2021-04-14 19:11:38 +0200 | <geekosaur> | C, C++, and C# are at least somewhat (granted, not very) related, J and J# have nothing to do with each other |
| 2021-04-14 19:11:45 +0200 | haskellstudent | (~quassel@213-225-6-101.nat.highway.a1.net) (Ping timeout: 260 seconds) |
| 2021-04-14 19:11:53 +0200 | <monochrom> | Ah |
| 2021-04-14 19:12:08 +0200 | <geekosaur> | at least with F# there's no F that I'm aware of to cause any confusion there |
| 2021-04-14 19:12:32 +0200 | ski | . o O ( "Challenge accepted" ? ) |
| 2021-04-14 19:12:51 +0200 | <geekosaur> | probably |
| 2021-04-14 19:12:57 +0200 | <monochrom> | They should have named it H#. Bad press for us is better than no press. Well, at least was, back then. |
| 2021-04-14 19:12:57 +0200 | kritzefitz | (~kritzefit@212.86.56.80) |
| 2021-04-14 19:15:52 +0200 | <koala_man> | looks like F was a Fortran inspired language from 1996/1997 |
| 2021-04-14 19:16:45 +0200 | haskellstudent | (~quassel@213-225-6-101.nat.highway.a1.net) |
| 2021-04-14 19:16:55 +0200 | <dolio> | It's more like ML. |
| 2021-04-14 19:17:01 +0200 | <dolio> | ML# |
| 2021-04-14 19:17:19 +0200 | <dolio> | I guess it has objects, too, so O#. |
| 2021-04-14 19:17:27 +0200 | idhugo_ | (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 2021-04-14 19:18:15 +0200 | <enikar> | in fact F# is a kind of ocaml# |
| 2021-04-14 19:18:20 +0200 | <monochrom> | Anyone want to name your language E# to be retrospectively hurt by F#? >:) |
| 2021-04-14 19:18:45 +0200 | <monochrom> | Or B# too >:) |
| 2021-04-14 19:24:46 +0200 | ram19890 | (~ram@49.207.130.109) (Ping timeout: 252 seconds) |
| 2021-04-14 19:25:18 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-14 19:25:46 +0200 | ski | . o O ( Fortress ) |
| 2021-04-14 19:26:01 +0200 | ukari | (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 2021-04-14 19:26:10 +0200 | ski | . o O ( <https://en.wikipedia.org/wiki/E_(programming_language)>,<https://en.wikipedia.org/wiki/Amiga_E> ) |
| 2021-04-14 19:26:31 +0200 | <ski> | yea, F# is an ML (unfortunately lacking the module system) |
| 2021-04-14 19:26:37 +0200 | bgamari_ | bgamari |
| 2021-04-14 19:26:45 +0200 | ukari | (~ukari@unaffiliated/ukari) |
| 2021-04-14 19:28:11 +0200 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) |
| 2021-04-14 19:30:41 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-04-14 19:31:44 +0200 | <romesrf> | w |
| 2021-04-14 19:32:02 +0200 | <romesrf> | E# == F in music theory xd |
| 2021-04-14 19:32:08 +0200 | <dolio> | Yeah. Maybe something with a minus would be a better name. |
| 2021-04-14 19:33:13 +0200 | <romesrf> | careful dolio you wouldn't want your language to be confused with a run -option |
| 2021-04-14 19:33:23 +0200 | <romesrf> | >:) |
| 2021-04-14 19:33:26 +0200 | <monochrom> | E# == F was my joke. |
| 2021-04-14 19:33:42 +0200 | v01d4lph4 | (~v01d4lph4@122.160.65.250) |
| 2021-04-14 19:33:43 +0200 | <romesrf> | oh so that wasn't a coincidence :) |
| 2021-04-14 19:33:52 +0200 | <geekosaur> | romesrf, not in a natural scale:p (as opposed to tempered chromatic) |
| 2021-04-14 19:33:57 +0200 | <dolio> | No, the minus goes afterwards, since it's all based on C for some reason. |
| 2021-04-14 19:34:32 +0200 | <geekosaur> | c has prefix incr/decr |
| 2021-04-14 19:34:40 +0200 | <justsomeguy> | How does ''(fmap . fmap) sum Just [1,2,3]'' evaluate? |
| 2021-04-14 19:34:55 +0200 | <dolio> | Yeah, I know. But people name the languages with the postfix one. |
| 2021-04-14 19:35:03 +0200 | <monochrom> | = fmap (fmap sum) Just [1,2,3] |
| 2021-04-14 19:35:05 +0200 | <romesrf> | geekosaur: this sounds cool, i'll look into it |
| 2021-04-14 19:35:27 +0200 | <monochrom> | @type (fmap . fmap) sum Just [1,2,3] |
| 2021-04-14 19:35:29 +0200 | <lambdabot> | Num a => Maybe a |
| 2021-04-14 19:35:49 +0200 | <monochrom> | ooohhhh the leading fmap is (->)e's |
| 2021-04-14 19:35:53 +0200 | <ski> | `Functor (rho ->)' |
| 2021-04-14 19:36:25 +0200 | <ski> | `fmap (fmap sum) Just [1,2,3]' is `(fmap sum . Just) [1,2,3]' |
| 2021-04-14 19:36:26 +0200 | <romesrf> | dolio: not if i can help it |
| 2021-04-14 19:36:29 +0200 | <romesrf> | ahahaha |
| 2021-04-14 19:36:32 +0200 | <monochrom> | = (fmap sum . Just) [1,2,3] |
| 2021-04-14 19:36:45 +0200 | <monochrom> | = fmap sum (Just [1,2,3]) |
| 2021-04-14 19:36:50 +0200 | <romesrf> | --c, like c but worse |
| 2021-04-14 19:36:58 +0200 | <monochrom> | = Just (sum [1,2,3]) |
| 2021-04-14 19:37:13 +0200 | ski | . o O ( <https://en.wikipedia.org/wiki/C--> ) |
| 2021-04-14 19:37:24 +0200 | geekosaur | wonders where B sits in that space… |
| 2021-04-14 19:37:39 +0200 | <ski> | (.. and BCPL ?) |
| 2021-04-14 19:37:40 +0200 | <monochrom> | C flat :) |
| 2021-04-14 19:37:48 +0200 | taleb_sabina | (~taleb_sab@2601:285:100:6430::1) (Ping timeout: 258 seconds) |
| 2021-04-14 19:37:58 +0200 | <geekosaur> | (so does everyone else, I think; B kinda went missing at some point iirc) |
| 2021-04-14 19:38:19 +0200 | <romesrf> | sksks that would be a nice name for a language too. you could even use russian ь for it |
| 2021-04-14 19:38:26 +0200 | romesrf | is now working on Cь |
| 2021-04-14 19:38:29 +0200 | ski | looks at justsomeguy |
| 2021-04-14 19:38:42 +0200 | sayola | (~vekto@dslb-002-201-085-157.002.201.pools.vodafone-ip.de) (Read error: Connection reset by peer) |
| 2021-04-14 19:38:49 +0200 | <ski> | romesrf : C-- is a language |
| 2021-04-14 19:39:14 +0200 | <romesrf> | ski: but mine would decrement first |
| 2021-04-14 19:39:26 +0200 | justsomeguy | locks eyes with ski |
| 2021-04-14 19:39:29 +0200 | <romesrf> | jk, im reading the c-- wiki now |
| 2021-04-14 19:39:37 +0200 | ski | averts eyes |
| 2021-04-14 19:40:30 +0200 | <romesrf> | > The name of the language is an in-joke, indicating that C-- is a reduced form of C, in the same way that C++ is basically an expanded form of C. (In C-like languages, "--" and "++" are operators meaning "decrement" and "increment".) |
| 2021-04-14 19:40:32 +0200 | <lambdabot> | <hint>:1:10: error: <hint>:1:10: error: parse error on input ‘of’ |
| 2021-04-14 19:41:02 +0200 | <geekosaur> | and its relevance is ghc uses a dialect of c-- (cmm) internally |
| 2021-04-14 19:41:07 +0200 | ski | . o O ( <http://www.heroesofmightandmagic.com/heroes3/cheatcodes.shtml>,<https://azethmeron.github.io> ) |
| 2021-04-14 19:41:11 +0200 | <romesrf> | really? wow |
| 2021-04-14 19:41:43 +0200 | <monochrom> | You can call your language --C and your compiler command line options require postfix --. "--cc O2-- Wall--" |
| 2021-04-14 19:41:50 +0200 | <romesrf> | LOL |
| 2021-04-14 19:42:02 +0200 | ski | grins |
| 2021-04-14 19:42:13 +0200 | nut | (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 2021-04-14 19:42:45 +0200 | rj | (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 2021-04-14 19:43:27 +0200 | dmytrish | (~mitra@2a02:8084:a82:d900:f811:9873:2623:c28b) (Ping timeout: 260 seconds) |
| 2021-04-14 19:43:38 +0200 | haskellstudent | (~quassel@213-225-6-101.nat.highway.a1.net) (Ping timeout: 240 seconds) |
| 2021-04-14 19:45:48 +0200 | rj | (~x@gateway/tor-sasl/rj) |
| 2021-04-14 19:48:05 +0200 | vicfred | (~vicfred@unaffiliated/vicfred) |
| 2021-04-14 19:48:06 +0200 | justsomeguy | (~justsomeg@unaffiliated/--/x-3805311) (Ping timeout: 240 seconds) |
| 2021-04-14 19:50:32 +0200 | <monochrom> | I am noticing that the heroes3 cheatcodes have the "nwc" prefix. "Is this Hungarian notaiton?" meme. |
| 2021-04-14 19:51:41 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2021-04-14 19:51:50 +0200 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2021-04-14 19:55:37 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2021-04-14 19:55:44 +0200 | fendor_ | fendor |
| 2021-04-14 19:56:08 +0200 | jakalx | (~jakalx@base.jakalx.net) ("Error from remote client") |
| 2021-04-14 19:58:27 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-14 19:59:22 +0200 | eruditass | (uid248673@gateway/web/irccloud.com/x-rmgyvfwfwnnqqsta) |
| 2021-04-14 20:00:55 +0200 | <ski> | iirc, stands for <https://en.wikipedia.org/wiki/New_World_Computing> |
| 2021-04-14 20:00:56 +0200 | xourt | (d4c620ea@212-198-32-234.rev.numericable.fr) |
| 2021-04-14 20:02:46 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2021-04-14 20:04:02 +0200 | <ski> | ERM is pretty insane, though. Slava Salnikov reverse-engineering the engine in the game executable, and invents/adds a scripting language to it, that is basically a form of custom assembler (not that much related to ones for actual processors) |
| 2021-04-14 20:04:28 +0200 | <ski> | <someone> sometimes I meet a great young dude who did something amazing dev-related. Like made a bunch of great complex mods for Heroes 3 using pseudo language called ERM. And then I learn that the dude works as a delivery man and has no formal technical education |
| 2021-04-14 20:05:23 +0200 | <ski> | (.. at one point, i was pondering making a compiler targeting it, from a logic proramming language) |
| 2021-04-14 20:05:49 +0200 | xourt | (d4c620ea@212-198-32-234.rev.numericable.fr) (Client Quit) |
| 2021-04-14 20:07:28 +0200 | fryguybob | (~fryguybob@cpe-74-65-31-113.rochester.res.rr.com) (Remote host closed the connection) |
| 2021-04-14 20:09:50 +0200 | ski | . o O ( "Finally, after many years, I got my hands on the binary executable for the game. I wrote a disassembler to turn it into human-readable op-codes and proceeded to translate it to C++ using the Microsoft Version 6.0 C++ compiler. Eight hours a day for six months. About 120,000 lines of pseudo-assembly language. Crazy thing to do. But it works." <http://dmweb.free.fr/?q=node/851> ) |
| 2021-04-14 20:10:18 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-14 20:10:59 +0200 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2021-04-14 20:12:09 +0200 | aerona | (~aerona@2600:6c54:4600:f300:e708:b239:a59c:f83b) |
| 2021-04-14 20:13:01 +0200 | howdoi | (uid224@gateway/web/irccloud.com/x-bkftvygbpflsjbzd) |
| 2021-04-14 20:14:02 +0200 | fryguybob | (~fryguybob@cpe-74-65-31-113.rochester.res.rr.com) |
| 2021-04-14 20:15:24 +0200 | haskellstudent | (~quassel@213-225-6-101.nat.highway.a1.net) |
| 2021-04-14 20:15:31 +0200 | Mrbuck | (~Mrbuck@gateway/tor-sasl/mrbuck) (Remote host closed the connection) |
| 2021-04-14 20:15:50 +0200 | dyeplexer | (~lol@unaffiliated/terpin) (Read error: Connection reset by peer) |
| 2021-04-14 20:16:26 +0200 | <sm[m]> | my god |
| 2021-04-14 20:18:03 +0200 | bitmagie | (~Thunderbi@200116b80699c3008ca7c3c25530fee3.dip.versatel-1u1.de) |
| 2021-04-14 20:19:53 +0200 | Jd007 | (~Jd007@162.156.11.151) |
| 2021-04-14 20:19:53 +0200 | bitmagie | (~Thunderbi@200116b80699c3008ca7c3c25530fee3.dip.versatel-1u1.de) (Client Quit) |
| 2021-04-14 20:20:56 +0200 | <BosonCollider> | I just realized something really cool when looking at Julia land |
| 2021-04-14 20:21:22 +0200 | <BosonCollider> | They have a pattern called holy traits which can be automated with a package called SimpleTraits.jl |
| 2021-04-14 20:21:28 +0200 | <BosonCollider> | and it's basically relational typeclasses |
| 2021-04-14 20:22:16 +0200 | <geekosaur> | what's "holy" about them? |
| 2021-04-14 20:22:17 +0200 | <BosonCollider> | i.e. instead of having a Prolog like typechecker which can reason about implications recursively, it doesn't have recursive implications but it does support negation |
| 2021-04-14 20:22:28 +0200 | <BosonCollider> | the guys last name was holy |
| 2021-04-14 20:22:37 +0200 | <geekosaur> | .oO { Haskell typeclasses can be pretty unholy… } |
| 2021-04-14 20:22:38 +0200 | <BosonCollider> | i.e. they are named after Tim Holy |
| 2021-04-14 20:22:46 +0200 | <geekosaur> | ah |
| 2021-04-14 20:23:08 +0200 | ski | . o O ( "Interface-passing style" by Fare (aka François-René Rideau) in 2010-02-17 at <https://fare.livejournal.com/155094.html> ) |
| 2021-04-14 20:23:37 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
| 2021-04-14 20:24:04 +0200 | zyeri- | zyeri |
| 2021-04-14 20:24:04 +0200 | zyeri | (zyeri@gateway/shell/tilde.team/x-kkkevpuavtvflcri) (Changing host) |
| 2021-04-14 20:24:04 +0200 | zyeri | (zyeri@tilde.team/users/zyeri) |
| 2021-04-14 20:24:06 +0200 | <BosonCollider> | but the cool thing is that this means they can regularly define functions that are piecewise defined for any input that satisfies the trait |
| 2021-04-14 20:24:22 +0200 | <BosonCollider> | and a separate generic impl for inputs that satisfy the negation of the trait |
| 2021-04-14 20:25:01 +0200 | <BosonCollider> | or more commonly, negation of the trait plus some other condition |
| 2021-04-14 20:25:11 +0200 | <ski> | hm. wonder whether that's related to "default reasoning" |
| 2021-04-14 20:25:33 +0200 | rj | (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 2021-04-14 20:25:56 +0200 | epicte7us | (~epictetus@ip72-194-54-201.sb.sd.cox.net) |
| 2021-04-14 20:26:36 +0200 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 260 seconds) |
| 2021-04-14 20:29:07 +0200 | ep1ctetus | (~epictetus@ip72-194-54-201.sb.sd.cox.net) (Ping timeout: 252 seconds) |
| 2021-04-14 20:29:46 +0200 | rj | (~x@gateway/tor-sasl/rj) |
| 2021-04-14 20:29:59 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-14 20:31:32 +0200 | <BosonCollider> | the way they implement it is entirely with multimethods though, where a @traitfn will delegate to a separate call with an extra argument that is computed from the types of the inputs |
| 2021-04-14 20:33:00 +0200 | <BosonCollider> | where it works since all Julia types are first class objects and they all have their unique types so you can write multimethods that dispatch on the types of the types |
| 2021-04-14 20:33:18 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 2021-04-14 20:34:11 +0200 | ukari | (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 2021-04-14 20:34:37 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
| 2021-04-14 20:35:00 +0200 | ukari | (~ukari@unaffiliated/ukari) |
| 2021-04-14 20:37:15 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-04-14 20:38:32 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-04-14 20:39:06 +0200 | kiweun | (~kiweun@2607:fea8:2a62:9600:2944:1f26:35fb:c3b9) |
| 2021-04-14 20:40:25 +0200 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2021-04-14 20:41:54 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2021-04-14 20:42:11 +0200 | darjeeling_ | (~darjeelin@122.245.120.156) (Ping timeout: 240 seconds) |
| 2021-04-14 20:42:29 +0200 | remby | (~remby@bras-base-london1483w-grc-43-65-95-173-128.dsl.bell.ca) |
| 2021-04-14 20:42:35 +0200 | <Guest_54> | Hello, I'm looking for guidance installing Haskell the first time on a fresh Ubuntu virtual machine. It failed when installing GHC |
| 2021-04-14 20:43:19 +0200 | <remby> | might be better to ask in a distro channel |
| 2021-04-14 20:43:22 +0200 | <Clint> | apt install ghc ? |
| 2021-04-14 20:43:44 +0200 | kiweun | (~kiweun@2607:fea8:2a62:9600:2944:1f26:35fb:c3b9) (Ping timeout: 258 seconds) |
| 2021-04-14 20:43:53 +0200 | <remby> | but there's some details for ubuntu here https://www.haskell.org/downloads/linux/ |
| 2021-04-14 20:43:57 +0200 | <Guest_54> | I ran the following line from the Haskell.org/ghcup page: curl --proto '=https' --tlsv1.2 -sSf https://get-ghcup.haskell.org | sh |
| 2021-04-14 20:44:13 +0200 | <remby> | they offer a ppa |
| 2021-04-14 20:44:27 +0200 | <Guest_54> | Remby - thanks, what's a ppa? |
| 2021-04-14 20:44:45 +0200 | <remby> | personal package archive |
| 2021-04-14 20:44:53 +0200 | jamm_ | (~jamm@unaffiliated/jamm) (Ping timeout: 258 seconds) |
| 2021-04-14 20:44:59 +0200 | nineonin_ | (~nineonine@2604:3d08:7785:9600:d9d9:f067:f388:4d71) |
| 2021-04-14 20:45:26 +0200 | <remby> | a package repo hosted by an ubuntu user that others can use |
| 2021-04-14 20:45:41 +0200 | <Guest_54> | ok, interesting. I"m going to try it now. Thanks again! |
| 2021-04-14 20:46:13 +0200 | hypercube | (hypercube@gateway/vpn/protonvpn/hypercube) |
| 2021-04-14 20:46:15 +0200 | <Clint> | assuming you for some reason need a newer ghc than is in universe |
| 2021-04-14 20:46:16 +0200 | <remby> | well, maybe not hosted by them but it's basically a community maintained package |
| 2021-04-14 20:46:29 +0200 | <remby> | sure, np |
| 2021-04-14 20:47:02 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Quit: Lost terminal) |
| 2021-04-14 20:47:17 +0200 | freeman42x | (~40726@2a02:2f0c:5a03:4a00:25d9:dfce:25a7:bd32) (Quit: Leaving.) |
| 2021-04-14 20:47:46 +0200 | nineonine | (~nineonine@50.216.62.2) (Ping timeout: 240 seconds) |
| 2021-04-14 20:49:53 +0200 | <Guest_54> | Anyone else here doing the Plutus Pioneer course? I'm in that, and a little behind - just getting the environment set up now |
| 2021-04-14 20:50:27 +0200 | nineonine | (~nineonine@50.216.62.2) |
| 2021-04-14 20:51:24 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 265 seconds) |
| 2021-04-14 20:52:33 +0200 | nineonin_ | (~nineonine@2604:3d08:7785:9600:d9d9:f067:f388:4d71) (Ping timeout: 258 seconds) |
| 2021-04-14 20:54:29 +0200 | hypercube | (hypercube@gateway/vpn/protonvpn/hypercube) (Ping timeout: 246 seconds) |
| 2021-04-14 20:54:58 +0200 | darjeeling_ | (~darjeelin@115.215.40.116) |
| 2021-04-14 20:58:57 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-14 20:59:04 +0200 | <__minoru__shirae> | Plutus Pioneer course? |
| 2021-04-14 21:00:06 +0200 | romesrf | (~romesrf@44.190.189.46.rev.vodafone.pt) ("WeeChat 3.1") |
| 2021-04-14 21:00:36 +0200 | xff0x | (~xff0x@2001:1a81:53de:e800:d3b4:413a:5958:6939) (Ping timeout: 258 seconds) |
| 2021-04-14 21:00:45 +0200 | hololeap | (~hololeap@gateway/tor-sasl/hololeap) (Ping timeout: 240 seconds) |
| 2021-04-14 21:00:56 +0200 | xff0x | (xff0x@gateway/vpn/mullvad/xff0x) |
| 2021-04-14 21:01:10 +0200 | <sm[m]> | https://www.reddit.com/r/haskell/comments/mq0u4p/first_and_second_plutus_lecture_by_lars_br%C3%BCn… |
| 2021-04-14 21:01:24 +0200 | Pickchea | (~private@unaffiliated/pickchea) |
| 2021-04-14 21:02:03 +0200 | jakalx | (~jakalx@base.jakalx.net) ("Error from remote client") |
| 2021-04-14 21:03:46 +0200 | Ariakenom | (~Ariakenom@2001:9b1:efb:fc00:359b:61af:8081:5a93) |
| 2021-04-14 21:05:45 +0200 | Ariakenom | (~Ariakenom@2001:9b1:efb:fc00:359b:61af:8081:5a93) (Read error: Connection reset by peer) |
| 2021-04-14 21:05:47 +0200 | hypercube | (hypercube@gateway/vpn/protonvpn/hypercube) |
| 2021-04-14 21:10:21 +0200 | rj | (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 2021-04-14 21:11:03 +0200 | kuribas | (~user@ptr-25vy0i7m3jb61f685yu.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3)) |
| 2021-04-14 21:12:52 +0200 | __minoru__shirae | (~shiraeesh@46.34.206.85) (Ping timeout: 240 seconds) |
| 2021-04-14 21:13:12 +0200 | __minoru__shirae | (~shiraeesh@109.166.59.77) |
| 2021-04-14 21:13:36 +0200 | rj | (~x@gateway/tor-sasl/rj) |
| 2021-04-14 21:13:38 +0200 | syntactic_sugar | (~syntactic@66.115.157.118) |
| 2021-04-14 21:13:54 +0200 | syntactic_sugar | (~syntactic@66.115.157.118) (Client Quit) |
| 2021-04-14 21:16:45 +0200 | <__minoru__shirae> | sm[m]: thanks for the link. so it's about smart contracts, huh |
| 2021-04-14 21:17:18 +0200 | xff0x | (xff0x@gateway/vpn/mullvad/xff0x) (Ping timeout: 252 seconds) |
| 2021-04-14 21:19:22 +0200 | xff0x | (~xff0x@2001:1a81:53de:e800:d3b4:413a:5958:6939) |
| 2021-04-14 21:19:59 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2021-04-14 21:23:28 +0200 | <sm[m]> | yup |
| 2021-04-14 21:26:04 +0200 | maroloccio | (~marolocci@pousada3ja.mma.com.br) |
| 2021-04-14 21:26:13 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-14 21:27:09 +0200 | hendursaga | (~weechat@gateway/tor-sasl/hendursaga) (Ping timeout: 240 seconds) |
| 2021-04-14 21:27:18 +0200 | idhugo_ | (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 240 seconds) |
| 2021-04-14 21:27:26 +0200 | Guest_54 | (c4bf35f2@196.191.53.242) (Quit: Connection closed) |
| 2021-04-14 21:27:51 +0200 | v01d4lph4 | (~v01d4lph4@122.160.65.250) (Remote host closed the connection) |
| 2021-04-14 21:29:17 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-14 21:31:36 +0200 | ddellacosta_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2021-04-14 21:32:03 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Read error: Connection reset by peer) |
| 2021-04-14 21:32:18 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-04-14 21:32:37 +0200 | quinn | (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) (Quit: ZNC 1.8.1 - https://znc.in) |
| 2021-04-14 21:34:14 +0200 | unyu | (~pyon@unaffiliated/pyon) (Quit: ERC (IRC client for Emacs 27.2)) |
| 2021-04-14 21:34:25 +0200 | contrebande-labs | (~contreban@gateway/tor-sasl/contrebande-labs) (Quit: contrebande-labs) |
| 2021-04-14 21:34:33 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2021-04-14 21:35:05 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-14 21:37:36 +0200 | quinn | (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) |
| 2021-04-14 21:40:33 +0200 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Quit: Goodbye) |
| 2021-04-14 21:42:08 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 2021-04-14 21:42:32 +0200 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2021-04-14 21:43:21 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-04-14 21:44:52 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 268 seconds) |
| 2021-04-14 21:46:41 +0200 | hypercube | (hypercube@gateway/vpn/protonvpn/hypercube) (Quit: WeeChat 3.1) |
| 2021-04-14 21:48:33 +0200 | gentauro | (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer) |
| 2021-04-14 21:49:03 +0200 | gentauro | (~gentauro@unaffiliated/gentauro) |
| 2021-04-14 21:49:09 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-14 21:49:44 +0200 | Tops2 | (~Tobias@dyndsl-095-033-095-094.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 2021-04-14 21:49:51 +0200 | tms_ | (thomaav@cassarossa.samfundet.no) (Ping timeout: 250 seconds) |
| 2021-04-14 21:50:34 +0200 | teddyc | (theodorc@cassarossa.samfundet.no) (Ping timeout: 276 seconds) |
| 2021-04-14 21:52:43 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 2021-04-14 21:52:46 +0200 | Lord_of_Life_ | (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 2021-04-14 21:53:02 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-04-14 21:54:10 +0200 | Guest_98 | (6c1020d6@pool-108-16-32-214.phlapa.fios.verizon.net) |
| 2021-04-14 21:54:21 +0200 | rj | (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 2021-04-14 21:55:04 +0200 | Lord_of_Life | (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 252 seconds) |
| 2021-04-14 21:55:05 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2021-04-14 21:55:20 +0200 | <Guest_98> | Trying to install Haskell on a new Mac and receive the following errors. Any help appreciated. "[ Info ] Installing GHC (this may take a while) |
| 2021-04-14 21:55:21 +0200 | <Guest_98> | [ ghc-configure ] not found (too old?) |
| 2021-04-14 21:55:21 +0200 | <Guest_98> | [ ghc-configure ] checking for gcc... gcc |
| 2021-04-14 21:55:22 +0200 | <Guest_98> | [ ghc-configure ] checking whether the C compiler works... no |
| 2021-04-14 21:55:22 +0200 | <Guest_98> | [ ghc-configure ] configure: error: in `/private/var/folders/pt/gn2hzg255v1103g4rkz59w3r0000gn/T... |
| 2021-04-14 21:55:23 +0200 | <Guest_98> | [ ghc-configure ] configure: error: C compiler cannot create executables |
| 2021-04-14 21:55:23 +0200 | <Guest_98> | [ ghc-configure ] See `config.log' for more details |
| 2021-04-14 21:57:44 +0200 | <geekosaur> | xcode-select --install (I think) |
| 2021-04-14 21:58:21 +0200 | snowflake | (~snowflake@gateway/tor-sasl/snowflake) (Ping timeout: 240 seconds) |
| 2021-04-14 21:58:32 +0200 | <int-e> | geekosaur: if that's the solution I'll be impressed |
| 2021-04-14 21:58:36 +0200 | rj | (~x@gateway/tor-sasl/rj) |
| 2021-04-14 21:58:45 +0200 | <geekosaur> | probably |
| 2021-04-14 21:59:06 +0200 | <int-e> | I was going to suggest a pastebin https://paste.tomsmeding.com/ because as far as I can tell the actual error is further up. |
| 2021-04-14 21:59:14 +0200 | <geekosaur> | I lost track of how apple lobotomizes things |
| 2021-04-14 21:59:34 +0200 | kritzefitz | (~kritzefit@212.86.56.80) (Remote host closed the connection) |
| 2021-04-14 22:00:12 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-04-14 22:00:20 +0200 | olligobber | (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 2021-04-14 22:01:00 +0200 | kiweun | (~kiweun@2607:fea8:2a62:9600:2d99:cd1a:54c5:e472) |
| 2021-04-14 22:03:36 +0200 | chenshen | (~chenshen@2620:10d:c090:400::5:b29e) |
| 2021-04-14 22:05:22 +0200 | petersen | (~petersen@redhat/juhp) (Ping timeout: 252 seconds) |
| 2021-04-14 22:06:25 +0200 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2021-04-14 22:06:58 +0200 | dariof4 | (~dario@5.11.121.66) |
| 2021-04-14 22:08:06 +0200 | ukari | (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 2021-04-14 22:08:17 +0200 | pavonia | (~user@unaffiliated/siracusa) |
| 2021-04-14 22:08:39 +0200 | petersen | (~petersen@redhat/juhp) |
| 2021-04-14 22:08:54 +0200 | coot | (~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2021-04-14 22:08:55 +0200 | ukari | (~ukari@unaffiliated/ukari) |
| 2021-04-14 22:08:55 +0200 | dmytrish | (~mitra@2a02:8084:a82:d900:f811:9873:2623:c28b) |
| 2021-04-14 22:09:13 +0200 | coot | (~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl) |
| 2021-04-14 22:09:17 +0200 | Franciman | (~francesco@host-87-20-23-243.retail.telecomitalia.it) |
| 2021-04-14 22:09:19 +0200 | aoeu256 | (~quassel@134.204.25.66) |
| 2021-04-14 22:09:33 +0200 | Franciman | (~francesco@host-87-20-23-243.retail.telecomitalia.it) ("Leaving") |
| 2021-04-14 22:10:05 +0200 | ClaudiusMaximus | (~claude@unaffiliated/claudiusmaximus) (Quit: ->) |
| 2021-04-14 22:10:21 +0200 | rodriga | (~quassel@134.204.25.66) (Read error: Connection reset by peer) |
| 2021-04-14 22:12:13 +0200 | remby | (~remby@bras-base-london1483w-grc-43-65-95-173-128.dsl.bell.ca) (Remote host closed the connection) |
| 2021-04-14 22:12:38 +0200 | remby | (~remby@bras-base-london1483w-grc-43-65-95-173-128.dsl.bell.ca) |
| 2021-04-14 22:13:43 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 2021-04-14 22:13:53 +0200 | Gurkenglas | (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 240 seconds) |
| 2021-04-14 22:17:53 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-04-14 22:22:19 +0200 | hypercube | (hypercube@gateway/vpn/protonvpn/hypercube) |
| 2021-04-14 22:22:54 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 2021-04-14 22:23:17 +0200 | justan0theruser | (~justanoth@unaffiliated/justanotheruser) |
| 2021-04-14 22:25:51 +0200 | justanotheruser | (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 260 seconds) |
| 2021-04-14 22:25:55 +0200 | danvet | (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 248 seconds) |
| 2021-04-14 22:27:37 +0200 | Lycurgus | (~niemand@98.4.118.65) |
| 2021-04-14 22:29:39 +0200 | raichoo | (~raichoo@dslb-088-077-024-130.088.077.pools.vodafone-ip.de) (Quit: Lost terminal) |
| 2021-04-14 22:32:49 +0200 | <Guest_98> | didn't work, but thanks for responding. that was the whole error |
| 2021-04-14 22:37:09 +0200 | rj | (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 2021-04-14 22:37:17 +0200 | <maerwald> | you need a working gcc |
| 2021-04-14 22:37:59 +0200 | dmytrish | (~mitra@2a02:8084:a82:d900:f811:9873:2623:c28b) (Ping timeout: 260 seconds) |
| 2021-04-14 22:38:03 +0200 | chenshen | (~chenshen@2620:10d:c090:400::5:b29e) (Quit: My MacBook Pro has gone to sleep. ZZZzzz…) |
| 2021-04-14 22:39:41 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2021-04-14 22:40:09 +0200 | aoeu256 | (~quassel@134.204.25.66) (Ping timeout: 265 seconds) |
| 2021-04-14 22:40:22 +0200 | rj | (~x@gateway/tor-sasl/rj) |
| 2021-04-14 22:41:58 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-04-14 22:43:59 +0200 | Guest_98 | (6c1020d6@pool-108-16-32-214.phlapa.fios.verizon.net) (Quit: Ping timeout (120 seconds)) |
| 2021-04-14 22:44:56 +0200 | lampowner | (~xblow@broadband-90-154-72-32.ip.moscow.rt.ru) (Remote host closed the connection) |
| 2021-04-14 22:49:27 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:447b:5128:d97:8340) |
| 2021-04-14 22:49:54 +0200 | <nicholasbulka> | hello |
| 2021-04-14 22:50:13 +0200 | <koz_> | nicholasbulka: Sup? |
| 2021-04-14 22:50:46 +0200 | <nicholasbulka> | first time here, started playing with Haskell in code wars |
| 2021-04-14 22:51:37 +0200 | <nicholasbulka> | trying to learn it in parallel with category theory, at least to be able to talk about it |
| 2021-04-14 22:51:51 +0200 | fiedlr | (~fiedlr@83.148.33.254) (Remote host closed the connection) |
| 2021-04-14 22:51:59 +0200 | <nicholasbulka> | whats up with you? |
| 2021-04-14 22:52:10 +0200 | fiedlr | (~fiedlr@83.148.33.254) |
| 2021-04-14 22:52:33 +0200 | <koz_> | Not much. |
| 2021-04-14 22:52:57 +0200 | blankhart | (~blankhart@pool-72-88-174-206.nwrknj.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2021-04-14 22:54:46 +0200 | <sm[m]> | nicholasbulka: cool. Code wars ? Is that like clash of code ? |
| 2021-04-14 22:54:56 +0200 | blankhart | (~blankhart@pool-72-88-174-206.nwrknj.fios.verizon.net) |
| 2021-04-14 22:55:46 +0200 | <nicholasbulka> | its like hacker rank and probably clash of code, I've never tried CoC |
| 2021-04-14 22:56:29 +0200 | <nicholasbulka> | coding challenges |
| 2021-04-14 22:56:36 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:b54d:c232:d06e:243a) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-14 22:57:37 +0200 | srk | (~sorki@unaffiliated/srk) (Ping timeout: 252 seconds) |
| 2021-04-14 22:59:02 +0200 | <ski> | nicholasbulka : you're interested in math, then ? |
| 2021-04-14 22:59:23 +0200 | <nicholasbulka> | tangentially, through philosophy |
| 2021-04-14 22:59:34 +0200 | ski | nods |
| 2021-04-14 22:59:58 +0200 | <ski> | do you have any suitable book or so to follow ? |
| 2021-04-14 23:00:34 +0200 | <nicholasbulka> | a lot of youtube videos, Emily Riehl's stuff and Bartosz |
| 2021-04-14 23:01:11 +0200 | <nicholasbulka> | I'm trying to take it slow, and rewatch the same video on the Yoneda lemma like 5 times |
| 2021-04-14 23:01:23 +0200 | rprije | (~rprije@59-102-63-15.tpgi.com.au) |
| 2021-04-14 23:01:24 +0200 | <ski> | there were a couple of suggestions mentioned in ##math, the other day (also ##categorytheory was mentioned). if you want to, i could repeat them |
| 2021-04-14 23:01:38 +0200 | <nicholasbulka> | go for it! |
| 2021-04-14 23:01:47 +0200 | <ski> | stand by |
| 2021-04-14 23:02:35 +0200 | <monochrom> | <3 Emily Riehl. I read her CT book. |
| 2021-04-14 23:04:17 +0200 | usr25 | (~usr25@unaffiliated/usr25) |
| 2021-04-14 23:06:12 +0200 | hyperisco | (~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Ping timeout: 240 seconds) |
| 2021-04-14 23:06:14 +0200 | LKoen | (~LKoen@65.250.88.92.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”) |
| 2021-04-14 23:07:42 +0200 | Alleria__ | (~textual@mskresolve-a.mskcc.org) (Ping timeout: 265 seconds) |
| 2021-04-14 23:08:36 +0200 | <nicholasbulka> | I like the idea of natural transformations as analogies |
| 2021-04-14 23:10:25 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-04-14 23:10:36 +0200 | <nicholasbulka> | I've done a lot of self teaching over the years and I want to write down some of the techniques into a meta-learning book. Category theory seems like the best framework for something like that but the challenge seems to be how to make it accessible. |
| 2021-04-14 23:13:49 +0200 | dinciorip | (~dincio@5.170.25.42) |
| 2021-04-14 23:16:23 +0200 | Varis | (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 2021-04-14 23:16:25 +0200 | chenshen | (~chenshen@2620:10d:c090:400::5:b29e) |
| 2021-04-14 23:17:06 +0200 | slack1256 | (~slack1256@191.113.234.51) (Remote host closed the connection) |
| 2021-04-14 23:18:37 +0200 | hololeap | (~hololeap@gateway/tor-sasl/hololeap) |
| 2021-04-14 23:19:29 +0200 | <ski> | nicholasbulka : hm, so here goes (somewhat longish) |
| 2021-04-14 23:19:43 +0200 | <ski> | <OP> I'm just trying to vaguely make sense of category theory since I have been doing a bit of OCaml lately. I haven't been to uni since a very long time <ski> OP : ooc, what CT stuff ? <OP> ski: well, how it relates to the category of OCaml objects. Morphisms, the definition of purity, functors. Basically trying to code with more idiomatic patterns. I took a bit of a bottom-up approach. |
| 2021-04-14 23:19:57 +0200 | rj | (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 2021-04-14 23:19:59 +0200 | <ski> | <someone> in the algebraic topology course im doing, this lecturer occasionally likes to use a little too much category theory for my liking, and i do like category theory in general but I feel like it obfuscates from the geometric arguments which one should learn too :/ <someoneelse> syntactic arguments are always better! * someoneelse runs <someone> i think it is important to formalize intuition of |
| 2021-04-14 23:20:05 +0200 | <ski> | course |
| 2021-04-14 23:20:17 +0200 | <ski> | <someoneelse> intuition is the fastest way of symbol manipulation, nothing else <someone> not denying that one should be able to write down a formal proof of something if required * someoneelse runs even faster <someoneelse> (just kidding) <ski> someoneelse,someone,OP : anyway, "properties, structure, stuff" is vaguely relevant |
| 2021-04-14 23:20:30 +0200 | <ski> | <OP> ski: well i certainly deal with stuff on a day to day basis. But I got what I came here for :D <OP> Any advice on an intro book on category theory? <someoneelse> ncatlab <someoneelse> it's not an intro, but outro |
| 2021-04-14 23:20:42 +0200 | <ski> | <ski> OP : hm, i see. perhaps reading about a monadic approach to side-effects, and how that relates to Kleisli categories could be relevant. (and perhaps Andrzej Filinski's "Representing Monads" paper, which can embed any monadic effect as a side-effect, given delimited continuations. see <http://hjemmesider.diku.dk/~andrzej/papers/>) <OP> its surely sounds relevant <OP> ok I'll look it up thanks a lot |
| 2021-04-14 23:20:56 +0200 | CrazyPython | (~crazypyth@98.122.164.118) |
| 2021-04-14 23:20:59 +0200 | <ski> | <ski> well. my recommendation would be "Conceptual Mathematics: A first introduction to categories" by William ("Bill") F. Lawvere and Steven Schanuel <yetanother> you might consider Goldblatt's Topoi <OP> yes the Goldblatt looks really interesting <OP> oh well, next pay, next month. Thanks a lot. Very helpful |
| 2021-04-14 23:21:10 +0200 | <ski> | <ski> there's also a few books that relate a bit more to CS. like "Basic Category Theory for Computer Scientists" by Benjamin Pierce,"Categories, types, structures - An introduction to category theory for the working computer scientist" by Andrea Asperti,Guiseppe Longo in 1991 at <https://www.di.ens.fr/users/longo/files/CategTypesStructures/book.pdf>,"Categories and Computer Science" by R. F. Walters in |
| 2021-04-14 23:21:24 +0200 | <ski> | <ski> 1992,"Computational Category Theory" by D. E. Rydeheard,R. M. Burstall in 2001 at <http://www.cs.man.ac.uk/~david/categories/book/book.pdf>,<http://www.cs.man.ac.uk/~david/categories/> |
| 2021-04-14 23:21:35 +0200 | <ski> | <yetanother> Goldblatt is quite interesting, and offers pretty clear intro to categories and Topoi. There are some weaker parts concerning sheaves which might be supplemented . The book is cheap (Dover) IIRC. Well suited for those with an interest an foundations |
| 2021-04-14 23:21:52 +0200 | <ski> | <OP> yeah i was trying to shy away from less conceptual resources. I mean, there are already tons of resource for that online. I already know what a monad is in Haskell for practical purpose. I don't know, this category theory somehow piqued my interest. <yetanother> ski: don't forget Arbib and Manes <ski> 'sat a book ? haven't seen it <yetanother> I like Awodey and also Riehl quite a bit. |
| 2021-04-14 23:22:06 +0200 | <ski> | <yetanother> Yeah, one of the older CS related CT books <ski> yea, i was just about to mention Awodey <yetanother> Awodey's Oregon videos also quite good https://www.cs.uoregon.edu/research/summerschool/summer12/curriculum.html |
| 2021-04-14 23:22:21 +0200 | <ski> | * ski . o O ( "Seven Sketches in Compositionality - An Invitation to Applied Category Theory" by Brendan Fong,David I. Spivak in - 2018-10-12 at <https://math.mit.edu/~dspivak/teaching/sp18/7Sketches.pdf>,<https://math.mit.edu/~dspivak/teaching/sp18/> ) <yetanother> OP: some haskell folks like Bartosz Milewski |
| 2021-04-14 23:22:31 +0200 | <ski> | * ski . o O ( "Toposes, Triples and Theories" by Michael Barr,Charles Wells in 2000 at <https://www.math.mcgill.ca/barr/papers/ttt.pdf> ; "Elementary Categories, Elementary Toposes" by Colin McLart in 1992 ) <yetanother> Hardly an intro <yetanother> (Bar) <OP> yetanother: yes I have watched these but he is a bit slow and the recording is bad (I am a bit of a princess at times) |
| 2021-04-14 23:22:42 +0200 | <ski> | <ski> yea, right, that's "Category Theory for Programmers" by Bartosz Milewski in 2018-10-21 at <https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/>,<https://github.com/hmemcpy/milewski-ctfp-pdf>. he also has some YouTube videos, talking about categorical stuff, as it applies to programming <ski> yetanother : yea, i didn't mean to imply it was .. just i was reminded of it |
| 2021-04-14 23:22:58 +0200 | <ski> | <OP> Honnestly I think I'll get the Goldblatt as a basis and go venture from there. <yetanother> Harper's "Trinity" ideas also interesting https://existentialtype.wordpress.com/2011/03/27/the-holy-trinity/ |
| 2021-04-14 23:23:09 +0200 | <ski> | <OP> sadly my education in math comes from a degree in macroeconomics. The kind of things that does not really help you grow an interest in maths. I guess I'll go the uni again one day. I've heard my local uni isn't so bad, I'm in Paris. <ski> someoneelse : hehe, i was just reading the other day, Dijkstra expounding upon the virtues of "letting the symbols do the work" :) |
| 2021-04-14 23:23:24 +0200 | <ski> | <ski> OP : oh. also notice that the concept of (module) functors in the MLs is probably not that close to the CT one * ski . o O ( "On Functors" (in C++,Standard ML,Haskell,Prolog) by Peteris Krumins in 2010-05-17 at <http://www.catonmat.net/blog/on-functors/> ) <OP> well I sort of disagree, in Prolog, we call that a law or an operation. |
| 2021-04-14 23:23:31 +0200 | <ski> | <ski> yetanother : Lambek & Scott has some interesting comments about a potential reconciliation between platonism, formalism, intuitionism, in their "Introduction to Higher Order Categorical Logic" in 1986 .. <OP> meh, nominalism is everywhere in math :D <ski> iiuc, the Prolog term comes from logic, and possibly philosophy (of language. maybe Carnap ?) |
| 2021-04-14 23:23:44 +0200 | <ski> | <yetanother> Ski: it's on my shelf, but I need to fill in some more background first <ski> OP : elaborate ? * ski . o O ( <https://en.wikipedia.org/wiki/Elasticity_of_demand> ) <OP> oh he refers to the builtin. I thought he only refered to the first atom <OP> just a quibble <OP> but yes I agree, the terminology in cs seems rather vague |
| 2021-04-14 23:23:57 +0200 | <ski> | <OP> I'd say daunting at first when you try to learn many languages. At the end of the day, most people seem to remain in their enclosed religion. I mostly do ML for fun. Erlang for the money. <OP> but I got the gist of it, Haskell is closer to the terminology in use in math books |
| 2021-04-14 23:24:08 +0200 | <ski> | * ski had some vague ideas how that could possibly be related to derivatives of data structures <http://strictlypositive.org/diff.pdf>, combinatorial species <https://byorgey.wordpress.com/category/species/>, naperian containers <https://web.archive.org/web/20161104231529/http://sneezy.cs.nott.ac.uk/containers/blog/> |
| 2021-04-14 23:24:19 +0200 | <ski> | <OP> all right, back to studying thanks again everyone. I guess I'll come hang around here in a few days. See you. |
| 2021-04-14 23:24:22 +0200 | rj | (~x@gateway/tor-sasl/rj) |
| 2021-04-14 23:24:33 +0200 | <nicholasbulka> | this is great, thank you! |
| 2021-04-14 23:24:35 +0200 | <ski> | * ski . o O ( "Society's role in mathematics" in 1998-11-21 at <https://www.cs.utexas.edu/users/EWD/transcriptions/EWD12xx/EWD1277.html>,"How Computing Science created a new mathematical style" in 1990-04-04 at <https://www.cs.utexas.edu/users/EWD/transcriptions/EWD10xx/EWD1073.html>,"Under the spell of Leibniz's Dream" in 2000-04-20 at |
| 2021-04-14 23:24:43 +0200 | <ski> | * ski <https://www.cs.utexas.edu/users/EWD/transcriptions/EWD12xx/EWD1298.html>, all by Edsger Wybe Dijkstra ) <ski> OP : to close with, i think the Lawvere & Schanuel book may be the easiest one to start with, for one without that much math experience. take care and have fun ! |
| 2021-04-14 23:24:47 +0200 | <ski> | (done) |
| 2021-04-14 23:25:03 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:447b:5128:d97:8340) (Remote host closed the connection) |
| 2021-04-14 23:25:18 +0200 | <ski> | (hm, that was a bit longer than i thought. .. anyway, i thought some of the surrounding discussion could possibly also be of interest) |
| 2021-04-14 23:25:57 +0200 | nighmi | (~felix@port-92-196-72-29.dynamic.as20676.net) |
| 2021-04-14 23:26:26 +0200 | pthariensflame | (~pthariens@2600:6c52:727f:4200:5cd6:67f8:fcfa:33ac) |
| 2021-04-14 23:29:21 +0200 | pthariensflame | (~pthariens@2600:6c52:727f:4200:5cd6:67f8:fcfa:33ac) (Client Quit) |
| 2021-04-14 23:30:13 +0200 | s00pcan | (~chris@107.181.165.217) (Ping timeout: 240 seconds) |
| 2021-04-14 23:32:23 +0200 | remby | (~remby@bras-base-london1483w-grc-43-65-95-173-128.dsl.bell.ca) (Quit: Leaving) |
| 2021-04-14 23:32:30 +0200 | s00pcan | (~chris@075-133-056-178.res.spectrum.com) |
| 2021-04-14 23:32:49 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
| 2021-04-14 23:37:17 +0200 | s00pcan | (~chris@075-133-056-178.res.spectrum.com) (Read error: Connection reset by peer) |
| 2021-04-14 23:38:36 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-14 23:40:05 +0200 | acidjnk_new | (~acidjnk@p200300d0c72b9573c48ebca42f820036.dip0.t-ipconnect.de) |
| 2021-04-14 23:42:18 +0200 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 240 seconds) |
| 2021-04-14 23:42:40 +0200 | s00pcan | (~chris@075-133-056-178.res.spectrum.com) |
| 2021-04-14 23:43:15 +0200 | ericsagn1 | (~ericsagne@2405:6580:0:5100:e26e:cf9:1dd6:9615) (Ping timeout: 248 seconds) |
| 2021-04-14 23:43:19 +0200 | ericsagnes | (~ericsagne@2405:6580:0:5100:3be6:c7d7:e232:14d0) |
| 2021-04-14 23:43:28 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds) |
| 2021-04-14 23:44:01 +0200 | idhugo_ | (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 2021-04-14 23:44:14 +0200 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2021-04-14 23:45:41 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-14 23:48:18 +0200 | Tom19 | (b2115c11@92-17.net.optinet.cz) |
| 2021-04-14 23:48:35 +0200 | jamm_ | (~jamm@unaffiliated/jamm) (Ping timeout: 250 seconds) |
| 2021-04-14 23:48:44 +0200 | kristijonas | (~kristijon@78-56-32-39.static.zebra.lt) |
| 2021-04-14 23:49:09 +0200 | mikoto-chan | (~anass@gateway/tor-sasl/mikoto-chan) (Ping timeout: 240 seconds) |
| 2021-04-14 23:50:21 +0200 | __monty__ | (~toonn@unaffiliated/toonn) (Quit: leaving) |
| 2021-04-14 23:52:23 +0200 | PyroLagus | (PyroLagus@i.have.ipv6.on.coding4coffee.org) (Quit: ZNC / WeeChat) |
| 2021-04-14 23:52:31 +0200 | dxld | (~dxld@rush.pub.dxld.at) (Remote host closed the connection) |
| 2021-04-14 23:52:43 +0200 | ericsagnes | (~ericsagne@2405:6580:0:5100:3be6:c7d7:e232:14d0) (Ping timeout: 258 seconds) |
| 2021-04-14 23:52:45 +0200 | PyroLagus | (PyroLagus@i.have.ipv6.on.coding4coffee.org) |
| 2021-04-14 23:53:08 +0200 | dxld | (~dxld@rush.pub.dxld.at) |
| 2021-04-14 23:54:17 +0200 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving) |
| 2021-04-14 23:54:31 +0200 | bwe_ | (~bwe@2a01:4f8:1c1c:4878::2) (Ping timeout: 245 seconds) |
| 2021-04-14 23:54:39 +0200 | bwe | (~bwe@unaffiliated/bwe) |
| 2021-04-14 23:55:01 +0200 | xff0x | (~xff0x@2001:1a81:53de:e800:d3b4:413a:5958:6939) (Ping timeout: 258 seconds) |
| 2021-04-14 23:55:01 +0200 | i7c | (UzrQ2PKvmb@unaffiliated/i7c) (Ping timeout: 258 seconds) |
| 2021-04-14 23:55:33 +0200 | xff0x | (~xff0x@2001:1a81:53de:e800:d3b4:413a:5958:6939) |
| 2021-04-14 23:56:24 +0200 | coot | (~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2021-04-14 23:56:50 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-14 23:56:52 +0200 | olligobber | (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 240 seconds) |
| 2021-04-14 23:57:21 +0200 | Pickchea | (~private@unaffiliated/pickchea) (Quit: Leaving) |
| 2021-04-14 23:58:07 +0200 | Sorna | (~Sornaensi@077213203030.dynamic.telenor.dk) (Ping timeout: 252 seconds) |
| 2021-04-14 23:58:40 +0200 | haskellstudent | (~quassel@213-225-6-101.nat.highway.a1.net) (Ping timeout: 252 seconds) |
| 2021-04-14 23:58:43 +0200 | Tom19 | (b2115c11@92-17.net.optinet.cz) (Ping timeout: 240 seconds) |
| 2021-04-14 23:59:00 +0200 | michalz | (~user@185.246.204.61) ("Changed major mode") |