Logs: liberachat/#haskell
| 2021-05-24 03:16:31 | <Axman6> | It won't be dying, you can be poretty sure of that. It's probably a good thing - but the organisation had no idea how valuable it was as a group |
| 2021-05-24 03:17:44 | <Carter> | Like, zomg I so wanted to figure out how to have it be a way to manage stuff as a sortah user space middle ware for low level stuff |
| 2021-05-24 03:18:52 | <dibblego> | it may be a blessing in disguise then |
| 2021-05-24 03:19:10 | → | abhixec joins (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2021-05-24 03:19:17 | <Axman6> | I think it probably will be |
| 2021-05-24 03:19:28 | <Axman6> | CSIRO can't have nice things |
| 2021-05-24 03:19:29 | <dibblego> | since NICTA dissolving, Data61/CSIRO has increased effectiveness at doing nothing at all, and with that out of the way... |
| 2021-05-24 03:20:05 | → | Lord_of_Life_ joins (~Lord@46.217.217.215) |
| 2021-05-24 03:20:22 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 244 seconds) |
| 2021-05-24 03:23:59 | × | heath quits (~heath@68.68.64.38) (Ping timeout: 244 seconds) |
| 2021-05-24 03:24:27 | → | doyougnu joins (~user@c-67-168-253-231.hsd1.or.comcast.net) |
| 2021-05-24 03:29:59 | <davean> | seL4 was a real exciting thing to have out there I wanted to work with |
| 2021-05-24 03:31:48 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-24 03:32:55 | × | ku quits (~ku@2601:280:c780:7ea0:f045:534c:8a14:7395) (Read error: Connection reset by peer) |
| 2021-05-24 03:33:48 | × | yumaikas- quits (~yumaikas@2601:281:c700:4240:fd30:c8d2:2412:4375) (Ping timeout: 244 seconds) |
| 2021-05-24 03:33:54 | <Axman6> | It will still be around |
| 2021-05-24 03:36:20 | <davean> | theres levels of around |
| 2021-05-24 03:42:51 | × | phanf quits (~phanf@226.148.192.35.bc.googleusercontent.com) (Ping timeout: 264 seconds) |
| 2021-05-24 03:46:29 | → | trent joins (~trent@2001:8003:340d:d00:b2de:b98:7a93:b0ea) |
| 2021-05-24 03:49:10 | × | trent quits (~trent@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Quit: WeeChat 3.1) |
| 2021-05-24 03:49:24 | → | trent joins (~trent@2001:8003:340d:d00:b2de:b98:7a93:b0ea) |
| 2021-05-24 03:59:53 | → | phanf joins (~phanf@226.148.192.35.bc.googleusercontent.com) |
| 2021-05-24 04:05:38 | → | haskman joins (~haskman@171.48.43.206) |
| 2021-05-24 04:06:09 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-05-24 04:06:38 | → | irc_user joins (uid423822@id-423822.tooting.irccloud.com) |
| 2021-05-24 04:07:04 | → | drewr joins (~drew@2601:483:4100:4112:d4b9:e71b:75c3:cf5a) |
| 2021-05-24 04:11:34 | × | drewr quits (~drew@2601:483:4100:4112:d4b9:e71b:75c3:cf5a) (Ping timeout: 264 seconds) |
| 2021-05-24 04:21:05 | × | superbil quits (~superbil@1-34-176-171.HINET-IP.hinet.net) (Ping timeout: 264 seconds) |
| 2021-05-24 04:21:35 | → | superbil joins (~superbil@1-34-176-171.HINET-IP.hinet.net) |
| 2021-05-24 04:24:38 | → | friedem joins (~friedem@096-037-206-208.res.spectrum.com) |
| 2021-05-24 04:26:39 | × | boxscape quits (4ff0bb95@user/boxscape) (Quit: Ping timeout (120 seconds)) |
| 2021-05-24 04:29:11 | × | juhp quits (~juhp@128.106.188.199) (Quit: juhp) |
| 2021-05-24 04:29:24 | → | juhp joins (~juhp@128.106.188.199) |
| 2021-05-24 04:29:54 | × | johnw quits (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) (Quit: ZNC - http://znc.in) |
| 2021-05-24 04:39:24 | × | haskman quits (~haskman@171.48.43.206) (Quit: Going to sleep. ZZZzzz…) |
| 2021-05-24 04:42:26 | ← | edwtjo parts (~edwtjo@h-79-136-7-145.A213.priv.bahnhof.se) (WeeChat 3.0) |
| 2021-05-24 04:42:46 | × | slack1256 quits (~slack1256@181.203.76.139) (Remote host closed the connection) |
| 2021-05-24 04:44:50 | × | abhixec quits (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Quit: leaving) |
| 2021-05-24 04:45:01 | → | edwtjo joins (~edwtjo@h-79-136-7-145.A213.priv.bahnhof.se) |
| 2021-05-24 04:50:12 | × | ivan quits (~ivan@user/ivan) (Quit: lp0 on fire) |
| 2021-05-24 04:50:51 | → | hgolden joins (~hgolden2@cpe-172-114-84-61.socal.res.rr.com) |
| 2021-05-24 04:51:47 | × | hmmmas quits (~chenqisu1@183.217.200.8) (Quit: Leaving.) |
| 2021-05-24 04:55:13 | × | Boomerang quits (~Boomerang@xd520f68c.cust.hiper.dk) (Remote host closed the connection) |
| 2021-05-24 04:55:35 | → | Boomerang joins (~Boomerang@xd520f68c.cust.hiper.dk) |
| 2021-05-24 04:56:44 | × | gonz quits (sid304396@tooting.irccloud.com) (Ping timeout: 272 seconds) |
| 2021-05-24 04:56:53 | → | gonz joins (sid304396@id-304396.tooting.irccloud.com) |
| 2021-05-24 04:57:59 | → | abhixec joins (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2021-05-24 05:01:56 | → | tA joins (~thorn@121.220.36.168) |
| 2021-05-24 05:02:10 | → | ivan joins (~ivan@user/ivan) |
| 2021-05-24 05:05:00 | × | shailangsa quits (~shailangs@host86-186-177-159.range86-186.btcentralplus.com) () |
| 2021-05-24 05:05:47 | → | ddellacosta joins (~ddellacos@89.46.62.76) |
| 2021-05-24 05:10:22 | × | ddellacosta quits (~ddellacos@89.46.62.76) (Ping timeout: 264 seconds) |
| 2021-05-24 05:12:09 | × | killsushi quits (~killsushi@user/killsushi) (Read error: Connection reset by peer) |
| 2021-05-24 05:13:08 | → | abhixec_ joins (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2021-05-24 05:13:14 | → | killsushi joins (~killsushi@cpef0f249442b03-cmf0f249442b00.cpe.net.cable.rogers.com) |
| 2021-05-24 05:13:14 | × | killsushi quits (~killsushi@cpef0f249442b03-cmf0f249442b00.cpe.net.cable.rogers.com) (Changing host) |
| 2021-05-24 05:13:14 | → | killsushi joins (~killsushi@user/killsushi) |
| 2021-05-24 05:13:15 | × | abhixec_ quits (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Client Quit) |
| 2021-05-24 05:13:36 | → | jco joins (~jco@c83-248-173-38.bredband.tele2.se) |
| 2021-05-24 05:20:03 | → | heath joins (~heath@68.68.64.38) |
| 2021-05-24 05:24:19 | → | buggy joins (~buggy@27.6.222.224) |
| 2021-05-24 05:24:22 | × | heath quits (~heath@68.68.64.38) (Ping timeout: 244 seconds) |
| 2021-05-24 05:24:30 | → | dyeplexer joins (~dyeplexer@user/dyeplexer) |
| 2021-05-24 05:24:38 | × | buggy quits (~buggy@27.6.222.224) (Changing host) |
| 2021-05-24 05:24:38 | → | buggy joins (~buggy@user/smorgasbord) |
| 2021-05-24 05:25:38 | → | biberu joins (~biberu@user/biberu) |
| 2021-05-24 05:31:27 | × | doyougnu quits (~user@c-67-168-253-231.hsd1.or.comcast.net) (Ping timeout: 264 seconds) |
| 2021-05-24 05:36:22 | <jackdk> | Is anyone aware of a library that provides an optic like `Iso' (Fix f) (f (Fix f))`? |
| 2021-05-24 05:36:48 | <jackdk> | I mean, `iso unFix Fix` is not hard to write, but it might be nice and all |
| 2021-05-24 05:39:35 | <dibblego> | _Wrapped ? |
| 2021-05-24 05:40:46 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2021-05-24 05:40:56 | → | ddellacosta joins (~ddellacos@86.106.121.45) |
| 2021-05-24 05:41:33 | hydroxonium_ | is now known as hydroxonium |
| 2021-05-24 05:41:42 | → | coot joins (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) |
| 2021-05-24 05:43:34 | <jackdk> | I would have expected that to work, but it didn't, because it couldn't expand a typefamily and conclude equality. I used `coerced`instead |
| 2021-05-24 05:44:15 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2021-05-24 05:45:46 | × | ddellacosta quits (~ddellacos@86.106.121.45) (Ping timeout: 264 seconds) |
| 2021-05-24 05:47:37 | × | allbery_b quits (~geekosaur@069-135-003-034.biz.spectrum.com) (Ping timeout: 244 seconds) |
| 2021-05-24 05:49:31 | × | juhp quits (~juhp@128.106.188.199) (Quit: juhp) |
| 2021-05-24 05:49:45 | → | juhp joins (~juhp@128.106.188.199) |
| 2021-05-24 05:50:13 | × | fart quits (68e8ca7b@user/actor) (Quit: Connection closed) |
| 2021-05-24 05:50:19 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 2021-05-24 05:51:51 | × | Morrow quits (~Morrow@bzq-110-168-31-106.red.bezeqint.net) (Ping timeout: 264 seconds) |
| 2021-05-24 05:52:19 | → | electronkong joins (~harrison@c-174-51-131-199.hsd1.co.comcast.net) |
| 2021-05-24 05:53:43 | → | haskman joins (~haskman@171.48.43.206) |
| 2021-05-24 05:53:45 | × | slowButPresent quits (~slowButPr@user/slowbutpresent) (Quit: leaving) |
| 2021-05-24 05:54:21 | <dibblego> | which Fix you using? |
| 2021-05-24 05:54:43 | × | haskman quits (~haskman@171.48.43.206) (Client Quit) |
| 2021-05-24 05:55:12 | → | drewr joins (~drew@2601:483:4100:4112:d4b9:e71b:75c3:cf5a) |
| 2021-05-24 05:56:14 | <jackdk> | Data.Fix.Fix from data-fix |
| 2021-05-24 05:56:44 | <jackdk> | which appears to have an instance, but didn't typecheck when I tried to use it (as the _Prism part of an `instance AsPrism (Fix f) (Fix f)` instance |
| 2021-05-24 05:57:23 | → | geekosaur joins (~geekosaur@069-135-003-034.biz.spectrum.com) |
| 2021-05-24 05:57:49 | → | ddellacosta joins (~ddellacos@86.106.121.114) |
| 2021-05-24 05:59:30 | × | drewr quits (~drew@2601:483:4100:4112:d4b9:e71b:75c3:cf5a) (Ping timeout: 244 seconds) |
| 2021-05-24 05:59:51 | × | juhp quits (~juhp@128.106.188.199) (Quit: juhp) |
| 2021-05-24 06:00:04 | → | juhp joins (~juhp@128.106.188.199) |
| 2021-05-24 06:02:07 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-24 06:02:34 | × | ddellacosta quits (~ddellacos@86.106.121.114) (Ping timeout: 264 seconds) |
| 2021-05-24 06:08:25 | <dibblego> | I don't think it has an instance? |
| 2021-05-24 06:10:53 | → | danso joins (~danso@23-233-111-52.cpe.pppoe.ca) |
All times are in UTC.