| 2022-08-15 00:00:06 +0200 | severen | (~severen@202.36.179.72) |
| 2022-08-15 00:00:39 +0200 | ddellacosta | (~ddellacos@89.45.90.196) |
| 2022-08-15 00:03:32 +0200 | Guest94 | (~Guest94@212.87.13.102) |
| 2022-08-15 00:08:16 +0200 | yvan-sraka | (~yvan-srak@105.67.7.32) (Remote host closed the connection) |
| 2022-08-15 00:12:06 +0200 | acidjnk | (~acidjnk@p200300d6e7137a1040029d0042753765.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2022-08-15 00:14:29 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-08-15 00:18:15 +0200 | ddellacosta | (~ddellacos@89.45.90.196) (Ping timeout: 268 seconds) |
| 2022-08-15 00:20:01 +0200 | ddellacosta | (~ddellacos@89.45.90.222) |
| 2022-08-15 00:23:55 +0200 | tharmas | (~nikola@77-46-243-191.dynamic.isp.telekom.rs) (Quit: leaving) |
| 2022-08-15 00:25:57 +0200 | <Guest94> | hi |
| 2022-08-15 00:26:18 +0200 | <qrpnxz> | hi |
| 2022-08-15 00:26:52 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-15 00:27:28 +0200 | <Bulby[m]> | https://github.com/jmc2obj/j-mc-2-obj/blob/master/src/org/jmc/Region.java#L217 i can't comprehend why this is defined just to be overriden |
| 2022-08-15 00:29:26 +0200 | azimut_ | (~azimut@gateway/tor-sasl/azimut) |
| 2022-08-15 00:31:17 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 268 seconds) |
| 2022-08-15 00:34:45 +0200 | Guest94 | (~Guest94@212.87.13.102) (Quit: Client closed) |
| 2022-08-15 00:36:49 +0200 | ianayl | (~ian@cpef81d0fadc403-cmf81d0fadc400.sdns.net.rogers.com) |
| 2022-08-15 00:38:48 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-08-15 00:41:32 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-12.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2022-08-15 00:46:25 +0200 | <Bulby[m]> | what |
| 2022-08-15 00:46:31 +0200 | <Bulby[m]> | apparently it doesn't use raw zlib |
| 2022-08-15 00:46:33 +0200 | <Bulby[m]> | just zlib |
| 2022-08-15 00:47:17 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-15 00:49:07 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2022-08-15 00:49:44 +0200 | chomwitt | (~chomwitt@2a02:587:dc15:5e00:4394:5e3a:258b:d8da) (Ping timeout: 268 seconds) |
| 2022-08-15 00:50:38 +0200 | <Bulby[m]> | hm, blocks ends up with too large of a list |
| 2022-08-15 00:52:01 +0200 | <Bulby[m]> | to print, anyway |
| 2022-08-15 00:53:15 +0200 | <Bulby[m]> | why is Vector complaining with prelude !! |
| 2022-08-15 00:53:16 +0200 | <Bulby[m]> | something is wrong |
| 2022-08-15 00:54:15 +0200 | <Bulby[m]> | oh i have an idea |
| 2022-08-15 00:54:29 +0200 | mastarija | (~mastarija@2a05:4f46:e03:6000:fe12:1d1c:1857:ccc4) (Ping timeout: 255 seconds) |
| 2022-08-15 00:54:53 +0200 | <monochrom> | Prelude !! is for [], not Vector. |
| 2022-08-15 00:55:11 +0200 | <Bulby[m]> | yes, i know where it's probably messing up |
| 2022-08-15 00:55:21 +0200 | <geekosaur> | sounds to me like a stream fusion RULE is failing |
| 2022-08-15 00:55:28 +0200 | <Bulby[m]> | probably calculated indexes wrong, and lazyness means it's delayed |
| 2022-08-15 00:55:58 +0200 | <geekosaur> | or that, I suppose, but I don't know the code |
| 2022-08-15 00:57:23 +0200 | <geekosaur> | mm, right, a fusion/streaming rule shouldn't involve !! |
| 2022-08-15 00:57:31 +0200 | <geekosaur> | if anything that should prevent fusion |
| 2022-08-15 00:59:41 +0200 | <qrpnxz> | (!!) is random access, pretty much the opposite of streaming 😬 |
| 2022-08-15 01:00:58 +0200 | <Bulby[m]> | what's the equivilant of `>>>`? `rotateR` ? |
| 2022-08-15 01:01:21 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-15 01:03:54 +0200 | <qrpnxz> | the equivalent of >>> is flip (.) |
| 2022-08-15 01:04:28 +0200 | <Bulby[m]> | ... from java 😅 |
| 2022-08-15 01:05:10 +0200 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) (Quit: Konversation terminated!) |
| 2022-08-15 01:05:20 +0200 | <qrpnxz> | idk that operator in java, sorry |
| 2022-08-15 01:05:24 +0200 | <qrpnxz> | if you can describe what it does |
| 2022-08-15 01:05:29 +0200 | <qrpnxz> | then i can tell you what function maybe |
| 2022-08-15 01:05:40 +0200 | <Bulby[m]> | unsigned shift right |
| 2022-08-15 01:05:58 +0200 | <qrpnxz> | sounds like shiftR |
| 2022-08-15 01:06:18 +0200 | <Bulby[m]> | really? shiftR does sign extension |
| 2022-08-15 01:07:05 +0200 | <qrpnxz> | if you want unsigned you need an unsigned type afaik |
| 2022-08-15 01:08:02 +0200 | <Bulby[m]> | pain |
| 2022-08-15 01:09:48 +0200 | <qrpnxz> | just gotta do fromIntegral |
| 2022-08-15 01:09:55 +0200 | <Bulby[m]> | and the implementation uses wizardry |
| 2022-08-15 01:09:56 +0200 | <Bulby[m]> | oh |
| 2022-08-15 01:09:58 +0200 | <Bulby[m]> | um |
| 2022-08-15 01:10:06 +0200 | <Bulby[m]> | one of the numbers is actually -1 |
| 2022-08-15 01:11:19 +0200 | pomod | (~pomod@212.87.13.102) |
| 2022-08-15 01:14:13 +0200 | ph88 | (~ph88@ip5f5af71f.dynamic.kabel-deutschland.de) |
| 2022-08-15 01:17:14 +0200 | <Bulby[m]> | yeah that was the issue |
| 2022-08-15 01:17:16 +0200 | <Bulby[m]> | rotate is obviously incorrect |
| 2022-08-15 01:19:08 +0200 | luffy | (~chenqisu1@183.217.201.23) |
| 2022-08-15 01:24:07 +0200 | pomod | (~pomod@212.87.13.102) () |
| 2022-08-15 01:26:05 +0200 | MajorBiscuit | (~MajorBisc@46-229-126.internethome.cytanet.com.cy) (Ping timeout: 268 seconds) |
| 2022-08-15 01:27:30 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-08-15 01:29:44 +0200 | mmhat | (~mmh@p200300f1c732d6e8ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.6) |
| 2022-08-15 01:30:40 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-08-15 01:32:31 +0200 | ph88 | (~ph88@ip5f5af71f.dynamic.kabel-deutschland.de) (Quit: Leaving) |
| 2022-08-15 01:39:59 +0200 | ianayl | (~ian@cpef81d0fadc403-cmf81d0fadc400.sdns.net.rogers.com) (Quit: WeeChat 3.6) |
| 2022-08-15 01:43:57 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-08-15 01:44:37 +0200 | jgeerds | (~jgeerds@55d46bad.access.ecotel.net) (Ping timeout: 268 seconds) |
| 2022-08-15 01:47:23 +0200 | vysn | (~vysn@user/vysn) |
| 2022-08-15 01:48:02 +0200 | etoast | (~exaltedto@user/exaltedtoast) (Quit: Tschüss) |
| 2022-08-15 01:48:12 +0200 | etoast | (~exaltedto@user/exaltedtoast) |
| 2022-08-15 01:48:14 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-08-15 01:48:14 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-08-15 01:48:14 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-08-15 01:51:27 +0200 | kilolympus | (~kilolympu@90.206.106.191) (Remote host closed the connection) |
| 2022-08-15 01:58:09 +0200 | severen | (~severen@202.36.179.72) (Ping timeout: 268 seconds) |
| 2022-08-15 01:58:27 +0200 | kilolympus | (~kilolympu@90.206.106.191) |
| 2022-08-15 01:58:53 +0200 | xff0x_ | (~xff0x@2405:6580:b080:900:d617:1bf4:887a:1487) (Ping timeout: 255 seconds) |
| 2022-08-15 01:59:30 +0200 | xff0x_ | (~xff0x@2405:6580:b080:900:7e16:9a75:cc78:bd9a) |
| 2022-08-15 02:01:24 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::a1ec) |
| 2022-08-15 02:02:05 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-08-15 02:05:35 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds) |
| 2022-08-15 02:08:47 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-15 02:10:01 +0200 | xff0x_ | (~xff0x@2405:6580:b080:900:7e16:9a75:cc78:bd9a) (Ping timeout: 268 seconds) |
| 2022-08-15 02:11:31 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-08-15 02:13:36 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 268 seconds) |
| 2022-08-15 02:18:22 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-08-15 02:21:21 +0200 | xff0x_ | (~xff0x@ap007189.d.east.v6connect.net) |
| 2022-08-15 02:24:41 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-08-15 02:24:41 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-08-15 02:24:41 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-08-15 02:34:15 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-15 02:35:42 +0200 | nilradical | (~nilradica@user/naso) (Remote host closed the connection) |
| 2022-08-15 02:36:17 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-08-15 02:40:01 +0200 | nilradical | (~nilradica@user/naso) (Remote host closed the connection) |
| 2022-08-15 02:41:57 +0200 | DeCentN2Madness | (~alice@ip68-3-91-223.ph.ph.cox.net) |
| 2022-08-15 02:48:29 +0200 | Kaipei | (~Kaiepi@142.68.249.28) |
| 2022-08-15 02:49:04 +0200 | king_gs | (~Thunderbi@2806:103e:29:da7a:8e16:45ff:feeb:cfcf) |
| 2022-08-15 02:49:49 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-15 02:49:55 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-15 02:50:43 +0200 | DeCentN2Madness | (~alice@ip68-3-91-223.ph.ph.cox.net) (Quit: leaving) |
| 2022-08-15 02:52:15 +0200 | Kaiepi | (~Kaiepi@142.68.249.28) (Ping timeout: 252 seconds) |
| 2022-08-15 02:56:01 +0200 | jmorris | (uid537181@id-537181.uxbridge.irccloud.com) |
| 2022-08-15 02:56:17 +0200 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2022-08-15 02:56:46 +0200 | xff0x_ | (~xff0x@ap007189.d.east.v6connect.net) (Ping timeout: 268 seconds) |
| 2022-08-15 02:58:29 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
| 2022-08-15 03:10:21 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-08-15 03:12:10 +0200 | severen | (~severen@202.36.179.72) |
| 2022-08-15 03:16:28 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-08-15 03:18:53 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-15 03:21:07 +0200 | DeCentN2Madness | (~alice@ip68-3-91-223.ph.ph.cox.net) |
| 2022-08-15 03:21:30 +0200 | DeCentN2Madness | (~alice@ip68-3-91-223.ph.ph.cox.net) (Client Quit) |
| 2022-08-15 03:23:24 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 268 seconds) |
| 2022-08-15 03:23:54 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2022-08-15 03:31:00 +0200 | Kaiepi | (~Kaiepi@142.68.249.28) |
| 2022-08-15 03:33:21 +0200 | xff0x_ | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2022-08-15 03:33:41 +0200 | Kaipei | (~Kaiepi@142.68.249.28) (Ping timeout: 252 seconds) |
| 2022-08-15 03:34:49 +0200 | poscat | (~poscat@2408:8206:4820:6705:6404:b732:d928:1540) (Quit: Bye) |
| 2022-08-15 03:34:51 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-15 03:35:55 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-15 03:36:47 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-15 03:39:12 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::a1ec) (Ping timeout: 244 seconds) |
| 2022-08-15 03:40:32 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-15 03:40:54 +0200 | poscat | (~poscat@2408:8206:4821:dd20:9455:2e60:44d3:e64b) |
| 2022-08-15 03:53:35 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-15 03:59:14 +0200 | hippoid | (~idris@d53-64-120-188.nap.wideopenwest.com) |
| 2022-08-15 03:59:28 +0200 | <Bulby[m]> | this isn't a fun project, i haven't even gotten to use polysemy yet |
| 2022-08-15 04:01:10 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-08-15 04:02:54 +0200 | lemonsnicks | (~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-08-15 04:08:35 +0200 | hippoid | (~idris@d53-64-120-188.nap.wideopenwest.com) (Quit: WeeChat 3.5) |
| 2022-08-15 04:08:53 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2022-08-15 04:11:30 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-08-15 04:11:30 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-08-15 04:11:30 +0200 | finn_elija | FinnElija |
| 2022-08-15 04:13:39 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) |
| 2022-08-15 04:17:12 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2022-08-15 04:17:52 +0200 | jargon | (~jargon@184.101.168.117) (Remote host closed the connection) |
| 2022-08-15 04:19:41 +0200 | lemonsnicks | (~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) |
| 2022-08-15 04:27:35 +0200 | td_ | (~td@94.134.91.250) (Ping timeout: 252 seconds) |
| 2022-08-15 04:29:18 +0200 | td_ | (~td@muedsl-82-207-238-255.citykom.de) |
| 2022-08-15 04:33:57 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2022-08-15 04:36:01 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds) |
| 2022-08-15 04:40:43 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-08-15 04:46:25 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-08-15 04:46:48 +0200 | img | (~img@user/img) |
| 2022-08-15 04:47:34 +0200 | mzan | (~quassel@mail.asterisell.com) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-08-15 04:48:55 +0200 | mzan | (~quassel@mail.asterisell.com) |
| 2022-08-15 04:51:35 +0200 | gdd1 | (~gdd@2001:470:1f13:187:2167:5afb:418e:21fa) (Ping timeout: 268 seconds) |
| 2022-08-15 04:51:43 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-08-15 04:51:47 +0200 | severen | (~severen@202.36.179.72) (Ping timeout: 252 seconds) |
| 2022-08-15 04:52:11 +0200 | gdd1 | (~gdd@2001:470:1f13:187:e8a5:fbff:fe29:42f5) |
| 2022-08-15 04:52:44 +0200 | vysn | (~vysn@user/vysn) (Ping timeout: 268 seconds) |
| 2022-08-15 04:53:19 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2022-08-15 04:55:49 +0200 | vglfr | (~vglfr@145.224.94.75) (Ping timeout: 252 seconds) |
| 2022-08-15 04:55:58 +0200 | img | (~img@user/img) |
| 2022-08-15 04:56:55 +0200 | rekahsoft | (~rekahsoft@bras-base-wdston4533w-grc-02-142-113-160-8.dsl.bell.ca) |
| 2022-08-15 04:56:56 +0200 | rekahsoft | (~rekahsoft@bras-base-wdston4533w-grc-02-142-113-160-8.dsl.bell.ca) (Remote host closed the connection) |
| 2022-08-15 04:57:04 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 268 seconds) |
| 2022-08-15 05:01:38 +0200 | rekahsoft | (~rekahsoft@bras-base-wdston4533w-grc-02-142-113-160-8.dsl.bell.ca) |
| 2022-08-15 05:04:25 +0200 | king_gs | (~Thunderbi@2806:103e:29:da7a:8e16:45ff:feeb:cfcf) (Ping timeout: 268 seconds) |
| 2022-08-15 05:04:32 +0200 | lemonsnicks | (~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2022-08-15 05:04:48 +0200 | king_gs | (~Thunderbi@2806:103e:29:da7a:69a4:fcf4:ef3c:3bd4) |
| 2022-08-15 05:08:44 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 268 seconds) |
| 2022-08-15 05:10:33 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2022-08-15 05:14:59 +0200 | vglfr | (~vglfr@145.224.94.75) |
| 2022-08-15 05:19:17 +0200 | vglfr | (~vglfr@145.224.94.75) (Ping timeout: 252 seconds) |
| 2022-08-15 05:19:52 +0200 | vglfr | (~vglfr@145.224.94.75) |
| 2022-08-15 05:22:19 +0200 | vglfr | (~vglfr@145.224.94.75) (Read error: Connection reset by peer) |
| 2022-08-15 05:22:27 +0200 | vglfr | (~vglfr@145.224.94.75) |
| 2022-08-15 05:28:30 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-08-15 05:30:11 +0200 | poscat | (~poscat@2408:8206:4821:dd20:9455:2e60:44d3:e64b) (Quit: Bye) |
| 2022-08-15 05:34:24 +0200 | poscat | (~poscat@2408:8206:4821:e39f:4e35:ebbb:112a:d1b7) |
| 2022-08-15 05:35:44 +0200 | jmorris | (uid537181@id-537181.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-08-15 05:36:00 +0200 | notzmv | (~zmv@user/notzmv) |
| 2022-08-15 05:41:11 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::a1ec) |
| 2022-08-15 05:43:54 +0200 | perdent | (~perdent@124.188.233.11) (Ping timeout: 252 seconds) |
| 2022-08-15 05:51:02 +0200 | lbseale | (~quassel@user/ep1ctetus) |
| 2022-08-15 05:55:34 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2022-08-15 06:14:04 +0200 | codaraxis__ | (~codaraxis@user/codaraxis) (Quit: Leaving) |
| 2022-08-15 06:15:37 +0200 | justache | (~justache@user/justache) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-08-15 06:17:19 +0200 | dknite | (~dknite@49.37.45.100) |
| 2022-08-15 06:24:38 +0200 | azimut_ | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 268 seconds) |
| 2022-08-15 06:25:59 +0200 | king_gs | (~Thunderbi@2806:103e:29:da7a:69a4:fcf4:ef3c:3bd4) (Quit: king_gs) |
| 2022-08-15 06:28:51 +0200 | <talismanick> | Whatever happened to supercompilation? Where's it at nowadays? |
| 2022-08-15 06:30:02 +0200 | <talismanick> | Last I track is the clique of works around positive supercompilation, and then... ? |
| 2022-08-15 06:31:42 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-08-15 06:36:48 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-15 06:36:55 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-15 06:37:28 +0200 | Jeanne-Kamikaze | (~Jeanne-Ka@142.147.89.223) (Quit: Leaving) |
| 2022-08-15 06:38:28 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-08-15 06:41:36 +0200 | <pavonia> | Is there a common name for the class of functions of type (a -> b) -> f a -> b? |
| 2022-08-15 06:42:27 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-15 06:43:16 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-15 06:49:16 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-08-15 06:49:51 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 252 seconds) |
| 2022-08-15 06:51:23 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) |
| 2022-08-15 06:51:24 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-15 06:52:52 +0200 | lemonsnicks | (~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) |
| 2022-08-15 06:52:57 +0200 | rekahsoft | (~rekahsoft@bras-base-wdston4533w-grc-02-142-113-160-8.dsl.bell.ca) (Ping timeout: 244 seconds) |
| 2022-08-15 06:54:56 +0200 | <jackdk> | pavonia: `foldMap :: (Monoid b, Foldable f) => (a -> b) -> f a -> b`? |
| 2022-08-15 06:55:50 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) (Ping timeout: 255 seconds) |
| 2022-08-15 07:02:03 +0200 | loonycyborg | (loonycybor@wesnoth/developer/loonycyborg) (*.net *.split) |
| 2022-08-15 07:02:03 +0200 | gregberns__ | (sid315709@id-315709.helmsley.irccloud.com) (*.net *.split) |
| 2022-08-15 07:02:03 +0200 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (*.net *.split) |
| 2022-08-15 07:02:03 +0200 | darkling | (~darkling@2001-ba8-1f1-f0e6-0-0-0-2.autov6rev.bitfolk.space) (*.net *.split) |
| 2022-08-15 07:02:03 +0200 | marinelli[m] | (~marinelli@2001:470:69fc:105::2d8) (*.net *.split) |
| 2022-08-15 07:02:03 +0200 | crns | (~netcrns@user/crns) (*.net *.split) |
| 2022-08-15 07:02:03 +0200 | beaky | (~beaky@2a03:b0c0:0:1010::1e:a001) (*.net *.split) |
| 2022-08-15 07:02:03 +0200 | natto | (~natto@140.238.225.67) (*.net *.split) |
| 2022-08-15 07:02:03 +0200 | aveltras[m] | (~aveltrasm@2001:470:69fc:105::3ef9) (*.net *.split) |
| 2022-08-15 07:02:03 +0200 | thaumavorio | (~thaumavor@thaumavor.io) (*.net *.split) |
| 2022-08-15 07:02:03 +0200 | jakesyl___ | (sid56879@id-56879.hampstead.irccloud.com) (*.net *.split) |
| 2022-08-15 07:02:03 +0200 | christiaanb | (sid84827@id-84827.lymington.irccloud.com) (*.net *.split) |
| 2022-08-15 07:02:03 +0200 | idnar | (sid12240@debian/mithrandi) (*.net *.split) |
| 2022-08-15 07:02:03 +0200 | rune | (sid21167@id-21167.ilkley.irccloud.com) (*.net *.split) |
| 2022-08-15 07:02:03 +0200 | mrd | (~mrd@user/mrd) (*.net *.split) |
| 2022-08-15 07:02:03 +0200 | dy | (sid3438@user/dy) (*.net *.split) |
| 2022-08-15 07:02:03 +0200 | peutri | (~peutri@bobo.desast.re) (*.net *.split) |
| 2022-08-15 07:02:03 +0200 | w1gz | (~weechat@2a03:b0c0:1:d0::1123:1) (*.net *.split) |
| 2022-08-15 07:02:03 +0200 | lexi-lambda | (sid92601@id-92601.hampstead.irccloud.com) (*.net *.split) |
| 2022-08-15 07:02:03 +0200 | SrPx | (sid108780@id-108780.uxbridge.irccloud.com) (*.net *.split) |
| 2022-08-15 07:02:03 +0200 | jackdk | (sid373013@cssa/jackdk) (*.net *.split) |
| 2022-08-15 07:02:03 +0200 | teehemkay | (sid14792@id-14792.lymington.irccloud.com) (*.net *.split) |
| 2022-08-15 07:02:03 +0200 | vjoki | (~vjoki@2a00:d880:3:1::fea1:9ae) (*.net *.split) |
| 2022-08-15 07:02:03 +0200 | joeyh | (joeyh@kitenet.net) (*.net *.split) |
| 2022-08-15 07:02:03 +0200 | V | (~v@ircpuzzles/2022/april/winner/V) (*.net *.split) |
| 2022-08-15 07:02:03 +0200 | SanchayanMaity | (sid478177@id-478177.hampstead.irccloud.com) (*.net *.split) |
| 2022-08-15 07:02:03 +0200 | mmaruseacph2 | (~mihai@198.199.98.239) (*.net *.split) |
| 2022-08-15 07:02:03 +0200 | riatre | (~quassel@2001:310:6000:f::5198:1) (*.net *.split) |
| 2022-08-15 07:02:11 +0200 | riatre | (~quassel@2001:310:6000:f::5198:1) |
| 2022-08-15 07:02:11 +0200 | peutri | (~peutri@bobo.desast.re) |
| 2022-08-15 07:02:12 +0200 | mrd | (~mrd@45.61.147.211) |
| 2022-08-15 07:02:13 +0200 | joeyh | (joeyh@2600:3c03::f03c:91ff:fe73:b0d2) |
| 2022-08-15 07:02:13 +0200 | teehemkay | (sid14792@id-14792.lymington.irccloud.com) |
| 2022-08-15 07:02:14 +0200 | dy | (sid3438@user/dy) |
| 2022-08-15 07:02:14 +0200 | lexi-lambda | (sid92601@id-92601.hampstead.irccloud.com) |
| 2022-08-15 07:02:14 +0200 | gregberns__ | (sid315709@id-315709.helmsley.irccloud.com) |
| 2022-08-15 07:02:14 +0200 | darkling | (~darkling@savella.carfax.org.uk) |
| 2022-08-15 07:02:15 +0200 | crns | (~netcrns@p4ff5ee59.dip0.t-ipconnect.de) |
| 2022-08-15 07:02:24 +0200 | crns | (~netcrns@p4ff5ee59.dip0.t-ipconnect.de) (Changing host) |
| 2022-08-15 07:02:24 +0200 | crns | (~netcrns@user/crns) |
| 2022-08-15 07:02:29 +0200 | rune | (sid21167@id-21167.ilkley.irccloud.com) |
| 2022-08-15 07:02:34 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-15 07:02:34 +0200 | V | (~v@ircpuzzles/2022/april/winner/V) |
| 2022-08-15 07:02:35 +0200 | jackdk | (sid373013@cssa/jackdk) |
| 2022-08-15 07:02:39 +0200 | loonycyborg | (loonycybor@wesnoth/developer/loonycyborg) |
| 2022-08-15 07:02:41 +0200 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 2022-08-15 07:02:42 +0200 | mmaruseacph2 | (~mihai@198.199.98.239) |
| 2022-08-15 07:02:53 +0200 | jakesyl___ | (sid56879@id-56879.hampstead.irccloud.com) |
| 2022-08-15 07:02:54 +0200 | idnar | (sid12240@debian/mithrandi) |
| 2022-08-15 07:03:01 +0200 | SanchayanMaity | (sid478177@id-478177.hampstead.irccloud.com) |
| 2022-08-15 07:03:02 +0200 | christiaanb | (sid84827@2a03:5180:f:2::1:4b5b) |
| 2022-08-15 07:03:04 +0200 | beaky | (~beaky@2a03:b0c0:0:1010::1e:a001) |
| 2022-08-15 07:03:04 +0200 | w1gz | (~weechat@2a03:b0c0:1:d0::1123:1) |
| 2022-08-15 07:03:18 +0200 | SrPx | (sid108780@id-108780.uxbridge.irccloud.com) |
| 2022-08-15 07:03:20 +0200 | vjoki | (~vjoki@2a00:d880:3:1::fea1:9ae) |
| 2022-08-15 07:03:21 +0200 | thaumavorio | (~thaumavor@thaumavor.io) |
| 2022-08-15 07:03:34 +0200 | aveltras[m] | (~aveltrasm@2001:470:69fc:105::3ef9) |
| 2022-08-15 07:03:43 +0200 | natto | (~natto@140.238.225.67) |
| 2022-08-15 07:04:49 +0200 | marinelli[m] | (~marinelli@2001:470:69fc:105::2d8) |
| 2022-08-15 07:05:59 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds) |
| 2022-08-15 07:06:35 +0200 | <pavonia> | jackdk: Are there similar functions for other classes than Foldable? It's like a non-structure-preserving map |
| 2022-08-15 07:08:21 +0200 | luffy | (~chenqisu1@183.217.201.23) (Ping timeout: 268 seconds) |
| 2022-08-15 07:08:33 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) (Ping timeout: 252 seconds) |
| 2022-08-15 07:14:22 +0200 | <jackdk> | Feels related to the Fold data type in lens |
| 2022-08-15 07:15:45 +0200 | <jackdk> | Unfortunately I can't back that statement up very well without being a mere bad regurgitation of other stuff I read =| |
| 2022-08-15 07:16:59 +0200 | cdepillabout[m] | (~cdepillab@2001:470:69fc:105::3d3) (*.net *.split) |
| 2022-08-15 07:16:59 +0200 | codedmart | (codedmart@2600:3c01::f03c:92ff:fefe:8511) (*.net *.split) |
| 2022-08-15 07:16:59 +0200 | landonf | (landonf@mac68k.info) (*.net *.split) |
| 2022-08-15 07:16:59 +0200 | [_________] | (~oos95GWG@user/oos95GWG) (*.net *.split) |
| 2022-08-15 07:16:59 +0200 | lieven | (~mal@ns2.wyrd.be) (*.net *.split) |
| 2022-08-15 07:16:59 +0200 | earthy | (~arthurvl@2a02-a469-f5e2-1-ba27-ebff-fea0-40b0.fixed6.kpn.net) (*.net *.split) |
| 2022-08-15 07:16:59 +0200 | dfordivam1 | (~dfordivam@tk2-219-19469.vs.sakura.ne.jp) (*.net *.split) |
| 2022-08-15 07:16:59 +0200 | sweater1 | (~sweater@206.81.18.26) (*.net *.split) |
| 2022-08-15 07:16:59 +0200 | flukiluke | (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) (*.net *.split) |
| 2022-08-15 07:16:59 +0200 | davean | (~davean@davean.sciesnet.net) (*.net *.split) |
| 2022-08-15 07:16:59 +0200 | blades | (~blades@204.48.29.163) (*.net *.split) |
| 2022-08-15 07:16:59 +0200 | drewolson | (~drewolson@user/drewolson) (*.net *.split) |
| 2022-08-15 07:16:59 +0200 | bcmiller_ | (~bm3719@66.42.95.185) (*.net *.split) |
| 2022-08-15 07:16:59 +0200 | TimWolla | (~timwolla@2a01:4f8:150:6153:beef::6667) (*.net *.split) |
| 2022-08-15 07:16:59 +0200 | bwe | (~bwe@2a01:4f8:1c1c:4878::2) (*.net *.split) |
| 2022-08-15 07:16:59 +0200 | s4msung | (anUIaa0rBw@user/s4msung) (*.net *.split) |
| 2022-08-15 07:17:08 +0200 | TimWolla | (~timwolla@2a01:4f8:150:6153:beef::6667) |
| 2022-08-15 07:17:10 +0200 | landonf | (landonf@mac68k.info) |
| 2022-08-15 07:17:10 +0200 | bcmiller | (~bm3719@66.42.95.185) |
| 2022-08-15 07:17:10 +0200 | bwe | (~bwe@2a01:4f8:1c1c:4878::2) |
| 2022-08-15 07:17:16 +0200 | drewolson | (~drewolson@user/drewolson) |
| 2022-08-15 07:17:17 +0200 | codedmart | (codedmart@2600:3c01::f03c:92ff:fefe:8511) |
| 2022-08-15 07:17:31 +0200 | earthy | (~arthurvl@2a02-a469-f5e2-1-ba27-ebff-fea0-40b0.fixed6.kpn.net) |
| 2022-08-15 07:17:32 +0200 | lieven | (~mal@ns2.wyrd.be) |
| 2022-08-15 07:17:38 +0200 | flukiluke | (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) |
| 2022-08-15 07:17:40 +0200 | dfordivam1 | (~dfordivam@tk2-219-19469.vs.sakura.ne.jp) |
| 2022-08-15 07:17:54 +0200 | sweater1 | (~sweater@206.81.18.26) |
| 2022-08-15 07:17:54 +0200 | blades | (~blades@204.48.29.163) |
| 2022-08-15 07:17:54 +0200 | davean | (~davean@davean.sciesnet.net) |
| 2022-08-15 07:17:54 +0200 | s4msung | (oruFimO38n@user/s4msung) |
| 2022-08-15 07:18:01 +0200 | cdepillabout[m] | (~cdepillab@2001:470:69fc:105::3d3) |
| 2022-08-15 07:21:02 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-15 07:21:11 +0200 | MajorBiscuit | (~MajorBisc@c-001-021-007.client.tudelft.eduvpn.nl) |
| 2022-08-15 07:22:33 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-15 07:23:30 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2022-08-15 07:27:03 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-15 07:35:18 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-08-15 07:38:14 +0200 | img | (~img@user/img) |
| 2022-08-15 07:38:14 +0200 | DigitalKiwi | (~kiwi@2604:a880:400:d0::1ca0:e001) (Quit: quite.) |
| 2022-08-15 07:38:54 +0200 | DigitalKiwi | (~kiwi@137.184.156.191) |
| 2022-08-15 07:47:32 +0200 | <jackdk> | But you could build a Fold in lens that only focuses on even-valued elements of a Foldable, call foldMapOf on that, and get a function of the same foldMap-ish type |
| 2022-08-15 07:54:44 +0200 | Lears | (~Leary]@122-58-224-198-vdsl.sparkbb.co.nz) (Ping timeout: 268 seconds) |
| 2022-08-15 07:58:10 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-15 07:59:09 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-08-15 08:04:17 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 252 seconds) |
| 2022-08-15 08:07:04 +0200 | pagnol | (~me@213-205-209-87.ftth.glasoperator.nl) |
| 2022-08-15 08:08:02 +0200 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) |
| 2022-08-15 08:08:57 +0200 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) (Read error: Connection reset by peer) |
| 2022-08-15 08:09:13 +0200 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) |
| 2022-08-15 08:12:00 +0200 | mud | (~mud@user/kadoban) (Ping timeout: 244 seconds) |
| 2022-08-15 08:12:56 +0200 | mud | (~mud@user/kadoban) |
| 2022-08-15 08:16:23 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-15 08:17:42 +0200 | biberu | (~biberu@user/biberu) |
| 2022-08-15 08:19:12 +0200 | [_________] | (~oos95GWG@user/oos95GWG) |
| 2022-08-15 08:22:54 +0200 | severen | (~severen@202.36.179.72) |
| 2022-08-15 08:26:42 +0200 | <Axman6> | is there a library for accessing aeson Values as lenses using labels? someValue ^. $foo . #bar |
| 2022-08-15 08:26:54 +0200 | <Axman6> | jackdk: I feel you'd know the answer to this... |
| 2022-08-15 08:28:43 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) |
| 2022-08-15 08:29:19 +0200 | <c_wraith> | is $foo a new label syntax? |
| 2022-08-15 08:30:13 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-08-15 08:30:39 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-15 08:31:51 +0200 | <Axman6> | I meant # |
| 2022-08-15 08:32:07 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2022-08-15 08:33:31 +0200 | Digit | (~user@user/digit) |
| 2022-08-15 08:33:36 +0200 | mmhat | (~mmh@p200300f1c732d6d0ee086bfffe095315.dip0.t-ipconnect.de) |
| 2022-08-15 08:34:11 +0200 | <tdammers> | Axman6: like this? https://hackage.haskell.org/package/lens-aeson-1.2.2/docs/Data-Aeson-Lens.html |
| 2022-08-15 08:36:29 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2022-08-15 08:36:35 +0200 | <[exa]> | Axman6: you can basically overload your own IsLabel to be able to spew out the lens |
| 2022-08-15 08:37:27 +0200 | <Digit> | hi, a moment ago in another chan: "*dreaming of haskell advanced shell*" | "haskell advanced shell sounds awesome" | "someone should make haskell advanced shell" | "many someones should make haskell advanced shell :)" |
| 2022-08-15 08:40:07 +0200 | <[exa]> | how do you recognize advanced haskell shell from a common one? |
| 2022-08-15 08:42:00 +0200 | <tdammers> | no no no, it's not "(advanced haskell) shell", it's "haskell (advanced shell)" |
| 2022-08-15 08:42:04 +0200 | ddellaco1 | (~ddellacos@89.45.90.92) |
| 2022-08-15 08:42:25 +0200 | ddellacosta | (~ddellacos@89.45.90.222) (Ping timeout: 252 seconds) |
| 2022-08-15 08:43:31 +0200 | <Digit> | a common shell or a common haskell shell? the advancement to shell would be haskell'ness. ... in my imagination, it was both shell advanced by haskell, and advanced shell like think dash>bash>fish>hash |
| 2022-08-15 08:43:51 +0200 | <jackdk> | Axman6: lens-aeson doesn't do overloaded labels, but it's the one you want |
| 2022-08-15 08:44:05 +0200 | <tdammers> | I think the idea is that a "haskell shell" would be more "advanced" than existing shells |
| 2022-08-15 08:44:18 +0200 | <[exa]> | Axman6: if you want to go with labels, something like this might do: instance IsLabel x (Traversal' ....) where fromLabel = ix (symbolVal l) |
| 2022-08-15 08:48:42 +0200 | gdown | (~gavin@h69-11-149-231.kndrid.broadband.dynamic.tds.net) (Remote host closed the connection) |
| 2022-08-15 08:49:02 +0200 | <jackdk> | I would personally use `key` and `atKey` instead but |
| 2022-08-15 08:50:13 +0200 | <[exa]> | ah yes, true |
| 2022-08-15 08:58:49 +0200 | severen | (~severen@202.36.179.72) (Quit: WeeChat 3.6) |
| 2022-08-15 08:59:31 +0200 | <Axman6> | hmm, I thought this already existed. possible for optics instead, butI can't find anything |
| 2022-08-15 09:01:52 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-08-15 09:02:13 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-08-15 09:05:13 +0200 | Guest4673 | |beowulf| |
| 2022-08-15 09:05:43 +0200 | |beowulf| | Guest2346 |
| 2022-08-15 09:05:54 +0200 | perdent | (~perdent@124.188.233.11) |
| 2022-08-15 09:08:33 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-08-15 09:10:25 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:27c9:df52:ce1b:900a) |
| 2022-08-15 09:11:15 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-08-15 09:14:38 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) |
| 2022-08-15 09:15:19 +0200 | acidjnk | (~acidjnk@p200300d6e7137a1040029d0042753765.dip0.t-ipconnect.de) |
| 2022-08-15 09:17:00 +0200 | <jackdk> | lens-aeson is one cool thing, generic-lens is another cool thing that uses labels; did you get them crossed in your mind? |
| 2022-08-15 09:17:00 +0200 | <Inst> | does anyone have extensive experience doing recursive accumulators? |
| 2022-08-15 09:17:22 +0200 | <Inst> | i'm not sure if this is advised |
| 2022-08-15 09:17:35 +0200 | <Inst> | i'm trying to program Haskell as though it were C, because I'm trying to optimize for performance |
| 2022-08-15 09:17:52 +0200 | <Inst> | I am limiting my use of side functions as much as possible and I have somehow produced a 200 line function |
| 2022-08-15 09:18:30 +0200 | <Inst> | well, it's 100 lines so far, but i wouldn't be surprised if it reached 400 lines |
| 2022-08-15 09:18:37 +0200 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-08-15 09:19:10 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) (Ping timeout: 244 seconds) |
| 2022-08-15 09:19:30 +0200 | <Inst> | i'm doing the accumulator equivalent of nested loops right now, and it's confusing the hell out of me |
| 2022-08-15 09:20:09 +0200 | <[exa]> | Inst: a random note -- compared to C, function "calls" in haskell are basically free (most importantly the're not calls), so you might want not to push it too much |
| 2022-08-15 09:20:35 +0200 | <[exa]> | Inst: anyway "nested accumulator" is something like foldl but accumulating over say 2-level structure? |
| 2022-08-15 09:20:38 +0200 | <Inst> | i had a great set of mutually recursive functions that was eating up more than 90% of my performance |
| 2022-08-15 09:20:54 +0200 | <Inst> | i refactored it into a single function, saw tremendous performance improvements |
| 2022-08-15 09:21:15 +0200 | <Inst> | basically, i want to append 3 elements to a vector |
| 2022-08-15 09:21:25 +0200 | <Inst> | i can do it with monadic bind, i suppose, but i got totally freaked out because i'm writing a program |
| 2022-08-15 09:21:40 +0200 | <Inst> | a minimax over 1,500,000,000,000 gamestates |
| 2022-08-15 09:22:04 +0200 | <Inst> | logic cuts it down to 100,000,000,000 gamestates, some further optimization got it down to 100,000,000 gamestates |
| 2022-08-15 09:22:18 +0200 | <Inst> | it's using like 1.4 TB of ram, and that's when it compiles |
| 2022-08-15 09:22:39 +0200 | <[exa]> | Inst: ah mutual recursion might be a problem (inliners don't like it) |
| 2022-08-15 09:23:18 +0200 | <int-e> | Hmm, are you sure you want to write this in Haskell? |
| 2022-08-15 09:23:23 +0200 | <Inst> | https://cdn.discordapp.com/attachments/968989726633779215/1008636947465506856/unknown.png |
| 2022-08-15 09:23:31 +0200 | <Inst> | I don't know any other language, and it's an exciting exercise |
| 2022-08-15 09:24:11 +0200 | <Inst> | https://cdn.discordapp.com/attachments/968989726633779215/1008637159344967730/unknown.png |
| 2022-08-15 09:24:58 +0200 | <[exa]> | uh can you please pastebin the code? I can't see the whole pictures here on this |
| 2022-08-15 09:25:09 +0200 | Guest54 | (~Guest54@111-252-213-188.dynamic-ip.hinet.net) |
| 2022-08-15 09:25:45 +0200 | <Inst> | https://pastebin.com/kPt8KPHr |
| 2022-08-15 09:26:21 +0200 | <Inst> | i suppose it might be your idea of shitcode, but it's exotic |
| 2022-08-15 09:26:39 +0200 | <Inst> | someone is literally trying to write java syntax in haskell for laughs, tbh |
| 2022-08-15 09:27:22 +0200 | <Inst> | so mutual recursion is bad, huh? |
| 2022-08-15 09:27:53 +0200 | <[exa]> | yeah java is strong in that one |
| 2022-08-15 09:28:22 +0200 | <[exa]> | mutual recursion isn't bad but you need to take a bit of care sometimes (it's very easy to create a strictness problem with it) |
| 2022-08-15 09:28:26 +0200 | <Inst> | i'm just experimenting with various syntactical styles, tbh |
| 2022-08-15 09:28:43 +0200 | <Inst> | i was talking about someone else |
| 2022-08-15 09:28:45 +0200 | <Inst> | regarding java |
| 2022-08-15 09:28:58 +0200 | <Inst> | they got dot syntax to work properly, probably by offloading stuff to modules |
| 2022-08-15 09:30:03 +0200 | <Inst> | wait, you talked about your students coding badly, exa, no? |
| 2022-08-15 09:30:12 +0200 | <Inst> | did anyone actually try implementing fakejava in haskell as a style? |
| 2022-08-15 09:30:34 +0200 | <[exa]> | the probability that no one did that yet is negligible, yeah |
| 2022-08-15 09:31:00 +0200 | jmorris | (uid537181@id-537181.uxbridge.irccloud.com) |
| 2022-08-15 09:31:26 +0200 | <[exa]> | to your code, I'd suggest 2 things, 1] you have a few repeated parts there that might actually be re-evaluated on all occurences, I'd just make a `let` in the front of the big function and put all repeated stuff there |
| 2022-08-15 09:31:38 +0200 | <[exa]> | (spoiler: let prevents re-evaluation) |
| 2022-08-15 09:33:28 +0200 | <[exa]> | 2] you're appending to the end of a vector there, are you popping stuff from the front of it also? Might be a nice case for a lazy queue (which I'd guess could be much faster here, esp. if the vector is usually big) |
| 2022-08-15 09:33:38 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-15 09:35:32 +0200 | chele | (~chele@user/chele) |
| 2022-08-15 09:35:34 +0200 | alp_ | (~alp@user/alp) |
| 2022-08-15 09:39:19 +0200 | <Inst> | not really familiar with lazy queues, and also, the biggest problem is memory usage |
| 2022-08-15 09:41:04 +0200 | <[exa]> | I'm not sure about the algorithm there but that might be the property of minimax in this case, tbh |
| 2022-08-15 09:42:53 +0200 | Hash | (~Hash@tunnel686959-pt.tunnel.tserv15.lax1.ipv6.he.net) (Quit: ZNC - https://znc.in) |
| 2022-08-15 09:42:56 +0200 | <[exa]> | technically, try unboxing as much data as possible (also, I'd go for your own constructor for the "vector of <5 cards", simply data SomeCards = NoCards | OneCard ... | TwoCards ..., with all fields strict (will behave much better than an uninformed vector) |
| 2022-08-15 09:42:57 +0200 | <Inst> | right now i'm just trying to do monadic bind without using a monadic bind, i know vectors have monad instances |
| 2022-08-15 09:43:42 +0200 | <Inst> | so wait, you'd suggest i build the array in data declarations instead of using vectors? |
| 2022-08-15 09:43:52 +0200 | <Inst> | the objective of this is to build a blackjack solver |
| 2022-08-15 09:43:57 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-08-15 09:44:10 +0200 | <Inst> | i'm having trouble with the math because i know i can reduce the calculations needed on the target |
| 2022-08-15 09:44:28 +0200 | <Inst> | erm, on the dealer hands, by simply limiting dealer hands to individual hands |
| 2022-08-15 09:44:45 +0200 | <Inst> | then multiplying the result by the number of occurrences, but the difficulty is guessing the number |
| 2022-08-15 09:44:57 +0200 | jgeerds | (~jgeerds@55d46bad.access.ecotel.net) |
| 2022-08-15 09:45:18 +0200 | Guest54 | (~Guest54@111-252-213-188.dynamic-ip.hinet.net) (Quit: Client closed) |
| 2022-08-15 09:46:00 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-08-15 09:46:54 +0200 | mastarija | (~mastarija@2a05:4f46:e03:6000:7473:b8cc:a367:259) |
| 2022-08-15 09:46:54 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-15 09:47:54 +0200 | <[exa]> | uh, blackjack is a single-player game right? (we don't count the dealer) |
| 2022-08-15 09:48:50 +0200 | <[exa]> | minimax might not be the optimal choice imo; you might have much better luck by just doing this statistically with probabilities |
| 2022-08-15 09:49:18 +0200 | <[exa]> | ah no that's another kind of blackjack |
| 2022-08-15 09:50:03 +0200 | benin0 | (~benin@183.82.206.125) |
| 2022-08-15 09:50:16 +0200 | <Inst> | solitaire, but for all intents and purposes this is single-player |
| 2022-08-15 09:50:56 +0200 | <Inst> | also, btw, you might be interested, but there's some guy who wants to build a FP-only bootcamp |
| 2022-08-15 09:51:02 +0200 | <Inst> | and is a Haskeller |
| 2022-08-15 09:51:12 +0200 | <Inst> | I could get you in touch with him if you have interests, but I told him, where's da money? |
| 2022-08-15 09:51:27 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 256 seconds) |
| 2022-08-15 09:51:37 +0200 | <[exa]> | I'd love to have time for that :] |
| 2022-08-15 09:52:47 +0200 | <[exa]> | anyway if it's single-player blackjack you're probably better off avoiding minimax completely, just go probabilities |
| 2022-08-15 09:54:58 +0200 | <Inst> | i mean singleplayer with dealer |
| 2022-08-15 09:55:02 +0200 | <Inst> | and dealer has deterministic behavior |
| 2022-08-15 09:55:09 +0200 | <Inst> | "hit until card value is over 16" |
| 2022-08-15 09:57:22 +0200 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 2022-08-15 09:58:50 +0200 | justache | (~justache@user/justache) |
| 2022-08-15 10:00:39 +0200 | jonathanx | (~jonathan@h-178-174-176-109.a357.priv.bahnhof.se) |
| 2022-08-15 10:01:34 +0200 | perdent | (~perdent@124.188.233.11) (Quit: Client closed) |
| 2022-08-15 10:03:02 +0200 | chomwitt | (~chomwitt@2a02:587:dc15:5e00:1cf8:31f1:edb9:8492) |
| 2022-08-15 10:06:19 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-15 10:07:12 +0200 | vglfr | (~vglfr@145.224.94.75) (Ping timeout: 268 seconds) |
| 2022-08-15 10:07:57 +0200 | raym | (~raym@user/raym) (Quit: kernel update, rebooting...) |
| 2022-08-15 10:10:53 +0200 | raym | (~raym@user/raym) |
| 2022-08-15 10:17:18 +0200 | waldo | (~waldo@user/waldo) |
| 2022-08-15 10:18:46 +0200 | <Axman6> | jackdk: I thought they had already been crossed |
| 2022-08-15 10:19:42 +0200 | asm | (~alexander@burner.asm89.io) (Changing host) |
| 2022-08-15 10:19:42 +0200 | asm | (~alexander@user/asm) |
| 2022-08-15 10:24:40 +0200 | nilradical | (~nilradica@user/naso) () |
| 2022-08-15 10:25:21 +0200 | ccntrq | (~Thunderbi@172.209.94.92.rev.sfr.net) |
| 2022-08-15 10:26:42 +0200 | coot | (~coot@213.134.176.158) |
| 2022-08-15 10:30:56 +0200 | Midjak | (~Midjak@82.66.147.146) |
| 2022-08-15 10:31:02 +0200 | kimjetwav | (~user@2607:fea8:235e:b600:63f1:7c00:91d0:abf) |
| 2022-08-15 10:41:50 +0200 | Hash | (~Hash@tunnel686959-pt.tunnel.tserv15.lax1.ipv6.he.net) |
| 2022-08-15 10:44:56 +0200 | vysn | (~vysn@user/vysn) |
| 2022-08-15 10:45:59 +0200 | adanwan_ | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-08-15 10:46:25 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-08-15 10:49:41 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2022-08-15 10:52:25 +0200 | mbuf | (~Shakthi@122.165.55.71) |
| 2022-08-15 10:54:35 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2022-08-15 10:56:37 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-08-15 10:56:43 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-08-15 10:58:08 +0200 | coot | (~coot@213.134.176.158) (Quit: coot) |
| 2022-08-15 11:01:23 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 248 seconds) |
| 2022-08-15 11:03:11 +0200 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) (Quit: Konversation terminated!) |
| 2022-08-15 11:07:36 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-08-15 11:08:45 +0200 | waldo | (~waldo@user/waldo) (Quit: quit) |
| 2022-08-15 11:15:25 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-15 11:20:45 +0200 | luffy | (~chenqisu1@183.217.201.23) |
| 2022-08-15 11:23:41 +0200 | talismanick | (~talismani@2601:200:c100:3850::dd64) (Ping timeout: 244 seconds) |
| 2022-08-15 11:24:01 +0200 | gensyst | (gensyst@user/gensyst) |
| 2022-08-15 11:25:15 +0200 | <gensyst> | I already have a complicatedFunc :: Int -> IO (), but I'd love to also make a complicatedFunc' :: String -> IO () which is almost exactly the same, except slightly different logic if it's a String instead of Int. |
| 2022-08-15 11:25:18 +0200 | <gensyst> | How to best proceed? |
| 2022-08-15 11:25:48 +0200 | <gensyst> | Actually, let me word this differently. |
| 2022-08-15 11:26:41 +0200 | <gensyst> | I already have a complicatedFunc :: Int -> Params Foo -> IO (), but I'd love to also make a complicatedFunc' :: String -> Params Bar -> IO () which is almost exactly the same, except slightly different logic if it's a String (and Parmas Bar) instead of Int (and Params Foo). How to best proceed? |
| 2022-08-15 11:26:59 +0200 | <dminuoso> | gensyst: Cant say without more details. |
| 2022-08-15 11:27:13 +0200 | <dminuoso> | Depending on some factor you might want to carve out some common implementation for both functions. |
| 2022-08-15 11:28:51 +0200 | <dminuoso> | But there may also be reasons not to. For instance, if you had to alter the former function in what you currently conceive as "common between them", would you want the latter function to contain that change as well? |
| 2022-08-15 11:31:38 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-08-15 11:31:51 +0200 | <gensyst> | dminuoso, the main problem at hand, i think, is that one parameter's type can't really be "dependent" on another parameter's type - and the logic different for all such combinations |
| 2022-08-15 11:32:00 +0200 | <gensyst> | is this something template haskell is for? |
| 2022-08-15 11:33:40 +0200 | <ski> | how much is common, and what is the nature of this commonality ? |
| 2022-08-15 11:34:35 +0200 | <ski> | (not sure whay you're mentioning type dependency, or what you mean by that) |
| 2022-08-15 11:36:35 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 248 seconds) |
| 2022-08-15 11:39:06 +0200 | Pickchea | (~private@user/pickchea) (Ping timeout: 256 seconds) |
| 2022-08-15 11:40:19 +0200 | <tomsmeding> | gensyst: can you write `complicatedFunc2 :: Either String Int -> Params Foo -> IO ()` in a nice way? |
| 2022-08-15 11:40:54 +0200 | <tomsmeding> | if that makes sense, my suggestion would be to write that, and provide the original two functions as (trivila) wrappers |
| 2022-08-15 11:40:56 +0200 | <tomsmeding> | *trivial |
| 2022-08-15 11:41:21 +0200 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2022-08-15 11:41:23 +0200 | <ski> | or perhaps factoring via some other common "config" types |
| 2022-08-15 11:41:46 +0200 | <tomsmeding> | yeah, once you have only one function, it's easier to start thinking about reorganising parameters |
| 2022-08-15 11:41:53 +0200 | <tomsmeding> | or perhaps even a type class |
| 2022-08-15 11:42:06 +0200 | <tomsmeding> | but whether that's worth it depends on the function and commonalities in question |
| 2022-08-15 11:43:22 +0200 | <Cale> | Yeah, I'd start by just writing down both versions and then seeing what you can factor out |
| 2022-08-15 11:43:38 +0200 | <Cale> | and then maybe that'll be suggestive of a type class |
| 2022-08-15 11:44:08 +0200 | ski | hasn't seen anything yet suggesting typeclasses |
| 2022-08-15 11:44:54 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-15 11:45:28 +0200 | <Cale> | Well, the fact that we have two functions that are somehow meant to be "the same" except operating on different types is somewhat suggestive that a type class might be appropriate. |
| 2022-08-15 11:45:39 +0200 | <tomsmeding> | emphasis on "somewhat" and "might" |
| 2022-08-15 11:45:59 +0200 | <Cale> | But yeah, if it's just two functions, just write the two functions :P |
| 2022-08-15 11:46:19 +0200 | <ski> | the `Params' business is also a bit fuzzy .. is this supposed to be a GADT (or type family, or associated type) ? |
| 2022-08-15 11:47:14 +0200 | <ski> | (now i'm wondering how people pronounce "GADT") |
| 2022-08-15 11:47:14 +0200 | [Leary] | (~Leary]@122-58-224-198-vdsl.sparkbb.co.nz) |
| 2022-08-15 11:47:33 +0200 | <Cale> | "gaddit" |
| 2022-08-15 11:47:40 +0200 | <dminuoso> | Factoring out code shouldn't be a goal on its own, though. |
| 2022-08-15 11:48:36 +0200 | <dminuoso> | I find that duplication is not something one should be afraid of. Factoring out should only make sense if its a semantic abstraction. |
| 2022-08-15 11:49:30 +0200 | <Cale> | There are cases where it would definitely be worse not to -- if you expect to write the same bugs twice, or if it would be wrong for someone to change one version of the function without changing the other, figuring out how to factor it apart is probably a good plan. |
| 2022-08-15 11:49:34 +0200 | <int-e> | . o O ( debug, *then* duplicate ) |
| 2022-08-15 11:50:19 +0200 | <int-e> | because the one thing that really sucks about having duplicated code is fixing the same bug in half a dozen different places. |
| 2022-08-15 11:51:00 +0200 | acidjnk | (~acidjnk@p200300d6e7137a1040029d0042753765.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2022-08-15 11:52:02 +0200 | justache | (~justache@user/justache) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-08-15 11:52:22 +0200 | <ski> | only denormalize after debugging ? |
| 2022-08-15 11:52:33 +0200 | justache | (~justache@user/justache) |
| 2022-08-15 11:53:01 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-08-15 11:53:37 +0200 | vglfr | (~vglfr@145.224.94.75) |
| 2022-08-15 11:59:24 +0200 | lbseale | (~quassel@user/ep1ctetus) (Ping timeout: 268 seconds) |
| 2022-08-15 12:05:24 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-08-15 12:06:22 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-08-15 12:08:13 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-15 12:12:26 +0200 | lbseale | (~quassel@user/ep1ctetus) |
| 2022-08-15 12:12:32 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2022-08-15 12:16:47 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.6) |
| 2022-08-15 12:17:01 +0200 | <gensyst> | Those are some good ideas |
| 2022-08-15 12:17:11 +0200 | <gensyst> | I'll just duplicate it at first and then find common things |
| 2022-08-15 12:17:12 +0200 | <gensyst> | thanks |
| 2022-08-15 12:17:24 +0200 | <gensyst> | tomsmeding, that Either won't work because Params Foo changes to Params Bar |
| 2022-08-15 12:17:39 +0200 | ddellaco1 | (~ddellacos@89.45.90.92) (Ping timeout: 252 seconds) |
| 2022-08-15 12:17:43 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2022-08-15 12:19:21 +0200 | <tomsmeding> | gensyst: something like that can still be done using type classes, perhaps, depending on the function -- but yeah, once you have the functions written, come back and people can have a second look :p |
| 2022-08-15 12:19:37 +0200 | justache | (~justache@user/justache) (Remote host closed the connection) |
| 2022-08-15 12:19:53 +0200 | ddellaco1 | (~ddellacos@89.45.90.10) |
| 2022-08-15 12:20:42 +0200 | justache | (~justache@user/justache) |
| 2022-08-15 12:21:47 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-08-15 12:27:52 +0200 | justache | (~justache@user/justache) (Remote host closed the connection) |
| 2022-08-15 12:28:17 +0200 | justache | (~justache@user/justache) |
| 2022-08-15 12:29:07 +0200 | justache | (~justache@user/justache) (Remote host closed the connection) |
| 2022-08-15 12:29:32 +0200 | justache | (~justache@user/justache) |
| 2022-08-15 12:29:37 +0200 | xff0x_ | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 268 seconds) |
| 2022-08-15 12:32:43 +0200 | <ski> | gensyst : so `Params Bar' is a common format ? |
| 2022-08-15 12:35:20 +0200 | <tdammers> | it's not duplicate code that's the enemy, it's duplicate expressions of the same factoid |
| 2022-08-15 12:36:42 +0200 | justache | (~justache@user/justache) (Remote host closed the connection) |
| 2022-08-15 12:37:17 +0200 | justache | (~justache@user/justache) |
| 2022-08-15 12:37:29 +0200 | <dminuoso> | No worries, I have dedup-mode on emacs. Whenever there's two identical pieces of code, the editor just elides the visual representation - and edits them in parallel. Best of both worlds! |
| 2022-08-15 12:39:52 +0200 | shriekingnoise | (~shrieking@186.137.167.202) (Quit: Quit) |
| 2022-08-15 12:40:03 +0200 | ph88 | (~ph88@ip5f5af71f.dynamic.kabel-deutschland.de) |
| 2022-08-15 12:40:49 +0200 | <ski> | tdammers : is that a factoid ? |
| 2022-08-15 12:41:35 +0200 | <ski> | dminuoso : must be useful, when you want to change the value of `2' |
| 2022-08-15 12:42:35 +0200 | justache | (~justache@user/justache) (Remote host closed the connection) |
| 2022-08-15 12:43:37 +0200 | justache | (~justache@user/justache) |
| 2022-08-15 12:47:02 +0200 | <gensyst> | Sigh, it turns out I might just be able to solve this with a ... new type. As so often lol. |
| 2022-08-15 12:47:10 +0200 | <gensyst> | (I was thinking about going into templatehaskell lol) |
| 2022-08-15 12:48:49 +0200 | justache | (~justache@user/justache) (Remote host closed the connection) |
| 2022-08-15 12:49:22 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 256 seconds) |
| 2022-08-15 12:51:10 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-08-15 12:52:29 +0200 | ph88 | (~ph88@ip5f5af71f.dynamic.kabel-deutschland.de) (Quit: Leaving) |
| 2022-08-15 12:53:16 +0200 | tharmas | (~nikola@93-86-243-43.dynamic.isp.telekom.rs) |
| 2022-08-15 12:53:30 +0200 | ph88 | (~ph88@ip5f5af71f.dynamic.kabel-deutschland.de) |
| 2022-08-15 12:54:07 +0200 | vysn | (~vysn@user/vysn) (Ping timeout: 244 seconds) |
| 2022-08-15 12:54:32 +0200 | ph88 | (~ph88@ip5f5af71f.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2022-08-15 12:55:10 +0200 | ph88 | (~ph88@ip5f5af71f.dynamic.kabel-deutschland.de) |
| 2022-08-15 12:55:17 +0200 | <tomsmeding> | don't, unless the alternative is generating haskell code from python |
| 2022-08-15 12:56:00 +0200 | ph88 | (~ph88@ip5f5af71f.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2022-08-15 12:56:48 +0200 | ph88 | (~ph88@2a02:8109:9e00:71d0:aa15:b8d:af13:70cf) |
| 2022-08-15 12:59:35 +0200 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 2022-08-15 13:00:36 +0200 | jmorris | (uid537181@id-537181.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-08-15 13:00:43 +0200 | justache | (~justache@user/justache) |
| 2022-08-15 13:02:01 +0200 | ridcully | (~ridcully@pd951fa32.dip0.t-ipconnect.de) (Quit: WeeChat 3.6) |
| 2022-08-15 13:03:01 +0200 | justache | (~justache@user/justache) (Remote host closed the connection) |
| 2022-08-15 13:03:29 +0200 | justache | (~justache@user/justache) |
| 2022-08-15 13:03:30 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-15 13:04:36 +0200 | gensyst | (gensyst@user/gensyst) (Quit: Leaving) |
| 2022-08-15 13:06:57 +0200 | Pickchea | (~private@user/pickchea) (Ping timeout: 256 seconds) |
| 2022-08-15 13:12:21 +0200 | <dminuoso> | ski: I have a neat trick for that: font-lock-mode |
| 2022-08-15 13:12:34 +0200 | <dminuoso> | THat' |
| 2022-08-15 13:12:57 +0200 | <dminuoso> | That's some fine code obfuscation. "To edit this code, you will need my emacs config" |
| 2022-08-15 13:14:11 +0200 | <hpc> | fun fact: in the typewriter era this is what the scroll lock button used to do - you couldn't edit the code unless the paper was long enough |
| 2022-08-15 13:14:28 +0200 | kevorna | (~kevorna@81-228-153-137-no289.tbcn.telia.com) |
| 2022-08-15 13:14:47 +0200 | kevorna | (~kevorna@81-228-153-137-no289.tbcn.telia.com) (Client Quit) |
| 2022-08-15 13:15:13 +0200 | jgeerds | (~jgeerds@55d46bad.access.ecotel.net) (Ping timeout: 252 seconds) |
| 2022-08-15 13:15:15 +0200 | mastarija | (~mastarija@2a05:4f46:e03:6000:7473:b8cc:a367:259) (Ping timeout: 248 seconds) |
| 2022-08-15 13:15:26 +0200 | ddellaco1 | (~ddellacos@89.45.90.10) (Ping timeout: 256 seconds) |
| 2022-08-15 13:17:06 +0200 | ddellaco1 | (~ddellacos@89.45.90.40) |
| 2022-08-15 13:17:19 +0200 | <dminuoso> | hpc: Didn't scroll lock come from DOS times though? As far as memory serves, it was for "locking scrolling" such that mouse keys could either move the cursor up and down in text, or scroll the view up and down. Apparently Excel is one of the few pieces of software that still has this behavior |
| 2022-08-15 13:17:36 +0200 | <dminuoso> | Or is there some other typewriter connection Im not seeing? |
| 2022-08-15 13:18:34 +0200 | <hpc> | dminuoso: i did say it was a fun fact, and not a real fact :D |
| 2022-08-15 13:19:27 +0200 | <hpc> | although if you've ever pressed ^S and wondered why your terminal froze, that /is/ from the paper days |
| 2022-08-15 13:19:41 +0200 | <hpc> | it paused printing in case you did something silly like cat a huge file |
| 2022-08-15 13:20:05 +0200 | <hpc> | ^Q resumes printing |
| 2022-08-15 13:21:14 +0200 | justache | (~justache@user/justache) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-08-15 13:21:48 +0200 | justache | (~justache@user/justache) |
| 2022-08-15 13:22:50 +0200 | <tomsmeding> | luckily most terminals have that disabled nowadays |
| 2022-08-15 13:23:08 +0200 | <[exa]> | oh noes, that's the best terminal function ever |
| 2022-08-15 13:23:09 +0200 | <ski> | it might be useful if more programs supported such scroll locking |
| 2022-08-15 13:23:17 +0200 | <dminuoso> | tomsmeding: hah the more funny bit is not that you can invoke this by pressing keys, but that ansi escape sequences can cause this |
| 2022-08-15 13:23:32 +0200 | <[exa]> | why would anyone disable that? |
| 2022-08-15 13:23:43 +0200 | <dminuoso> | A while ago, I was running `tail` on a log, when suddenly my system froze up. After a few seeconds I had a stack of literally hundreds of printer dialogs |
| 2022-08-15 13:24:00 +0200 | <hpc> | haha, i love those weird characters |
| 2022-08-15 13:24:09 +0200 | <hpc> | i had one that moved my terminal almost offscreen |
| 2022-08-15 13:24:12 +0200 | xff0x_ | (~xff0x@2405:6580:b080:900:f183:2436:78f3:8665) |
| 2022-08-15 13:24:16 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-08-15 13:24:32 +0200 | <hpc> | then i put it in my bashrc so my terminal did a little dance every time i logged in :D |
| 2022-08-15 13:24:46 +0200 | Flonk | (~Flonk@vps-zap441517-1.zap-srv.com) (Quit: The Lounge - https://thelounge.chat) |
| 2022-08-15 13:25:09 +0200 | <dminuoso> | ASCII is one of the biggest abominations that still haunts our computers. |
| 2022-08-15 13:25:41 +0200 | <dminuoso> | The fact that we conflate terminal drawing, systems operations and text encoding into a big ball - and keep that big ball alive in Unicode as is - still amazses me. |
| 2022-08-15 13:27:30 +0200 | <tdammers> | I use ^S / ^Q a lot, it's great when monitoring live logging output. ^S pauses the logging, so you can scroll around, maybe copy some parts of the output, and then you press ^Q to resume the tailing |
| 2022-08-15 13:28:35 +0200 | tharmas | (~nikola@93-86-243-43.dynamic.isp.telekom.rs) (Quit: leaving) |
| 2022-08-15 13:32:50 +0200 | acidjnk | (~acidjnk@p200300d6e7137a1040029d0042753765.dip0.t-ipconnect.de) |
| 2022-08-15 13:34:54 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-08-15 13:36:12 +0200 | ridcully | (~ridcully@pd951fa32.dip0.t-ipconnect.de) |
| 2022-08-15 13:36:48 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.6) |
| 2022-08-15 13:48:12 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-08-15 13:48:19 +0200 | razetime | (~quassel@117.254.35.241) |
| 2022-08-15 13:52:03 +0200 | alp_ | (~alp@user/alp) (Ping timeout: 248 seconds) |
| 2022-08-15 13:53:07 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 248 seconds) |
| 2022-08-15 13:53:31 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 268 seconds) |
| 2022-08-15 13:54:06 +0200 | vglfr | (~vglfr@145.224.94.75) (Ping timeout: 268 seconds) |
| 2022-08-15 13:59:39 +0200 | raym | (~raym@user/raym) (Remote host closed the connection) |
| 2022-08-15 13:59:39 +0200 | ddellaco1 | (~ddellacos@89.45.90.40) (Ping timeout: 268 seconds) |
| 2022-08-15 14:01:21 +0200 | ddellaco1 | (~ddellacos@89.45.90.53) |
| 2022-08-15 14:02:31 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2022-08-15 14:04:46 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-08-15 14:08:30 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-15 14:08:34 +0200 | raym | (~raym@user/raym) |
| 2022-08-15 14:10:46 +0200 | causal | (~user@50.35.83.177) |
| 2022-08-15 14:14:33 +0200 | justache | (~justache@user/justache) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-08-15 14:15:11 +0200 | justache | (~justache@user/justache) |
| 2022-08-15 14:17:44 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-08-15 14:21:07 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-15 14:22:31 +0200 | vglfr | (~vglfr@145.224.94.75) |
| 2022-08-15 14:22:33 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 268 seconds) |
| 2022-08-15 14:23:03 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-08-15 14:25:10 +0200 | ph88 | (~ph88@2a02:8109:9e00:71d0:aa15:b8d:af13:70cf) (Remote host closed the connection) |
| 2022-08-15 14:25:29 +0200 | ph88 | (~ph88@ip5f5af71f.dynamic.kabel-deutschland.de) |
| 2022-08-15 14:25:37 +0200 | lbseale | (~quassel@user/ep1ctetus) (Ping timeout: 252 seconds) |
| 2022-08-15 14:25:50 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::a1ec) (Ping timeout: 255 seconds) |
| 2022-08-15 14:30:38 +0200 | lbseale | (~quassel@user/ep1ctetus) |
| 2022-08-15 14:33:01 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2022-08-15 14:34:17 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-08-15 14:34:53 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 268 seconds) |
| 2022-08-15 14:37:32 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-08-15 14:40:59 +0200 | luffy | (~chenqisu1@183.217.201.23) (Ping timeout: 268 seconds) |
| 2022-08-15 14:45:23 +0200 | <maerwald[m]> | dminuoso: unicode breaks my heart |
| 2022-08-15 14:45:55 +0200 | <int-e> | 💔 |
| 2022-08-15 14:46:52 +0200 | <maerwald[m]> | Dealing with encodings is like dating. ..you never know what to expect and a wrong assumption can break your code |
| 2022-08-15 14:47:08 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 268 seconds) |
| 2022-08-15 14:49:58 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-08-15 14:49:58 +0200 | cheater | (~Username@user/cheater) |
| 2022-08-15 14:51:09 +0200 | <dminuoso> | maerwald[m]: It's probably very frustrating and tough. I dont think unicode itself is problematic, but rather many naive assumptions about how unicode does work. |
| 2022-08-15 14:51:11 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-08-15 14:51:35 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-08-15 14:52:05 +0200 | <dminuoso> | And ASCII codepoints are probably just included to faciliate some compatibility in order to increase adoption |
| 2022-08-15 14:52:23 +0200 | <[exa]> | it could be useful to have the 21 compressed megabytes of reduction and transformation rules printed out in a really big book, so that we can smash people who say unicode is simple |
| 2022-08-15 14:53:11 +0200 | <dminuoso> | [exa]: Finding a single mechanism to deal with scripts of all languages is utterly complicated in itself. |
| 2022-08-15 14:53:16 +0200 | <[exa]> | you can't |
| 2022-08-15 14:53:42 +0200 | <dminuoso> | Language and scripts are just weird. :) |
| 2022-08-15 14:53:45 +0200 | <[exa]> | but still it's a nice effort |
| 2022-08-15 14:53:51 +0200 | <[exa]> | kinda works |
| 2022-08-15 14:53:57 +0200 | <[exa]> | let's be positive |
| 2022-08-15 14:54:00 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-08-15 14:54:41 +0200 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2022-08-15 14:55:02 +0200 | biberu | (~biberu@user/biberu) |
| 2022-08-15 14:55:56 +0200 | <[exa]> | (also looks like it's 35MB actually 😅) |
| 2022-08-15 14:57:03 +0200 | alp_ | (~alp@user/alp) |
| 2022-08-15 15:01:48 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-15 15:01:55 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-15 15:03:00 +0200 | dknite | (~dknite@49.37.45.100) (Read error: Connection reset by peer) |
| 2022-08-15 15:03:14 +0200 | dknite | (~dknite@65.20.68.77) |
| 2022-08-15 15:07:47 +0200 | dknite | (~dknite@65.20.68.77) (Ping timeout: 248 seconds) |
| 2022-08-15 15:08:40 +0200 | dknite | (~dknite@49.37.45.100) |
| 2022-08-15 15:10:51 +0200 | zer0bitz | (~zer0bitz@2001:2003:f748:2000:50af:1f1e:ef04:268c) |
| 2022-08-15 15:12:59 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-08-15 15:14:24 +0200 | lbseale | (~quassel@user/ep1ctetus) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-08-15 15:15:33 +0200 | lbseale | (~quassel@user/ep1ctetus) |
| 2022-08-15 15:16:44 +0200 | razetime | (~quassel@117.254.35.241) (Ping timeout: 268 seconds) |
| 2022-08-15 15:19:35 +0200 | ph88 | (~ph88@ip5f5af71f.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2022-08-15 15:20:48 +0200 | ph88 | (~ph88@ip5f5af71f.dynamic.kabel-deutschland.de) |
| 2022-08-15 15:24:38 +0200 | alp_ | (~alp@user/alp) (Ping timeout: 256 seconds) |
| 2022-08-15 15:27:15 +0200 | razetime | (~quassel@117.193.7.237) |
| 2022-08-15 15:28:48 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-08-15 15:29:01 +0200 | waldo | (~waldo@user/waldo) |
| 2022-08-15 15:29:35 +0200 | alp_ | (~alp@user/alp) |
| 2022-08-15 15:31:05 +0200 | zer0bitz | (~zer0bitz@2001:2003:f748:2000:50af:1f1e:ef04:268c) (Read error: Connection reset by peer) |
| 2022-08-15 15:32:51 +0200 | zer0bitz | (~zer0bitz@2001:2003:f748:2000:50af:1f1e:ef04:268c) |
| 2022-08-15 15:38:10 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-08-15 15:40:38 +0200 | <merijn> | Time to strap in and see how terribly everything breaks by getting 9.2 and 9.4 on my system :p |
| 2022-08-15 15:41:10 +0200 | <merijn> | 9.0 was kinda wonky compared to 9.2, right? |
| 2022-08-15 15:43:32 +0200 | <geekosaur[m]> | Only on M1s iirc |
| 2022-08-15 15:45:07 +0200 | cthaeh^ | (~cthaeh@12.20.44.4) |
| 2022-08-15 15:45:48 +0200 | <geekosaur[m]> | But if I were switching to 9.x I would go with 9.2.4 right now |
| 2022-08-15 15:46:39 +0200 | <geekosaur[m]> | 9.4.1 has enough issues that I'd wait for 9.4.2 |
| 2022-08-15 15:46:45 +0200 | <merijn> | geekosaur[m]: "latest -1" is always my GHC heuristic :p |
| 2022-08-15 15:47:26 +0200 | <geekosaur[m]> | (that's not at all confusing...) |
| 2022-08-15 15:57:11 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-08-15 15:57:29 +0200 | jgeerds | (~jgeerds@55d46bad.access.ecotel.net) |
| 2022-08-15 16:00:31 +0200 | sonny | (~sonny@142.188.218.92) |
| 2022-08-15 16:04:24 +0200 | cheater1__ | (~Username@user/cheater) |
| 2022-08-15 16:04:27 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2022-08-15 16:04:37 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 2022-08-15 16:04:38 +0200 | cheater1__ | cheater |
| 2022-08-15 16:10:01 +0200 | kmein | (~weechat@user/kmein) (Quit: ciao kakao) |
| 2022-08-15 16:10:30 +0200 | kmein | (~weechat@user/kmein) |
| 2022-08-15 16:11:12 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-12.elisa-laajakaista.fi) |
| 2022-08-15 16:14:57 +0200 | waldo | (~waldo@user/waldo) (Quit: quit) |
| 2022-08-15 16:16:03 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) (Ping timeout: 248 seconds) |
| 2022-08-15 16:16:32 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-08-15 16:18:21 +0200 | <romes[m]> | I was wondering… why is there no ghc 9.3? and we went from 9.2 to 9.4 |
| 2022-08-15 16:18:38 +0200 | <romes[m]> | and next release seems to be 9.6 (rather than 9.5) :) |
| 2022-08-15 16:18:48 +0200 | <geekosaur> | because ghc uses the same release numbering system the linux kernel used to |
| 2022-08-15 16:19:03 +0200 | <geekosaur> | odd numbered versions are development versions, even numbered are public releases |
| 2022-08-15 16:19:37 +0200 | <romes[m]> | that answers it, thanks |
| 2022-08-15 16:24:10 +0200 | sonny | (~sonny@142.188.218.92) (Quit: Client closed) |
| 2022-08-15 16:26:33 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-08-15 16:29:22 +0200 | malte | (~malte@mal.tc) (Remote host closed the connection) |
| 2022-08-15 16:30:06 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Quit: restart) |
| 2022-08-15 16:30:24 +0200 | malte | (~malte@mal.tc) |
| 2022-08-15 16:40:23 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) |
| 2022-08-15 16:44:32 +0200 | cthaeh^ | (~cthaeh@12.20.44.4) (Ping timeout: 256 seconds) |
| 2022-08-15 16:45:57 +0200 | cthaeh^ | (~cthaeh@12.20.44.4) |
| 2022-08-15 16:47:23 +0200 | cthaeh^ | (~cthaeh@12.20.44.4) (Remote host closed the connection) |
| 2022-08-15 16:49:46 +0200 | waldo | (~waldo@user/waldo) |
| 2022-08-15 16:50:00 +0200 | justache | (~justache@user/justache) (Remote host closed the connection) |
| 2022-08-15 16:50:14 +0200 | justache | (~justache@user/justache) |
| 2022-08-15 16:55:15 +0200 | mimmy | (~mimmy@153.92.40.237) |
| 2022-08-15 16:55:31 +0200 | acidjnk | (~acidjnk@p200300d6e7137a1040029d0042753765.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2022-08-15 16:56:48 +0200 | swamp_ | (~zmt00@user/zmt00) |
| 2022-08-15 16:57:17 +0200 | odnes | (~odnes@5-203-232-108.pat.nym.cosmote.net) |
| 2022-08-15 16:57:25 +0200 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2022-08-15 16:58:27 +0200 | odnes | (~odnes@5-203-232-108.pat.nym.cosmote.net) (Client Quit) |
| 2022-08-15 17:00:34 +0200 | zmt01 | (~zmt00@user/zmt00) (Ping timeout: 244 seconds) |
| 2022-08-15 17:02:52 +0200 | sonny | (~sonny@142.188.218.92) |
| 2022-08-15 17:06:33 +0200 | vysn | (~vysn@user/vysn) |
| 2022-08-15 17:07:28 +0200 | sonny | (~sonny@142.188.218.92) (Client Quit) |
| 2022-08-15 17:11:10 +0200 | razetime | (~quassel@117.193.7.237) (Ping timeout: 256 seconds) |
| 2022-08-15 17:12:32 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-15 17:15:13 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 268 seconds) |
| 2022-08-15 17:17:36 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2022-08-15 17:19:01 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-08-15 17:19:41 +0200 | mimmy | (~mimmy@153.92.40.237) (Ping timeout: 256 seconds) |
| 2022-08-15 17:22:21 +0200 | razetime | (~quassel@117.254.35.241) |
| 2022-08-15 17:24:31 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-08-15 17:29:23 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:27c9:df52:ce1b:900a) (Quit: WeeChat 2.8) |
| 2022-08-15 17:30:31 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Remote host closed the connection) |
| 2022-08-15 17:30:41 +0200 | mimmy | (~mimmy@153.92.40.199) |
| 2022-08-15 17:30:41 +0200 | mimmy | (~mimmy@153.92.40.199) (Client Quit) |
| 2022-08-15 17:33:46 +0200 | razetime | (~quassel@117.254.35.241) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-08-15 17:36:50 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2022-08-15 17:38:13 +0200 | waldo | (~waldo@user/waldo) (Quit: quit) |
| 2022-08-15 17:38:41 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-08-15 17:40:01 +0200 | Guest2346 | (~ircuser@gabilgathol.bandrate.org) (Changing host) |
| 2022-08-15 17:40:01 +0200 | Guest2346 | (~ircuser@sourcemage/mage/beowulf) |
| 2022-08-15 17:40:20 +0200 | Guest2346 | |beowulf| |
| 2022-08-15 17:40:51 +0200 | janus | (janus@anubis.0x90.dk) |
| 2022-08-15 17:41:14 +0200 | <janus> | i am having understanding this error message https://github.com/basvandijk/threads/issues/16 |
| 2022-08-15 17:42:05 +0200 | <janus> | when i look at the docs for ghc-prim 0.9, it seems like the definition of IO is `State# RealWorld -> (# State# RealWorld, a #)` |
| 2022-08-15 17:42:12 +0200 | <janus> | so why doesn't it unify here? |
| 2022-08-15 17:42:21 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 268 seconds) |
| 2022-08-15 17:44:51 +0200 | <geekosaur> | IO is a newtype |
| 2022-08-15 17:45:08 +0200 | <geekosaur> | newtype IO a = IO (State# ...) |
| 2022-08-15 17:46:51 +0200 | <janus> | oh |
| 2022-08-15 17:47:47 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 248 seconds) |
| 2022-08-15 17:49:43 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-08-15 17:51:34 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2022-08-15 17:54:48 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 256 seconds) |
| 2022-08-15 17:59:54 +0200 | Pickchea | (~private@user/pickchea) (Ping timeout: 256 seconds) |
| 2022-08-15 18:01:42 +0200 | <janus> | i wonder why it didn't need unwrapping previously. doesn't seem related to polykindedness |
| 2022-08-15 18:04:05 +0200 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 255 seconds) |
| 2022-08-15 18:04:11 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.6) |
| 2022-08-15 18:06:30 +0200 | Kaipei | (~Kaiepi@142.68.249.28) |
| 2022-08-15 18:08:11 +0200 | Kaiepi | (~Kaiepi@142.68.249.28) (Ping timeout: 252 seconds) |
| 2022-08-15 18:09:16 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-08-15 18:10:43 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 268 seconds) |
| 2022-08-15 18:11:04 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-08-15 18:11:15 +0200 | darkrebel | (~darkrebel@2a05:f6c6:1161:0:810a:1d7b:e62e:ce12) |
| 2022-08-15 18:11:31 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-08-15 18:16:06 +0200 | causal | (~user@50.35.83.177) (Quit: WeeChat 3.6) |
| 2022-08-15 18:17:51 +0200 | acidjnk | (~acidjnk@p200300d6e7137a99a06e01e0a95c9122.dip0.t-ipconnect.de) |
| 2022-08-15 18:19:50 +0200 | gmg | (~user@user/gehmehgeh) |
| 2022-08-15 18:20:49 +0200 | gdown | (~gavin@h69-11-149-231.kndrid.broadband.dynamic.tds.net) |
| 2022-08-15 18:20:55 +0200 | darkrebel | (~darkrebel@2a05:f6c6:1161:0:810a:1d7b:e62e:ce12) (Leaving) |
| 2022-08-15 18:22:21 +0200 | nilradical | (~nilradica@user/naso) () |
| 2022-08-15 18:27:28 +0200 | swamp_ | (~zmt00@user/zmt00) (Read error: Connection reset by peer) |
| 2022-08-15 18:28:45 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) (Remote host closed the connection) |
| 2022-08-15 18:28:58 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) |
| 2022-08-15 18:31:05 +0200 | chomwitt | (~chomwitt@2a02:587:dc15:5e00:1cf8:31f1:edb9:8492) (Ping timeout: 255 seconds) |
| 2022-08-15 18:31:24 +0200 | tomboy64 | (~tomboy64@user/tomboy64) |
| 2022-08-15 18:31:47 +0200 | mbuf | (~Shakthi@122.165.55.71) (Quit: Leaving) |
| 2022-08-15 18:32:30 +0200 | malte | (~malte@mal.tc) (Remote host closed the connection) |
| 2022-08-15 18:33:19 +0200 | tomboy64 | (~tomboy64@user/tomboy64) (Client Quit) |
| 2022-08-15 18:33:35 +0200 | malte | (~malte@mal.tc) |
| 2022-08-15 18:35:16 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-08-15 18:37:30 +0200 | BusConscious | (~martin@ip5f5acdbc.dynamic.kabel-deutschland.de) |
| 2022-08-15 18:39:46 +0200 | <BusConscious> | execve will indicate with errno if it failed because the file was not executable or because it didn |
| 2022-08-15 18:39:53 +0200 | <BusConscious> | 't exist |
| 2022-08-15 18:40:31 +0200 | <BusConscious> | I want to handle these cases seperately in haskell but executeFile just gives me a generic IO b type |
| 2022-08-15 18:41:07 +0200 | ddellaco1 | (~ddellacos@89.45.90.53) (Ping timeout: 248 seconds) |
| 2022-08-15 18:43:00 +0200 | zmt00 | (~zmt00@user/zmt00) |
| 2022-08-15 18:43:35 +0200 | zmt00 | (~zmt00@user/zmt00) (Read error: Connection reset by peer) |
| 2022-08-15 18:44:00 +0200 | Vajb | (~Vajb@2001:999:70c:2b99:3e15:6929:5bc6:c014) (Ping timeout: 268 seconds) |
| 2022-08-15 18:45:50 +0200 | Vajb | (~Vajb@2001:999:780:268:c891:8e5a:371f:cf49) |
| 2022-08-15 18:46:13 +0200 | zer0bitz | (~zer0bitz@2001:2003:f748:2000:50af:1f1e:ef04:268c) (Read error: Connection reset by peer) |
| 2022-08-15 18:47:53 +0200 | <BusConscious> | is getErrno a good bet? |
| 2022-08-15 18:48:10 +0200 | <BusConscious> | in Foreign.C.Error |
| 2022-08-15 18:48:14 +0200 | Major_Biscuit | (~MajorBisc@46-229-126.internethome.cytanet.com.cy) |
| 2022-08-15 18:50:45 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2022-08-15 18:51:00 +0200 | <geekosaur> | it'll throw an exception if it fails |
| 2022-08-15 18:51:44 +0200 | <geekosaur> | https://downloads.haskell.org/ghc/9.2.3/docs/html/libraries/base-4.16.2.0/Control-Exception.html#t… |
| 2022-08-15 18:51:57 +0200 | MajorBiscuit | (~MajorBisc@c-001-021-007.client.tudelft.eduvpn.nl) (Ping timeout: 268 seconds) |
| 2022-08-15 18:52:25 +0200 | <geekosaur> | and no, you have no guarantee by the time you regain control that C errno is still valid |
| 2022-08-15 18:53:00 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-08-15 18:54:27 +0200 | alp_ | (~alp@user/alp) (Ping timeout: 248 seconds) |
| 2022-08-15 18:55:51 +0200 | <geekosaur> | C overwrites errno whenever it feels like it. use the error encoded in the IOException instead |
| 2022-08-15 18:56:34 +0200 | <geekosaur> | (executeFile doesn't return if it's successful, so the only possible result is an exception) |
| 2022-08-15 18:57:12 +0200 | <BusConscious> | I should call ioe_type instead of ioe_errno on my IOException? |
| 2022-08-15 18:57:38 +0200 | <geekosaur> | ioe_errno sounds right |
| 2022-08-15 18:57:57 +0200 | <BusConscious> | just not getErrno |
| 2022-08-15 18:58:07 +0200 | <geekosaur> | but trying to get it yourself with getErrno could get you the errno from a subsequent I/O operation |
| 2022-08-15 18:58:29 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2022-08-15 18:58:29 +0200 | <geekosaur> | (same is true in C, you need to get errno immediately after the failing operation for it to be valid) |
| 2022-08-15 18:58:56 +0200 | <BusConscious> | I can see why you would not want to do it. Multithreading doesn |
| 2022-08-15 18:59:00 +0200 | shriekingnoise | (~shrieking@186.137.167.202) |
| 2022-08-15 18:59:24 +0200 | <BusConscious> | 't concern me, but in general errno does not seem to be good with that |
| 2022-08-15 18:59:45 +0200 | <geekosaur> | well, each thread does have its own errno. but those are POSIX threads and Haskell threading is either "green" (everything on one thread) or m:n (so it may be on a different thread by the time you check it) |
| 2022-08-15 19:00:19 +0200 | <geekosaur> | or the I/O manager may have run and checked for I/O that causes a different thread to be scheduled |
| 2022-08-15 19:00:25 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2022-08-15 19:00:42 +0200 | <geekosaur> | and, frankly, C's errno is terrible design from the 1970s |
| 2022-08-15 19:01:07 +0200 | gmg | (~user@user/gehmehgeh) |
| 2022-08-15 19:03:01 +0200 | <[exa]> | kinda thinking, what happens if you get interrupted by a signal between the call and checking errno? |
| 2022-08-15 19:04:20 +0200 | <geekosaur> | you're screwed 🙂 |
| 2022-08-15 19:04:28 +0200 | <[exa]> | yay \o/ |
| 2022-08-15 19:04:37 +0200 | <geekosaur> | but many syscalls and most library routines are unsafe in syscall handlers anyway |
| 2022-08-15 19:04:46 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-08-15 19:05:01 +0200 | <[exa]> | hm that's true |
| 2022-08-15 19:07:45 +0200 | <geekosaur> | also, you're on a separate stack so you won't be affected if the main one has incomplete frames (signal happened during function entry/exit), but that stack isn't very big and can easily be overrun |
| 2022-08-15 19:09:27 +0200 | <geekosaur> | so you need to be careful what you call, including syscalls that use a lot of stack like stat() or the varargs exec*() variants |
| 2022-08-15 19:10:54 +0200 | <geekosaur> | well, stat doesn';t use the stack directly but you need to make sure you use a reserved global for its return because allocating it on the stack will overrun it and you can't use malloc() because the arena might be in mid-update |
| 2022-08-15 19:11:11 +0200 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2022-08-15 19:11:14 +0200 | <geekosaur> | lots of nasty details you need to keep track of with signal handlers |
| 2022-08-15 19:12:03 +0200 | <geekosaur> | there's a reason merijn and I completely distrust how ghc's rts handles signals |
| 2022-08-15 19:14:11 +0200 | econo | (uid147250@user/econo) |
| 2022-08-15 19:15:54 +0200 | zmt00 | (~zmt00@user/zmt00) |
| 2022-08-15 19:16:42 +0200 | chomwitt | (~chomwitt@2a02:587:dc15:5e00:ece7:3fb3:7c32:eccf) |
| 2022-08-15 19:17:09 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-08-15 19:22:05 +0200 | biberu | (~biberu@user/biberu) |
| 2022-08-15 19:24:21 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) (Remote host closed the connection) |
| 2022-08-15 19:24:27 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-08-15 19:25:41 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::a1ec) |
| 2022-08-15 19:33:19 +0200 | waldo | (~waldo@user/waldo) |
| 2022-08-15 19:33:23 +0200 | vglfr | (~vglfr@145.224.94.75) (Ping timeout: 248 seconds) |
| 2022-08-15 19:33:41 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-15 19:37:13 +0200 | ddellacosta | (~ddellacos@89.45.224.131) |
| 2022-08-15 19:39:07 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-15 19:39:31 +0200 | zebrag | (~chris@user/zebrag) |
| 2022-08-15 19:42:10 +0200 | <BusConscious> | has there been any major changes in the exception system as of late? |
| 2022-08-15 19:42:24 +0200 | <BusConscious> | Module ‘Control.Exception’ does not export ‘IOErrorType(..)’ |
| 2022-08-15 19:42:24 +0200 | Vajb | (~Vajb@2001:999:780:268:c891:8e5a:371f:cf49) (Read error: Connection reset by peer) |
| 2022-08-15 19:42:37 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) |
| 2022-08-15 19:43:23 +0200 | <BusConscious> | ah |
| 2022-08-15 19:43:33 +0200 | <BusConscious> | nevermind GHC.IO.Exception does |
| 2022-08-15 19:45:03 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-15 19:45:51 +0200 | <geekosaur> | right |
| 2022-08-15 19:46:12 +0200 | <geekosaur> | Control.Exception only gets you the wrapper, you need GHC.IO.Exception to look inside of it |
| 2022-08-15 19:46:33 +0200 | benin0 | (~benin@183.82.206.125) (Quit: The Lounge - https://thelounge.chat) |
| 2022-08-15 19:46:38 +0200 | <geekosaur> | (this is "nonportable" but hasn't changed since extensible exceptions were added) |
| 2022-08-15 19:47:54 +0200 | alp_ | (~alp@user/alp) |
| 2022-08-15 19:50:27 +0200 | ddellacosta | (~ddellacos@89.45.224.131) (Ping timeout: 248 seconds) |
| 2022-08-15 19:50:32 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-15 19:50:49 +0200 | acidjnk | (~acidjnk@p200300d6e7137a99a06e01e0a95c9122.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2022-08-15 19:51:50 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-08-15 19:53:09 +0200 | mikoto-chan | (~mikoto-ch@164.5.249.78) |
| 2022-08-15 19:54:14 +0200 | acidjnk | (~acidjnk@p200300d6e7137a99b93ef1c596330c2d.dip0.t-ipconnect.de) |
| 2022-08-15 19:54:20 +0200 | Vajb | (~Vajb@2001:999:780:268:c891:8e5a:371f:cf49) |
| 2022-08-15 19:54:38 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-15 19:55:51 +0200 | talismanick | (~talismani@campus-009-007.ucdavis.edu) |
| 2022-08-15 19:57:24 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 268 seconds) |
| 2022-08-15 19:57:57 +0200 | zmt00 | (~zmt00@user/zmt00) (Read error: Connection reset by peer) |
| 2022-08-15 20:01:04 +0200 | zmt00 | (~zmt00@user/zmt00) |
| 2022-08-15 20:05:53 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-08-15 20:05:59 +0200 | son0p | (~ff@181.136.122.143) (Ping timeout: 268 seconds) |
| 2022-08-15 20:07:29 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-08-15 20:10:53 +0200 | mastarija | (~mastarija@2a05:4f46:e03:6000:23d:cabf:b39d:39b0) |
| 2022-08-15 20:11:10 +0200 | son0p | (~ff@181.136.122.143) |
| 2022-08-15 20:11:20 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2022-08-15 20:13:25 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2022-08-15 20:13:58 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds) |
| 2022-08-15 20:16:11 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2022-08-15 20:16:47 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-08-15 20:21:03 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Remote host closed the connection) |
| 2022-08-15 20:22:57 +0200 | ddb1 | ddb |
| 2022-08-15 20:23:38 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-15 20:24:11 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2022-08-15 20:32:14 +0200 | kenran | (~kenran@200116b82ba74200d404ef2b4b789ed8.dip.versatel-1u1.de) |
| 2022-08-15 20:34:48 +0200 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) |
| 2022-08-15 20:39:09 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-15 20:41:29 +0200 | chexum_ | (~quassel@gateway/tor-sasl/chexum) |
| 2022-08-15 20:43:02 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 268 seconds) |
| 2022-08-15 20:47:09 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-08-15 20:47:58 +0200 | vglfr | (~vglfr@145.224.94.75) |
| 2022-08-15 20:49:39 +0200 | talismanick | (~talismani@campus-009-007.ucdavis.edu) (Ping timeout: 248 seconds) |
| 2022-08-15 20:50:02 +0200 | tomboy64 | (~tomboy64@user/tomboy64) |
| 2022-08-15 20:50:07 +0200 | <qrpnxz> | how can i have multiple patterns on a case have the same RHS? |
| 2022-08-15 20:50:07 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2022-08-15 20:50:46 +0200 | <tomsmeding> | that's usually called "or patterns", and GHC doesn't support those |
| 2022-08-15 20:50:57 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-08-15 20:51:41 +0200 | <qrpnxz> | wow, terrible. Thanks. |
| 2022-08-15 20:52:08 +0200 | pavonia | (~user@user/siracusa) |
| 2022-08-15 20:52:16 +0200 | <tomsmeding> | qrpnxz: to be fair, it's hard to define what or patterns should do in the presence of GADTs |
| 2022-08-15 20:52:20 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-08-15 20:52:26 +0200 | <Rembane_> | Is that one of those that GHC had support for and that was removed? |
| 2022-08-15 20:52:28 +0200 | <tomsmeding> | but for normal ADTs it could work -- it just isn't supported |
| 2022-08-15 20:52:42 +0200 | <tomsmeding> | Rembane_: I don't think so? Perhaps you're thinking of n+k patterns? |
| 2022-08-15 20:52:56 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-08-15 20:53:40 +0200 | <dolio> | It's not particularly trivial even for normal ADTs. |
| 2022-08-15 20:54:21 +0200 | <tomsmeding> | dolio: you do have to get the type checking rules right for variable names that occur in multiple disjuncts, but it doesn't feel very complicated to me |
| 2022-08-15 20:54:37 +0200 | <Rembane_> | tomsmeding: Yup, those are the ones! |
| 2022-08-15 20:54:55 +0200 | <dolio> | So, you'd allow having different variables bound in different disjuncts? |
| 2022-08-15 20:55:24 +0200 | <tomsmeding> | dolio: um... okay fair, no that makes no sense |
| 2022-08-15 20:55:39 +0200 | <tomsmeding> | so every disjunct should bind the same set of variables, and with the same types |
| 2022-08-15 20:55:48 +0200 | <tomsmeding> | in plain Hindley-Milner that'll typecheck fine |
| 2022-08-15 20:59:08 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-08-15 20:59:21 +0200 | kenran | (~kenran@200116b82ba74200d404ef2b4b789ed8.dip.versatel-1u1.de) (Quit: WeeChat info:version) |
| 2022-08-15 21:05:12 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-15 21:05:19 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-15 21:07:34 +0200 | chexum_ | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-08-15 21:07:50 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-08-15 21:08:57 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-08-15 21:09:55 +0200 | alp_ | (~alp@user/alp) (Ping timeout: 248 seconds) |
| 2022-08-15 21:10:27 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-08-15 21:15:16 +0200 | jmd_ | (~jmdaemon@user/jmdaemon) |
| 2022-08-15 21:15:39 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-08-15 21:16:16 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-08-15 21:16:17 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 252 seconds) |
| 2022-08-15 21:18:22 +0200 | <ski> | dolio : not necessarily. you could locally bind some variable in one disjunct, and use it in a view pattern, e.g. .. but only the ones that were bound in all would be bound by the disjunctive pattern |
| 2022-08-15 21:18:58 +0200 | <ski> | (one could also introduce explicit existential patterns for locally scoping such variables, rather than relying on implicitly scoping them like that ..) |
| 2022-08-15 21:19:10 +0200 | <dolio> | This is not sounding completely trivial. |
| 2022-08-15 21:19:29 +0200 | <ski> | just take intersection, and make sure types unify |
| 2022-08-15 21:22:21 +0200 | <ski> | (btw, note that in Erlang, you can do the equivalent of a declaration `if ... then {x = ...; y = ...} else {(x,y,_) = ...}' (and ditto for `case') .. this comes from Prolog heritage, `( ... -> foo(X),bar(Y) ; baz(t(X,Y,_)) )' -- variables that are bound in all branches will be available afterwards) |
| 2022-08-15 21:23:21 +0200 | waldo | (~waldo@user/waldo) (Quit: quit) |
| 2022-08-15 21:26:38 +0200 | kilolympus | (~kilolympu@90.206.106.191) (Ping timeout: 244 seconds) |
| 2022-08-15 21:26:46 +0200 | alphabeta | (~kilolympu@90.206.106.191) |
| 2022-08-15 21:27:11 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-08-15 21:27:59 +0200 | jmd_ | (~jmdaemon@user/jmdaemon) (Ping timeout: 268 seconds) |
| 2022-08-15 21:29:38 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-08-15 21:32:24 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-08-15 21:32:51 +0200 | alphabeta | (~kilolympu@90.206.106.191) (Ping timeout: 248 seconds) |
| 2022-08-15 21:36:44 +0200 | kilolympus | (~kilolympu@90.206.106.191) |
| 2022-08-15 21:40:24 +0200 | jero98772 | (~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff) |
| 2022-08-15 21:40:25 +0200 | gustik | (~gustik@2a01:c844:2457:2220:475d:34f:d571:996f) |
| 2022-08-15 21:52:15 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-08-15 21:52:57 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-08-15 21:53:14 +0200 | jmd_ | (~jmdaemon@user/jmdaemon) |
| 2022-08-15 21:53:22 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 256 seconds) |
| 2022-08-15 21:53:58 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-08-15 21:59:02 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 256 seconds) |
| 2022-08-15 21:59:53 +0200 | <tomsmeding> | one other, very important, issue with or patterns in haskell is syntax: | is already taken :p |
| 2022-08-15 22:05:40 +0200 | ddellacosta | (~ddellacos@89.45.224.112) |
| 2022-08-15 22:05:50 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2022-08-15 22:08:15 +0200 | <BusConscious> | you could say that an empty body after -> in one case clause defaults to the next one like in imperative switch case |
| 2022-08-15 22:09:07 +0200 | Pickchea | (~private@user/pickchea) (Ping timeout: 248 seconds) |
| 2022-08-15 22:11:39 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2022-08-15 22:11:59 +0200 | <ski> | i'd rather be able to share parts of the bodies of branches with each other |
| 2022-08-15 22:12:39 +0200 | stef204 | (~stef204@user/stef204) |
| 2022-08-15 22:15:04 +0200 | king_gs | (~Thunderbi@187.201.216.244) |
| 2022-08-15 22:24:23 +0200 | mastarija | (~mastarija@2a05:4f46:e03:6000:23d:cabf:b39d:39b0) (Quit: WeeChat 3.5) |
| 2022-08-15 22:28:46 +0200 | <monochrom> | We need a diagrammatic programming language that enables directed control flow graphs. |
| 2022-08-15 22:28:54 +0200 | <monochrom> | Either that, or goto. >:) |
| 2022-08-15 22:31:01 +0200 | <[exa]> | we've recently played with "local" tail calls that preserve bits of the scope, it looked both pretty efficient and covering most of the graph-jumpy cases |
| 2022-08-15 22:33:07 +0200 | <ski> | "The anatomy of a loop: a story of scope and control" by Olin Shivers in 2005-09 at <https://www.ccs.neu.edu/home/shivers/citations.html#loop> might be related to that |
| 2022-08-15 22:34:40 +0200 | kilolympus | (~kilolympu@90.206.106.191) (Quit: See you later! :)) |
| 2022-08-15 22:34:53 +0200 | <[exa]> | o nice |
| 2022-08-15 22:35:02 +0200 | kilolympus | (~kilolympu@90.206.106.191) |
| 2022-08-15 22:40:36 +0200 | <BusConscious> | Some time ago I saw a blog post, in which someone made haskell programs, that looked and worked like BASIC programs |
| 2022-08-15 22:41:04 +0200 | <BusConscious> | but I can't find it rn |
| 2022-08-15 22:41:09 +0200 | <geekosaur> | there's several of them |
| 2022-08-15 22:41:17 +0200 | <ski> | ("foof-loop: A Simple, Extensible Scheme Looping Facility" by Riastradh at <https://mumble.net/~campbell/scheme/foof-loop.txt>,<https://mumble.net/~campbell/scheme/foof-loop.scm> was inspired by that, although doesn't exactly have the same notion of scope. it's intended to be a *compositional* (mini-)language for expressing loop clauses. do/2 in ECLiPSe |
| 2022-08-15 22:41:22 +0200 | <ski> | <http://eclipseclp.org/doc/tutorial/tutorial025.html>,<http://www.eclipseclp.org/doc/userman/umsroot023.html>,<http://www.eclipseclp.org/doc/bips/kernel/control/do-2.html> is a somewhat similar language. foof made a similar "loopy-loop" <http://wiki.call-cc.org/eggref/4/loopy-loop> one. his post "Yow! LOOP macros are LOOPY!" <https://groups.google.com/g/comp.lang.scheme/c/DLkZdLw1qGw> has some more info, and |
| 2022-08-15 22:41:28 +0200 | <ski> | references to other comparable notions (e.g. list comprehensions)) |
| 2022-08-15 22:41:58 +0200 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2022-08-15 22:42:12 +0200 | <[exa]> | BusConscious: there's probably a acme-basic package for that now. :D |
| 2022-08-15 22:42:19 +0200 | <[exa]> | but yeah I saw it too |
| 2022-08-15 22:42:41 +0200 | <ski> | BusConscious : <http://augustss.blogspot.com/search/label/BASIC> ? |
| 2022-08-15 22:42:48 +0200 | <[exa]> | ski: tbh really nice note there for "scopes are everything" |
| 2022-08-15 22:46:00 +0200 | <[exa]> | (I've been working with some jumpy construct transformations basically as with a pointfree tail recursion, and lo, that's it-- scopes again :D ) |
| 2022-08-15 22:46:17 +0200 | `2jt | (~jtomas@56.red-88-17-82.dynamicip.rima-tde.net) |
| 2022-08-15 22:46:29 +0200 | <ski> | elaborate ? |
| 2022-08-15 22:47:16 +0200 | ccntrq | (~Thunderbi@172.209.94.92.rev.sfr.net) (Remote host closed the connection) |
| 2022-08-15 22:49:11 +0200 | geekosaur | just searched his logs, someone posted here a blog that had a BASIC-in-Haskell that was less featureful and more symbol-y than augustss's |
| 2022-08-15 22:49:15 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-08-15 22:49:36 +0200 | <geekosaur> | 10$ ... and such |
| 2022-08-15 22:50:01 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2022-08-15 22:51:18 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-08-15 22:52:02 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-08-15 22:53:09 +0200 | cosimone | (~user@93-44-186-171.ip98.fastwebnet.it) (Read error: Connection reset by peer) |
| 2022-08-15 22:53:43 +0200 | phma | (phma@2001:5b0:211c:4d8:11d:2b38:21ca:1643) (Read error: Connection reset by peer) |
| 2022-08-15 22:53:54 +0200 | alp_ | (~alp@user/alp) |
| 2022-08-15 22:54:21 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-08-15 22:55:01 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-08-15 23:00:02 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-08-15 23:00:12 +0200 | phma | (phma@2001:0:c38c:c38c:2439:232:bcd3:2f91) |
| 2022-08-15 23:00:25 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-08-15 23:02:40 +0200 | <[exa]> | ski: not much to elaborate actually, it was for transforming various array-processing code into something that looks regular. The transformation from jumps to loops was surprisingly similar to what people do to get pointfree functions from pointy ones, except the basic set of "tricks" for the transformation was different |
| 2022-08-15 23:05:08 +0200 | phma | (phma@2001:0:c38c:c38c:2439:232:bcd3:2f91) (Ping timeout: 255 seconds) |
| 2022-08-15 23:05:11 +0200 | <ski> | hm, so going from a graph of basic blocks to loops ? |
| 2022-08-15 23:05:12 +0200 | phma_ | (~phma@host-67-44-208-110.hnremote.net) |
| 2022-08-15 23:05:31 +0200 | <ski> | (what kind of loops ?) |
| 2022-08-15 23:06:29 +0200 | <[exa]> | yeah, basic blocks to something that resembles organized loops |
| 2022-08-15 23:07:05 +0200 | <[exa]> | generally trying to recover an iterator variable + increment function so that the compiler can vectorize it |
| 2022-08-15 23:07:15 +0200 | ddellacosta | (~ddellacos@89.45.224.112) (Ping timeout: 248 seconds) |
| 2022-08-15 23:08:07 +0200 | pagnol | (~me@213-205-209-87.ftth.glasoperator.nl) (Ping timeout: 252 seconds) |
| 2022-08-15 23:08:26 +0200 | vysn | (~vysn@user/vysn) (Ping timeout: 244 seconds) |
| 2022-08-15 23:09:01 +0200 | ddellacosta | (~ddellacos@143.244.47.100) |
| 2022-08-15 23:12:17 +0200 | <ski> | [exa] : reminds me of one time i was figuring out a flowchart for a backtracking problem (generating combinations), in my head. then i wrote it down on paper, and then reverse-engineered it into `if' and `for' (C). i also had one `goto' out of the loop body, and one back inside again (simulating a recursive call, coupled with using an array for stack) |
| 2022-08-15 23:12:27 +0200 | cosimone | (~user@93-44-186-171.ip98.fastwebnet.it) |
| 2022-08-15 23:12:30 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-08-15 23:13:07 +0200 | king_gs | (~Thunderbi@187.201.216.244) (Read error: Connection reset by peer) |
| 2022-08-15 23:14:04 +0200 | <ski> | oh, chapter 2 of Raphael Finkel's book "Advanced Programming Language Design" in 1996 at <https://web.archive.org/web/20150522052725/http://www.nondot.org/sabre/Mirrored/AdvProgLangDesign/> mentions "power loops", which i think could also have been used to express this |
| 2022-08-15 23:14:49 +0200 | king_gs | (~Thunderbi@2806:103e:29:da7a:1f74:531c:dec2:7aec) |
| 2022-08-15 23:16:16 +0200 | <ski> | (it also describes a continuation-based language (continuations as only abstraction mechanism), Io, by Raphael L. Levien, described in his paper "Io: a new programming notation" in 1989-09-10 at <https://dl.acm.org/doi/10.1145/70931.70934> .. |
| 2022-08-15 23:16:20 +0200 | <ski> | @where Amalthea |
| 2022-08-15 23:16:20 +0200 | <lambdabot> | Implementation made by Martin Sandin of the (continuation-based) `Io' language at <http://web.archive.org/web/20091106041222/http://www.guldheden.com/~sandin/amalthea.html> |
| 2022-08-15 23:16:25 +0200 | <ski> | @where Ganymede |
| 2022-08-15 23:16:25 +0200 | <lambdabot> | Implementation by BMeph of the (continuation-based) `Io' language at <http://hackage.haskell.org/package/Ganymede> |
| 2022-08-15 23:16:28 +0200 | <ski> | ) |
| 2022-08-15 23:17:39 +0200 | mekeor[m] | (~mekeormat@2001:470:69fc:105::17e4) |
| 2022-08-15 23:18:13 +0200 | drlkf_ | drlkf |
| 2022-08-15 23:18:35 +0200 | drlkf | (~drlkf@drlkf.net) (Quit: drlkf) |
| 2022-08-15 23:19:21 +0200 | cthaeh^ | (~cthaeh@50.231.67.43) |
| 2022-08-15 23:19:45 +0200 | drlkf | (~drlkf@drlkf.net) |
| 2022-08-15 23:22:14 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-08-15 23:22:32 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-08-15 23:24:24 +0200 | <mekeor[m]> | hello :) any idea why this simple code yields a "variable not in scope: l" compilation error? http://ix.io/47ID/hs -- when i remove the "do" together with the newline after it, it works just fine |
| 2022-08-15 23:26:45 +0200 | <geekosaur> | works fine here? |
| 2022-08-15 23:31:01 +0200 | <geekosaur> | https://paste.tomsmeding.com/DEK3jGEy |
| 2022-08-15 23:31:36 +0200 | <mekeor[m]> | geekosaur: thanks. i guess something about my emacs org mode babel code evaluation is flawed then... |
| 2022-08-15 23:34:31 +0200 | jgeerds | (~jgeerds@55d46bad.access.ecotel.net) (Ping timeout: 252 seconds) |
| 2022-08-15 23:37:42 +0200 | sseefried | (~sseefried@211.30.155.255) |
| 2022-08-15 23:38:21 +0200 | <sseefried> | Is this the right channel to ask questions about building with Nix. |
| 2022-08-15 23:38:41 +0200 | <sseefried> | Specifically I'd like to know about flakes and materialization |
| 2022-08-15 23:39:17 +0200 | <sseefried> | I find Nix is very reliable for building something from a git repo but when I want to update that project I run into all sorts of problems |
| 2022-08-15 23:39:28 +0200 | <sseefried> | And there's a real paucity of good documentation |
| 2022-08-15 23:40:05 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-15 23:41:47 +0200 | phma_ | phma |
| 2022-08-15 23:43:16 +0200 | <ryantrinkle> | sseefried: #nixos would be a better channel |
| 2022-08-15 23:43:27 +0200 | <ryantrinkle> | but a lot of haskell folks (myself included) do use nix |
| 2022-08-15 23:44:01 +0200 | yvan-sraka | (~yvan-srak@102.52.136.115) |
| 2022-08-15 23:45:41 +0200 | sseefried | (~sseefried@211.30.155.255) (Quit: Client closed) |
| 2022-08-15 23:50:26 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-08-15 23:51:11 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 268 seconds) |
| 2022-08-15 23:51:14 +0200 | king_gs | (~Thunderbi@2806:103e:29:da7a:1f74:531c:dec2:7aec) (Ping timeout: 256 seconds) |
| 2022-08-15 23:53:22 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-08-15 23:53:55 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-08-15 23:59:15 +0200 | jakalx | (~jakalx@base.jakalx.net) (Disconnected: Replaced by new connection) |
| 2022-08-15 23:59:16 +0200 | jakalx | (~jakalx@base.jakalx.net) |
