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