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