| 2023-08-14 00:07:43 +0000 | masterbuilder | (~masterbui@user/masterbuilder) (Remote host closed the connection) |
| 2023-08-14 00:20:47 +0000 | glguy | (~glguy@libera/staff-emeritus/glguy) (Ping timeout: 246 seconds) |
| 2023-08-14 00:22:51 +0000 | fweht | (uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-08-14 00:26:46 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-14 00:27:54 +0000 | telser | (~quassel@user/telser) |
| 2023-08-14 00:32:14 +0000 | alexherbo2 | (~alexherbo@2a02-8440-2341-79e8-14f3-831d-5fe9-c4fa.rev.sfr.net) (Ping timeout: 246 seconds) |
| 2023-08-14 00:32:39 +0000 | pavonia | (~user@user/siracusa) |
| 2023-08-14 00:33:44 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 246 seconds) |
| 2023-08-14 00:37:06 +0000 | ft | (~ft@i59F54223.versanet.de) (Ping timeout: 245 seconds) |
| 2023-08-14 00:37:33 +0000 | glguy | (~glguy@libera/staff-emeritus/glguy) |
| 2023-08-14 00:37:49 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-08-14 00:38:54 +0000 | ft | (~ft@i59F54793.versanet.de) |
| 2023-08-14 00:48:11 +0000 | auri | (~auri@static.46.108.40.188.clients.your-server.de) (Read error: Connection reset by peer) |
| 2023-08-14 00:49:52 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-08-14 00:49:53 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-08-14 00:49:53 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-08-14 00:50:11 +0000 | auri | (~auri@fsf/member/auri) |
| 2023-08-14 01:02:09 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-14 01:06:41 +0000 | razetime | (~quassel@117.254.36.214) |
| 2023-08-14 01:07:24 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 248 seconds) |
| 2023-08-14 01:10:23 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-08-14 01:16:31 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-08-14 01:27:09 +0000 | jinsl- | (~jinsl@123.120.177.226) |
| 2023-08-14 01:27:30 +0000 | jinsl | (~jinsl@2408:8207:2550:b730:211:32ff:fec8:6aea) (Ping timeout: 246 seconds) |
| 2023-08-14 01:37:31 +0000 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 246 seconds) |
| 2023-08-14 01:38:09 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-08-14 01:40:34 +0000 | jinsl- | (~jinsl@123.120.177.226) (Quit: ZNC - https://znc.in) |
| 2023-08-14 01:48:13 +0000 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2023-08-14 01:55:38 +0000 | nick4 | (~nick@98.186.199.170) |
| 2023-08-14 01:59:34 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds) |
| 2023-08-14 02:00:16 +0000 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-08-14 02:00:17 +0000 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-08-14 02:00:17 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-08-14 02:05:00 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 248 seconds) |
| 2023-08-14 02:10:54 +0000 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-08-14 02:10:55 +0000 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-08-14 02:10:55 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-08-14 02:15:27 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-14 02:15:34 +0000 | xff0x | (~xff0x@ai086045.d.east.v6connect.net) (Ping timeout: 250 seconds) |
| 2023-08-14 02:17:27 +0000 | bratwurst | (~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) (Ping timeout: 245 seconds) |
| 2023-08-14 02:20:55 +0000 | razetime | (~quassel@117.254.36.214) (Ping timeout: 246 seconds) |
| 2023-08-14 02:21:21 +0000 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2023-08-14 02:21:22 +0000 | razetime | (~quassel@117.254.37.228) |
| 2023-08-14 02:23:58 +0000 | bratwurst | (~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) |
| 2023-08-14 02:26:20 +0000 | td_ | (~td@i53870924.versanet.de) (Ping timeout: 248 seconds) |
| 2023-08-14 02:28:13 +0000 | td_ | (~td@i5387090C.versanet.de) |
| 2023-08-14 02:30:01 +0000 | razetime | (~quassel@117.254.37.228) (Ping timeout: 246 seconds) |
| 2023-08-14 02:30:32 +0000 | razetime | (~quassel@117.254.37.44) |
| 2023-08-14 02:35:01 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-08-14 02:35:44 +0000 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 256 seconds) |
| 2023-08-14 02:38:34 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 256 seconds) |
| 2023-08-14 02:41:12 +0000 | mima | (~mmh@net-93-67-213-242.cust.vodafonedsl.it) |
| 2023-08-14 02:41:17 +0000 | terrorjack | (~terrorjac@2a01:4f8:c17:87f8::) (Quit: The Lounge - https://thelounge.chat) |
| 2023-08-14 02:42:17 +0000 | terrorjack | (~terrorjac@2a01:4f8:c17:87f8::) |
| 2023-08-14 02:42:32 +0000 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-08-14 02:42:32 +0000 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-08-14 02:42:32 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-08-14 02:43:32 +0000 | <bratwurst> | if a function accepts 'Int' but I give it 'CInt' and it compiles fine, is that ok? |
| 2023-08-14 02:43:36 +0000 | <bratwurst> | it should fail no? |
| 2023-08-14 02:46:57 +0000 | razetime | (~quassel@117.254.37.44) (Ping timeout: 260 seconds) |
| 2023-08-14 02:47:12 +0000 | razetime | (~quassel@117.254.37.113) |
| 2023-08-14 02:48:16 +0000 | nick1 | (~nick@98.186.199.170) |
| 2023-08-14 02:48:21 +0000 | <dsal> | Can you give some more context? |
| 2023-08-14 02:49:06 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2023-08-14 02:49:47 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-08-14 02:50:04 +0000 | <dsal> | Is `CInt` a type alias for `Int` vs. an FFI newtype? Is the function defined to only take `Int`, or does it take `Int`s along with other type. |
| 2023-08-14 02:50:52 +0000 | nick4 | (~nick@98.186.199.170) (Ping timeout: 248 seconds) |
| 2023-08-14 02:53:15 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2023-08-14 02:53:28 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-08-14 02:53:28 +0000 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-08-14 02:53:28 +0000 | finn_elija | FinnElija |
| 2023-08-14 02:56:23 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-14 02:56:37 +0000 | razetime | (~quassel@117.254.37.113) (Ping timeout: 246 seconds) |
| 2023-08-14 02:57:27 +0000 | razetime | (~quassel@117.254.36.226) |
| 2023-08-14 02:59:28 +0000 | sm | (~sm@plaintextaccounting/sm) |
| 2023-08-14 03:00:00 +0000 | Taneb | (~Taneb@runciman.hacksoc.org) (Quit: I seem to have stopped.) |
| 2023-08-14 03:00:03 +0000 | sm | (~sm@plaintextaccounting/sm) (Client Quit) |
| 2023-08-14 03:00:40 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 252 seconds) |
| 2023-08-14 03:01:07 +0000 | Taneb | (~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0) |
| 2023-08-14 03:03:03 +0000 | razetime | (~quassel@117.254.36.226) (Ping timeout: 246 seconds) |
| 2023-08-14 03:03:34 +0000 | trev | (~trev@user/trev) |
| 2023-08-14 03:03:38 +0000 | razetime | (~quassel@117.254.37.100) |
| 2023-08-14 03:04:04 +0000 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2023-08-14 03:04:52 +0000 | Midjak | (~Midjak@82.66.147.146) |
| 2023-08-14 03:07:57 +0000 | trev | (~trev@user/trev) (Ping timeout: 246 seconds) |
| 2023-08-14 03:08:00 +0000 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-08-14 03:08:30 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 246 seconds) |
| 2023-08-14 03:09:01 +0000 | ddellacosta | (~ddellacos@146.70.171.155) (Ping timeout: 248 seconds) |
| 2023-08-14 03:10:57 +0000 | mima | (~mmh@net-93-67-213-242.cust.vodafonedsl.it) (Ping timeout: 246 seconds) |
| 2023-08-14 03:11:03 +0000 | ddellacosta | (~ddellacos@143.244.47.100) |
| 2023-08-14 03:12:44 +0000 | jero98772 | (~jero98772@2800:484:1d84:300::3) (Ping timeout: 248 seconds) |
| 2023-08-14 03:13:12 +0000 | mikoto-chan | (~mikoto-ch@83.134.209.157) (Ping timeout: 240 seconds) |
| 2023-08-14 03:13:45 +0000 | aforemny | (~aforemny@2001:9e8:6cc7:fa00:b189:f554:b50a:b107) (Ping timeout: 246 seconds) |
| 2023-08-14 03:14:21 +0000 | aforemny | (~aforemny@2001:9e8:6cee:a000:122d:82c7:4388:6f2e) |
| 2023-08-14 03:18:40 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 2023-08-14 03:28:55 +0000 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-08-14 03:29:31 +0000 | ddellacosta | (~ddellacos@143.244.47.100) (Ping timeout: 260 seconds) |
| 2023-08-14 03:31:06 +0000 | ddellacosta | (~ddellacos@146.70.185.100) |
| 2023-08-14 03:44:01 +0000 | <EvanR> | CInt is a newtype over whatever sized int type is appropriate for your platform |
| 2023-08-14 03:44:38 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-08-14 03:45:08 +0000 | <glguy> | So in the case that your platform's CInt is the same as your platform's Int, it will work |
| 2023-08-14 03:45:34 +0000 | <EvanR> | but data Int = I# Int#, how does it match |
| 2023-08-14 03:47:46 +0000 | <glguy> | The FFI knows what's up |
| 2023-08-14 03:48:07 +0000 | nick2 | (~nick@98.186.199.170) |
| 2023-08-14 03:49:02 +0000 | <glguy> | The FFI maps Int to the C type HsInt, which happens to be int64_t on a 64-bit platform and int32_t on a 32-bit platform |
| 2023-08-14 03:50:07 +0000 | Luj | (~Luj@2a01:e0a:5f9:9681:48e4:24ca:6fdb:7ec3) (Quit: Ping timeout (120 seconds)) |
| 2023-08-14 03:50:24 +0000 | Luj | (~Luj@2a01:e0a:5f9:9681:5880:c9ff:fe9f:3dfb) |
| 2023-08-14 03:50:30 +0000 | nick1 | (~nick@98.186.199.170) (Ping timeout: 246 seconds) |
| 2023-08-14 03:51:16 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 245 seconds) |
| 2023-08-14 03:52:19 +0000 | g | (~glguy@libera/staff-emeritus/glguy) |
| 2023-08-14 04:00:04 +0000 | <Axman6> | #nonstdint.hintsconsideredharmful |
| 2023-08-14 04:00:37 +0000 | actioninja6302 | (~actioninj@user/actioninja) (Quit: see ya mane) |
| 2023-08-14 04:00:44 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-08-14 04:01:06 +0000 | actioninja6302 | (~actioninj@user/actioninja) |
| 2023-08-14 04:02:51 +0000 | <glguy> | If you're just writing some C code to be used in your Haskell, rather than binding to some already existing C library, using HsInt in the C code is about as bad as using Int in your Haskell code |
| 2023-08-14 04:07:42 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-08-14 04:11:39 +0000 | johnw | (~johnw@69.62.242.138) (Quit: ZNC - http://znc.in) |
| 2023-08-14 04:19:36 +0000 | razetime | (~quassel@117.254.37.100) (Ping timeout: 245 seconds) |
| 2023-08-14 04:22:44 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-14 04:25:16 +0000 | Square | (~Square@user/square) |
| 2023-08-14 04:27:06 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 245 seconds) |
| 2023-08-14 04:28:21 +0000 | vglfr | (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) |
| 2023-08-14 04:31:29 +0000 | vglfr | (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) (Remote host closed the connection) |
| 2023-08-14 04:32:16 +0000 | vglfr | (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) |
| 2023-08-14 04:33:41 +0000 | phma | (phma@2001:5b0:210f:78:fdd7:87cc:8238:cd58) (Read error: Connection reset by peer) |
| 2023-08-14 04:34:35 +0000 | phma | (phma@2001:5b0:215a:8e08:ce2c:b247:8837:d81a) |
| 2023-08-14 04:37:04 +0000 | vglfr | (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) (Read error: Connection reset by peer) |
| 2023-08-14 04:37:14 +0000 | NewtonTrendy | (uid282092@user/bopqod) (Quit: Connection closed for inactivity) |
| 2023-08-14 04:37:16 +0000 | vglfr | (~vglfr@188.239.201.89) |
| 2023-08-14 04:49:11 +0000 | nick3 | (~nick@98.186.199.170) |
| 2023-08-14 04:49:36 +0000 | kadobanana | (~mud@user/kadoban) |
| 2023-08-14 04:49:54 +0000 | mud | (~mud@user/kadoban) (Read error: Connection reset by peer) |
| 2023-08-14 04:51:20 +0000 | nick2 | (~nick@98.186.199.170) (Ping timeout: 245 seconds) |
| 2023-08-14 04:53:44 +0000 | biberu | (~biberu@user/biberu) (Ping timeout: 250 seconds) |
| 2023-08-14 05:00:41 +0000 | <bratwurst> | i moved the expression elsewhere and it failed like i would expect. i will try to reproduce what's happening tomorrow. im so tired im probably doing something dumb |
| 2023-08-14 05:00:53 +0000 | <bratwurst> | but i have rasterific working with sdl now |
| 2023-08-14 05:03:39 +0000 | kadobanana | (~mud@user/kadoban) (Quit: quit) |
| 2023-08-14 05:05:05 +0000 | johnw | (~johnw@69.62.242.138) |
| 2023-08-14 05:05:48 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-14 05:05:56 +0000 | razetime | (~quassel@117.254.37.100) |
| 2023-08-14 05:08:03 +0000 | mud | (~mud@user/kadoban) |
| 2023-08-14 05:10:05 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 245 seconds) |
| 2023-08-14 05:15:56 +0000 | bratwurst | (~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) (Ping timeout: 248 seconds) |
| 2023-08-14 05:15:59 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-14 05:20:50 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 244 seconds) |
| 2023-08-14 05:22:00 +0000 | michalz | (~michalz@185.246.207.200) |
| 2023-08-14 05:30:58 +0000 | razetime | (~quassel@117.254.37.100) (Ping timeout: 246 seconds) |
| 2023-08-14 05:31:20 +0000 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-08-14 05:31:31 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2023-08-14 05:32:04 +0000 | razetime | (~quassel@117.254.37.148) |
| 2023-08-14 05:33:12 +0000 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 246 seconds) |
| 2023-08-14 05:48:23 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 246 seconds) |
| 2023-08-14 05:49:39 +0000 | azimut_ | (~azimut@gateway/tor-sasl/azimut) |
| 2023-08-14 05:49:49 +0000 | nick4 | (~nick@98.186.199.170) |
| 2023-08-14 05:51:54 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 246 seconds) |
| 2023-08-14 05:52:42 +0000 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2023-08-14 05:52:44 +0000 | nick3 | (~nick@98.186.199.170) (Ping timeout: 248 seconds) |
| 2023-08-14 05:53:28 +0000 | titibandit | (~titibandi@user/titibandit) |
| 2023-08-14 06:00:34 +0000 | sm | (~sm@plaintextaccounting/sm) |
| 2023-08-14 06:04:50 +0000 | puke | (~puke@user/puke) (Ping timeout: 246 seconds) |
| 2023-08-14 06:07:47 +0000 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-08-14 06:12:20 +0000 | jinsl | (~jinsl@2408:8207:2552:f8f0:211:32ff:fec8:6aea) |
| 2023-08-14 06:15:42 +0000 | azimut_ | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 246 seconds) |
| 2023-08-14 06:16:43 +0000 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-08-14 06:24:43 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2023-08-14 06:25:49 +0000 | CiaoSen | (~Jura@2a05:5800:28a:f300:664b:f0ff:fe37:9ef) |
| 2023-08-14 06:35:11 +0000 | alexherbo2 | (~alexherbo@2a02-8440-2341-ae8f-007b-aa32-cfa0-10a7.rev.sfr.net) |
| 2023-08-14 06:37:33 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-08-14 06:38:09 +0000 | LispTyro | (~pepsi@iron.vengarl.com) (Ping timeout: 246 seconds) |
| 2023-08-14 06:38:23 +0000 | LispTyro | (~pepsi@iron.vengarl.com) |
| 2023-08-14 06:39:02 +0000 | harveypwca | (~harveypwc@c-98-220-98-201.hsd1.il.comcast.net) |
| 2023-08-14 06:41:53 +0000 | Square | (~Square@user/square) (Remote host closed the connection) |
| 2023-08-14 06:44:09 +0000 | Square | (~Square4@user/square) |
| 2023-08-14 06:44:15 +0000 | razetime | (~quassel@117.254.37.148) (Ping timeout: 246 seconds) |
| 2023-08-14 06:44:50 +0000 | razetime | (~quassel@117.254.37.245) |
| 2023-08-14 06:49:28 +0000 | nick2 | (~nick@98.186.199.170) |
| 2023-08-14 06:51:32 +0000 | fendor | (~fendor@2a02:8388:1640:be00:b586:6c06:a58:19a3) |
| 2023-08-14 06:51:50 +0000 | puke | (~puke@user/puke) |
| 2023-08-14 06:52:04 +0000 | nick4 | (~nick@98.186.199.170) (Read error: Connection reset by peer) |
| 2023-08-14 06:55:04 +0000 | Guest6251 | (~finn@81-67-22-3.rev.numericable.fr) |
| 2023-08-14 07:01:33 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2023-08-14 07:03:10 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:1ea9:bf0:b6b7:5595) |
| 2023-08-14 07:04:30 +0000 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 252 seconds) |
| 2023-08-14 07:05:36 +0000 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2023-08-14 07:08:55 +0000 | chele | (~chele@user/chele) |
| 2023-08-14 07:09:25 +0000 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
| 2023-08-14 07:15:32 +0000 | razetime | (~quassel@117.254.37.245) (Ping timeout: 246 seconds) |
| 2023-08-14 07:16:25 +0000 | razetime | (~quassel@117.254.36.251) |
| 2023-08-14 07:21:14 +0000 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-08-14 07:22:28 +0000 | razetime | (~quassel@117.254.36.251) (Ping timeout: 256 seconds) |
| 2023-08-14 07:22:36 +0000 | razetime | (~quassel@117.254.36.219) |
| 2023-08-14 07:24:09 +0000 | retropikzel | (9d1a4f9f46@2604:bf00:561:2000::ce) () |
| 2023-08-14 07:26:42 +0000 | harveypwca | (~harveypwc@c-98-220-98-201.hsd1.il.comcast.net) (Quit: Leaving) |
| 2023-08-14 07:30:16 +0000 | npmania | (~Thunderbi@146.70.199.140) |
| 2023-08-14 07:30:20 +0000 | razetime | (~quassel@117.254.36.219) (Ping timeout: 248 seconds) |
| 2023-08-14 07:31:05 +0000 | razetime | (~quassel@117.254.37.223) |
| 2023-08-14 07:35:13 +0000 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-08-14 07:36:32 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-08-14 07:38:32 +0000 | ubert | (~Thunderbi@178.115.59.24.wireless.dyn.drei.com) |
| 2023-08-14 07:47:03 +0000 | ubert | (~Thunderbi@178.115.59.24.wireless.dyn.drei.com) (Ping timeout: 244 seconds) |
| 2023-08-14 07:49:54 +0000 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
| 2023-08-14 07:50:31 +0000 | nick3 | (~nick@98.186.199.170) |
| 2023-08-14 07:52:32 +0000 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-08-14 07:52:38 +0000 | nick2 | (~nick@98.186.199.170) (Ping timeout: 246 seconds) |
| 2023-08-14 07:52:45 +0000 | fweht | (uid404746@id-404746.lymington.irccloud.com) |
| 2023-08-14 07:54:39 +0000 | nick4 | (~nick@98.186.199.170) |
| 2023-08-14 07:56:46 +0000 | mmhat | (~mmh@p200300f1c704277aee086bfffe095315.dip0.t-ipconnect.de) |
| 2023-08-14 07:57:17 +0000 | nick3 | (~nick@98.186.199.170) (Ping timeout: 260 seconds) |
| 2023-08-14 08:00:06 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-08-14 08:01:50 +0000 | npmania | (~Thunderbi@146.70.199.140) (Quit: npmania) |
| 2023-08-14 08:02:00 +0000 | mbuf | (~Shakthi@49.207.178.186) |
| 2023-08-14 08:04:51 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-08-14 08:04:57 +0000 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 245 seconds) |
| 2023-08-14 08:06:41 +0000 | misterfish | (~misterfis@87.215.131.102) |
| 2023-08-14 08:07:47 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-08-14 08:10:04 +0000 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 2023-08-14 08:12:20 +0000 | danse-nr3_ | (~francesco@151.44.182.71) |
| 2023-08-14 08:12:28 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2023-08-14 08:16:32 +0000 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Ping timeout: 250 seconds) |
| 2023-08-14 08:17:52 +0000 | razetime | (~quassel@117.254.37.223) (Ping timeout: 245 seconds) |
| 2023-08-14 08:18:39 +0000 | razetime | (~quassel@117.254.36.116) |
| 2023-08-14 08:20:32 +0000 | nick2 | (~nick@98.186.199.170) |
| 2023-08-14 08:22:48 +0000 | mrvdb | (~mrvdb@185.92.221.186) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-08-14 08:22:56 +0000 | nick4 | (~nick@98.186.199.170) (Ping timeout: 245 seconds) |
| 2023-08-14 08:23:37 +0000 | mrvdb | (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) |
| 2023-08-14 08:24:06 +0000 | sm | (~sm@plaintextaccounting/sm) |
| 2023-08-14 08:25:26 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2023-08-14 08:36:16 +0000 | ph88 | (~ph88@ip5b403cd4.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
| 2023-08-14 08:36:36 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2023-08-14 08:38:33 +0000 | razetime | (~quassel@117.254.36.116) (Ping timeout: 246 seconds) |
| 2023-08-14 08:42:03 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-08-14 08:43:58 +0000 | danse-nr3_ | (~francesco@151.44.182.71) (Read error: Connection reset by peer) |
| 2023-08-14 08:44:19 +0000 | danse-nr3 | (~francesco@151.44.182.71) |
| 2023-08-14 08:46:53 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f43a:3bed:72de:aa73) (Remote host closed the connection) |
| 2023-08-14 08:47:29 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f43a:3bed:72de:aa73) |
| 2023-08-14 08:51:45 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f43a:3bed:72de:aa73) (Ping timeout: 245 seconds) |
| 2023-08-14 08:52:27 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-14 08:58:41 +0000 | razetime | (~quassel@117.254.37.14) |
| 2023-08-14 09:01:17 +0000 | nick2 | (~nick@98.186.199.170) (Read error: Connection reset by peer) |
| 2023-08-14 09:01:33 +0000 | nick2 | (~nick@98.186.199.170) |
| 2023-08-14 09:03:28 +0000 | cfricke | (~cfricke@user/cfricke) |
| 2023-08-14 09:03:45 +0000 | deviance | (~deviance@bcdcac82.skybroadband.com) (Ping timeout: 246 seconds) |
| 2023-08-14 09:05:38 +0000 | npmania | (~Thunderbi@146.70.199.140) |
| 2023-08-14 09:08:13 +0000 | ukwnkwrd | (~ukwnkwrd@88.147.152.85) |
| 2023-08-14 09:10:51 +0000 | razetime | (~quassel@117.254.37.14) (Ping timeout: 245 seconds) |
| 2023-08-14 09:11:21 +0000 | razetime | (~quassel@117.254.37.51) |
| 2023-08-14 09:13:15 +0000 | ukwnkwrd | (~ukwnkwrd@88.147.152.85) (Quit: Leaving) |
| 2023-08-14 09:17:13 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-14 09:17:13 +0000 | deviance | (~deviance@bcdcac82.skybroadband.com) |
| 2023-08-14 09:21:26 +0000 | nick3 | (~nick@98.186.199.170) |
| 2023-08-14 09:22:27 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2023-08-14 09:22:27 +0000 | razetime | (~quassel@117.254.37.51) (Ping timeout: 246 seconds) |
| 2023-08-14 09:23:01 +0000 | razetime | (~quassel@117.254.36.82) |
| 2023-08-14 09:23:42 +0000 | nick2 | (~nick@98.186.199.170) (Ping timeout: 250 seconds) |
| 2023-08-14 09:24:39 +0000 | Pickchea | (~private@user/pickchea) |
| 2023-08-14 09:29:46 +0000 | quintasan | (~quassel@188.226.239.107) () |
| 2023-08-14 09:29:58 +0000 | quintasan | (~quassel@quintasan.pl) |
| 2023-08-14 09:31:29 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2023-08-14 09:35:36 +0000 | Guest6251 | (~finn@81-67-22-3.rev.numericable.fr) (Ping timeout: 246 seconds) |
| 2023-08-14 09:51:02 +0000 | crazazy | (~user@2001:1c00:83d:8e00:995f:1b38:6f4f:d7c4) |
| 2023-08-14 09:54:06 +0000 | masterbuilder | (~masterbui@user/masterbuilder) |
| 2023-08-14 09:55:11 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 244 seconds) |
| 2023-08-14 09:56:12 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2023-08-14 10:00:19 +0000 | npmania1 | (~Thunderbi@138.199.60.31) |
| 2023-08-14 10:01:50 +0000 | npmania | (~Thunderbi@146.70.199.140) (Ping timeout: 250 seconds) |
| 2023-08-14 10:01:50 +0000 | npmania1 | npmania |
| 2023-08-14 10:07:09 +0000 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-08-14 10:09:48 +0000 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 2023-08-14 10:10:02 +0000 | kupi | (uid212005@id-212005.hampstead.irccloud.com) |
| 2023-08-14 10:21:02 +0000 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 252 seconds) |
| 2023-08-14 10:21:35 +0000 | nick4 | (~nick@98.186.199.170) |
| 2023-08-14 10:24:17 +0000 | nick3 | (~nick@98.186.199.170) (Ping timeout: 260 seconds) |
| 2023-08-14 10:26:38 +0000 | mmhat | (~mmh@p200300f1c704277aee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 4.0.3) |
| 2023-08-14 10:28:22 +0000 | npmania | (~Thunderbi@138.199.60.31) (Ping timeout: 252 seconds) |
| 2023-08-14 10:29:05 +0000 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Ping timeout: 246 seconds) |
| 2023-08-14 10:32:56 +0000 | danse-nr3 | (~francesco@151.44.182.71) (Ping timeout: 245 seconds) |
| 2023-08-14 10:34:54 +0000 | wolke | (~wolke@2001:871:5e:4f4:8adf:e4c3:177c:a0ae) |
| 2023-08-14 10:36:16 +0000 | crazazy | (~user@2001:1c00:83d:8e00:995f:1b38:6f4f:d7c4) (Ping timeout: 256 seconds) |
| 2023-08-14 10:37:02 +0000 | wolke | (~wolke@2001:871:5e:4f4:8adf:e4c3:177c:a0ae) (Client Quit) |
| 2023-08-14 10:38:35 +0000 | scav | (sid309693@user/scav) (Quit: Connection closed for inactivity) |
| 2023-08-14 10:39:08 +0000 | wolke | (~wolke@2001:871:5e:4f4:8adf:e4c3:177c:a0ae) |
| 2023-08-14 10:41:53 +0000 | wolke | (~wolke@2001:871:5e:4f4:8adf:e4c3:177c:a0ae) (Client Quit) |
| 2023-08-14 10:44:30 +0000 | hdggxin | (~hdggxin@122.175.41.19) (Ping timeout: 252 seconds) |
| 2023-08-14 10:51:48 +0000 | <joel135> | hello, how does haskell's ffi relate to libffi? |
| 2023-08-14 10:52:03 +0000 | <joel135> | (used by python) |
| 2023-08-14 10:53:27 +0000 | CiaoSen | (~Jura@2a05:5800:28a:f300:664b:f0ff:fe37:9ef) (Ping timeout: 260 seconds) |
| 2023-08-14 10:54:01 +0000 | <opqdonut> | the term FFI, Foreign Function Interface, is used when languages call functions written in other languages (mostly C) |
| 2023-08-14 10:59:06 +0000 | <joel135> | may i assume that haskell's ffi doesn't use libffi? |
| 2023-08-14 10:59:37 +0000 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) |
| 2023-08-14 11:00:55 +0000 | <opqdonut> | looks like it does: http://sourceware.org/libffi/ |
| 2023-08-14 11:01:05 +0000 | <opqdonut> | (see under "Who uses it?") |
| 2023-08-14 11:01:41 +0000 | <opqdonut> | I'm not sure that's up to date, but it seems it at least used to |
| 2023-08-14 11:03:02 +0000 | <joel135> | oh i must've missed it, i was looking at that page! |
| 2023-08-14 11:03:38 +0000 | <joel135> | it's nice to know some of the good functionality of python and haskell is shared |
| 2023-08-14 11:04:15 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-08-14 11:07:19 +0000 | <arahael> | Incidentially, what's the best "automatic" ffi for haskell? Like, #include some C header, and bam, you've got a haskell binding. |
| 2023-08-14 11:08:53 +0000 | <arahael> | Eg, similar to bindgen and cbindgen in Rust. |
| 2023-08-14 11:10:47 +0000 | <feetwind> | can i hide kind applications in ghci :type somehow? it makes many types much harder to read. like runError :: forall e (es :: [(Type -> Type) -> Type -> Type]) a. Eff ((':) @((Type -> Type) -> Type -> Type) (Error e) es) a -> Eff es (Either (CallStack, e) a) |
| 2023-08-14 11:11:32 +0000 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-08-14 11:13:36 +0000 | razetime | (~quassel@117.254.36.82) (Ping timeout: 246 seconds) |
| 2023-08-14 11:15:19 +0000 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-08-14 11:15:57 +0000 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 2023-08-14 11:16:06 +0000 | alexherbo2 | (~alexherbo@2a02-8440-2341-ae8f-007b-aa32-cfa0-10a7.rev.sfr.net) (Remote host closed the connection) |
| 2023-08-14 11:16:28 +0000 | alexherbo2 | (~alexherbo@2a02-8440-2341-ae8f-007b-aa32-cfa0-10a7.rev.sfr.net) |
| 2023-08-14 11:18:10 +0000 | xff0x | (~xff0x@2405:6580:b080:900:1eaf:1036:66fe:e11a) |
| 2023-08-14 11:18:12 +0000 | danse-nr3 | (~francesco@151.44.182.71) |
| 2023-08-14 11:18:50 +0000 | razetime | (~quassel@117.254.36.154) |
| 2023-08-14 11:19:13 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 246 seconds) |
| 2023-08-14 11:21:22 +0000 | danse-nr3_ | (~francesco@151.44.138.71) |
| 2023-08-14 11:21:22 +0000 | danse-nr3 | (~francesco@151.44.182.71) (Read error: Connection reset by peer) |
| 2023-08-14 11:22:14 +0000 | nick3 | (~nick@98.186.199.170) |
| 2023-08-14 11:25:00 +0000 | nick4 | (~nick@98.186.199.170) (Ping timeout: 248 seconds) |
| 2023-08-14 11:25:36 +0000 | razetime | (~quassel@117.254.36.154) (Ping timeout: 244 seconds) |
| 2023-08-14 11:26:01 +0000 | razetime | (~quassel@117.254.37.65) |
| 2023-08-14 11:32:47 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2023-08-14 11:39:13 +0000 | NewtonTrendy | (uid282092@user/bopqod) |
| 2023-08-14 11:39:52 +0000 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 246 seconds) |
| 2023-08-14 11:45:15 +0000 | AlexZenon | (~alzenon@178.34.161.177) (Ping timeout: 246 seconds) |
| 2023-08-14 11:45:48 +0000 | Alex_test | (~al_test@178.34.161.177) (Ping timeout: 248 seconds) |
| 2023-08-14 11:45:58 +0000 | AlexNoo | (~AlexNoo@178.34.161.177) (Ping timeout: 256 seconds) |
| 2023-08-14 11:46:52 +0000 | AlexNoo | (~AlexNoo@178.34.161.177) |
| 2023-08-14 11:49:54 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f43a:3bed:72de:aa73) |
| 2023-08-14 11:51:04 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds) |
| 2023-08-14 11:54:15 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f43a:3bed:72de:aa73) (Ping timeout: 245 seconds) |
| 2023-08-14 11:56:14 +0000 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-08-14 11:56:14 +0000 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-08-14 11:56:14 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-08-14 11:58:11 +0000 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Quit: Leaving) |
| 2023-08-14 12:00:14 +0000 | Alex_test | (~al_test@178.34.161.177) |
| 2023-08-14 12:05:47 +0000 | libertyprime | (~libertypr@203.96.203.44) (Ping timeout: 245 seconds) |
| 2023-08-14 12:07:20 +0000 | tremon | (~tremon@83.80.159.219) |
| 2023-08-14 12:10:11 +0000 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-08-14 12:10:35 +0000 | ph88 | (~ph88@ip5b403cd4.dynamic.kabel-deutschland.de) |
| 2023-08-14 12:10:54 +0000 | razetime | (~quassel@117.254.37.65) (Ping timeout: 256 seconds) |
| 2023-08-14 12:11:11 +0000 | razetime | (~quassel@117.254.37.152) |
| 2023-08-14 12:11:58 +0000 | AlexZenon | (~alzenon@178.34.161.177) |
| 2023-08-14 12:13:02 +0000 | ulysses4ever | (~artem@38.42.227.237) (Ping timeout: 246 seconds) |
| 2023-08-14 12:13:37 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-08-14 12:14:56 +0000 | alexherbo2 | (~alexherbo@2a02-8440-2341-ae8f-007b-aa32-cfa0-10a7.rev.sfr.net) (Remote host closed the connection) |
| 2023-08-14 12:15:15 +0000 | alexherbo2 | (~alexherbo@2a02-8440-2341-ae8f-007b-aa32-cfa0-10a7.rev.sfr.net) |
| 2023-08-14 12:15:38 +0000 | ripspin | (~chatzilla@1.145.210.65) |
| 2023-08-14 12:20:12 +0000 | <feetwind> | ok, i found the answer from a 2013 stackoverflow https://stackoverflow.com/questions/16346293/why-does-ghci-desugar-type-lists-and-type-families-ca… -- :set -fno-print-explicit-kinds |
| 2023-08-14 12:21:57 +0000 | nick4 | (~nick@98.186.199.170) |
| 2023-08-14 12:23:32 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2023-08-14 12:23:40 +0000 | razetime | (~quassel@117.254.37.152) (Ping timeout: 248 seconds) |
| 2023-08-14 12:24:23 +0000 | razetime | (~quassel@117.254.37.62) |
| 2023-08-14 12:24:30 +0000 | nick3 | (~nick@98.186.199.170) (Ping timeout: 256 seconds) |
| 2023-08-14 12:25:20 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-08-14 12:25:30 +0000 | <jackdk> | Oooh, neat. Thanks for posting the answer |
| 2023-08-14 12:26:11 +0000 | bontaq | (~user@ool-45707d2c.dyn.optonline.net) |
| 2023-08-14 12:29:36 +0000 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 250 seconds) |
| 2023-08-14 12:32:53 +0000 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-08-14 12:32:54 +0000 | hdggxin | (~hdggxin@122.175.41.19) |
| 2023-08-14 12:36:05 +0000 | sm | (~sm@plaintextaccounting/sm) |
| 2023-08-14 12:44:26 +0000 | ulvarrefr | (~user@188.124.56.153) |
| 2023-08-14 12:45:10 +0000 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-08-14 12:46:01 +0000 | razetime | (~quassel@117.254.37.62) (Ping timeout: 246 seconds) |
| 2023-08-14 12:46:37 +0000 | razetime | (~quassel@117.254.37.46) |
| 2023-08-14 12:49:24 +0000 | fendor | (~fendor@2a02:8388:1640:be00:b586:6c06:a58:19a3) (Remote host closed the connection) |
| 2023-08-14 12:51:24 +0000 | ulysses4ever | (~artem@38.42.227.237) |
| 2023-08-14 13:00:03 +0000 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 2023-08-14 13:02:53 +0000 | mmhat | (~mmh@p200300f1c704277aee086bfffe095315.dip0.t-ipconnect.de) |
| 2023-08-14 13:03:13 +0000 | mmhat | (~mmh@p200300f1c704277aee086bfffe095315.dip0.t-ipconnect.de) (Client Quit) |
| 2023-08-14 13:05:58 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
| 2023-08-14 13:13:35 +0000 | razetime | (~quassel@117.254.37.46) (Ping timeout: 244 seconds) |
| 2023-08-14 13:14:18 +0000 | razetime | (~quassel@117.254.37.108) |
| 2023-08-14 13:18:43 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-14 13:20:48 +0000 | razetime | (~quassel@117.254.37.108) (Ping timeout: 246 seconds) |
| 2023-08-14 13:21:00 +0000 | razetime | (~quassel@117.254.36.1) |
| 2023-08-14 13:23:03 +0000 | nick1 | (~nick@98.186.199.170) |
| 2023-08-14 13:23:38 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 2023-08-14 13:24:12 +0000 | ph88 | (~ph88@ip5b403cd4.dynamic.kabel-deutschland.de) (Ping timeout: 250 seconds) |
| 2023-08-14 13:25:08 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-08-14 13:25:13 +0000 | nick4 | (~nick@98.186.199.170) (Ping timeout: 246 seconds) |
| 2023-08-14 13:25:21 +0000 | razetime | (~quassel@117.254.36.1) (Ping timeout: 246 seconds) |
| 2023-08-14 13:25:41 +0000 | razetime | (~quassel@117.254.37.234) |
| 2023-08-14 13:35:34 +0000 | <probie> | What's the term for a monoid where `(<>)` is commutative? |
| 2023-08-14 13:36:12 +0000 | titibandit | (~titibandi@user/titibandit) (Ping timeout: 245 seconds) |
| 2023-08-14 13:36:32 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-08-14 13:36:32 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-08-14 13:36:32 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-08-14 13:36:45 +0000 | razetime | (~quassel@117.254.37.234) (Ping timeout: 246 seconds) |
| 2023-08-14 13:37:19 +0000 | razetime | (~quassel@117.254.37.51) |
| 2023-08-14 13:38:15 +0000 | <Hecate> | tomsmeding: I've been told many times in the past month what a delight the Haskell Playground was :) |
| 2023-08-14 13:38:28 +0000 | <Hecate> | so, thank you for creating it :) |
| 2023-08-14 13:39:14 +0000 | michalz | (~michalz@185.246.207.200) (Remote host closed the connection) |
| 2023-08-14 13:41:00 +0000 | hgolden | (~hgolden@2603-8000-9d00-3ed1-fc05-5499-f77c-fbe5.res6.spectrum.com) (Remote host closed the connection) |
| 2023-08-14 13:41:38 +0000 | <opqdonut> | probie: I haven't heard of any term other than "commutative monoid" |
| 2023-08-14 13:42:07 +0000 | <opqdonut> | (commutative groups are also called abelian groups tho) |
| 2023-08-14 13:43:22 +0000 | alexherbo2 | (~alexherbo@2a02-8440-2341-ae8f-007b-aa32-cfa0-10a7.rev.sfr.net) (Remote host closed the connection) |
| 2023-08-14 13:43:23 +0000 | <Hecate> | https://argumatronic.com/posts/2019-06-21-algebra-cheatsheet.html#group-like-structures |
| 2023-08-14 13:43:27 +0000 | <Hecate> | Abelian yes, probie |
| 2023-08-14 13:43:51 +0000 | <opqdonut> | I don't think anyone says "abelian monoid" |
| 2023-08-14 13:43:52 +0000 | razetime | (~quassel@117.254.37.51) (Ping timeout: 240 seconds) |
| 2023-08-14 13:44:23 +0000 | <opqdonut> | hmm ok wikipedia mentions it on https://en.wikipedia.org/wiki/Monoid |
| 2023-08-14 13:45:00 +0000 | razetime | (~quassel@117.254.36.189) |
| 2023-08-14 13:48:01 +0000 | ph88 | (~ph88@ip5b403cd4.dynamic.kabel-deutschland.de) |
| 2023-08-14 13:50:02 +0000 | <ph88> | does haskell hashmap use a 32bit or less hash ? |
| 2023-08-14 13:51:43 +0000 | <danse-nr3_> | that is a nice page Hecate |
| 2023-08-14 13:52:03 +0000 | jero98772 | (~jero98772@2800:484:1d84:300::3) |
| 2023-08-14 13:52:34 +0000 | <[exa]> | ph88: likely depends on this one https://hackage.haskell.org/package/hashable-1.4.0.2/docs/Data-Hashable.html#v:hash |
| 2023-08-14 13:53:42 +0000 | razetime | (~quassel@117.254.36.189) (Ping timeout: 245 seconds) |
| 2023-08-14 13:54:49 +0000 | razetime | (~quassel@117.254.37.115) |
| 2023-08-14 13:55:38 +0000 | trev | (~trev@user/trev) |
| 2023-08-14 14:00:04 +0000 | trev | (~trev@user/trev) (Ping timeout: 258 seconds) |
| 2023-08-14 14:00:34 +0000 | allbery_b | (~geekosaur@xmonad/geekosaur) |
| 2023-08-14 14:00:42 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2023-08-14 14:01:07 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 244 seconds) |
| 2023-08-14 14:03:54 +0000 | ulvarrefr | (~user@188.124.56.153) (ERC 5.4 (IRC client for GNU Emacs 28.2)) |
| 2023-08-14 14:06:07 +0000 | ulvarrefr | (~user@188.124.56.153) |
| 2023-08-14 14:06:13 +0000 | <ph88> | [exa], i guess 32bits for 32bits system and 64bits for 64bits system ? |
| 2023-08-14 14:06:40 +0000 | <[exa]> | yeah that's the common behavior of Int |
| 2023-08-14 14:07:42 +0000 | <[exa]> | not sure if there are many exceptions though, maybe on non-x86ish platforms and non-ghc compilers... |
| 2023-08-14 14:09:06 +0000 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Remote host closed the connection) |
| 2023-08-14 14:10:02 +0000 | razetime | (~quassel@117.254.37.115) (Ping timeout: 260 seconds) |
| 2023-08-14 14:10:18 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 246 seconds) |
| 2023-08-14 14:10:30 +0000 | razetime | (~quassel@117.254.36.246) |
| 2023-08-14 14:16:56 +0000 | razetime | (~quassel@117.254.36.246) (Ping timeout: 258 seconds) |
| 2023-08-14 14:17:30 +0000 | razetime | (~quassel@117.254.36.75) |
| 2023-08-14 14:17:50 +0000 | acidjnk_new | (~acidjnk@p200300d6e7072f65c8058c017de71b95.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2023-08-14 14:19:32 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 2023-08-14 14:23:28 +0000 | nick1 | (~nick@98.186.199.170) (Read error: Connection reset by peer) |
| 2023-08-14 14:23:46 +0000 | nick1 | (~nick@98.186.199.170) |
| 2023-08-14 14:26:45 +0000 | razetime | (~quassel@117.254.36.75) (Ping timeout: 245 seconds) |
| 2023-08-14 14:27:11 +0000 | razetime | (~quassel@117.254.36.147) |
| 2023-08-14 14:27:30 +0000 | nick3 | (~nick@98.186.199.170) |
| 2023-08-14 14:29:04 +0000 | <probie> | The report requires _at least_ 30 bits for `Int` |
| 2023-08-14 14:29:12 +0000 | nick1 | (~nick@98.186.199.170) (Ping timeout: 250 seconds) |
| 2023-08-14 14:29:35 +0000 | <probie> | So even on a non-GHC implementation on a 16-bit platform, you can expect at least 30 bits in your hash |
| 2023-08-14 14:34:56 +0000 | allbery_b | geekosaur |
| 2023-08-14 14:36:37 +0000 | razetime | (~quassel@117.254.36.147) (Ping timeout: 246 seconds) |
| 2023-08-14 14:36:52 +0000 | razetime | (~quassel@117.254.36.166) |
| 2023-08-14 14:37:39 +0000 | nick3 | (~nick@98.186.199.170) (Ping timeout: 246 seconds) |
| 2023-08-14 14:38:00 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-08-14 14:38:58 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2023-08-14 14:40:39 +0000 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
| 2023-08-14 14:41:39 +0000 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2023-08-14 14:42:13 +0000 | razetime | (~quassel@117.254.36.166) (Ping timeout: 246 seconds) |
| 2023-08-14 14:42:33 +0000 | razetime | (~quassel@117.254.37.90) |
| 2023-08-14 14:42:38 +0000 | misterfish | (~misterfis@87.215.131.102) (Ping timeout: 250 seconds) |
| 2023-08-14 14:46:24 +0000 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-08-14 14:58:40 +0000 | <tomsmeding> | opqdonut: I've also only ever heard commutative monoid |
| 2023-08-14 14:58:46 +0000 | <tomsmeding> | Hecate: <3 |
| 2023-08-14 14:59:28 +0000 | Lycurgus | (~juan@user/Lycurgus) (Quit: Tschüss) |
| 2023-08-14 15:04:49 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2023-08-14 15:07:55 +0000 | titibandit | (~titibandi@user/titibandit) |
| 2023-08-14 15:08:21 +0000 | danse-nr3_ | (~francesco@151.44.138.71) (Ping timeout: 245 seconds) |
| 2023-08-14 15:09:47 +0000 | ulvarrefr | (~user@188.124.56.153) (Quit: ERC 5.4 (IRC client for GNU Emacs 28.2)) |
| 2023-08-14 15:10:49 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2023-08-14 15:13:04 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:1ea9:bf0:b6b7:5595) (Quit: WeeChat 2.8) |
| 2023-08-14 15:19:02 +0000 | acidjnk_new | (~acidjnk@p200300d6e7072f6508304e8b1fb6082f.dip0.t-ipconnect.de) |
| 2023-08-14 15:24:50 +0000 | Square | (~Square4@user/square) (Ping timeout: 246 seconds) |
| 2023-08-14 15:25:17 +0000 | danse-nr3_ | (~francesco@151.46.181.82) |
| 2023-08-14 15:25:55 +0000 | td_ | (~td@i5387090C.versanet.de) (Ping timeout: 240 seconds) |
| 2023-08-14 15:28:09 +0000 | td_ | (~td@i53870905.versanet.de) |
| 2023-08-14 15:29:04 +0000 | nick3 | (~nick@wsip-174-78-110-18.pn.at.cox.net) |
| 2023-08-14 15:38:18 +0000 | <tomsmeding> | oh wrong mention, probie ^ |
| 2023-08-14 15:39:20 +0000 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-08-14 15:39:46 +0000 | kupi | (uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-08-14 15:41:56 +0000 | ystael | (~ystael@user/ystael) |
| 2023-08-14 15:42:02 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 245 seconds) |
| 2023-08-14 15:42:55 +0000 | ddellacosta | (~ddellacos@146.70.185.100) (Ping timeout: 240 seconds) |
| 2023-08-14 15:45:31 +0000 | ddellacosta | (~ddellacos@146.70.171.254) |
| 2023-08-14 15:46:48 +0000 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 256 seconds) |
| 2023-08-14 15:49:04 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-08-14 15:49:12 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-14 15:53:17 +0000 | gmg | (~user@user/gehmehgeh) |
| 2023-08-14 15:55:42 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f43a:3bed:72de:aa73) |
| 2023-08-14 15:56:50 +0000 | zmt01 | (~zmt00@user/zmt00) (Read error: Connection reset by peer) |
| 2023-08-14 16:05:30 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 245 seconds) |
| 2023-08-14 16:06:55 +0000 | kupi | (uid212005@id-212005.hampstead.irccloud.com) |
| 2023-08-14 16:08:41 +0000 | zmt00 | (~zmt00@user/zmt00) |
| 2023-08-14 16:09:21 +0000 | razetime | (~quassel@117.254.37.90) (Remote host closed the connection) |
| 2023-08-14 16:12:19 +0000 | dispater | (~dispater@user/brprice) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-08-14 16:12:19 +0000 | orcus | (~orcus@user/brprice) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-08-14 16:12:31 +0000 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 246 seconds) |
| 2023-08-14 16:14:36 +0000 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
| 2023-08-14 16:17:41 +0000 | hgolden | (~hgolden@2603-8000-9d00-3ed1-fc05-5499-f77c-fbe5.res6.spectrum.com) |
| 2023-08-14 16:20:03 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-14 16:21:00 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2023-08-14 16:21:28 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-14 16:23:20 +0000 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Quit: WeeChat 4.0.2) |
| 2023-08-14 16:30:50 +0000 | ripspin | (~chatzilla@1.145.210.65) (Remote host closed the connection) |
| 2023-08-14 16:45:22 +0000 | hiredman | (~hiredman@frontier1.downey.family) |
| 2023-08-14 16:46:14 +0000 | addem | (~addem@2600:1700:1066:2a10:a33a:7c2b:ec25:5e91) |
| 2023-08-14 16:48:46 +0000 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-08-14 16:52:23 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-14 16:53:07 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 246 seconds) |
| 2023-08-14 16:53:18 +0000 | ecraven | (ecraven@user/nex) |
| 2023-08-14 16:56:41 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 245 seconds) |
| 2023-08-14 17:04:45 +0000 | danse-nr3_ | (~francesco@151.46.181.82) (Ping timeout: 248 seconds) |
| 2023-08-14 17:06:23 +0000 | kraftwerk28_ | (~kraftwerk@164.92.219.160) (Quit: *disconnects*) |
| 2023-08-14 17:08:17 +0000 | kraftwerk28 | (~kraftwerk@164.92.219.160) |
| 2023-08-14 17:20:13 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-14 17:23:07 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-14 17:24:23 +0000 | bontaq | (~user@ool-45707d2c.dyn.optonline.net) (Remote host closed the connection) |
| 2023-08-14 17:24:45 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 2023-08-14 17:26:27 +0000 | mikoto-chan | (~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be) |
| 2023-08-14 17:26:29 +0000 | mima | (~mmh@net-93-67-213-242.cust.vodafonedsl.it) |
| 2023-08-14 17:31:49 +0000 | mbuf | (~Shakthi@49.207.178.186) (Quit: Leaving) |
| 2023-08-14 17:32:27 +0000 | billchenchina | (~billchenc@2a0c:b641:7a2:320:ee3e:47ca:6070:d71a) |
| 2023-08-14 17:35:19 +0000 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 2023-08-14 17:39:51 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-14 17:42:36 +0000 | mikoto-chan | (~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be) (Ping timeout: 246 seconds) |
| 2023-08-14 17:44:40 +0000 | YuutaW | (~YuutaW@mail.yuuta.moe) (Ping timeout: 256 seconds) |
| 2023-08-14 17:47:50 +0000 | YuutaW | (~YuutaW@mail.yuuta.moe) |
| 2023-08-14 17:48:10 +0000 | bratwurst | (~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) |
| 2023-08-14 17:55:24 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 248 seconds) |
| 2023-08-14 18:06:41 +0000 | danse-nr3_ | (~francesco@151.46.181.82) |
| 2023-08-14 18:08:11 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-14 18:09:16 +0000 | billchenchina | (~billchenc@2a0c:b641:7a2:320:ee3e:47ca:6070:d71a) (Quit: Leaving) |
| 2023-08-14 18:12:34 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2023-08-14 18:13:18 +0000 | danse-nr3_ | (~francesco@151.46.181.82) (Ping timeout: 252 seconds) |
| 2023-08-14 18:16:16 +0000 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Remote host closed the connection) |
| 2023-08-14 18:18:52 +0000 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 248 seconds) |
| 2023-08-14 18:22:30 +0000 | biberu | (~biberu@user/biberu) |
| 2023-08-14 18:23:13 +0000 | hyvoid | (~hyenavoid@222-0-178-69.static.gci.net) |
| 2023-08-14 18:25:45 +0000 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 2023-08-14 18:27:02 +0000 | bratwurst | (~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) (Ping timeout: 245 seconds) |
| 2023-08-14 18:32:04 +0000 | russruss2 | (~russruss@my.russellmcc.com) (The Lounge - https://thelounge.chat) |
| 2023-08-14 18:44:11 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-14 18:44:45 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-14 18:50:09 +0000 | libertyprime | (~libertypr@203.96.203.44) |
| 2023-08-14 18:50:37 +0000 | Midjak | (~Midjak@82.66.147.146) |
| 2023-08-14 18:52:52 +0000 | jero98772 | (~jero98772@2800:484:1d84:300::3) (Ping timeout: 245 seconds) |
| 2023-08-14 19:01:02 +0000 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-08-14 19:04:16 +0000 | jero98772 | (~jero98772@2800:484:1d84:300::3) |
| 2023-08-14 19:06:48 +0000 | Buggys | (Buggys@Buggy.shelltalk.net) (Ping timeout: 246 seconds) |
| 2023-08-14 19:13:21 +0000 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Ping timeout: 245 seconds) |
| 2023-08-14 19:17:19 +0000 | YuutaW | (~YuutaW@mail.yuuta.moe) (Ping timeout: 244 seconds) |
| 2023-08-14 19:18:41 +0000 | YuutaW | (~YuutaW@mail.yuuta.moe) |
| 2023-08-14 19:19:44 +0000 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 2023-08-14 19:20:17 +0000 | bratwurst | (~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) |
| 2023-08-14 19:22:18 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) (Quit: leaving) |
| 2023-08-14 19:22:52 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2023-08-14 19:23:36 +0000 | libertyprime | (~libertypr@203.96.203.44) (Ping timeout: 258 seconds) |
| 2023-08-14 19:29:23 +0000 | mikoto-chan | (~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be) |
| 2023-08-14 19:33:39 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f43a:3bed:72de:aa73) (Remote host closed the connection) |
| 2023-08-14 19:35:11 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-08-14 19:40:16 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2023-08-14 19:51:06 +0000 | sm | (~sm@plaintextaccounting/sm) |
| 2023-08-14 19:55:58 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-08-14 19:56:51 +0000 | hexology | (~hexology@user/hexology) |
| 2023-08-14 19:58:15 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-14 20:02:35 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 245 seconds) |
| 2023-08-14 20:02:57 +0000 | jero98772 | (~jero98772@2800:484:1d84:300::3) (Ping timeout: 260 seconds) |
| 2023-08-14 20:04:47 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-14 20:06:36 +0000 | shriekingnoise | (~shrieking@186.137.175.87) |
| 2023-08-14 20:08:50 +0000 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-08-14 20:16:09 +0000 | jero98772 | (~jero98772@2800:484:1d84:300::3) |
| 2023-08-14 20:22:36 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 248 seconds) |
| 2023-08-14 20:23:55 +0000 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-08-14 20:29:46 +0000 | kupi | (uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-08-14 20:34:11 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f43a:3bed:72de:aa73) |
| 2023-08-14 20:34:52 +0000 | Guest|38 | (~Guest|38@pool-74-109-254-148.pitbpa.fios.verizon.net) |
| 2023-08-14 20:38:03 +0000 | Guest|38 | (~Guest|38@pool-74-109-254-148.pitbpa.fios.verizon.net) (Client Quit) |
| 2023-08-14 20:38:37 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f43a:3bed:72de:aa73) (Ping timeout: 248 seconds) |
| 2023-08-14 20:39:59 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 2023-08-14 20:45:09 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-14 20:45:39 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-14 20:48:51 +0000 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2023-08-14 20:49:48 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 244 seconds) |
| 2023-08-14 20:49:48 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 244 seconds) |
| 2023-08-14 20:50:59 +0000 | Inst | (~Inst@2601:6c4:4081:2fc0:c9ba:9410:6c9c:4630) |
| 2023-08-14 20:51:44 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2023-08-14 20:52:08 +0000 | caryhartline | (~caryhartl@168.182.58.169) |
| 2023-08-14 20:52:23 +0000 | nick3 | (~nick@wsip-174-78-110-18.pn.at.cox.net) (Ping timeout: 244 seconds) |
| 2023-08-14 20:52:38 +0000 | <Inst> | EvanR: |
| 2023-08-14 20:52:39 +0000 | <Inst> | https://newaverageandpragmatic.blogspot.com/2023/08/haskell-kaiseki-cookbook.html |
| 2023-08-14 20:52:49 +0000 | <Inst> | This is just a scrapbook, tbh, the blog, I registered justdoit.cx |
| 2023-08-14 20:53:09 +0000 | <Inst> | Just do it (in GHCI, last statement, in HUnit, something else) |
| 2023-08-14 20:53:21 +0000 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 2023-08-14 20:53:26 +0000 | <Inst> | would rather work on getting something professional on Justdoit.cx |
| 2023-08-14 20:53:46 +0000 | <Inst> | now, to actually write a tutorial |
| 2023-08-14 20:53:47 +0000 | ryantrinkle | (~ryantrink@140.174.243.250) (Quit: Leaving.) |
| 2023-08-14 20:56:06 +0000 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2023-08-14 21:00:50 +0000 | Buggys | (Buggys@Buggy.shelltalk.net) |
| 2023-08-14 21:01:48 +0000 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Quit: Leaving) |
| 2023-08-14 21:04:38 +0000 | yaroot_ | (~yaroot@2400:4052:ac0:d900:1cf4:2aff:fe51:c04c) |
| 2023-08-14 21:04:47 +0000 | bratwurst | (~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) (Remote host closed the connection) |
| 2023-08-14 21:05:12 +0000 | bratwurst | (~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) |
| 2023-08-14 21:05:18 +0000 | yaroot | (~yaroot@p3196076-ipngn7101souka.saitama.ocn.ne.jp) (Ping timeout: 244 seconds) |
| 2023-08-14 21:05:19 +0000 | yaroot_ | yaroot |
| 2023-08-14 21:11:17 +0000 | Buggys | (Buggys@Buggy.shelltalk.net) (Quit: IRCNow and Forever!) |
| 2023-08-14 21:13:08 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.6) |
| 2023-08-14 21:14:44 +0000 | <Inst> | I'll get around to writing the monomer version, i'll probably move to gi-gtk |
| 2023-08-14 21:18:53 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-08-14 21:21:43 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-14 21:26:04 +0000 | <Inst> | anyone interested in an interesting freakshow with windows powershell? |
| 2023-08-14 21:26:24 +0000 | <Inst> | Basically, I can get gi-gtk to work under the instructions (I think Jaro did it?) provided for CMD, but in powershell |
| 2023-08-14 21:26:48 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
| 2023-08-14 21:27:47 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds) |
| 2023-08-14 21:28:10 +0000 | Buggys | (Buggys@Buggy.shelltalk.net) |
| 2023-08-14 21:31:44 +0000 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-08-14 21:31:45 +0000 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-08-14 21:31:45 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-08-14 21:32:46 +0000 | <EvanR> | ok great |
| 2023-08-14 21:33:21 +0000 | <Inst> | okay, i'll stop annoying you guys for a while, need to get work done |
| 2023-08-14 21:36:13 +0000 | Pickchea | (~private@user/pickchea) |
| 2023-08-14 21:41:10 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2023-08-14 21:44:36 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds) |
| 2023-08-14 21:44:52 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-08-14 21:45:03 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-14 21:47:53 +0000 | caryhartline | (~caryhartl@168.182.58.169) (Quit: caryhartline) |
| 2023-08-14 21:49:55 +0000 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-08-14 21:49:56 +0000 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-08-14 21:49:56 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-08-14 21:53:20 +0000 | libertyprime | (~libertypr@203.96.203.44) |
| 2023-08-14 21:53:50 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-14 21:56:16 +0000 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 256 seconds) |
| 2023-08-14 21:57:12 +0000 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-08-14 21:58:14 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
| 2023-08-14 21:59:41 +0000 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-08-14 22:01:49 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-14 22:02:36 +0000 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
| 2023-08-14 22:07:14 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-08-14 22:08:48 +0000 | nick3 | (~nick@2600:8807:9084:7800:25b7:dc96:70fc:a2ae) |
| 2023-08-14 22:14:45 +0000 | nick3 | (~nick@2600:8807:9084:7800:25b7:dc96:70fc:a2ae) (Ping timeout: 246 seconds) |
| 2023-08-14 22:15:03 +0000 | ulysses4ever | (~artem@38.42.227.237) (Ping timeout: 244 seconds) |
| 2023-08-14 22:17:36 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-08-14 22:17:54 +0000 | addem | (~addem@2600:1700:1066:2a10:a33a:7c2b:ec25:5e91) (Remote host closed the connection) |
| 2023-08-14 22:18:22 +0000 | bratwurst | (~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) (Remote host closed the connection) |
| 2023-08-14 22:18:46 +0000 | bratwurst | (~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) |
| 2023-08-14 22:24:06 +0000 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-08-14 22:24:32 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-08-14 22:28:17 +0000 | acidjnk_new | (~acidjnk@p200300d6e7072f6508304e8b1fb6082f.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2023-08-14 22:28:47 +0000 | yaroot | (~yaroot@2400:4052:ac0:d900:1cf4:2aff:fe51:c04c) (Read error: Connection reset by peer) |
| 2023-08-14 22:28:56 +0000 | yaroot | (~yaroot@p2805009-ipngn7901souka.saitama.ocn.ne.jp) |
| 2023-08-14 22:33:03 +0000 | caryhartline | (~caryhartl@168.182.58.169) |
| 2023-08-14 22:35:20 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 246 seconds) |
| 2023-08-14 22:35:55 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f43a:3bed:72de:aa73) |
| 2023-08-14 22:36:53 +0000 | Lycurgus | (~juan@user/Lycurgus) (Quit: Tschüss) |
| 2023-08-14 22:38:06 +0000 | kayvank | (~user@52-119-115-185.PUBLIC.monkeybrains.net) |
| 2023-08-14 22:40:12 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f43a:3bed:72de:aa73) (Ping timeout: 248 seconds) |
| 2023-08-14 22:46:26 +0000 | <kayvank> | help with the ghc flag `-Wmissing-import-lists` please. I like to use the flag in my cabal file, however, I still like to use the short hand `import X (MyContstructro (..))`. Is that possible? |
| 2023-08-14 22:49:46 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 252 seconds) |
| 2023-08-14 22:50:27 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2023-08-14 22:54:41 +0000 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-08-14 22:54:41 +0000 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-08-14 22:54:41 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-08-14 22:55:41 +0000 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Remote host closed the connection) |
| 2023-08-14 22:55:59 +0000 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2023-08-14 22:57:23 +0000 | ulysses4ever | (~artem@38.42.227.237) |
| 2023-08-14 22:57:42 +0000 | kayvank | (~user@52-119-115-185.PUBLIC.monkeybrains.net) (ERC 5.4 (IRC client for GNU Emacs 28.1)) |
| 2023-08-14 22:58:17 +0000 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2023-08-14 22:59:02 +0000 | acidjnk_new | (~acidjnk@p200300d6e7072f340195dc8d23b3c708.dip0.t-ipconnect.de) |
| 2023-08-14 22:59:15 +0000 | kayvank | (~user@52-119-115-185.PUBLIC.monkeybrains.net) |
| 2023-08-14 22:59:36 +0000 | onebitboy | (~onebitboy@user/onebitboy) () |
| 2023-08-14 22:59:44 +0000 | mima | (~mmh@net-93-67-213-242.cust.vodafonedsl.it) (Ping timeout: 256 seconds) |
| 2023-08-14 23:02:03 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-14 23:03:51 +0000 | <wroathe> | Isn't there a default instance for lists in base that has liftA2 (:) already defined as a binary operator? |
| 2023-08-14 23:04:17 +0000 | mauke_ | (~mauke@user/mauke) |
| 2023-08-14 23:04:46 +0000 | <wroathe> | It's been a long time since I haskelled and I seem to have forgotten everything. I'm looking for something that does f a -> f [a] -> f [a] for me |
| 2023-08-14 23:05:31 +0000 | mauke | (~mauke@user/mauke) (Ping timeout: 246 seconds) |
| 2023-08-14 23:05:31 +0000 | mauke_ | mauke |
| 2023-08-14 23:05:59 +0000 | <wroathe> | Oh I'm being dumb. <$> gets me there |
| 2023-08-14 23:06:12 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
| 2023-08-14 23:06:26 +0000 | bratwurst | (~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) (Remote host closed the connection) |
| 2023-08-14 23:07:13 +0000 | bratwurst | (~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) |
| 2023-08-14 23:14:48 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2023-08-14 23:15:56 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 246 seconds) |
| 2023-08-14 23:16:33 +0000 | arahael | (~arahael@1.145.118.211) |
| 2023-08-14 23:17:30 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-14 23:18:06 +0000 | <int-e> | :t liftA2 (:) |
| 2023-08-14 23:18:07 +0000 | <lambdabot> | Applicative f => f a -> f [a] -> f [a] |
| 2023-08-14 23:19:09 +0000 | Ranhir | (~Ranhir@157.97.53.139) (Ping timeout: 246 seconds) |
| 2023-08-14 23:25:48 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2023-08-14 23:25:55 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 245 seconds) |
| 2023-08-14 23:33:48 +0000 | caryhartline | (~caryhartl@168.182.58.169) (Quit: caryhartline) |
| 2023-08-14 23:33:59 +0000 | Ranhir | (~Ranhir@157.97.53.139) |
| 2023-08-14 23:37:41 +0000 | jargon | (~jargon@184.101.68.177) |
| 2023-08-14 23:38:24 +0000 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Quit: uppdatterar) |
| 2023-08-14 23:38:35 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2023-08-14 23:38:54 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-08-14 23:39:22 +0000 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-08-14 23:46:05 +0000 | <probie> | Perhaps slightly off-topic, but in https://hackage.haskell.org/package/categories-1.0.7/docs/Control-Category-Cartesian-Closed.html there's an associated type for `CCC` which is `Exp`. I'm struggling to think of categories where `Exp k` is not going to be `k` |
| 2023-08-14 23:46:20 +0000 | <probie> | does anyone know of a simple example where `Exp k` won't just be `k`? |
| 2023-08-14 23:48:55 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-14 23:51:13 +0000 | quidnunc | (~user@70.31.194.28) |
| 2023-08-14 23:54:41 +0000 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2023-08-14 23:54:42 +0000 | <EvanR> | that it would always be k is mixing levels right |
| 2023-08-14 23:55:10 +0000 | <EvanR> | k is a haskell type constructor while exponential object constructor is supposed to give something in the category |
| 2023-08-14 23:56:09 +0000 | <probie> | So, for `(->)`, `type Exp (->) = (->)` |
| 2023-08-14 23:56:17 +0000 | arahael | (~arahael@1.145.118.211) (Ping timeout: 260 seconds) |
| 2023-08-14 23:56:29 +0000 | <EvanR> | yeah that's the standard case of mixing levels |
| 2023-08-14 23:56:36 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2023-08-14 23:56:47 +0000 | <EvanR> | it barely makes sense xD |
| 2023-08-14 23:58:24 +0000 | <quidnunc> | I'm trying to do the haskelling exercises and am on Syntax5.hs which asks you to implement a function called sumPairProducts that sums all pairs of products of 6 variables. The preamble gives a similar example for 3 variables using a where clause that defines each pair. For 3 variables there are only 3 pairs. For 6 variables there are 15 pairs. This seems extremely onerous compared to previous questions. Am I missing something? |
| 2023-08-14 23:58:24 +0000 | <quidnunc> | https://github.com/MondayMorningHaskell/haskellings/blob/master/exercises/syntax/Syntax5.hs |
| 2023-08-14 23:59:49 +0000 | <Axman6> | Anyone know of a haskell library which makes dealing with bitwise data easy? I want something like 'binary' at the bit level, like erlang's bit parsing syntax; for example I want to be able to extract (say) an Int from 5 bits then another from the next 5 bits (and also the reverse, this is a 5 bit number, append it to the end of the result) |