| 2022-06-02 00:00:33 +0200 | <monochrom> | I now include in my course policy "marking dispute is resolved on the school server, 'my code works elsewhere' is not a reason to earn marks". |
| 2022-06-02 00:00:42 +0200 | <geekosaur[m]> | Macs have some perverse behavior but that's not one |
| 2022-06-02 00:00:45 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-39.elisa-laajakaista.fi) |
| 2022-06-02 00:01:14 +0200 | <geekosaur[m]> | Division by zero returns zero, for one |
| 2022-06-02 00:01:42 +0200 | ehammarstrom | (~ehammarst@62-20-203-39-no182.tbcn.telia.com) |
| 2022-06-02 00:01:57 +0200 | <monochrom> | OK good to hear mac doesn't pervertify exec* |
| 2022-06-02 00:03:07 +0200 | <monochrom> | I had students handing in exec("prog", "arg", NULL) and claiming that it passed sample test cases I provided on mac. |
| 2022-06-02 00:03:30 +0200 | <monochrom> | (My sample test cases, though simple, would have caught that kind of omissions.) |
| 2022-06-02 00:04:21 +0200 | <monochrom> | To be sure I hadn't check it myself. I don't know how much to trust students' testimonies. |
| 2022-06-02 00:04:41 +0200 | <EvanR> | there's a possible interpretation of the syntax of my code where it gives the right answer |
| 2022-06-02 00:05:05 +0200 | <monochrom> | But now it doesn't matter because I already have "policy: it breaks on school's linux server, EOL" |
| 2022-06-02 00:05:35 +0200 | <monochrom> | OK I'll stop. Back to Haskell. |
| 2022-06-02 00:05:50 +0200 | ehammarstrom | (~ehammarst@62-20-203-39-no182.tbcn.telia.com) (Ping timeout: 240 seconds) |
| 2022-06-02 00:05:50 +0200 | raym | (~raym@user/raym) (Ping timeout: 240 seconds) |
| 2022-06-02 00:07:28 +0200 | <monochrom> | I gave a Haskell homework that requires students to implement some "at :: FooContainer a -> Integer -> a". Some students tried "foo c n = if c==Empty then ..." and ran into type errors. |
| 2022-06-02 00:08:37 +0200 | <EvanR> | the ontological difference between equality testing and case analyzing |
| 2022-06-02 00:09:00 +0200 | <EvanR> | subtle* |
| 2022-06-02 00:09:27 +0200 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-06-02 00:10:59 +0200 | ehammarstrom | (~ehammarst@62-20-203-39-no182.tbcn.telia.com) |
| 2022-06-02 00:11:40 +0200 | <darkling> | I had a fun one once, where the code perfectly implemented a sort of the test case... by hard-coding a specific permutation of the input. |
| 2022-06-02 00:12:13 +0200 | <darkling> | I mean, they'd got all the right swaps in place to make it look like a bubblesort, but it didn't sort any *other* list of numbers. |
| 2022-06-02 00:13:47 +0200 | acidjnk | (~acidjnk@p200300d0c7068b08d490575bc8478d60.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2022-06-02 00:14:15 +0200 | dsrt^ | (~dsrt@128-092-173-218.biz.spectrum.com) |
| 2022-06-02 00:17:39 +0200 | <EvanR> | int rand(){ return 7; } |
| 2022-06-02 00:17:45 +0200 | <monochrom> | That sounds like written by an artificial neural network or some other kind of maching learning :) |
| 2022-06-02 00:18:01 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2022-06-02 00:18:30 +0200 | <darkling> | That was over 20 years ago. We didn't have that kind of fail back then. :) |
| 2022-06-02 00:19:52 +0200 | <darkling> | I think it was a genuine (student <---------------- 150km ---------------> clue) situation |
| 2022-06-02 00:20:19 +0200 | <monochrom> | Indistinguishable from machine learning. >:) |
| 2022-06-02 00:21:10 +0200 | <darkling> | The neural nets are still slightly larger |
| 2022-06-02 00:21:19 +0200 | <monochrom> | Both humans and machine learning can look for patterns in the wrong places in very similar ways. |
| 2022-06-02 00:21:27 +0200 | ehammarstrom | (~ehammarst@62-20-203-39-no182.tbcn.telia.com) (Ping timeout: 240 seconds) |
| 2022-06-02 00:21:42 +0200 | tfeb | (~tfb@88.98.95.237) |
| 2022-06-02 00:22:49 +0200 | TonyStone | (~TonyStone@2603-7080-8607-c36a-943a-e90b-acbe-4f74.res6.spectrum.com) |
| 2022-06-02 00:23:47 +0200 | <EvanR> | picard tried to argue for data's sovereignty by calling humans machines. Luckily that didn't backfire |
| 2022-06-02 00:23:52 +0200 | gastus | (~gastus@mawercer.de) (Remote host closed the connection) |
| 2022-06-02 00:24:53 +0200 | <EvanR> | i.e. starfleet didn't respond by enslaving everyone |
| 2022-06-02 00:25:19 +0200 | ehammarstrom | (~ehammarst@62-20-203-39-no182.tbcn.telia.com) |
| 2022-06-02 00:25:31 +0200 | alp | (~alp@user/alp) |
| 2022-06-02 00:26:56 +0200 | <monochrom> | heh |
| 2022-06-02 00:29:56 +0200 | <shapr> | acowley: is there a data cleaning tutorial for Frames? |
| 2022-06-02 00:33:09 +0200 | tfeb | (~tfb@88.98.95.237) (Quit: died) |
| 2022-06-02 00:33:56 +0200 | renzhi | (~xp@2607:fa49:6500:b100::f64a) |
| 2022-06-02 00:36:22 +0200 | pavonia | (~user@user/siracusa) |
| 2022-06-02 00:37:50 +0200 | causal | (~user@50.35.83.177) (Quit: WeeChat 3.5) |
| 2022-06-02 00:39:40 +0200 | qwedfg | (~qwedfg@user/qwedfg) (Excess Flood) |
| 2022-06-02 00:42:07 +0200 | qwedfg | (~qwedfg@user/qwedfg) |
| 2022-06-02 00:44:10 +0200 | dsrt^ | (~dsrt@128-092-173-218.biz.spectrum.com) (Ping timeout: 240 seconds) |
| 2022-06-02 00:45:46 +0200 | renzhi | (~xp@2607:fa49:6500:b100::f64a) (Ping timeout: 272 seconds) |
| 2022-06-02 00:48:56 +0200 | dsrt^ | (~dsrt@128-092-173-218.biz.spectrum.com) |
| 2022-06-02 00:51:50 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2022-06-02 00:52:01 +0200 | ehammarstrom | (~ehammarst@62-20-203-39-no182.tbcn.telia.com) (Ping timeout: 244 seconds) |
| 2022-06-02 00:53:30 +0200 | mmhat | (~mmh@p200300f1c71bc3f5ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.5) |
| 2022-06-02 00:55:35 +0200 | ehammarstrom | (~ehammarst@62-20-203-39-no182.tbcn.telia.com) |
| 2022-06-02 00:57:11 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::ba9a) (Ping timeout: 255 seconds) |
| 2022-06-02 00:59:07 +0200 | euandreh | (~euandreh@2804:14c:33:966c:2059:6e22:1326:6607) (Ping timeout: 240 seconds) |
| 2022-06-02 01:02:10 +0200 | ehammarstrom | (~ehammarst@62-20-203-39-no182.tbcn.telia.com) (Ping timeout: 240 seconds) |
| 2022-06-02 01:04:38 +0200 | ehammarstrom | (~ehammarst@62-20-203-39-no182.tbcn.telia.com) |
| 2022-06-02 01:04:43 +0200 | Topsi | (~Topsi@dyndsl-095-033-026-061.ewe-ip-backbone.de) |
| 2022-06-02 01:08:11 +0200 | TonyStone31 | (~TonyStone@2603-7080-8607-c36a-943a-e90b-acbe-4f74.res6.spectrum.com) |
| 2022-06-02 01:08:50 +0200 | ehammarstrom | (~ehammarst@62-20-203-39-no182.tbcn.telia.com) (Ping timeout: 240 seconds) |
| 2022-06-02 01:09:08 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2022-06-02 01:12:20 +0200 | ehammarstrom | (~ehammarst@62-20-203-39-no182.tbcn.telia.com) |
| 2022-06-02 01:17:30 +0200 | `2jt | (~jtomas@182.red-88-17-61.dynamicip.rima-tde.net) (Ping timeout: 258 seconds) |
| 2022-06-02 01:20:58 +0200 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-06-02 01:24:04 +0200 | learner-monad | (~ehanneken@user/learner-monad) |
| 2022-06-02 01:25:29 +0200 | learner-monad | (~ehanneken@user/learner-monad) (Client Quit) |
| 2022-06-02 01:26:43 +0200 | stackdroid18 | (14094@user/stackdroid) (Quit: Lost terminal) |
| 2022-06-02 01:38:59 +0200 | cosimone | (~user@93-44-186-171.ip98.fastwebnet.it) |
| 2022-06-02 01:39:19 +0200 | cosimone | (~user@93-44-186-171.ip98.fastwebnet.it) (Read error: Connection reset by peer) |
| 2022-06-02 01:39:30 +0200 | dsrt^ | (~dsrt@128-092-173-218.biz.spectrum.com) (Ping timeout: 246 seconds) |
| 2022-06-02 01:40:13 +0200 | tabemann_ | (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) |
| 2022-06-02 01:41:19 +0200 | tabemann | (~travisb@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2022-06-02 01:51:11 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 255 seconds) |
| 2022-06-02 01:52:09 +0200 | zeenk | (~zeenk@2a02:2f04:a104:ef00:10:581:f80f:b980) (Quit: Konversation terminated!) |
| 2022-06-02 01:53:02 +0200 | spacenautx | (~spacenaut@user/spacenautx) (Quit: WeeChat 3.0) |
| 2022-06-02 01:53:21 +0200 | cosimone | (~user@93-44-186-171.ip98.fastwebnet.it) |
| 2022-06-02 01:54:36 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-06-02 02:01:58 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2022-06-02 02:08:15 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-39.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2022-06-02 02:10:45 +0200 | dsrt^ | (~dsrt@128-092-173-218.biz.spectrum.com) |
| 2022-06-02 02:10:49 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2022-06-02 02:13:18 +0200 | ehammarstrom | (~ehammarst@62-20-203-39-no182.tbcn.telia.com) (Ping timeout: 276 seconds) |
| 2022-06-02 02:13:57 +0200 | cosimone | (~user@93-44-186-171.ip98.fastwebnet.it) (Ping timeout: 260 seconds) |
| 2022-06-02 02:15:54 +0200 | ehammarstrom | (~ehammarst@62-20-203-39-no182.tbcn.telia.com) |
| 2022-06-02 02:16:23 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.4) |
| 2022-06-02 02:16:30 +0200 | alp | (~alp@user/alp) (Ping timeout: 260 seconds) |
| 2022-06-02 02:20:57 +0200 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-06-02 02:22:06 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-06-02 02:23:42 +0200 | tabemann_ | tabemann |
| 2022-06-02 02:25:52 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2022-06-02 02:37:14 +0200 | ehammarstrom | (~ehammarst@62-20-203-39-no182.tbcn.telia.com) (Ping timeout: 258 seconds) |
| 2022-06-02 02:37:35 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Read error: Connection reset by peer) |
| 2022-06-02 02:37:59 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-06-02 02:38:00 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-06-02 02:40:46 +0200 | ehammarstrom | (~ehammarst@62-20-203-39-no182.tbcn.telia.com) |
| 2022-06-02 02:42:33 +0200 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 276 seconds) |
| 2022-06-02 02:44:39 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 244 seconds) |
| 2022-06-02 02:45:16 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2022-06-02 02:45:40 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 258 seconds) |
| 2022-06-02 02:45:48 +0200 | vicfred | (~vicfred@user/vicfred) (Quit: Leaving) |
| 2022-06-02 02:47:58 +0200 | ehammarstrom | (~ehammarst@62-20-203-39-no182.tbcn.telia.com) (Ping timeout: 258 seconds) |
| 2022-06-02 02:48:47 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-06-02 02:51:28 +0200 | frost | (~frost@user/frost) |
| 2022-06-02 02:53:37 +0200 | ehammarstrom | (~ehammarst@62-20-203-39-no182.tbcn.telia.com) |
| 2022-06-02 02:56:24 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 258 seconds) |
| 2022-06-02 02:58:36 +0200 | xff0x | (~xff0x@b133147.ppp.asahi-net.or.jp) (Ping timeout: 246 seconds) |
| 2022-06-02 03:00:14 +0200 | ehammarstrom | (~ehammarst@62-20-203-39-no182.tbcn.telia.com) (Ping timeout: 258 seconds) |
| 2022-06-02 03:01:19 +0200 | mokee | (~mokee@37.228.215.148) |
| 2022-06-02 03:02:28 +0200 | vysn | (~vysn@user/vysn) |
| 2022-06-02 03:03:16 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-06-02 03:05:15 +0200 | mixfix41 | (~sdenynine@user/mixfix41) (Ping timeout: 246 seconds) |
| 2022-06-02 03:06:27 +0200 | ehammarstrom | (~ehammarst@62-20-203-39-no182.tbcn.telia.com) |
| 2022-06-02 03:08:24 +0200 | nahcetan | (~nate@98.45.169.16) (Ping timeout: 246 seconds) |
| 2022-06-02 03:11:00 +0200 | ehammarstrom | (~ehammarst@62-20-203-39-no182.tbcn.telia.com) (Ping timeout: 244 seconds) |
| 2022-06-02 03:11:13 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-06-02 03:13:25 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-02 03:13:30 +0200 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2022-06-02 03:15:25 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2022-06-02 03:15:55 +0200 | ehammarstrom | (~ehammarst@62-20-203-39-no182.tbcn.telia.com) |
| 2022-06-02 03:17:20 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-06-02 03:18:56 +0200 | joo-_ | (~joo-_@fsf/member/joo--) (Ping timeout: 255 seconds) |
| 2022-06-02 03:19:24 +0200 | gentauro | (~gentauro@user/gentauro) |
| 2022-06-02 03:20:45 +0200 | joo-_ | (~joo-_@80-62-116-213-mobile.dk.customer.tdc.net) |
| 2022-06-02 03:20:45 +0200 | joo-_ | (~joo-_@80-62-116-213-mobile.dk.customer.tdc.net) (Changing host) |
| 2022-06-02 03:20:45 +0200 | joo-_ | (~joo-_@fsf/member/joo--) |
| 2022-06-02 03:26:02 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2022-06-02 03:27:49 +0200 | nate2 | (~nate@98.45.169.16) |
| 2022-06-02 03:29:15 +0200 | nate3 | (~nate@98.45.169.16) |
| 2022-06-02 03:29:31 +0200 | nate2 | (~nate@98.45.169.16) (Read error: Connection reset by peer) |
| 2022-06-02 03:30:00 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-06-02 03:32:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-02 03:32:33 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-02 03:38:02 +0200 | littlebo1eep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-02 03:39:27 +0200 | ehammarstrom | (~ehammarst@62-20-203-39-no182.tbcn.telia.com) (Ping timeout: 240 seconds) |
| 2022-06-02 03:39:34 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-02 03:40:19 +0200 | Topsi | (~Topsi@dyndsl-095-033-026-061.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 2022-06-02 03:40:29 +0200 | dsrt^ | (~dsrt@128-092-173-218.biz.spectrum.com) (Ping timeout: 258 seconds) |
| 2022-06-02 03:40:43 +0200 | <brettgilio> | https://www.micahcantor.com/blog/js-to-asm-in-hs/ |
| 2022-06-02 03:42:08 +0200 | ehammarstrom | (~ehammarst@62-20-203-39-no182.tbcn.telia.com) |
| 2022-06-02 03:42:17 +0200 | xff0x | (~xff0x@s5.HtokyoFL1.vectant.ne.jp) |
| 2022-06-02 03:45:37 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 244 seconds) |
| 2022-06-02 03:47:34 +0200 | littlebo1eep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-02 03:48:21 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-02 03:52:15 +0200 | liz | (~liz@host86-159-158-175.range86-159.btcentralplus.com) (Quit: Lost terminal) |
| 2022-06-02 03:53:56 +0200 | andrey_ | (~andrey@p200300dbcf13c9006e615432230a2497.dip0.t-ipconnect.de) |
| 2022-06-02 03:56:21 +0200 | andrey__ | (~andrey@p508d581f.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2022-06-02 03:57:09 +0200 | rekahsoft | (~rekahsoft@bras-base-wdston4533w-grc-02-142-113-160-8.dsl.bell.ca) |
| 2022-06-02 04:00:36 +0200 | vysn | (~vysn@user/vysn) (Ping timeout: 244 seconds) |
| 2022-06-02 04:11:23 +0200 | gurkenglas | (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) (Ping timeout: 256 seconds) |
| 2022-06-02 04:14:25 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 2022-06-02 04:17:02 +0200 | dsrt^ | (~dsrt@128-092-173-218.biz.spectrum.com) |
| 2022-06-02 04:18:20 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 255 seconds) |
| 2022-06-02 04:21:21 +0200 | ehammarstrom | (~ehammarst@62-20-203-39-no182.tbcn.telia.com) (Ping timeout: 276 seconds) |
| 2022-06-02 04:25:32 +0200 | td_ | (~td@94.134.91.230) (Ping timeout: 255 seconds) |
| 2022-06-02 04:26:10 +0200 | rekahsoft | (~rekahsoft@bras-base-wdston4533w-grc-02-142-113-160-8.dsl.bell.ca) (Ping timeout: 240 seconds) |
| 2022-06-02 04:27:20 +0200 | Kaiepi | (~Kaiepi@156.34.47.253) (Ping timeout: 255 seconds) |
| 2022-06-02 04:27:24 +0200 | td_ | (~td@muedsl-82-207-238-179.citykom.de) |
| 2022-06-02 04:27:38 +0200 | cortisol | (~cortisol@180-150-37-80.b49625.bne.nbn.aussiebb.net) |
| 2022-06-02 04:37:29 +0200 | nahcetan | (~nate@98.45.169.16) |
| 2022-06-02 04:38:07 +0200 | ehammarstrom | (~ehammarst@62-20-203-39-no182.tbcn.telia.com) |
| 2022-06-02 04:38:21 +0200 | nate3 | (~nate@98.45.169.16) (Ping timeout: 246 seconds) |
| 2022-06-02 04:38:56 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-06-02 04:39:29 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2022-06-02 04:42:11 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 255 seconds) |
| 2022-06-02 04:42:48 +0200 | ehammarstrom | (~ehammarst@62-20-203-39-no182.tbcn.telia.com) (Ping timeout: 276 seconds) |
| 2022-06-02 04:43:04 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-06-02 04:46:10 +0200 | Cale | (~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com) (Read error: Connection reset by peer) |
| 2022-06-02 04:49:20 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-06-02 04:49:20 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-06-02 04:49:20 +0200 | finn_elija | FinnElija |
| 2022-06-02 04:49:30 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-06-02 04:50:17 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2022-06-02 04:51:36 +0200 | ehammarstrom | (~ehammarst@62-20-203-39-no182.tbcn.telia.com) |
| 2022-06-02 04:58:34 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-02 04:59:33 +0200 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) |
| 2022-06-02 04:59:47 +0200 | ehammarstrom | (~ehammarst@62-20-203-39-no182.tbcn.telia.com) (Ping timeout: 240 seconds) |
| 2022-06-02 05:02:01 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2022-06-02 05:07:05 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-02 05:08:25 +0200 | bangkaloa | (~ddddd@vps-12f86b69.vps.ovh.ca) |
| 2022-06-02 05:08:58 +0200 | ehammarstrom | (~ehammarst@62-20-203-39-no182.tbcn.telia.com) |
| 2022-06-02 05:12:03 +0200 | king_gs | (~Thunderbi@2806:103e:29:ce73:832b:2b9c:b188:29da) |
| 2022-06-02 05:12:22 +0200 | Cale | (~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com) |
| 2022-06-02 05:13:21 +0200 | bangkaloa | (~ddddd@vps-12f86b69.vps.ovh.ca) (Ping timeout: 246 seconds) |
| 2022-06-02 05:13:38 +0200 | ehammarstrom | (~ehammarst@62-20-203-39-no182.tbcn.telia.com) (Ping timeout: 258 seconds) |
| 2022-06-02 05:18:38 +0200 | littlebo1eep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-02 05:20:07 +0200 | nate3 | (~nate@98.45.169.16) |
| 2022-06-02 05:22:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-02 05:23:05 +0200 | mbuf | (~Shakthi@182.77.99.178) |
| 2022-06-02 05:24:56 +0200 | nate3 | (~nate@98.45.169.16) (Ping timeout: 255 seconds) |
| 2022-06-02 05:26:14 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-02 05:27:16 +0200 | nate3 | (~nate@98.45.169.16) |
| 2022-06-02 05:28:04 +0200 | littlebo1eep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-02 05:31:42 +0200 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Ping timeout: 260 seconds) |
| 2022-06-02 05:32:48 +0200 | nate3 | (~nate@98.45.169.16) (Ping timeout: 258 seconds) |
| 2022-06-02 05:33:00 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2022-06-02 05:33:38 +0200 | ehammarstrom | (~ehammarst@62-20-203-39-no182.tbcn.telia.com) |
| 2022-06-02 05:36:12 +0200 | Kaiepi | (~Kaiepi@156.34.47.253) |
| 2022-06-02 05:38:01 +0200 | raym | (~raym@user/raym) |
| 2022-06-02 05:40:28 +0200 | ehammarstrom | (~ehammarst@62-20-203-39-no182.tbcn.telia.com) (Ping timeout: 258 seconds) |
| 2022-06-02 05:40:55 +0200 | yw68 | (~yw@2.58.65.178) |
| 2022-06-02 05:41:18 +0200 | nahcetan | (~nate@98.45.169.16) (Ping timeout: 276 seconds) |
| 2022-06-02 05:41:26 +0200 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) |
| 2022-06-02 05:41:32 +0200 | cortisol | (~cortisol@180-150-37-80.b49625.bne.nbn.aussiebb.net) (Quit: Client closed) |
| 2022-06-02 05:47:04 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-06-02 05:53:07 +0200 | king_gs | (~Thunderbi@2806:103e:29:ce73:832b:2b9c:b188:29da) (Ping timeout: 258 seconds) |
| 2022-06-02 05:56:14 +0200 | nahcetan | (~nate@98.45.169.16) |
| 2022-06-02 05:57:53 +0200 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-06-02 05:58:29 +0200 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-06-02 05:59:34 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-02 06:00:20 +0200 | nate3 | (~nate@98.45.169.16) |
| 2022-06-02 06:00:40 +0200 | yw68 | (~yw@2.58.65.178) (Quit: Client closed) |
| 2022-06-02 06:00:50 +0200 | ehammarstrom | (~ehammarst@62-20-203-39-no182.tbcn.telia.com) |
| 2022-06-02 06:01:44 +0200 | img | (~img@user/img) |
| 2022-06-02 06:04:36 +0200 | nate3 | (~nate@98.45.169.16) (Ping timeout: 244 seconds) |
| 2022-06-02 06:05:07 +0200 | ehammarstrom | (~ehammarst@62-20-203-39-no182.tbcn.telia.com) (Ping timeout: 244 seconds) |
| 2022-06-02 06:06:02 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-06-02 06:07:12 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-06-02 06:07:25 +0200 | king_gs | (~Thunderbi@187.201.188.90) |
| 2022-06-02 06:08:07 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-02 06:11:37 +0200 | euandreh | (~euandreh@2804:14c:33:966c:2059:6e22:1326:6607) |
| 2022-06-02 06:13:20 +0200 | slac72175 | (~slack1256@186.11.46.34) (Remote host closed the connection) |
| 2022-06-02 06:14:26 +0200 | nahcetan | (~nate@98.45.169.16) (Ping timeout: 255 seconds) |
| 2022-06-02 06:15:58 +0200 | euandreh | (~euandreh@2804:14c:33:966c:2059:6e22:1326:6607) (Ping timeout: 244 seconds) |
| 2022-06-02 06:19:09 +0200 | mud | (~mud@user/kadoban) (Remote host closed the connection) |
| 2022-06-02 06:27:38 +0200 | ehammarstrom | (~ehammarst@62-20-203-39-no182.tbcn.telia.com) |
| 2022-06-02 06:31:50 +0200 | ehammarstrom | (~ehammarst@62-20-203-39-no182.tbcn.telia.com) (Ping timeout: 240 seconds) |
| 2022-06-02 06:33:45 +0200 | raym | (~raym@user/raym) (Ping timeout: 258 seconds) |
| 2022-06-02 06:34:23 +0200 | raym | (~raym@user/raym) |
| 2022-06-02 06:35:10 +0200 | nate3 | (~nate@98.45.169.16) |
| 2022-06-02 06:39:53 +0200 | nate3 | (~nate@98.45.169.16) (Ping timeout: 258 seconds) |
| 2022-06-02 06:40:47 +0200 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-06-02 06:41:59 +0200 | nahcetan | (~nate@98.45.169.16) |
| 2022-06-02 06:46:58 +0200 | king_gs | (~Thunderbi@187.201.188.90) (Read error: Connection reset by peer) |
| 2022-06-02 06:48:42 +0200 | nahcetan | (~nate@98.45.169.16) (Ping timeout: 258 seconds) |
| 2022-06-02 06:49:10 +0200 | king_gs | (~Thunderbi@187.201.188.90) |
| 2022-06-02 07:01:41 +0200 | nahcetan | (~nate@98.45.169.16) |
| 2022-06-02 07:01:53 +0200 | tomku | (~tomku@user/tomku) (Read error: Connection reset by peer) |
| 2022-06-02 07:04:02 +0200 | Kaiepi | (~Kaiepi@156.34.47.253) (Ping timeout: 258 seconds) |
| 2022-06-02 07:04:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-02 07:04:57 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-02 07:06:16 +0200 | Kaiepi | (~Kaiepi@156.34.47.253) |
| 2022-06-02 07:07:02 +0200 | tomku | (~tomku@user/tomku) |
| 2022-06-02 07:09:21 +0200 | ehammarstrom | (~ehammarst@62-20-203-39-no182.tbcn.telia.com) |
| 2022-06-02 07:12:10 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-06-02 07:13:10 +0200 | nahcetan | (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 2022-06-02 07:22:03 +0200 | ehammarstrom | (~ehammarst@62-20-203-39-no182.tbcn.telia.com) (Ping timeout: 276 seconds) |
| 2022-06-02 07:23:29 +0200 | chomwitt | (~chomwitt@2a02:587:dc0e:3e00:bc0d:a683:e7e9:901) |
| 2022-06-02 07:25:03 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-06-02 07:27:20 +0200 | king_gs | (~Thunderbi@187.201.188.90) (Read error: Connection reset by peer) |
| 2022-06-02 07:28:22 +0200 | king_gs | (~Thunderbi@2806:103e:29:ce73:832b:2b9c:b188:29da) |
| 2022-06-02 07:31:15 +0200 | king_gs | (~Thunderbi@2806:103e:29:ce73:832b:2b9c:b188:29da) (Client Quit) |
| 2022-06-02 07:31:26 +0200 | king_gs1 | (~Thunderbi@187.201.188.90) |
| 2022-06-02 07:33:45 +0200 | king_gs1 | king_gs |
| 2022-06-02 07:35:23 +0200 | odnes | (~odnes@5-203-218-239.pat.nym.cosmote.net) |
| 2022-06-02 07:40:53 +0200 | ehammarstrom | (~ehammarst@62-20-203-39-no182.tbcn.telia.com) |
| 2022-06-02 07:45:21 +0200 | ehammarstrom | (~ehammarst@62-20-203-39-no182.tbcn.telia.com) (Ping timeout: 244 seconds) |
| 2022-06-02 07:47:51 +0200 | nahcetan | (~nate@98.45.169.16) |
| 2022-06-02 07:48:45 +0200 | kfj | (~kfj@94.198.43.89) |
| 2022-06-02 07:49:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-02 07:49:49 +0200 | <kfj> | /EXIT |
| 2022-06-02 07:49:53 +0200 | kfj | (~kfj@94.198.43.89) (Client Quit) |
| 2022-06-02 07:52:38 +0200 | son0p | (~ff@181.136.122.143) (Ping timeout: 272 seconds) |
| 2022-06-02 07:54:22 +0200 | kosmikus[m] | (~andresloe@2001:470:69fc:105::95d) |
| 2022-06-02 07:58:55 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-02 08:00:18 +0200 | ehammarstrom | (~ehammarst@62-20-203-39-no182.tbcn.telia.com) |
| 2022-06-02 08:03:51 +0200 | vglfr | (~vglfr@coupling.penchant.volia.net) (Remote host closed the connection) |
| 2022-06-02 08:04:49 +0200 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-06-02 08:04:59 +0200 | ehammarstrom | (~ehammarst@62-20-203-39-no182.tbcn.telia.com) (Ping timeout: 258 seconds) |
| 2022-06-02 08:06:02 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-06-02 08:06:54 +0200 | nahcetan | (~nate@98.45.169.16) (Ping timeout: 258 seconds) |
| 2022-06-02 08:08:21 +0200 | dsrt^ | (~dsrt@128-092-173-218.biz.spectrum.com) (Ping timeout: 246 seconds) |
| 2022-06-02 08:09:45 +0200 | xff0x | (~xff0x@s5.HtokyoFL1.vectant.ne.jp) (Ping timeout: 246 seconds) |
| 2022-06-02 08:11:08 +0200 | king_gs | (~Thunderbi@187.201.188.90) (Read error: Connection reset by peer) |
| 2022-06-02 08:12:03 +0200 | king_gs | (~Thunderbi@2806:103e:29:ce73:832b:2b9c:b188:29da) |
| 2022-06-02 08:12:33 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-02 08:13:52 +0200 | tochicool | (~tochicool@user/tochicool) (Konversation terminated!) |
| 2022-06-02 08:15:17 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-02 08:17:37 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2022-06-02 08:19:41 +0200 | cfricke | (~cfricke@user/cfricke) (Client Quit) |
| 2022-06-02 08:24:46 +0200 | chele | (~chele@user/chele) |
| 2022-06-02 08:24:53 +0200 | michalz | (~michalz@185.246.204.125) |
| 2022-06-02 08:24:57 +0200 | Guest72 | (~Guest72@111.226.91.93) |
| 2022-06-02 08:25:54 +0200 | acidjnk | (~acidjnk@pd9e0b3b9.dip0.t-ipconnect.de) |
| 2022-06-02 08:30:03 +0200 | ehammarstrom | (~ehammarst@62-20-203-39-no182.tbcn.telia.com) |
| 2022-06-02 08:30:23 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-06-02 08:30:34 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2022-06-02 08:31:44 +0200 | nate3 | (~nate@98.45.169.16) |
| 2022-06-02 08:33:08 +0200 | vysn | (~vysn@user/vysn) |
| 2022-06-02 08:34:23 +0200 | ehammarstrom | (~ehammarst@62-20-203-39-no182.tbcn.telia.com) (Ping timeout: 255 seconds) |
| 2022-06-02 08:35:51 +0200 | nahcetan | (~nate@98.45.169.16) |
| 2022-06-02 08:36:10 +0200 | nate3 | (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 2022-06-02 08:38:07 +0200 | arahael | (~arahael@121-44-30-20.tpgi.com.au) |
| 2022-06-02 08:38:15 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2022-06-02 08:42:46 +0200 | img | (~img@user/img) |
| 2022-06-02 08:45:19 +0200 | ehammarstrom | (~ehammarst@62-20-203-39-no182.tbcn.telia.com) |
| 2022-06-02 08:46:30 +0200 | nahcetan | (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 2022-06-02 08:49:27 +0200 | ehammarstrom | (~ehammarst@62-20-203-39-no182.tbcn.telia.com) (Ping timeout: 240 seconds) |
| 2022-06-02 08:55:37 +0200 | littlebo1eep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-02 08:56:34 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-02 08:56:43 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2022-06-02 08:58:41 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 255 seconds) |
| 2022-06-02 09:03:28 +0200 | coot | (~coot@213.134.190.95) |
| 2022-06-02 09:04:05 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2022-06-02 09:04:23 +0200 | mmhat | (~mmh@p200300f1c7091e12ee086bfffe095315.dip0.t-ipconnect.de) |
| 2022-06-02 09:05:01 +0200 | ehammarstrom | (~ehammarst@62-20-203-39-no182.tbcn.telia.com) |
| 2022-06-02 09:06:34 +0200 | littlebo1eep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-02 09:06:42 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-02 09:09:23 +0200 | ehammarstrom | (~ehammarst@62-20-203-39-no182.tbcn.telia.com) (Ping timeout: 258 seconds) |
| 2022-06-02 09:09:24 +0200 | <dminuoso> | The ordering of systemd dependencies gives a graph (each unit can specify a Before or After). When computing what systemd units to start next, is this a standard graph algorithm? |
| 2022-06-02 09:10:53 +0200 | `2jt | (~jtomas@182.red-88-17-61.dynamicip.rima-tde.net) |
| 2022-06-02 09:12:34 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-02 09:12:39 +0200 | ehammarstrom | (~ehammarst@62-20-203-39-no182.tbcn.telia.com) |
| 2022-06-02 09:12:53 +0200 | <jackdk> | dminuoso: If you know it's a DAG, then a pre-order traversal should do the trick - visit (i.e., start) all child nodes before visiting (attempting to start the node itself). More complex variations include topologically sorting the dep graph and starting things in parallel if possible. If you did a breadth-first search pushing nodes onto a stack, then you could pop from that stack of services-to-start provided all dependencies are in the RUNNING state |
| 2022-06-02 09:17:03 +0200 | ehammarstrom | (~ehammarst@62-20-203-39-no182.tbcn.telia.com) (Ping timeout: 258 seconds) |
| 2022-06-02 09:18:12 +0200 | <dminuoso> | Im not sure a simple pre-order traversal would suffice, given that you could have the following orderings (> denoting After): A > B. A > C > B. |
| 2022-06-02 09:18:51 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-02 09:19:00 +0200 | nahcetan | (~nate@98.45.169.16) |
| 2022-06-02 09:19:16 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-06-02 09:20:59 +0200 | gurkenglas | (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) |
| 2022-06-02 09:21:00 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-06-02 09:22:19 +0200 | <dminuoso> | And that busts the plan of simply checking whether all dependencies are in the running state |
| 2022-06-02 09:23:45 +0200 | <dminuoso> | Ah, I think I just realized what this is. |
| 2022-06-02 09:23:50 +0200 | <dminuoso> | This is just transitive reduction! |
| 2022-06-02 09:24:03 +0200 | <dminuoso> | After that is done, A>B goes away |
| 2022-06-02 09:25:02 +0200 | <jackdk> | good point, I think then a topological sort and then work backwards from the leaves |
| 2022-06-02 09:25:25 +0200 | shriekingnoise | (~shrieking@201.231.16.156) (Quit: Quit) |
| 2022-06-02 09:28:00 +0200 | <dminuoso> | Yes, that combination seems like it would work. Ill do some experimentation. Thanks for your thoughts |
| 2022-06-02 09:31:13 +0200 | Macbethwin | (~chargen@d964062a.static.ziggozakelijk.nl) |
| 2022-06-02 09:38:33 +0200 | nahcetan | (~nate@98.45.169.16) (Ping timeout: 276 seconds) |
| 2022-06-02 09:39:41 +0200 | king_gs1 | (~Thunderbi@187.201.188.90) |
| 2022-06-02 09:41:35 +0200 | king_gs | (~Thunderbi@2806:103e:29:ce73:832b:2b9c:b188:29da) (Ping timeout: 260 seconds) |
| 2022-06-02 09:41:35 +0200 | king_gs1 | king_gs |
| 2022-06-02 09:45:23 +0200 | <tomsmeding> | yeah, it sounds like you just want to convert an After=B on A to a Before=A on B, and then use standard topological sort |
| 2022-06-02 09:47:05 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
| 2022-06-02 09:47:10 +0200 | coot | (~coot@213.134.190.95) (Ping timeout: 240 seconds) |
| 2022-06-02 09:48:10 +0200 | <[exa]> | dminuoso: beware systemd specifics in "standard graph algorithms" tho (and plain out bugs) |
| 2022-06-02 09:48:28 +0200 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-06-02 09:48:46 +0200 | zeenk | (~zeenk@2a02:2f04:a104:ef00:10:581:f80f:b980) |
| 2022-06-02 09:52:07 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2022-06-02 09:53:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-02 09:54:20 +0200 | [exa] | opens systemd source just for the peek |
| 2022-06-02 09:54:29 +0200 | <tomsmeding> | [exa]: good luck |
| 2022-06-02 09:54:31 +0200 | [exa] | finds add_two_dependencies() |
| 2022-06-02 09:54:48 +0200 | <tomsmeding> | no add_three_dependencies? |
| 2022-06-02 09:54:58 +0200 | <Axman6> | OverloadedChars isn't a thing is it? |
| 2022-06-02 09:55:10 +0200 | <Axman6> | I would love for 'a' to mean Parser Char |
| 2022-06-02 09:56:07 +0200 | Macbethwin | chargen |
| 2022-06-02 09:56:58 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-06-02 09:57:54 +0200 | <[exa]> | ah lol |
| 2022-06-02 09:58:03 +0200 | <[exa]> | tomsmeding: no, two is the number of dependencies |
| 2022-06-02 09:58:27 +0200 | bajskorfven0 | (~bajskorfv@82.118.29.150) |
| 2022-06-02 09:58:27 +0200 | <tomsmeding> | and the number of dependencies is two |
| 2022-06-02 09:58:40 +0200 | [exa] | finds transaction_verify_order that in fact breaks cycles |
| 2022-06-02 09:58:46 +0200 | [exa] | closes systemd source |
| 2022-06-02 09:58:51 +0200 | <tomsmeding> | welcome back |
| 2022-06-02 09:58:56 +0200 | <[exa]> | gaaaah that was brutal |
| 2022-06-02 09:58:58 +0200 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 2022-06-02 10:00:15 +0200 | <[exa]> | anyway apparently they start and stop stuff in huge transactions where there's an implicit order based on how the "stuff to change" appears, so any simple graph-traversing intuition might break easily |
| 2022-06-02 10:00:15 +0200 | bajskorfven | (~bajskorfv@90-231-13-185-no3430.tbcn.telia.com) (Ping timeout: 260 seconds) |
| 2022-06-02 10:01:13 +0200 | <tomsmeding> | [exa]: so it's not just a topological sort that defaults to some order that's decided beforehand? |
| 2022-06-02 10:01:26 +0200 | <tomsmeding> | and with some cycle breaking, apparently |
| 2022-06-02 10:01:42 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-02 10:01:58 +0200 | <[exa]> | yeah and lot of very implicit dependencies, mainly mounts |
| 2022-06-02 10:03:09 +0200 | bajskorfven00 | (~bajskorfv@90-231-13-185-no3430.tbcn.telia.com) |
| 2022-06-02 10:03:48 +0200 | <[exa]> | Axman6: unfortunately not but iirc there was some templatehaskell pkg that added fromChar to literals |
| 2022-06-02 10:03:56 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 255 seconds) |
| 2022-06-02 10:05:04 +0200 | nahcetan | (~nate@98.45.169.16) |
| 2022-06-02 10:05:06 +0200 | xff0x | (~xff0x@s5.HtokyoFL1.vectant.ne.jp) |
| 2022-06-02 10:05:17 +0200 | bajskorfven0 | (~bajskorfv@82.118.29.150) (Ping timeout: 255 seconds) |
| 2022-06-02 10:06:18 +0200 | dsrt^ | (~dsrt@128-092-173-218.biz.spectrum.com) |
| 2022-06-02 10:06:30 +0200 | king_gs | (~Thunderbi@187.201.188.90) (Ping timeout: 240 seconds) |
| 2022-06-02 10:07:17 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-06-02 10:09:07 +0200 | Hash | stoned |
| 2022-06-02 10:10:27 +0200 | <dminuoso> | tomsmeding: It was the transitive reduction I was missing. |
| 2022-06-02 10:10:41 +0200 | <dminuoso> | After/Before is just details that are not important. :) |
| 2022-06-02 10:10:55 +0200 | <tomsmeding> | heh |
| 2022-06-02 10:11:50 +0200 | <dminuoso> | [exa]: But uh, breaking cycles is rather interesting. |
| 2022-06-02 10:12:00 +0200 | <dminuoso> | Id have expected systemd to fail when encountering cycles |
| 2022-06-02 10:12:12 +0200 | <dminuoso> | Are you sure you didnt mix up Wants/WantedBy with Before/After? |
| 2022-06-02 10:12:50 +0200 | <dminuoso> | Because for the former, it seems perfectly sane to just break a cycle. Not so much for ordering |
| 2022-06-02 10:13:50 +0200 | alp | (~alp@user/alp) |
| 2022-06-02 10:16:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-02 10:17:11 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-02 10:17:33 +0200 | nahcetan | (~nate@98.45.169.16) (Ping timeout: 276 seconds) |
| 2022-06-02 10:18:31 +0200 | Infinite | (~Infinite@49.39.124.188) |
| 2022-06-02 10:18:31 +0200 | <dminuoso> | Judging from a dive into the source, it's not as extreme. The cycling isnt done on the actual After/Before dependency graph, but rather on some internal structure where - for one reason or another - cycles might appear. But it only breaks connections that "dont matter" |
| 2022-06-02 10:19:13 +0200 | <tomsmeding> | sounds fishy |
| 2022-06-02 10:19:21 +0200 | <tomsmeding> | but is probably sensible in context |
| 2022-06-02 10:20:04 +0200 | <dminuoso> | I havent understood the entirety of it, but it seems whenever systemd adds a singular job to (whatever this is), its considered as "not important to its anchor", and that's the only connection its free to cut later on. |
| 2022-06-02 10:20:33 +0200 | <dminuoso> | But yeah this is all weird |
| 2022-06-02 10:20:39 +0200 | <dminuoso> | Its hard to read graph code written in C |
| 2022-06-02 10:20:52 +0200 | <dminuoso> | So many imperative assumptions |
| 2022-06-02 10:22:15 +0200 | littlebo1eep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-02 10:23:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-02 10:23:04 +0200 | <jackdk> | Axman6: GHC plugins are a path to many abilities some would consider... unnatural |
| 2022-06-02 10:24:29 +0200 | <[exa]> | dminuoso: I wish that distinction would be obvious from the docs |
| 2022-06-02 10:25:13 +0200 | <dminuoso> | [exa]: GHC is quite special in that a lot of the local code logic is well documented. |
| 2022-06-02 10:27:20 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-02 10:29:04 +0200 | littlebo1eep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-02 10:29:14 +0200 | Guest72 | (~Guest72@111.226.91.93) (Ping timeout: 252 seconds) |
| 2022-06-02 10:31:24 +0200 | nate3 | (~nate@98.45.169.16) |
| 2022-06-02 10:32:59 +0200 | littlebo1eep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-02 10:34:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-02 10:36:24 +0200 | nate3 | (~nate@98.45.169.16) (Ping timeout: 258 seconds) |
| 2022-06-02 10:37:34 +0200 | littlebo1eep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-02 10:37:55 +0200 | sheb | (~sheb@31.223.228.71) (Quit: Leaving) |
| 2022-06-02 10:37:58 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2022-06-02 10:38:02 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-02 10:45:08 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-06-02 10:45:49 +0200 | Infinite | (~Infinite@49.39.124.188) (Quit: Client closed) |
| 2022-06-02 10:46:34 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-02 10:48:27 +0200 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 260 seconds) |
| 2022-06-02 10:49:38 +0200 | Infinite | (~Infinite@49.39.124.188) |
| 2022-06-02 10:52:39 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:600e:e6c3:702:93eb) (Remote host closed the connection) |
| 2022-06-02 10:53:08 +0200 | coot | (~coot@213.134.190.95) |
| 2022-06-02 10:53:39 +0200 | mbuf | (~Shakthi@182.77.99.178) (Quit: Leaving) |
| 2022-06-02 10:53:54 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-02 10:58:42 +0200 | ubert | (~Thunderbi@p200300ecdf14f9c23828c143c9a6a09f.dip0.t-ipconnect.de) |
| 2022-06-02 11:00:15 +0200 | sibnull[m] | (~sibnullma@2001:470:69fc:105::1:1291) (Quit: You have been kicked for being idle) |
| 2022-06-02 11:01:54 +0200 | tomboy64 | (~tomboy64@user/tomboy64) |
| 2022-06-02 11:01:59 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 255 seconds) |
| 2022-06-02 11:02:52 +0200 | mattil | (~mattil@helsinki.portalify.com) |
| 2022-06-02 11:03:33 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-06-02 11:08:27 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2022-06-02 11:08:50 +0200 | Infinite | (~Infinite@49.39.124.188) (Ping timeout: 252 seconds) |
| 2022-06-02 11:11:34 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-02 11:13:27 +0200 | Kaiepi | (~Kaiepi@156.34.47.253) (Ping timeout: 276 seconds) |
| 2022-06-02 11:15:08 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2022-06-02 11:16:26 +0200 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2022-06-02 11:17:46 +0200 | zaquest | (~notzaques@5.130.79.72) |
| 2022-06-02 11:18:14 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-06-02 11:18:15 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-02 11:27:43 +0200 | Infinite | (~Infinite@49.39.118.146) |
| 2022-06-02 11:35:32 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2022-06-02 11:37:24 +0200 | Infinite | (~Infinite@49.39.118.146) (Quit: Client closed) |
| 2022-06-02 11:38:43 +0200 | Sauvin | Furor |
| 2022-06-02 11:43:51 +0200 | HotblackDesiato | (~HotblackD@gateway/tor-sasl/hotblackdesiato) (Remote host closed the connection) |
| 2022-06-02 11:44:09 +0200 | HotblackDesiato | (~HotblackD@gateway/tor-sasl/hotblackdesiato) |
| 2022-06-02 11:49:06 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-06-02 11:51:26 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-06-02 11:53:02 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:8199:e7da:e3d1:110) |
| 2022-06-02 11:57:45 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 256 seconds) |
| 2022-06-02 11:58:14 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:8199:e7da:e3d1:110) (Ping timeout: 255 seconds) |
| 2022-06-02 12:01:22 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-06-02 12:02:48 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-06-02 12:02:54 +0200 | zfnmxt | (~zfnmxtzfn@2001:470:69fc:105::2b32) (Quit: Reconnecting) |
| 2022-06-02 12:03:09 +0200 | zfnmxt | (~zfnmxt@2001:470:69fc:105::2b32) |
| 2022-06-02 12:06:13 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-06-02 12:07:45 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Ping timeout: 246 seconds) |
| 2022-06-02 12:08:39 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-06-02 12:11:19 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2022-06-02 12:12:49 +0200 | spacenautx | (~spacenaut@user/spacenautx) |
| 2022-06-02 12:13:31 +0200 | spacenautx | (~spacenaut@user/spacenautx) (Client Quit) |
| 2022-06-02 12:14:06 +0200 | nahcetan | (~nate@98.45.169.16) |
| 2022-06-02 12:17:10 +0200 | Infinite | (~Infinite@49.39.118.146) |
| 2022-06-02 12:19:39 +0200 | odnes | (~odnes@5-203-218-239.pat.nym.cosmote.net) (Ping timeout: 246 seconds) |
| 2022-06-02 12:20:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-02 12:20:29 +0200 | odnes | (~odnes@5-203-218-239.pat.nym.cosmote.net) |
| 2022-06-02 12:21:33 +0200 | gurkenglas | (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) (Ping timeout: 256 seconds) |
| 2022-06-02 12:22:50 +0200 | joo-_ | (~joo-_@fsf/member/joo--) (Ping timeout: 240 seconds) |
| 2022-06-02 12:30:31 +0200 | dcoutts | (~duncan@host86-144-78-203.range86-144.btcentralplus.com) |
| 2022-06-02 12:30:56 +0200 | Kaiepi | (~Kaiepi@156.34.47.253) |
| 2022-06-02 12:31:47 +0200 | dcoutts | (~duncan@host86-144-78-203.range86-144.btcentralplus.com) (Client Quit) |
| 2022-06-02 12:31:56 +0200 | dcoutts | (~duncan@host86-144-78-203.range86-144.btcentralplus.com) |
| 2022-06-02 12:33:16 +0200 | dcoutts | (~duncan@host86-144-78-203.range86-144.btcentralplus.com) (Client Quit) |
| 2022-06-02 12:33:32 +0200 | dcoutts | (~duncan@host86-144-78-203.range86-144.btcentralplus.com) |
| 2022-06-02 12:38:06 +0200 | __monty__ | (~toonn@user/toonn) |
| 2022-06-02 12:43:42 +0200 | xff0x | (~xff0x@s5.HtokyoFL1.vectant.ne.jp) (Ping timeout: 250 seconds) |
| 2022-06-02 12:46:48 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-02 12:47:17 +0200 | nahcetan | (~nate@98.45.169.16) (Ping timeout: 255 seconds) |
| 2022-06-02 12:48:16 +0200 | cosimone` | (~user@2001:b07:ae5:db26:a7aa:8027:6b4e:2fb3) |
| 2022-06-02 12:48:39 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Ping timeout: 258 seconds) |
| 2022-06-02 12:49:40 +0200 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Ping timeout: 272 seconds) |
| 2022-06-02 12:51:58 +0200 | littlebo1eep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-02 12:53:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-02 12:53:48 +0200 | cosimone` | (~user@2001:b07:ae5:db26:a7aa:8027:6b4e:2fb3) (Ping timeout: 244 seconds) |
| 2022-06-02 12:54:19 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 244 seconds) |
| 2022-06-02 13:01:34 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-06-02 13:05:43 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-06-02 13:05:55 +0200 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 2022-06-02 13:09:31 +0200 | Guest92 | (~Guest92@2a03:d9c0:1000::1082) |
| 2022-06-02 13:09:57 +0200 | Alex_test | (~al_test@178.34.150.59) (Quit: ;-) |
| 2022-06-02 13:10:05 +0200 | AlexZenon | (~alzenon@178.34.150.59) (Quit: ;-) |
| 2022-06-02 13:10:09 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-02 13:11:50 +0200 | AlexNoo | (~AlexNoo@178.34.150.59) (Quit: Leaving) |
| 2022-06-02 13:12:17 +0200 | mattil | (~mattil@helsinki.portalify.com) (Remote host closed the connection) |
| 2022-06-02 13:13:04 +0200 | littlebo1eep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-02 13:13:35 +0200 | jonathanx_ | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
| 2022-06-02 13:13:55 +0200 | jonathanx_ | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2022-06-02 13:14:34 +0200 | Guest92 | (~Guest92@2a03:d9c0:1000::1082) () |
| 2022-06-02 13:15:17 +0200 | nahcetan | (~nate@98.45.169.16) |
| 2022-06-02 13:17:18 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2022-06-02 13:23:35 +0200 | trisolaran | (~ye@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2022-06-02 13:24:00 +0200 | <trisolaran> | How to write multiple line strings with ansi escaope sequence and print them in color? |
| 2022-06-02 13:24:18 +0200 | <trisolaran> | in python it's just tripple quote strings |
| 2022-06-02 13:25:18 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-06-02 13:26:27 +0200 | <hpc> | https://stackoverflow.com/a/22919011 |
| 2022-06-02 13:26:56 +0200 | mmhat | (~mmh@p200300f1c7091e12ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.5) |
| 2022-06-02 13:28:44 +0200 | xff0x | (~xff0x@b133147.ppp.asahi-net.or.jp) |
| 2022-06-02 13:29:36 +0200 | nate3 | (~nate@98.45.169.16) |
| 2022-06-02 13:29:57 +0200 | <trisolaran> | hpc: i've actually tried string-qq, it works except that it doesn't print the ansi escape sequence |
| 2022-06-02 13:33:07 +0200 | <hpc> | you scrolled down too far |
| 2022-06-02 13:33:11 +0200 | nahcetan | (~nate@98.45.169.16) (Ping timeout: 255 seconds) |
| 2022-06-02 13:33:11 +0200 | acidjnk | (~acidjnk@pd9e0b3b9.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2022-06-02 13:33:17 +0200 | <hpc> | you can do it with just backslashes |
| 2022-06-02 13:33:19 +0200 | <geekosaur> | are you using print or putStrLn? |
| 2022-06-02 13:33:39 +0200 | <geekosaur> | also there are modules to build ANSI escapes without dealing with the escapes directly |
| 2022-06-02 13:33:50 +0200 | <trisolaran> | yes print and putStrLn |
| 2022-06-02 13:33:58 +0200 | <geekosaur> | "and"? |
| 2022-06-02 13:34:12 +0200 | nate3 | (~nate@98.45.169.16) (Ping timeout: 246 seconds) |
| 2022-06-02 13:34:25 +0200 | <trisolaran> | with string-qq, it shows literally the escape code |
| 2022-06-02 13:34:27 +0200 | <geekosaur> | print goes through show, it'll always convert control characters to escapes |
| 2022-06-02 13:34:31 +0200 | <trisolaran> | instead of showing colors |
| 2022-06-02 13:35:25 +0200 | <trisolaran> | i'm copying some python code , and i hope would be able to use python tripple quote strings directly |
| 2022-06-02 13:35:46 +0200 | <geekosaur> | string-qq says it doesn't handle that, yes |
| 2022-06-02 13:35:48 +0200 | dsrt^ | (~dsrt@128-092-173-218.biz.spectrum.com) (Ping timeout: 276 seconds) |
| 2022-06-02 13:36:23 +0200 | <trisolaran> | i think it's worth while to add that feature myself ;-D |
| 2022-06-02 13:36:34 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-02 13:37:58 +0200 | AlexNoo | (~AlexNoo@178.34.150.59) |
| 2022-06-02 13:38:00 +0200 | AlexZenon | (~alzenon@178.34.150.59) |
| 2022-06-02 13:38:14 +0200 | Alex_test | (~al_test@178.34.150.59) |
| 2022-06-02 13:40:43 +0200 | zeenk | (~zeenk@2a02:2f04:a104:ef00:10:581:f80f:b980) (Quit: Konversation terminated!) |
| 2022-06-02 13:41:11 +0200 | <geekosaur> | there are other quasiquoters, some of which may have it. but I'd be inclined to use the ANSI color packages (cf.https://hackage.haskell.org/package/ansi-terminal) |
| 2022-06-02 13:41:25 +0200 | <geekosaur> | rather than futz directly with escape sequences |
| 2022-06-02 13:42:52 +0200 | <trisolaran> | geekosaur: i would use ansi-terminal too. but as i said, sometimes we need to copy some code from the internet containing bare ansi escape sequence |
| 2022-06-02 13:43:48 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-02 13:44:00 +0200 | dsrt^ | (~dsrt@128-092-173-218.biz.spectrum.com) |
| 2022-06-02 13:44:12 +0200 | yw52 | (~yw@2.58.65.178) |
| 2022-06-02 13:44:18 +0200 | <trisolaran> | geekosaur: ansi-terminal doesn't provide a tool for the translation |
| 2022-06-02 13:47:19 +0200 | yw52 | (~yw@2.58.65.178) (Client Quit) |
| 2022-06-02 13:48:55 +0200 | gurkenglas | (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) |
| 2022-06-02 13:51:40 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 244 seconds) |
| 2022-06-02 13:52:03 +0200 | <tomsmeding> | trisolaran: use backslashes. https://paste.tomsmeding.com/JiwSPRTW |
| 2022-06-02 13:52:20 +0200 | <tomsmeding> | and use putStrLn, not print |
| 2022-06-02 13:52:41 +0200 | lyle | (~lyle@104.246.145.85) |
| 2022-06-02 13:52:47 +0200 | <tomsmeding> | using a package for ansi escape sequences can be nice, but is an orthogonal issue |
| 2022-06-02 13:53:55 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-06-02 13:56:21 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:8199:e7da:e3d1:110) |
| 2022-06-02 13:58:28 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-06-02 14:00:27 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:8199:e7da:e3d1:110) (Ping timeout: 244 seconds) |
| 2022-06-02 14:00:48 +0200 | nahcetan | (~nate@98.45.169.16) |
| 2022-06-02 14:03:33 +0200 | littlebo1eep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-02 14:05:06 +0200 | dsrt^ | (~dsrt@128-092-173-218.biz.spectrum.com) (Ping timeout: 244 seconds) |
| 2022-06-02 14:07:03 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-06-02 14:07:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-02 14:07:53 +0200 | <trisolaran> | tomsmeding: can you make this work? https://paste.tomsmeding.com/eJRMdvaj |
| 2022-06-02 14:08:41 +0200 | <trisolaran> | tomsmeding: i tried with this: https://paste.tomsmeding.com/XBK3hEam |
| 2022-06-02 14:08:47 +0200 | <trisolaran> | tomsmeding: but doesn't work |
| 2022-06-02 14:09:04 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-06-02 14:10:49 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-06-02 14:11:26 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-02 14:11:50 +0200 | Pingu | (~Pingu@acorneroftheweb.com) |
| 2022-06-02 14:11:52 +0200 | <geekosaur> | string gaps ignore newlines; you need to end lines with `\n\` to embed newlines in the actual strings |
| 2022-06-02 14:13:22 +0200 | dsrt^ | (~dsrt@128-092-173-218.biz.spectrum.com) |
| 2022-06-02 14:13:34 +0200 | littlebo1eep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-02 14:14:34 +0200 | Pingu | (~Pingu@acorneroftheweb.com) () |
| 2022-06-02 14:15:15 +0200 | <trisolaran> | geekosaur: ok but still the ansi code don't get their effect |
| 2022-06-02 14:17:41 +0200 | spacenautx | (~spacenaut@user/spacenautx) |
| 2022-06-02 14:18:04 +0200 | <jackdk> | `putStrLn "\x1b[1;33mYOW!\x1b[0m"` works for me, but I'm going to bed |
| 2022-06-02 14:18:24 +0200 | <geekosaur> | oh. you used octal but I don't think haskell does that in the same way C does. use \27 or \x1b |
| 2022-06-02 14:20:46 +0200 | <geekosaur> | or \o33 (note lower case o) for octal |
| 2022-06-02 14:21:32 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-06-02 14:21:57 +0200 | mbuf | (~Shakthi@122.173.78.94) |
| 2022-06-02 14:22:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-02 14:23:51 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-06-02 14:24:57 +0200 | <trisolaran> | geekosaur: i see! |
| 2022-06-02 14:25:33 +0200 | <geekosaur> | with that I have it working locally |
| 2022-06-02 14:26:39 +0200 | <trisolaran> | geekosaur: it works for me too. Thanks! |
| 2022-06-02 14:26:50 +0200 | <geekosaur> | this is one reason I recommend the package; the different handling of escape sequences always catches me out :) |
| 2022-06-02 14:27:21 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-06-02 14:28:00 +0200 | z0k | (~z0k@206.84.141.24) |
| 2022-06-02 14:28:10 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-02 14:32:25 +0200 | chargen | macbethwin |
| 2022-06-02 14:33:34 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2022-06-02 14:33:56 +0200 | nahcetan | (~nate@98.45.169.16) (Ping timeout: 255 seconds) |
| 2022-06-02 14:34:55 +0200 | littlebo1eep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-02 14:35:00 +0200 | infinity0 | (~infinity0@185.112.146.113) (Remote host closed the connection) |
| 2022-06-02 14:37:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-02 14:39:09 +0200 | infinity0 | (~infinity0@185.112.146.113) |
| 2022-06-02 14:40:00 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-02 14:40:04 +0200 | littlebo1eep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-02 14:47:59 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 244 seconds) |
| 2022-06-02 14:49:34 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-02 14:50:02 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-06-02 14:52:32 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-02 14:59:34 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-02 14:59:57 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-02 15:07:06 +0200 | Alex_test | (~al_test@178.34.150.59) (Quit: ;-) |
| 2022-06-02 15:07:25 +0200 | AlexZenon | (~alzenon@178.34.150.59) (Quit: ;-) |
| 2022-06-02 15:12:50 +0200 | AlexNoo | (~AlexNoo@178.34.150.59) (Remote host closed the connection) |
| 2022-06-02 15:19:08 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2022-06-02 15:19:08 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 272 seconds) |
| 2022-06-02 15:20:30 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-06-02 15:23:08 +0200 | spacenautx | (~spacenaut@user/spacenautx) (Ping timeout: 258 seconds) |
| 2022-06-02 15:23:47 +0200 | dsrt^ | (~dsrt@128-092-173-218.biz.spectrum.com) (Ping timeout: 260 seconds) |
| 2022-06-02 15:25:01 +0200 | spacenautx | (~spacenaut@user/spacenautx) |
| 2022-06-02 15:25:45 +0200 | dsrt^ | (~dsrt@128-092-173-218.biz.spectrum.com) |
| 2022-06-02 15:26:26 +0200 | AlexZenon | (~alzenon@178.34.150.59) |
| 2022-06-02 15:26:56 +0200 | AlexNoo | (~AlexNoo@178.34.150.59) |
| 2022-06-02 15:29:18 +0200 | Alex_test | (~al_test@178.34.150.59) |
| 2022-06-02 15:30:58 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-06-02 15:32:07 +0200 | hpc | (~juzz@ip98-169-35-13.dc.dc.cox.net) (Ping timeout: 240 seconds) |
| 2022-06-02 15:32:44 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.5) |
| 2022-06-02 15:34:57 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Ping timeout: 246 seconds) |
| 2022-06-02 15:41:21 +0200 | jonathanx | (~jonathan@h-178-174-176-109.a357.priv.bahnhof.se) |
| 2022-06-02 15:42:46 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-06-02 15:44:08 +0200 | jonathanx_ | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Ping timeout: 255 seconds) |
| 2022-06-02 15:45:04 +0200 | nate3 | (~nate@98.45.169.16) |
| 2022-06-02 15:46:01 +0200 | <trisolaran> | is there a haskell equivalent of python's exec function which eval a string containing some statement? |
| 2022-06-02 15:47:02 +0200 | <dminuoso> | No. |
| 2022-06-02 15:47:14 +0200 | <dminuoso> | Well GHC and GHCi exposes some such primitives |
| 2022-06-02 15:48:01 +0200 | <dminuoso> | But they're not for most use cases you can conceive |
| 2022-06-02 15:49:34 +0200 | <c_wraith> | most significantly, the tools ghc provides for that require an entire ghc installation on the system running them. Which makes sense - how else is it going to have access to libraries? But it feels vastly different when otherwise you're producing executables that only require system libraries. |
| 2022-06-02 15:49:36 +0200 | <geekosaur> | that's trivial to implement for an interpreter since it's already interpreting your program and can just add the string on top. for a compiled program it's much harder because it wouldn't have access to the compiled program's state |
| 2022-06-02 15:49:50 +0200 | zfnmxt | (~zfnmxt@2001:470:69fc:105::2b32) (Quit: Reconnecting) |
| 2022-06-02 15:50:05 +0200 | zfnmxt | (~zfnmxt@2001:470:69fc:105::2b32) |
| 2022-06-02 15:50:14 +0200 | <geekosaur> | which is why it's not going to serve most of the use cases you would want |
| 2022-06-02 15:50:21 +0200 | nate3 | (~nate@98.45.169.16) (Ping timeout: 276 seconds) |
| 2022-06-02 15:51:04 +0200 | <arahael> | It's rare you'll want them, though. I don't see why eval should be a case a language should optimise for. |
| 2022-06-02 15:51:05 +0200 | <geekosaur> | you can for example use the mueval package to get a relatively easy interface to do this, but it will run in its own context separate from your program's context |
| 2022-06-02 15:51:28 +0200 | ystael | (~ystael@user/ystael) |
| 2022-06-02 15:51:46 +0200 | <dminuoso> | trisolaran: Perhaps more important: What problem are you trying to solve? |
| 2022-06-02 15:51:48 +0200 | <c_wraith> | I've written a system to do hot reloading of code in development in a running process, but it's invasive to make it really work well. |
| 2022-06-02 15:52:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-02 15:52:09 +0200 | <c_wraith> | and it only makes sense for development systems. no way would you want a production system to do that. |
| 2022-06-02 15:52:12 +0200 | <dminuoso> | Facebook has done it too for sigma! |
| 2022-06-02 15:52:39 +0200 | <dminuoso> | And that is in production. |
| 2022-06-02 15:52:53 +0200 | <trisolaran> | arahael: it is rare. my use case is a c program is spitting out some statements such as A = 1; B=2; etc... and i want to pipe it into Haskell and directly set some variables to those values |
| 2022-06-02 15:53:07 +0200 | <trisolaran> | I can of course parse the input but that's some extra work |
| 2022-06-02 15:53:10 +0200 | <dminuoso> | trisolaran: Okay, so maintain a `Map String Int`, write a parser and use that. |
| 2022-06-02 15:53:18 +0200 | <dminuoso> | Yes, but its a sane thing to do. |
| 2022-06-02 15:53:35 +0200 | <arahael> | trisolaran: I'd probably suggest using an interpreter. |
| 2022-06-02 15:53:44 +0200 | Infinite | (~Infinite@49.39.118.146) (Ping timeout: 252 seconds) |
| 2022-06-02 15:53:54 +0200 | <dminuoso> | Is the output under your control? If yes, chose a simple exchange format like JSON for which parsers already exist. |
| 2022-06-02 15:54:11 +0200 | <arahael> | Or embed an interpreter, such as lua, javascript, python, or whatever. |
| 2022-06-02 15:54:13 +0200 | <dminuoso> | If not, you will have serious security considerations when using something like `1eval` |
| 2022-06-02 15:54:36 +0200 | <dminuoso> | And imbedding an entire interpreter just because you're too lazy to write a 10-20 line attoparsec parser... |
| 2022-06-02 15:54:39 +0200 | <c_wraith> | I'd object that that isn't a use case. That's an implementation detail. |
| 2022-06-02 15:54:41 +0200 | dminuoso | is not so sure about that |
| 2022-06-02 15:54:47 +0200 | <trisolaran> | it's not a production system, just testing some quick thoughts |
| 2022-06-02 15:54:59 +0200 | odnes_ | (~odnes@5-203-218-239.pat.nym.cosmote.net) |
| 2022-06-02 15:55:19 +0200 | odnes | (~odnes@5-203-218-239.pat.nym.cosmote.net) (Read error: Connection reset by peer) |
| 2022-06-02 15:55:30 +0200 | <trisolaran> | arahael: how to embed an interpreter ? |
| 2022-06-02 15:55:30 +0200 | <geekosaur> | it's also complicated by the fact that you can't update variables in Haskell |
| 2022-06-02 15:55:40 +0200 | zfnmxt | (~zfnmxt@2001:470:69fc:105::2b32) (Quit: issued !quit command) |
| 2022-06-02 15:55:49 +0200 | <geekosaur> | and embedding an interpreter won't help |
| 2022-06-02 15:56:28 +0200 | <arahael> | trisolaran: I think you need to be clearer about your requirements before going the interpreter route. dminuoso's suggestion to write a parser is actually _easier_. |
| 2022-06-02 15:56:45 +0200 | zfnmxt | (~zfnmxt@2001:470:69fc:105::2b32) |
| 2022-06-02 15:57:08 +0200 | <geekosaur> | agreed |
| 2022-06-02 15:57:13 +0200 | <trisolaran> | arahael: i understand. i\m just being curious. i've never seen the usage of embedding an interpreter |
| 2022-06-02 15:57:30 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-06-02 15:57:38 +0200 | <dminuoso> | trisolaran: Most use cases I know of revolve around providing runtime extensibility of behavior. |
| 2022-06-02 15:57:40 +0200 | <geekosaur> | take a look at the mueval package on hackage, like I suggested earlier |
| 2022-06-02 15:57:53 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:8199:e7da:e3d1:110) |
| 2022-06-02 15:58:15 +0200 | <dminuoso> | trisolaran: For example World of Warcraft exposes a LUA API IIRC so users can customize their UI with custom lua programs. |
| 2022-06-02 15:59:03 +0200 | <dminuoso> | So there either the client or the server embeds a LUA interpreter, feeds it with game data, evaluates user supplied user code, and even potentially uses output from said lua code. |
| 2022-06-02 15:59:07 +0200 | <trisolaran> | geekosaur: ok that looks promising |
| 2022-06-02 15:59:37 +0200 | <geekosaur> | (it's the same thing lambdabot uses to run "> " stuff) |
| 2022-06-02 16:00:21 +0200 | <monochrom> | 99% of production systems came from, without change or fixing up loose ends, sketchy prototypes testing quick thoughts. |
| 2022-06-02 16:01:00 +0200 | <trisolaran> | I'm thinking maybe template haskell could help |
| 2022-06-02 16:01:12 +0200 | <trisolaran> | translating the string into some declarations |
| 2022-06-02 16:01:54 +0200 | <monochrom> | template haskell is at compile time, not run time. |
| 2022-06-02 16:02:35 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:8199:e7da:e3d1:110) (Ping timeout: 255 seconds) |
| 2022-06-02 16:04:23 +0200 | dsrt^ | (~dsrt@128-092-173-218.biz.spectrum.com) (Ping timeout: 255 seconds) |
| 2022-06-02 16:04:40 +0200 | <dminuoso> | RuntimeTemplateHaskell should be a thing. |
| 2022-06-02 16:05:17 +0200 | <dminuoso> | But seriously, the GHC API should provide sufficient utilities for that |
| 2022-06-02 16:05:28 +0200 | <dminuoso> | 16:00:21 monochrom | 99% of production systems came from, without change or fixing up loose ends, sketchy prototypes testing quick thoughts |
| 2022-06-02 16:05:31 +0200 | <dminuoso> | ^- this. |
| 2022-06-02 16:07:03 +0200 | <dminuoso> | There is no such thing as "prototypes" in software development. A prototype is really what we name software before its in production. |
| 2022-06-02 16:07:34 +0200 | <monochrom> | Linux version of Zoom is still in "beta" after like 2 years of pandemic. :) |
| 2022-06-02 16:07:49 +0200 | Infinite | (~Infinite@49.39.118.146) |
| 2022-06-02 16:07:49 +0200 | <arahael> | monochrom: That's insane since it's all just electron anyway. |
| 2022-06-02 16:08:37 +0200 | <monochrom> | Heh I'm more fundamental than that. "It from bits." It's all just information! |
| 2022-06-02 16:09:31 +0200 | <dminuoso> | I for one am happy about electron, if thats the price for ensuring that *modern* software gets onto Linux as well as macOS so be it. |
| 2022-06-02 16:10:04 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-06-02 16:10:08 +0200 | Infinite | (~Infinite@49.39.118.146) (Client Quit) |
| 2022-06-02 16:10:11 +0200 | <dminuoso> | And any crazy ram or CPU usage is irrelevant, I can compensate with 32GiB RAM and 12 physical cores. |
| 2022-06-02 16:10:35 +0200 | <dminuoso> | This is #haskell after all, I need that much ram for GHC alone. |
| 2022-06-02 16:10:42 +0200 | <monochrom> | haha |
| 2022-06-02 16:11:21 +0200 | arahael | glares at dminuoso, but is otherwise unable to argue against it. |
| 2022-06-02 16:14:47 +0200 | gurkenglas | (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) (Ping timeout: 244 seconds) |
| 2022-06-02 16:20:24 +0200 | Macbethwin_ | (~chargen@D964062A.static.ziggozakelijk.nl) |
| 2022-06-02 16:20:35 +0200 | xff0x | (~xff0x@b133147.ppp.asahi-net.or.jp) (Ping timeout: 255 seconds) |
| 2022-06-02 16:24:09 +0200 | macbethwin | (~chargen@d964062a.static.ziggozakelijk.nl) (Ping timeout: 276 seconds) |
| 2022-06-02 16:24:33 +0200 | xff0x | (~xff0x@b133147.ppp.asahi-net.or.jp) |
| 2022-06-02 16:27:45 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-06-02 16:30:11 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-02 16:31:22 +0200 | spacenautx | (~spacenaut@user/spacenautx) (Ping timeout: 258 seconds) |
| 2022-06-02 16:33:16 +0200 | Macbethwin_ | socketx |
| 2022-06-02 16:33:28 +0200 | spacenautx | (~spacenaut@user/spacenautx) |
| 2022-06-02 16:36:21 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 258 seconds) |
| 2022-06-02 16:38:59 +0200 | <zzz> | i *think* i have 2 versions of cabal installed, but not sure. one of them i installed with ghcup and that's the one i want to keep. can someone please point me to the relevant resource where i can see at what directory i should be looking? |
| 2022-06-02 16:39:30 +0200 | coot | (~coot@213.134.190.95) |
| 2022-06-02 16:40:05 +0200 | Heffalump | (~ganesh@urchin.earth.li) |
| 2022-06-02 16:40:22 +0200 | <zzz> | does ghcup use ~/.cabal at all? |
| 2022-06-02 16:40:26 +0200 | <Heffalump> | what's the easiest way to get auto-formatting on save in VSCode? I'm not too worried which formatter for now, I'd just like to try something out. |
| 2022-06-02 16:41:49 +0200 | <maralorn> | Hls has multiple formatters built in. It works out of the box if hls runs. |
| 2022-06-02 16:41:57 +0200 | <zzz> | Heffalump: try #vscode |
| 2022-06-02 16:43:14 +0200 | <geekosaur> | zzz, ghcup itself does not use ~/.cabal but a cabal installed via ghcup will use it |
| 2022-06-02 16:43:32 +0200 | <geekosaur> | if you have a cabal in ~/.cabal/bin you may want to remove it |
| 2022-06-02 16:43:44 +0200 | <Heffalump> | oh, I see, it's a VSCode setting fundamentally, hls just provides the formatter |
| 2022-06-02 16:43:58 +0200 | <aforemny> | Heffalump: make sure you have "format on save" checked in settings before trying to get it to work in a particular language. it being unchecked has bitten me before! |
| 2022-06-02 16:46:09 +0200 | <zzz> | geekosaur: thank you |
| 2022-06-02 16:48:37 +0200 | nate3 | (~nate@98.45.169.16) |
| 2022-06-02 16:49:59 +0200 | <Heffalump> | aforemny: I'm aiming to do it via .vscode/settings.json in the project, which I hope will have the desired effect. |
| 2022-06-02 16:51:53 +0200 | <zzz> | ok so i have a lot of stuff in ~/.ghcup/ghc/{version}/lib/ghc-{version}/ a bunch of modules and stuff. but then i also have ~/.cabal/store/ghc-{version} which has a lot of apparently the same modules/packages/libraries (?). is this normal? |
| 2022-06-02 16:52:52 +0200 | Guest61 | (~Guest61@2605:a601:a615:f600:c831:8eee:a002:c1ce) |
| 2022-06-02 16:53:03 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2022-06-02 16:53:04 +0200 | <geekosaur> | cabal has the actual libs, ghc has the package database entries |
| 2022-06-02 16:53:33 +0200 | nate3 | (~nate@98.45.169.16) (Ping timeout: 256 seconds) |
| 2022-06-02 16:54:30 +0200 | <geekosaur> | but they shouldn't actually be the same because cabal v2+ manages its own package databases and exposes them to ghc only when required. *some* packages will be almost the same because you can sefely have multiple versions of e.g. bytestring, a version of which comes with ghc |
| 2022-06-02 16:55:54 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-06-02 16:57:06 +0200 | shriekingnoise | (~shrieking@201.231.16.156) |
| 2022-06-02 16:57:55 +0200 | <zzz> | i seem t be fine then |
| 2022-06-02 16:59:02 +0200 | <zzz> | thanks. after multiple installs i get confused |
| 2022-06-02 16:59:21 +0200 | Guest61 | (~Guest61@2605:a601:a615:f600:c831:8eee:a002:c1ce) (Quit: Client closed) |
| 2022-06-02 17:01:18 +0200 | nahcetan | (~nate@98.45.169.16) |
| 2022-06-02 17:05:10 +0200 | z0k | (~z0k@206.84.141.24) (Ping timeout: 240 seconds) |
| 2022-06-02 17:07:34 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-02 17:11:36 +0200 | socketx | (~chargen@D964062A.static.ziggozakelijk.nl) (Quit: Leaving) |
| 2022-06-02 17:11:52 +0200 | ubert | (~Thunderbi@p200300ecdf14f9c23828c143c9a6a09f.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2022-06-02 17:12:54 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 276 seconds) |
| 2022-06-02 17:14:02 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-02 17:29:15 +0200 | Kaiepi | (~Kaiepi@156.34.47.253) (Ping timeout: 258 seconds) |
| 2022-06-02 17:30:47 +0200 | Macbethwin | (~chargen@D964062A.static.ziggozakelijk.nl) |
| 2022-06-02 17:31:27 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 240 seconds) |
| 2022-06-02 17:32:06 +0200 | onion | (~zzz@user/zero) |
| 2022-06-02 17:32:18 +0200 | nate3 | (~nate@98.45.169.16) |
| 2022-06-02 17:37:34 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-02 17:37:36 +0200 | nate3 | (~nate@98.45.169.16) (Ping timeout: 276 seconds) |
| 2022-06-02 17:38:42 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:8199:e7da:e3d1:110) |
| 2022-06-02 17:42:16 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-02 17:42:29 +0200 | polezaivsani | (~polezaivs@orangeshoelaces.net) (Ping timeout: 255 seconds) |
| 2022-06-02 17:43:52 +0200 | <onion> | first time trying to make a simple ascii game in Haskell. is ncurses still the best option? |
| 2022-06-02 17:45:28 +0200 | <[exa]> | onion: try Brick |
| 2022-06-02 17:46:38 +0200 | Macbethwin | (~chargen@D964062A.static.ziggozakelijk.nl) (Quit: Leaving) |
| 2022-06-02 17:47:28 +0200 | <[exa]> | onion: (this is a pretty good read: https://samtay.github.io/posts/introduction-to-brick ) |
| 2022-06-02 17:48:12 +0200 | euandreh | (~euandreh@2804:14c:33:966c:2059:6e22:1326:6607) |
| 2022-06-02 17:48:42 +0200 | mbuf | (~Shakthi@122.173.78.94) (Quit: Leaving) |
| 2022-06-02 17:57:21 +0200 | Kaiepi | (~Kaiepi@156.34.47.253) |
| 2022-06-02 17:58:38 +0200 | vysn | (~vysn@user/vysn) (Ping timeout: 244 seconds) |
| 2022-06-02 17:59:34 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-02 18:02:46 +0200 | ubert | (~Thunderbi@p200300ecdf14f9c26d805298a2cb1499.dip0.t-ipconnect.de) |
| 2022-06-02 18:05:04 +0200 | <onion> | thanks. i'll check it out |
| 2022-06-02 18:05:45 +0200 | stackdroid18 | (14094@user/stackdroid) |
| 2022-06-02 18:05:45 +0200 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) |
| 2022-06-02 18:08:08 +0200 | ubert | (~Thunderbi@p200300ecdf14f9c26d805298a2cb1499.dip0.t-ipconnect.de) (Quit: ubert) |
| 2022-06-02 18:08:55 +0200 | zeenk | (~zeenk@2a02:2f04:a104:ef00:10:581:f80f:b980) |
| 2022-06-02 18:14:50 +0200 | cheater | (~Username@user/cheater) |
| 2022-06-02 18:15:34 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2022-06-02 18:17:47 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-02 18:18:35 +0200 | <maerwald> | onion: https://hackage.haskell.org/package/ansi-terminal |
| 2022-06-02 18:19:05 +0200 | <maerwald> | and https://hackage.haskell.org/package/ansi-terminal-game |
| 2022-06-02 18:19:47 +0200 | euandreh | (~euandreh@2804:14c:33:966c:2059:6e22:1326:6607) (Ping timeout: 240 seconds) |
| 2022-06-02 18:22:15 +0200 | <onion> | awesome |
| 2022-06-02 18:24:45 +0200 | Infinite | (~Infinite@49.39.116.72) |
| 2022-06-02 18:25:08 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-06-02 18:26:42 +0200 | Guest5458 | (~Guest54@modemcable048.16-160-184.mc.videotron.ca) |
| 2022-06-02 18:31:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-02 18:32:08 +0200 | Infinite | (~Infinite@49.39.116.72) (Ping timeout: 252 seconds) |
| 2022-06-02 18:36:05 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-02 18:37:04 +0200 | joo-_ | (~joo-_@172-105-65-159.ip.linodeusercontent.com) |
| 2022-06-02 18:37:04 +0200 | joo-_ | (~joo-_@172-105-65-159.ip.linodeusercontent.com) (Changing host) |
| 2022-06-02 18:37:04 +0200 | joo-_ | (~joo-_@fsf/member/joo--) |
| 2022-06-02 18:37:50 +0200 | zebrag | (~chris@user/zebrag) |
| 2022-06-02 18:38:00 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:10b4:e123:1cab:7458) |
| 2022-06-02 18:42:02 +0200 | fryguybob | (~fryguybob@cpe-74-67-169-145.rochester.res.rr.com) (Quit: leaving) |
| 2022-06-02 18:43:23 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-06-02 18:45:31 +0200 | Guest5458 | (~Guest54@modemcable048.16-160-184.mc.videotron.ca) (Quit: Client closed) |
| 2022-06-02 18:45:43 +0200 | Guest58 | (~Guest58@modemcable048.16-160-184.mc.videotron.ca) |
| 2022-06-02 18:46:30 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:8199:e7da:e3d1:110) (Remote host closed the connection) |
| 2022-06-02 18:48:35 +0200 | <Guest58> | i have a list [[1234, 4, 2]] |
| 2022-06-02 18:48:35 +0200 | <Guest58> | how can i get a tuple from that list, taking only the second and the last element. |
| 2022-06-02 18:48:36 +0200 | <Guest58> | From this [[1234, 4, 2]] to this : [(4, 2)] |
| 2022-06-02 18:50:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-02 18:50:28 +0200 | <geekosaur> | I'd probably pattern match. `map (\[_,x,y] -> (x,y)) list` |
| 2022-06-02 18:52:57 +0200 | <geekosaur> | > map (\[_,x,y] -> (x,y)) [[1234, 4, 2]] |
| 2022-06-02 18:52:59 +0200 | <lambdabot> | [(4,2)] |
| 2022-06-02 18:53:07 +0200 | Infinite | (~Infinite@2409:4071:2196:4347:14b1:7c22:5447:96f2) |
| 2022-06-02 18:55:52 +0200 | onion | (~zzz@user/zero) (Quit: onion) |
| 2022-06-02 18:56:18 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-02 18:57:48 +0200 | Infinite | (~Infinite@2409:4071:2196:4347:14b1:7c22:5447:96f2) (Ping timeout: 252 seconds) |
| 2022-06-02 18:58:57 +0200 | <lyle> | Is "Parallel and Concurrent Programming in Haskell" by Simon Marlow still a recommended book? I assume so, but wanted to ask just in case. |
| 2022-06-02 18:59:14 +0200 | <geekosaur> | yes |
| 2022-06-02 18:59:35 +0200 | <lyle> | Ok, about to hit "add to cart" |
| 2022-06-02 19:00:39 +0200 | <geekosaur> | you do know it's available freely online? |
| 2022-06-02 19:00:43 +0200 | <geekosaur> | @where parconc |
| 2022-06-02 19:00:43 +0200 | <lambdabot> | https://www.safaribooksonline.com/library/view/parallel-and-concurrent/9781449335939/ |
| 2022-06-02 19:00:51 +0200 | <lyle> | Um, no I didn't. |
| 2022-06-02 19:00:59 +0200 | <lyle> | Thanks! |
| 2022-06-02 19:02:38 +0200 | <Guest58> | geekosaur thank you so much ! |
| 2022-06-02 19:03:27 +0200 | <lyle> | It |
| 2022-06-02 19:04:22 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:8199:e7da:e3d1:110) |
| 2022-06-02 19:08:09 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.5) |
| 2022-06-02 19:17:20 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-06-02 19:18:34 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-02 19:18:48 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::ba9a) |
| 2022-06-02 19:19:08 +0200 | Guest17 | (~Guest17@eth-west-pareq2-46-193-4-100.wb.wifirst.net) |
| 2022-06-02 19:20:08 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-02 19:22:50 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2022-06-02 19:24:00 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-06-02 19:25:26 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-06-02 19:28:36 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-06-02 19:28:42 +0200 | sirodoht | (uid499766@id-499766.helmsley.irccloud.com) |
| 2022-06-02 19:30:09 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-39.elisa-laajakaista.fi) |
| 2022-06-02 19:31:21 +0200 | sirodoht | (uid499766@id-499766.helmsley.irccloud.com) (Client Quit) |
| 2022-06-02 19:31:47 +0200 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 240 seconds) |
| 2022-06-02 19:32:30 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-06-02 19:35:36 +0200 | alp | (~alp@user/alp) (Remote host closed the connection) |
| 2022-06-02 19:35:56 +0200 | alp | (~alp@user/alp) |
| 2022-06-02 19:41:08 +0200 | <Guest58> | geekosaur back to your answer, assuming i have a list [[43525,3,2],[43615,2,2],[41111,1,2]] |
| 2022-06-02 19:41:08 +0200 | <Guest58> | taking the second element and adding 15*i every time I map on the list (i is the index of each list) |
| 2022-06-02 19:41:09 +0200 | <Guest58> | I want to get something like [(3,2),(17,2),(31,2)] |
| 2022-06-02 19:41:34 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-02 19:42:25 +0200 | <geekosaur> | that one would be a fold instead of a map, since you need to track the index (Haskell lists are singly linked lists and don't really have a notion of an index) |
| 2022-06-02 19:42:47 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-06-02 19:43:02 +0200 | alp | (~alp@user/alp) (Ping timeout: 258 seconds) |
| 2022-06-02 19:43:24 +0200 | <[exa]> | Guest58: you might also like `zipWith` for that purpose, and zip with `[0..]` |
| 2022-06-02 19:43:26 +0200 | <tomsmeding> | personally I would zipWith [0..] here |
| 2022-06-02 19:43:30 +0200 | <tomsmeding> | heh |
| 2022-06-02 19:43:33 +0200 | <[exa]> | hf |
| 2022-06-02 19:44:04 +0200 | <tomsmeding> | like, zipWith (\[a,b,c] i -> {- for you to fill in -}) theList [0..] |
| 2022-06-02 19:45:26 +0200 | <geekosaur> | mm, yes, that'd work too |
| 2022-06-02 19:45:32 +0200 | <[exa]> | that said, doing with foldr is honestly a much better exercise. :D |
| 2022-06-02 19:47:21 +0200 | bgamari_ | (~bgamari@68.238.49.109) |
| 2022-06-02 19:48:32 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-06-02 19:48:58 +0200 | causal | (~user@50.35.83.177) |
| 2022-06-02 19:49:03 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-06-02 19:49:37 +0200 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-06-02 19:49:44 +0200 | <Guest58> | Thank you so much |
| 2022-06-02 19:49:47 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 240 seconds) |
| 2022-06-02 19:50:25 +0200 | econo | (uid147250@user/econo) |
| 2022-06-02 19:50:41 +0200 | bgamari | (~bgamari@68.238.49.134) (Ping timeout: 252 seconds) |
| 2022-06-02 19:51:18 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-06-02 19:51:55 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-02 19:54:00 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-06-02 19:56:52 +0200 | <EvanR> | @quote triplicate |
| 2022-06-02 19:56:52 +0200 | <lambdabot> | No quotes match. Whoa. |
| 2022-06-02 19:57:56 +0200 | <geekosaur> | @quote antiphony |
| 2022-06-02 19:57:56 +0200 | <lambdabot> | No quotes match. My brain just exploded |
| 2022-06-02 19:58:10 +0200 | <tomsmeding> | what are you doing to poor lambdabot |
| 2022-06-02 19:59:19 +0200 | <geekosaur> | apparently our favorite quote went meta |
| 2022-06-02 19:59:31 +0200 | <geekosaur> | @quote answeredyesterday |
| 2022-06-02 19:59:31 +0200 | <lambdabot> | No quotes match. This mission is too important for me to allow you to jeopardize it. |
| 2022-06-02 19:59:36 +0200 | <geekosaur> | @quote answered.*yesterday |
| 2022-06-02 19:59:37 +0200 | <lambdabot> | dmwit says: Welcome to #haskell, where we answered your question yesterday. |
| 2022-06-02 19:59:57 +0200 | geekosaur | wonders what happened to the .* the first time |
| 2022-06-02 20:00:57 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-06-02 20:04:30 +0200 | coot | (~coot@213.134.190.95) |
| 2022-06-02 20:05:32 +0200 | coot | (~coot@213.134.190.95) (Remote host closed the connection) |
| 2022-06-02 20:05:42 +0200 | coot | (~coot@213.134.190.95) |
| 2022-06-02 20:06:18 +0200 | coot_ | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2022-06-02 20:06:51 +0200 | coot_ | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Remote host closed the connection) |
| 2022-06-02 20:06:58 +0200 | coot_ | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2022-06-02 20:07:04 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2022-06-02 20:07:33 +0200 | coot_ | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Remote host closed the connection) |
| 2022-06-02 20:07:48 +0200 | coot_ | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2022-06-02 20:08:17 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-06-02 20:09:04 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:8199:e7da:e3d1:110) (Remote host closed the connection) |
| 2022-06-02 20:10:45 +0200 | coot | (~coot@213.134.190.95) (Ping timeout: 256 seconds) |
| 2022-06-02 20:11:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-02 20:12:23 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:10b4:e123:1cab:7458) (Remote host closed the connection) |
| 2022-06-02 20:12:33 +0200 | coot_ | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Ping timeout: 258 seconds) |
| 2022-06-02 20:14:33 +0200 | acidjnk | (~acidjnk@p200300d0c7068b39d8af4d6b4faedbc4.dip0.t-ipconnect.de) |
| 2022-06-02 20:16:54 +0200 | Igloo | (~ian@matrix.chaos.earth.li) (Remote host closed the connection) |
| 2022-06-02 20:17:17 +0200 | nahcetan | (~nate@98.45.169.16) (Ping timeout: 255 seconds) |
| 2022-06-02 20:18:27 +0200 | Igloo | (~ian@matrix.chaos.earth.li) |
| 2022-06-02 20:18:53 +0200 | zincy | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 2022-06-02 20:19:57 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-06-02 20:20:09 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-06-02 20:29:12 +0200 | slack1256 | (~slack1256@191.125.227.93) |
| 2022-06-02 20:33:35 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-06-02 20:38:22 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-02 20:41:05 +0200 | YoungFrog | (~youngfrog@2a02:a03f:c21b:f900:445d:2ea0:2c8a:24db) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in) |
| 2022-06-02 20:41:24 +0200 | YoungFrog | (~youngfrog@2a02:a03f:c21b:f900:6013:240:b757:7b6f) |
| 2022-06-02 20:41:49 +0200 | nate3 | (~nate@98.45.169.16) |
| 2022-06-02 20:42:29 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 256 seconds) |
| 2022-06-02 20:45:24 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:8199:e7da:e3d1:110) |
| 2022-06-02 20:46:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-02 20:46:27 +0200 | nate3 | (~nate@98.45.169.16) (Ping timeout: 246 seconds) |
| 2022-06-02 20:46:36 +0200 | nahcetan | (~nate@98.45.169.16) |
| 2022-06-02 20:49:34 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-02 20:50:35 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-06-02 20:52:14 +0200 | alp | (~alp@user/alp) |
| 2022-06-02 20:53:09 +0200 | berberman | (~berberman@user/berberman) |
| 2022-06-02 20:54:17 +0200 | berberman_ | (~berberman@user/berberman) (Ping timeout: 248 seconds) |
| 2022-06-02 21:01:00 +0200 | zincy | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection) |
| 2022-06-02 21:01:22 +0200 | ashln | (~ashln@98.38.236.123) |
| 2022-06-02 21:01:34 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-02 21:04:53 +0200 | <ashln> | is there any way to log when an IO action is lazily executed? I've tried inserting `<* (some log function)` into my pipeline, and while this preserves order, I don't think the resulting log time is monotonically increasing as the log progresses. |
| 2022-06-02 21:05:46 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:10b4:e123:1cab:7458) |
| 2022-06-02 21:07:21 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-06-02 21:08:05 +0200 | <byorgey> | ashln: not sure I understand what you're asking, there seems to be a bunch of context missing. Preserves the order of what? Also, a single log time can't be monotonically increasing in and of itself, I'm not sure which other log times you have in mind to compare to |
| 2022-06-02 21:09:16 +0200 | <geekosaur> | also in general IO actions are not lazy (ignoring for the moment lazy I/O functions like `getContents`); instead they force evaluation of any lazy expressions involved |
| 2022-06-02 21:09:27 +0200 | king_gs | (~Thunderbi@187.201.188.90) |
| 2022-06-02 21:10:42 +0200 | <ashln> | oh, I'm just blind - i misread a number. Sorry for the noise :)) |
| 2022-06-02 21:10:44 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2022-06-02 21:10:50 +0200 | nahcetan | (~nate@98.45.169.16) (Ping timeout: 255 seconds) |
| 2022-06-02 21:10:50 +0200 | vysn | (~vysn@user/vysn) |
| 2022-06-02 21:11:16 +0200 | vorpuni | (~pvorp@2001:861:3881:c690:a8fb:3878:c020:66f7) |
| 2022-06-02 21:16:08 +0200 | rekahsoft | (~rekahsoft@bras-base-wdston4533w-grc-02-142-113-160-8.dsl.bell.ca) |
| 2022-06-02 21:16:55 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-02 21:19:42 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 246 seconds) |
| 2022-06-02 21:19:49 +0200 | moonsheep | (~user@user/moonsheep) |
| 2022-06-02 21:20:49 +0200 | aliosablack | (~chomwitt@2a02:587:dc0e:3e00:bc0d:a683:e7e9:901) |
| 2022-06-02 21:21:03 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-06-02 21:21:04 +0200 | <moonsheep> | Are there any plans to bring accelerate back to stackage? It is in some old snapshots, but then I'm stuck using a slightly older GHC with no HLS support |
| 2022-06-02 21:21:36 +0200 | <geekosaur> | you'd have to ask the maintainers of accelerate |
| 2022-06-02 21:21:56 +0200 | chomwitt | (~chomwitt@2a02:587:dc0e:3e00:bc0d:a683:e7e9:901) (Ping timeout: 258 seconds) |
| 2022-06-02 21:22:14 +0200 | <moonsheep> | Hmm, thanks |
| 2022-06-02 21:22:56 +0200 | <geekosaur> | you can still use it via extra-deps anyway |
| 2022-06-02 21:23:00 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:8199:e7da:e3d1:110) (Remote host closed the connection) |
| 2022-06-02 21:23:02 +0200 | <moonsheep> | Yeah, that's what I'm doingg |
| 2022-06-02 21:23:08 +0200 | <Athas> | moonsheep: you can also try using cabal.project with index-state. In my experience it is (almost) as reliable as stackage. |
| 2022-06-02 21:23:13 +0200 | <geekosaur> | stackage is nice but it can't list *every* package out there |
| 2022-06-02 21:23:24 +0200 | <tomsmeding> | moonsheep: the maintainers of accelerate are (when using stack instead of cabal) also using extra-deps :p |
| 2022-06-02 21:23:48 +0200 | polezaivsani | (~polezaivs@orangeshoelaces.net) |
| 2022-06-02 21:23:52 +0200 | <moonsheep> | Athas: is there a way to do that with hpack? |
| 2022-06-02 21:24:09 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-06-02 21:24:09 +0200 | <Athas> | moonsheep: it is unrelated to hpack. cabal.project is a different file. |
| 2022-06-02 21:24:28 +0200 | <moonsheep> | Ah my bad, I misread that as <project>.cabal |
| 2022-06-02 21:24:57 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:10b4:e123:1cab:7458) (Remote host closed the connection) |
| 2022-06-02 21:25:09 +0200 | <geekosaur> | and in any case even the stackage folks say you shouldn't use hpack any more |
| 2022-06-02 21:25:15 +0200 | <Athas> | They do? |
| 2022-06-02 21:25:18 +0200 | <moonsheep> | Why not? |
| 2022-06-02 21:25:34 +0200 | <moonsheep> | I've been using it since the dawn of time and it has always served me welel |
| 2022-06-02 21:25:54 +0200 | <sm> | I don't think they said don't use it |
| 2022-06-02 21:26:06 +0200 | <Athas> | I also stopped using hpack some years ago when cabal finally added a few critical features, but stack always seemed very pro-hpack. |
| 2022-06-02 21:26:51 +0200 | <telser_> | You shouldn't use hpack _only_ for libraries. That is in fact unsupported in stack for awhile now. |
| 2022-06-02 21:26:54 +0200 | <geekosaur> | at the very least you should keep the enerated <pkg>.cabal. but there are cabal file features that will never be supported by hpack and if you start using them you can't use hpack any more |
| 2022-06-02 21:26:56 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-06-02 21:27:15 +0200 | <moonsheep> | Yeah I always include the cabal files in my repos |
| 2022-06-02 21:27:19 +0200 | <sm> | didnt they (he) just re-emphasize it's an optional thing and should not be mandated |
| 2022-06-02 21:27:34 +0200 | <moonsheep> | Mandated or not, is there any harm to using it? |
| 2022-06-02 21:27:53 +0200 | vysn | (~vysn@user/vysn) (Ping timeout: 244 seconds) |
| 2022-06-02 21:27:53 +0200 | <sm> | just commit the cabal file and everyone's happy |
| 2022-06-02 21:27:55 +0200 | <moonsheep> | Besides lacking some features |
| 2022-06-02 21:28:02 +0200 | <moonsheep> | sm: alright I'll keep that in mind |
| 2022-06-02 21:28:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-02 21:28:14 +0200 | <geekosaur> | only the harm involved with yaml having some bad corner cases, I guess |
| 2022-06-02 21:28:22 +0200 | <geekosaur> | (ambiguous parses) |
| 2022-06-02 21:28:30 +0200 | <moonsheep> | I really like yaml tbh |
| 2022-06-02 21:28:33 +0200 | geekosaur | doesn't trust yaml |
| 2022-06-02 21:28:45 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2022-06-02 21:28:52 +0200 | <Athas> | I ditched hpack because you often can't avoid having the .cabal file as well, and having to keep two files is sync is just another point of failure. |
| 2022-06-02 21:29:22 +0200 | hpc | (~juzz@ip98-169-32-242.dc.dc.cox.net) |
| 2022-06-02 21:29:28 +0200 | <sm> | moonsheep I think the main harm is added complexity if you didn't really need it, because your cabal file is simple. In more complex projects it's more worthwhile |
| 2022-06-02 21:29:40 +0200 | <moonsheep> | Fair enough I guess |
| 2022-06-02 21:30:50 +0200 | <telser_> | Having yaml is nice when bringing people on/removes a complaint of having something else to learn. |
| 2022-06-02 21:30:54 +0200 | <moonsheep> | I just like the simplicity of hpack, you don't have to explicitly state the obvious in a lot of places, and yaml just feels more readable to me |
| 2022-06-02 21:31:28 +0200 | <sm> | me too, so it's worthwhile for us |
| 2022-06-02 21:31:38 +0200 | <geekosaur> | I don't find reading cabal files much different from reading Haskell code |
| 2022-06-02 21:31:57 +0200 | <sm> | and we don't care about yamls corner cases since they don't affect us |
| 2022-06-02 21:32:59 +0200 | <telser_> | Particularly for applications with module counts in the 4 digits, hpack is much nicer as an interface. |
| 2022-06-02 21:33:34 +0200 | <telser_> | 4+ digits |
| 2022-06-02 21:33:34 +0200 | chimp_ | (~Psybur@c-76-123-45-25.hsd1.va.comcast.net) (Ping timeout: 244 seconds) |
| 2022-06-02 21:33:42 +0200 | <sm> | thousands of modules ? yow |
| 2022-06-02 21:34:02 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-06-02 21:34:58 +0200 | hpc | (~juzz@ip98-169-32-242.dc.dc.cox.net) (Ping timeout: 258 seconds) |
| 2022-06-02 21:35:01 +0200 | <moonsheep> | Alright, thanks everyone |
| 2022-06-02 21:35:08 +0200 | trisolaran | (~ye@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 255 seconds) |
| 2022-06-02 21:36:36 +0200 | hpc | (~juzz@ip98-169-32-242.dc.dc.cox.net) |
| 2022-06-02 21:37:16 +0200 | Psybur | (~Psybur@c-76-123-45-25.hsd1.va.comcast.net) |
| 2022-06-02 21:39:20 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-02 21:43:18 +0200 | hpc | (~juzz@ip98-169-32-242.dc.dc.cox.net) (Ping timeout: 276 seconds) |
| 2022-06-02 21:44:51 +0200 | hpc | (~juzz@ip98-169-32-242.dc.dc.cox.net) |
| 2022-06-02 21:46:05 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-06-02 21:47:12 +0200 | Guest58 | (~Guest58@modemcable048.16-160-184.mc.videotron.ca) (Ping timeout: 252 seconds) |
| 2022-06-02 21:48:40 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-06-02 21:52:15 +0200 | Pickchea | (~private@user/pickchea) (Ping timeout: 246 seconds) |
| 2022-06-02 21:53:01 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2022-06-02 21:58:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-02 22:00:40 +0200 | lyle | (~lyle@104.246.145.85) (Quit: Lost terminal) |
| 2022-06-02 22:01:21 +0200 | notzmv | (~zmv@user/notzmv) |
| 2022-06-02 22:02:12 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-06-02 22:03:30 +0200 | `2jt | (~jtomas@182.red-88-17-61.dynamicip.rima-tde.net) (Ping timeout: 240 seconds) |
| 2022-06-02 22:03:35 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-02 22:03:51 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-06-02 22:07:41 +0200 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-06-02 22:08:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-02 22:08:47 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-06-02 22:09:56 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-06-02 22:13:50 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-02 22:13:50 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:8199:e7da:e3d1:110) |
| 2022-06-02 22:14:40 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 260 seconds) |
| 2022-06-02 22:15:49 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-06-02 22:16:20 +0200 | odnes_ | (~odnes@5-203-218-239.pat.nym.cosmote.net) (Quit: Leaving) |
| 2022-06-02 22:19:32 +0200 | Guest58 | (~Guest58@modemcable048.16-160-184.mc.videotron.ca) |
| 2022-06-02 22:24:34 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-02 22:25:26 +0200 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) (Remote host closed the connection) |
| 2022-06-02 22:29:47 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-02 22:36:16 +0200 | nahcetan | (~nate@98.45.169.16) |
| 2022-06-02 22:36:23 +0200 | king_gs | (~Thunderbi@187.201.188.90) (Read error: Connection reset by peer) |
| 2022-06-02 22:37:44 +0200 | king_gs | (~Thunderbi@2806:103e:29:ce73:832b:2b9c:b188:29da) |
| 2022-06-02 22:38:40 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:8199:e7da:e3d1:110) (Remote host closed the connection) |
| 2022-06-02 22:42:44 +0200 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2022-06-02 22:43:52 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::ba9a) (Ping timeout: 250 seconds) |
| 2022-06-02 22:45:03 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:8199:e7da:e3d1:110) |
| 2022-06-02 22:46:17 +0200 | nate3 | (~nate@98.45.169.16) |
| 2022-06-02 22:47:35 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 255 seconds) |
| 2022-06-02 22:53:48 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-06-02 22:54:11 +0200 | <byorgey> | so say I have something like data-files: *.yaml in my .cabal file. When I add a new file that matches the pattern, it is made available to the newly built package as it should be. So far, so good. |
| 2022-06-02 22:55:39 +0200 | <byorgey> | However, it seems like when I *delete* a file that matches the pattern, the file remains available to the package at runtime, as if the file got cached somewhere and cabal is only copying files that do match the pattern, rather than trying to sync the copies |
| 2022-06-02 22:56:03 +0200 | <byorgey> | 'cabal clean' doesn't seem to make a difference. Any idea how to properly purge the old data-files? |
| 2022-06-02 22:56:32 +0200 | <geekosaur> | I think you'd have to find and remove the package director under ~/cabal/store |
| 2022-06-02 22:56:46 +0200 | <geekosaur> | (I didn't think cabal handled wildcards…) |
| 2022-06-02 22:56:48 +0200 | <sclv> | if this is via "cabal install" that makes sense |
| 2022-06-02 22:56:57 +0200 | <sclv> | cabal has wildcards only for data-files and the like |
| 2022-06-02 22:57:07 +0200 | <sclv> | also its arguably weird behavior that deserves a ticket |
| 2022-06-02 22:57:09 +0200 | <fendor[m]> | data-files can use wildcards, even `**/*.yaml` for example |
| 2022-06-02 22:57:55 +0200 | <fendor[m]> | dont raise a ticket, people will use this as a reason why this feature should be removed 😄 |
| 2022-06-02 22:57:59 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:8199:e7da:e3d1:110) (Remote host closed the connection) |
| 2022-06-02 22:58:03 +0200 | <byorgey> | yes, in fact I am actually using something like scenarios/**/*.yaml |
| 2022-06-02 22:58:09 +0200 | slack1256 | (~slack1256@191.125.227.93) (Remote host closed the connection) |
| 2022-06-02 22:58:26 +0200 | <byorgey> | but I don't think the fancy pattern is the cause of the behavior |
| 2022-06-02 22:59:04 +0200 | <geekosaur> | I'd suspect the same behavior would exist even if it were explicitly listed |
| 2022-06-02 22:59:08 +0200 | <geekosaur> | from the sound of it |
| 2022-06-02 22:59:32 +0200 | <byorgey> | I suspect that too, let me try |
| 2022-06-02 22:59:57 +0200 | <geekosaur> | and the package hash wouldn't change so that wouldn't come into play either |
| 2022-06-02 23:00:39 +0200 | <fendor[m]> | with the explicit listing, I imagine the package hash changes, since it hashes the contents of the cabal file, right? |
| 2022-06-02 23:01:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-06-02 23:01:38 +0200 | <geekosaur> | I thought only the parts in common with or directly affecting ghc's package db, which wouldn't include data files. hm |
| 2022-06-02 23:01:56 +0200 | fendor | (~fendor@178.115.49.232.wireless.dyn.drei.com) |
| 2022-06-02 23:02:29 +0200 | <fendor[m]> | cabal definitely uses the last change time of cabal files, and likely the hash as well, to determine whether the cache is invalidated |
| 2022-06-02 23:02:38 +0200 | <byorgey> | I can't find the package in .cabal/store/, which I guess makes sense since I haven't done 'cabal install', just building (via stack) |
| 2022-06-02 23:02:47 +0200 | <byorgey> | where would the cached copies of the data files live? |
| 2022-06-02 23:03:04 +0200 | trisolaran | (~ye@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2022-06-02 23:03:05 +0200 | <fendor[m]> | if you build it via stack, why not call stack clean? |
| 2022-06-02 23:03:14 +0200 | <fendor[m]> | should be in .stack-work |
| 2022-06-02 23:03:48 +0200 | <byorgey> | I did stack clean, that didn't seem to help |
| 2022-06-02 23:03:54 +0200 | forell | (~forell@user/forell) (Ping timeout: 276 seconds) |
| 2022-06-02 23:04:19 +0200 | <byorgey> | ah, I found them in .stack-work |
| 2022-06-02 23:04:26 +0200 | forell | (~forell@user/forell) |
| 2022-06-02 23:04:28 +0200 | <fendor[m]> | make sure to hard-nuke .stack-work, e.g. `rm -rf` |
| 2022-06-02 23:04:42 +0200 | <fendor[m]> | rm -rf .stack-work, to be precise |
| 2022-06-02 23:06:46 +0200 | <fendor[m]> | now I am curious whether this is a stack or cabal bug! Likely still a cabal bug |
| 2022-06-02 23:07:20 +0200 | <byorgey> | ok, nuking .stack-work worked |
| 2022-06-02 23:07:37 +0200 | <byorgey> | let me try building directly with cabal |
| 2022-06-02 23:11:02 +0200 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 260 seconds) |
| 2022-06-02 23:12:27 +0200 | fendor | (~fendor@178.115.49.232.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2022-06-02 23:12:45 +0200 | forell | (~forell@user/forell) (Ping timeout: 246 seconds) |
| 2022-06-02 23:13:48 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
| 2022-06-02 23:17:17 +0200 | Guest58 | (~Guest58@modemcable048.16-160-184.mc.videotron.ca) (Quit: Ping timeout (120 seconds)) |
| 2022-06-02 23:20:57 +0200 | <byorgey> | hah, seems to be a stack issue. When I build directly with 'cabal install' it picks up on data files being deleted |
| 2022-06-02 23:21:04 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 240 seconds) |
| 2022-06-02 23:21:34 +0200 | gehmehgeh | (~user@user/gehmehgeh) (Ping timeout: 240 seconds) |
| 2022-06-02 23:21:45 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-06-02 23:23:57 +0200 | <EvanR> | the files were "found missing" heheheehee |
| 2022-06-02 23:24:20 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::ba9a) |
| 2022-06-02 23:24:27 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
| 2022-06-02 23:27:42 +0200 | <byorgey> | heh =) |
| 2022-06-02 23:37:34 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2022-06-02 23:38:21 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-02 23:47:42 +0200 | michalz | (~michalz@185.246.204.125) (Remote host closed the connection) |
| 2022-06-02 23:49:08 +0200 | zer0bitz | (~zer0bitz@2001:2003:f444:8f00:fd05:2e75:91eb:6c90) (Ping timeout: 258 seconds) |
| 2022-06-02 23:49:24 +0200 | nate3 | (~nate@98.45.169.16) (Ping timeout: 276 seconds) |
| 2022-06-02 23:53:17 +0200 | Ram-Z | (~Ram-Z@li1814-254.members.linode.com) (Ping timeout: 255 seconds) |
| 2022-06-02 23:57:12 +0200 | aliosablack | (~chomwitt@2a02:587:dc0e:3e00:bc0d:a683:e7e9:901) (Ping timeout: 272 seconds) |
| 2022-06-02 23:57:52 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-06-02 23:57:59 +0200 | chomwitt | (~chomwitt@2a02:587:dc0e:3e00:bc0d:a683:e7e9:901) |
| 2022-06-02 23:58:24 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:8199:e7da:e3d1:110) |