Logs: liberachat/#haskell
| 2021-08-15 06:47:12 | → | fendor joins (~fendor@178.115.35.166.wireless.dyn.drei.com) |
| 2021-08-15 06:47:29 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 248 seconds) |
| 2021-08-15 06:50:36 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds) |
| 2021-08-15 06:52:17 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 248 seconds) |
| 2021-08-15 06:58:28 | → | Cale joins (~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com) |
| 2021-08-15 07:02:09 | → | _ht joins (~quassel@82-169-194-8.biz.kpn.net) |
| 2021-08-15 07:02:36 | → | burnsidesLlama joins (~burnsides@dhcp168-012.wadham.ox.ac.uk) |
| 2021-08-15 07:07:31 | × | dcompoze quits (~dcompoze@cpc97624-walt24-2-0-cust75.13-2.cable.virginm.net) (Quit: WeeChat 3.2) |
| 2021-08-15 07:07:41 | × | burnsidesLlama quits (~burnsides@dhcp168-012.wadham.ox.ac.uk) (Ping timeout: 268 seconds) |
| 2021-08-15 07:17:55 | → | dcompoze joins (~dcompoze@cpc97624-walt24-2-0-cust75.13-2.cable.virginm.net) |
| 2021-08-15 07:18:20 | × | dcompoze quits (~dcompoze@cpc97624-walt24-2-0-cust75.13-2.cable.virginm.net) (Client Quit) |
| 2021-08-15 07:18:31 | → | acidjnk joins (~acidjnk@p200300d0c72b9508a1e806c8914cbd0f.dip0.t-ipconnect.de) |
| 2021-08-15 07:20:48 | → | dcompoze joins (~dcompoze@cpc97624-walt24-2-0-cust75.13-2.cable.virginm.net) |
| 2021-08-15 07:25:17 | → | pfurla_ joins (~pfurla@ool-3f8fcb0f.dyn.optonline.net) |
| 2021-08-15 07:25:22 | × | dcompoze quits (~dcompoze@cpc97624-walt24-2-0-cust75.13-2.cable.virginm.net) (Client Quit) |
| 2021-08-15 07:26:44 | → | dcompoze joins (~dcompoze@cpc97624-walt24-2-0-cust75.13-2.cable.virginm.net) |
| 2021-08-15 07:27:37 | → | burnsidesLlama joins (~burnsides@dhcp168-012.wadham.ox.ac.uk) |
| 2021-08-15 07:28:33 | → | sedeki joins (~textual@user/sedeki) |
| 2021-08-15 07:28:36 | × | pfurla quits (~pfurla@ool-3f8fcb0f.dyn.optonline.net) (Ping timeout: 272 seconds) |
| 2021-08-15 07:30:55 | → | nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-15 07:35:30 | × | nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2021-08-15 07:36:04 | × | fendor quits (~fendor@178.115.35.166.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-08-15 07:36:47 | × | mousey quits (~skymouse@gateway/tor-sasl/mousey) (Ping timeout: 244 seconds) |
| 2021-08-15 07:36:50 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 2021-08-15 07:37:13 | → | fendor joins (~fendor@178.115.35.166.wireless.dyn.drei.com) |
| 2021-08-15 07:38:04 | × | myShoggoth quits (~myShoggot@97-120-70-214.ptld.qwest.net) (Read error: Connection reset by peer) |
| 2021-08-15 07:38:42 | → | mousey joins (~skymouse@gateway/tor-sasl/mousey) |
| 2021-08-15 07:42:44 | × | sedeki quits (~textual@user/sedeki) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-08-15 07:43:53 | → | wonko joins (~wjc@62.115.229.50) |
| 2021-08-15 07:46:06 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 256 seconds) |
| 2021-08-15 07:56:08 | × | wallymathieu quits (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-08-15 07:59:24 | → | wallymathieu joins (~wallymath@81-234-151-21-no94.tbcn.telia.com) |
| 2021-08-15 08:05:38 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2021-08-15 08:05:44 | → | hendursa1 joins (~weechat@user/hendursaga) |
| 2021-08-15 08:05:59 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 2021-08-15 08:08:18 | × | hendursaga quits (~weechat@user/hendursaga) (Ping timeout: 244 seconds) |
| 2021-08-15 08:09:48 | <hololeap> | I have used First and Last (monoids), but I started thinking of a new monoid: data Once a = Once a | TooMany | None |
| 2021-08-15 08:10:11 | <hololeap> | where None is the "zero" and TooMany is an error state. does this already exist in some lib? |
| 2021-08-15 08:10:47 | <fendor> | can I force a cabal project using build-type custom to use a newer lib:Cabal version than what my ghc version is linked against? |
| 2021-08-15 08:12:50 | × | Skyfire quits (~pyon@user/pyon) (Quit: WeeChat 3.2) |
| 2021-08-15 08:13:32 | <hololeap> | wait, is the Once type the quintessential monotonic type, like what edwardk has talked about? |
| 2021-08-15 08:14:27 | → | amahl joins (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) |
| 2021-08-15 08:17:41 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2021-08-15 08:17:41 | → | allbery_b joins (~geekosaur@xmonad/geekosaur) |
| 2021-08-15 08:17:44 | allbery_b | is now known as geekosaur |
| 2021-08-15 08:21:58 | × | gehmehgeh quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2021-08-15 08:22:37 | × | hendursa1 quits (~weechat@user/hendursaga) (Remote host closed the connection) |
| 2021-08-15 08:22:58 | → | hendursa1 joins (~weechat@user/hendursaga) |
| 2021-08-15 08:23:12 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 2021-08-15 08:24:27 | → | Skyfire joins (~pyon@user/pyon) |
| 2021-08-15 08:27:55 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-08-15 08:29:53 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 2021-08-15 08:33:05 | × | hnOsmium0001 quits (uid453710@id-453710.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-08-15 08:38:49 | × | jmorris quits (~jmorris@2001:19f0:5801:170:5400:3ff:fe81:62fe) (Quit: BYE BITCH) |
| 2021-08-15 08:38:58 | → | gauss joins (~gauss@139.180.175.160) |
| 2021-08-15 08:46:26 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-08-15 08:48:36 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-15 08:49:26 | × | Arsen quits (~arsen@managarm/dev/Arsen) (Quit: Quit.) |
| 2021-08-15 08:49:47 | → | Arsen joins (~arsen@managarm/dev/Arsen) |
| 2021-08-15 08:51:13 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 248 seconds) |
| 2021-08-15 08:52:53 | → | Tuplanolla joins (~Tuplanoll@91-159-69-50.elisa-laajakaista.fi) |
| 2021-08-15 09:00:46 | × | Arsen quits (~arsen@managarm/dev/Arsen) (Quit: Quit.) |
| 2021-08-15 09:01:05 | → | Arsen joins (~arsen@managarm/dev/Arsen) |
| 2021-08-15 09:01:05 | × | Vajb quits (~Vajb@2001:999:252:4e3c:27f9:d93:655e:583) (Read error: Connection reset by peer) |
| 2021-08-15 09:01:13 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi) |
| 2021-08-15 09:02:41 | <fvr> | fendor: doesn’t adding the new Cabal library in setup-depends work? |
| 2021-08-15 09:04:44 | × | Arsen quits (~arsen@managarm/dev/Arsen) (Client Quit) |
| 2021-08-15 09:06:12 | × | burnsidesLlama quits (~burnsides@dhcp168-012.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-08-15 09:07:12 | × | amk quits (~amk@176.61.106.150) (Remote host closed the connection) |
| 2021-08-15 09:09:43 | → | amk joins (~amk@176.61.106.150) |
| 2021-08-15 09:11:02 | × | wonko quits (~wjc@62.115.229.50) (Ping timeout: 268 seconds) |
| 2021-08-15 09:11:06 | → | o1lo01ol1o joins (~o1lo01ol1@31.22.129.100) |
| 2021-08-15 09:15:29 | × | o1lo01ol1o quits (~o1lo01ol1@31.22.129.100) (Ping timeout: 258 seconds) |
| 2021-08-15 09:17:15 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-08-15 09:19:51 | → | Arsen joins (~arsen@managarm/dev/Arsen) |
| 2021-08-15 09:22:07 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 268 seconds) |
| 2021-08-15 09:22:41 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 248 seconds) |
| 2021-08-15 09:23:42 | → | o1lo01ol1o joins (~o1lo01ol1@31.22.129.100) |
| 2021-08-15 09:24:46 | → | pfurla joins (~pfurla@ool-3f8fcb0f.dyn.optonline.net) |
| 2021-08-15 09:25:06 | <fendor> | fvr, don't think so |
| 2021-08-15 09:25:42 | <fendor> | https://paste.tomsmeding.com/o4349srP |
| 2021-08-15 09:26:00 | <fendor> | well, actually that error is to be expected |
| 2021-08-15 09:26:48 | → | Pickchea joins (~private@user/pickchea) |
| 2021-08-15 09:28:55 | × | pfurla_ quits (~pfurla@ool-3f8fcb0f.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 2021-08-15 09:31:53 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2021-08-15 09:32:04 | → | Gurkenglas joins (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) |
| 2021-08-15 09:32:55 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-08-15 09:33:41 | <fendor> | maybe this is just a cabal-testsuite shenanigan |
| 2021-08-15 09:36:33 | × | azeem quits (~azeem@dynamic-adsl-94-34-33-6.clienti.tiscali.it) (Read error: Connection reset by peer) |
| 2021-08-15 09:38:49 | → | burnsidesLlama joins (~burnsides@dhcp168-012.wadham.ox.ac.uk) |
| 2021-08-15 09:44:32 | × | burnsidesLlama quits (~burnsides@dhcp168-012.wadham.ox.ac.uk) (Ping timeout: 256 seconds) |
| 2021-08-15 09:49:28 | <tromp> | i posted my Haskell based chess counting project to Hacker News at https://news.ycombinator.com/item?id=28187478 |
| 2021-08-15 09:56:02 | <dibblego> | tromp: nice, I think these can be improved at least a little: https://github.com/tromp/ChessPositionRanking/blob/main/src/Legality.hs#L94 |
| 2021-08-15 09:57:30 | <tromp> | you mean by case checkingpcs of (_:_:_:_) ... to make it lazier ? |
| 2021-08-15 09:57:39 | <dibblego> | yeah, essentially |
| 2021-08-15 09:58:03 | <dibblego> | > length [1..100000000] > 2 |
| 2021-08-15 09:58:08 | <lambdabot> | True |
| 2021-08-15 09:58:24 | <tromp> | i tried to optimize for simplicity over gaining some tiny performance improvement. these lists are never long |
| 2021-08-15 09:58:50 | <tromp> | the most number of checking pieces i've seen is 6 |
| 2021-08-15 09:59:07 | <tromp> | although in theory up to 16 is possible |
All times are in UTC.