| 2021-09-12 00:02:52 +0200 | <AlistairB> | Hi, does anyone know how to verify the gpg signatures in https://downloads.haskell.org/~ghc/8.10.7/ ? I am trying `gpg --trusted-key 7CCFC277A14C97A7 --verify ghc-8.10.7-x86_64-deb10-linux.tar.xz.sig` |
| 2021-09-12 00:03:40 +0200 | <AlistairB> | after I have loaded this key `gpg --keyserver keyserver.ubuntu.com --recv-keys 01944ea522110b90c81f629d7ccfc277a14c97a7` - https://keyserver.ubuntu.com/pks/lookup?search=Zubin+Duggal&fingerprint=on&op=index |
| 2021-09-12 00:04:01 +0200 | <AlistairB> | but it fails with `Can't check signature: No public key` |
| 2021-09-12 00:04:10 +0200 | catern | (~sbaugh@2604:2000:8fc0:b:a9c7:866a:bf36:3407) (Ping timeout: 240 seconds) |
| 2021-09-12 00:04:29 +0200 | <AlistairB> | I am guessing this is the right key as I believe Zubin is doing the releases |
| 2021-09-12 00:07:58 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-09-12 00:07:59 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 2021-09-12 00:07:59 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2021-09-12 00:10:19 +0200 | wonko | (~wjc@62.115.229.50) (Ping timeout: 265 seconds) |
| 2021-09-12 00:28:32 +0200 | falafel | (~falafel@2603-8000-d801-2d68-1d6d-bf72-eba2-a20e.res6.spectrum.com) |
| 2021-09-12 00:29:51 +0200 | epolanski | (uid312403@id-312403.helmsley.irccloud.com) |
| 2021-09-12 00:36:08 +0200 | Cale | (~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 2021-09-12 00:38:05 +0200 | <AlistairB> | I think this is probably an issue with the new GHC releases. I will raise an issue on GHC. |
| 2021-09-12 00:38:35 +0200 | son0p | (~ff@181.136.122.143) (Remote host closed the connection) |
| 2021-09-12 00:38:37 +0200 | Cale | (~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com) |
| 2021-09-12 00:38:44 +0200 | tlaxkit | (~hexchat@170.253.38.52) |
| 2021-09-12 00:38:47 +0200 | Moyst | (~moyst@user/moyst) (Ping timeout: 240 seconds) |
| 2021-09-12 00:39:16 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Read error: Connection reset by peer) |
| 2021-09-12 00:39:16 +0200 | hololeap | (~hololeap@user/hololeap) (Write error: Connection reset by peer) |
| 2021-09-12 00:39:16 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Write error: Connection reset by peer) |
| 2021-09-12 00:39:16 +0200 | hendursaga | (~weechat@user/hendursaga) (Write error: Connection reset by peer) |
| 2021-09-12 00:39:16 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2021-09-12 00:40:16 +0200 | shapr | (~user@pool-100-36-247-68.washdc.fios.verizon.net) |
| 2021-09-12 00:41:18 +0200 | Moyst | (~moyst@user/moyst) |
| 2021-09-12 00:47:38 +0200 | falafel | (~falafel@2603-8000-d801-2d68-1d6d-bf72-eba2-a20e.res6.spectrum.com) (Ping timeout: 260 seconds) |
| 2021-09-12 00:48:24 +0200 | Lycurgus | (~juan@98.4.112.204) |
| 2021-09-12 00:49:50 +0200 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2021-09-12 00:52:07 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 245 seconds) |
| 2021-09-12 00:52:40 +0200 | ub | (~Thunderbi@178.165.201.147.wireless.dyn.drei.com) |
| 2021-09-12 00:52:42 +0200 | sheddow | (~sheddow@84-52-255.245.3p.ntebredband.no) |
| 2021-09-12 00:53:14 +0200 | ubert | (~Thunderbi@178.165.183.38.wireless.dyn.drei.com) (Ping timeout: 260 seconds) |
| 2021-09-12 00:53:14 +0200 | ub | ubert |
| 2021-09-12 00:54:22 +0200 | falafel | (~falafel@2603-8000-d801-2d68-1d6d-bf72-eba2-a20e.res6.spectrum.com) |
| 2021-09-12 00:58:19 +0200 | chomwitt | (~chomwitt@2a02:587:dc14:5d00:12c3:7bff:fe6d:d374) (Remote host closed the connection) |
| 2021-09-12 01:02:53 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-09-12 01:03:13 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2021-09-12 01:04:30 +0200 | lemonsni- | (~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) |
| 2021-09-12 01:05:50 +0200 | acidjnk_new | (~acidjnk@p200300d0c720301980aba8353aca9eb7.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2021-09-12 01:08:42 +0200 | lemonsni- | (~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-09-12 01:08:47 +0200 | pmk | (~user@ppp-94-64-150-206.home.otenet.gr) (Ping timeout: 245 seconds) |
| 2021-09-12 01:09:06 +0200 | falafel | (~falafel@2603-8000-d801-2d68-1d6d-bf72-eba2-a20e.res6.spectrum.com) (Ping timeout: 260 seconds) |
| 2021-09-12 01:13:46 +0200 | favonia | (~favonia@user/favonia) (Ping timeout: 260 seconds) |
| 2021-09-12 01:14:01 +0200 | lemonsni- | (~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) |
| 2021-09-12 01:16:03 +0200 | jtomas_ | (~jtomas@95.red-88-11-64.dynamicip.rima-tde.net) (Ping timeout: 265 seconds) |
| 2021-09-12 01:19:42 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) (Quit: amitnjha) |
| 2021-09-12 01:19:55 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) |
| 2021-09-12 01:22:37 +0200 | TranquilEcho | (~grom@user/tranquilecho) (Quit: WeeChat 2.8) |
| 2021-09-12 01:32:44 +0200 | thyriaen | (~thyriaen@dynamic-077-011-222-235.77.11.pool.telefonica.de) (Remote host closed the connection) |
| 2021-09-12 01:35:32 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-50.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2021-09-12 01:36:20 +0200 | tommd | (~tommd@75-164-130-101.ptld.qwest.net) |
| 2021-09-12 01:38:07 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-09-12 01:39:09 +0200 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2021-09-12 01:40:02 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) (Quit: amitnjha) |
| 2021-09-12 01:40:16 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) |
| 2021-09-12 01:42:38 +0200 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 265 seconds) |
| 2021-09-12 01:50:10 +0200 | tommd | (~tommd@75-164-130-101.ptld.qwest.net) (Ping timeout: 260 seconds) |
| 2021-09-12 01:50:23 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) (Quit: amitnjha) |
| 2021-09-12 01:50:36 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) |
| 2021-09-12 01:50:46 +0200 | Pent48 | (~Pent@pool-100-14-166-46.phlapa.fios.verizon.net) |
| 2021-09-12 01:51:58 +0200 | tommd | (~tommd@75-164-130-101.ptld.qwest.net) |
| 2021-09-12 01:53:34 +0200 | tlaxkit | (~hexchat@170.253.38.52) (Quit: Leaving) |
| 2021-09-12 01:54:13 +0200 | slep | (~slep@cpc150002-brnt4-2-0-cust437.4-2.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2021-09-12 01:54:48 +0200 | Pent48 | (~Pent@pool-100-14-166-46.phlapa.fios.verizon.net) (Client Quit) |
| 2021-09-12 01:56:36 +0200 | slep | (~slep@cpc150002-brnt4-2-0-cust437.4-2.cable.virginm.net) |
| 2021-09-12 01:56:49 +0200 | tommd | (~tommd@75-164-130-101.ptld.qwest.net) (Ping timeout: 252 seconds) |
| 2021-09-12 02:05:18 +0200 | catern | (~sbaugh@2604:2000:8fc0:b:a9c7:866a:bf36:3407) |
| 2021-09-12 02:12:53 +0200 | zaquest | (~notzaques@5.128.210.178) (Remote host closed the connection) |
| 2021-09-12 02:15:45 +0200 | zaquest | (~notzaques@5.128.210.178) |
| 2021-09-12 02:26:02 +0200 | <zzz> | what's a good resource for someone to start exploring working with bits in haskell? |
| 2021-09-12 02:26:51 +0200 | <zzz> | like arbitrarily sized sequences of bits and so on |
| 2021-09-12 02:30:11 +0200 | <zzz> | i'm assuming there are better alternatives to [Bool] |
| 2021-09-12 02:32:42 +0200 | <dsal> | Any particular bit you'd like to work with? |
| 2021-09-12 02:32:54 +0200 | favonia | (~favonia@user/favonia) |
| 2021-09-12 02:34:17 +0200 | sheddow | (~sheddow@84-52-255.245.3p.ntebredband.no) (Ping timeout: 256 seconds) |
| 2021-09-12 02:34:36 +0200 | <dsal> | I've worked with a combination of attoparsec and binary in a project a few years go which was reading some data out of one of my RC battery chargers. |
| 2021-09-12 02:34:53 +0200 | Digit | (~user@user/digit) |
| 2021-09-12 02:34:55 +0200 | <dsal> | Actually, no attoparsec here. I use that in a different protocol. |
| 2021-09-12 02:34:56 +0200 | <geekosaur> | iirc Data.Vector.Unboxed of Bool packs the bits |
| 2021-09-12 02:35:21 +0200 | <geekosaur> | but it won't be ideal for bit operations like and/or |
| 2021-09-12 02:35:37 +0200 | <geekosaur> | see Data.Bits for that |
| 2021-09-12 02:38:56 +0200 | <zzz> | i actually want to do things like manipulating a list of WordX and a list of WordY and then comparing them, where X and Y are arbitrary |
| 2021-09-12 02:45:43 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) (Quit: amitnjha) |
| 2021-09-12 02:46:02 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) |
| 2021-09-12 02:46:06 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) (Client Quit) |
| 2021-09-12 02:46:25 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) |
| 2021-09-12 02:49:34 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-09-12 02:53:25 +0200 | proofofkeags_ | (~proofofke@205.209.28.54) (Ping timeout: 260 seconds) |
| 2021-09-12 02:54:10 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2021-09-12 02:56:05 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-09-12 03:01:19 +0200 | falafel | (~falafel@2603-8000-d801-2d68-1d6d-bf72-eba2-a20e.res6.spectrum.com) |
| 2021-09-12 03:01:55 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 265 seconds) |
| 2021-09-12 03:02:19 +0200 | cheater | (~Username@user/cheater) |
| 2021-09-12 03:05:11 +0200 | alx741 | (~alx741@186.178.109.89) (Quit: alx741) |
| 2021-09-12 03:06:29 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) (Quit: amitnjha) |
| 2021-09-12 03:06:42 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) |
| 2021-09-12 03:06:42 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) (Client Quit) |
| 2021-09-12 03:06:53 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) |
| 2021-09-12 03:11:22 +0200 | falafel | (~falafel@2603-8000-d801-2d68-1d6d-bf72-eba2-a20e.res6.spectrum.com) (Ping timeout: 260 seconds) |
| 2021-09-12 03:13:23 +0200 | mcglk | (~mcglk@131.191.49.120) (Read error: Connection reset by peer) |
| 2021-09-12 03:14:27 +0200 | mcglk | (~mcglk@131.191.49.120) |
| 2021-09-12 03:15:50 +0200 | falafel | (~falafel@2603-8000-d801-2d68-1d6d-bf72-eba2-a20e.res6.spectrum.com) |
| 2021-09-12 03:15:53 +0200 | AlistairB | (~AlistairB@121-200-5-212.79c805.syd.nbn.aussiebb.net) (Quit: Client closed) |
| 2021-09-12 03:19:55 +0200 | xff0x | (~xff0x@2001:1a81:5337:500:1487:c5ae:272e:6220) (Ping timeout: 252 seconds) |
| 2021-09-12 03:21:43 +0200 | xff0x | (~xff0x@2001:1a81:5374:7800:b91b:1969:510:c2ea) |
| 2021-09-12 03:21:44 +0200 | falafel_ | (~falafel@2603-8000-d801-2d68-1d6d-bf72-eba2-a20e.res6.spectrum.com) |
| 2021-09-12 03:21:56 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) (Quit: amitnjha) |
| 2021-09-12 03:22:10 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) |
| 2021-09-12 03:23:30 +0200 | falafel__ | (~falafel@cpe-76-168-195-162.socal.res.rr.com) |
| 2021-09-12 03:24:54 +0200 | falafel | (~falafel@2603-8000-d801-2d68-1d6d-bf72-eba2-a20e.res6.spectrum.com) (Ping timeout: 260 seconds) |
| 2021-09-12 03:26:46 +0200 | falafel_ | (~falafel@2603-8000-d801-2d68-1d6d-bf72-eba2-a20e.res6.spectrum.com) (Ping timeout: 260 seconds) |
| 2021-09-12 03:31:43 +0200 | AlistairB | (~AlistairB@121-200-5-212.79c805.syd.nbn.aussiebb.net) |
| 2021-09-12 03:32:10 +0200 | AlistairB | (~AlistairB@121-200-5-212.79c805.syd.nbn.aussiebb.net) (Client Quit) |
| 2021-09-12 03:34:42 +0200 | vysn | (~vysn@user/vysn) (Ping timeout: 260 seconds) |
| 2021-09-12 03:39:16 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2021-09-12 03:43:19 +0200 | homarlone | (~homarlone@2804:14d:baa3:4341:a4ed:9e92:1eb0:a3e2) |
| 2021-09-12 03:45:40 +0200 | [_] | [itchyjunk] |
| 2021-09-12 03:54:51 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.2.1) |
| 2021-09-12 04:00:55 +0200 | cafkafk | (~cafkafk@user/cafkafk) (Quit: WeeChat 3.1) |
| 2021-09-12 04:05:41 +0200 | jushur | (~human@user/jushur) (Quit: ¯\_(ツ)_/¯) |
| 2021-09-12 04:11:06 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:2435:ba7:e573:bc26) (Ping timeout: 260 seconds) |
| 2021-09-12 04:12:25 +0200 | jushur | (~human@user/jushur) |
| 2021-09-12 04:12:26 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.2) |
| 2021-09-12 04:12:49 +0200 | td_ | (~td@94.134.91.99) (Ping timeout: 252 seconds) |
| 2021-09-12 04:14:30 +0200 | td_ | (~td@muedsl-82-207-238-026.citykom.de) |
| 2021-09-12 04:15:07 +0200 | hubvu | (sid495858@id-495858.tinside.irccloud.com) (Changing host) |
| 2021-09-12 04:15:07 +0200 | hubvu | (sid495858@user/hubvu) |
| 2021-09-12 04:18:20 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:2435:ba7:e573:bc26) |
| 2021-09-12 04:18:34 +0200 | proofofkeags_ | (~proofofke@97-118-134-2.hlrn.qwest.net) |
| 2021-09-12 04:22:51 +0200 | rhit | (~rhit@ool-44c162d8.dyn.optonline.net) (Quit: WeeChat 3.2) |
| 2021-09-12 04:33:07 +0200 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2021-09-12 04:33:30 +0200 | normsaa | (~normsaa@101.175.64.73) |
| 2021-09-12 04:33:43 +0200 | <Cajun> | could probably use some sort of type level Natural for that |
| 2021-09-12 04:33:54 +0200 | <Cajun> | sounds like an interesting library/exercise idea |
| 2021-09-12 04:38:00 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-09-12 04:42:30 +0200 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 260 seconds) |
| 2021-09-12 04:46:55 +0200 | proofofkeags_ | (~proofofke@97-118-134-2.hlrn.qwest.net) (Ping timeout: 252 seconds) |
| 2021-09-12 04:47:04 +0200 | proofofkeags | (~proofofke@97-118-134-2.hlrn.qwest.net) |
| 2021-09-12 04:48:26 +0200 | <Boarders> | is it possible to write a type family in Haskell that goes like '[] |-> (# #), '[Int] |-> (# Int #), '[Int, Int] |-> (# Int, Int #) etc. |
| 2021-09-12 04:48:57 +0200 | <Boarders> | I think the kind sig would be something like: type Unbox :: [Type] -> (forall ks . TYPE (TupleRep ks) |
| 2021-09-12 04:48:59 +0200 | <Boarders> | but that is not working |
| 2021-09-12 04:50:46 +0200 | <Boarders> | geekosaur: Data.Vector.Unboxed doesn't pack the bits: https://hackage.haskell.org/package/vector-0.12.3.0/docs/src/Data.Vector.Unboxed.Base.html#line-338 |
| 2021-09-12 04:50:54 +0200 | <Boarders> | It converts back and forth to a Word8 |
| 2021-09-12 04:57:16 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) (Quit: amitnjha) |
| 2021-09-12 04:57:31 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) |
| 2021-09-12 04:59:35 +0200 | proofofkeags_ | (~proofofke@97-118-134-2.hlrn.qwest.net) |
| 2021-09-12 05:00:31 +0200 | proofofkeags | (~proofofke@97-118-134-2.hlrn.qwest.net) (Ping timeout: 252 seconds) |
| 2021-09-12 05:01:30 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 260 seconds) |
| 2021-09-12 05:02:36 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) (Quit: amitnjha) |
| 2021-09-12 05:02:49 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) |
| 2021-09-12 05:03:04 +0200 | pony | (~ed@101.53.218.157) |
| 2021-09-12 05:03:24 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2021-09-12 05:03:50 +0200 | waleee | (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 260 seconds) |
| 2021-09-12 05:06:21 +0200 | Skyfire | (~pyon@user/pyon) (Quit: brb) |
| 2021-09-12 05:08:48 +0200 | reddishblue[m] | (~reddishbl@2001:470:69fc:105::21eb) |
| 2021-09-12 05:11:08 +0200 | abrantesasf | (abrantesas@gateway/vpn/protonvpn/abrantesasf) (Quit: Leaving) |
| 2021-09-12 05:12:38 +0200 | <ldlework> | Trying to implement Maybe Monoid instance, and it's not working |
| 2021-09-12 05:12:39 +0200 | <ldlework> | https://gist.github.com/dustinlacewell/7c00fe33d757ffa447228707836e9b90 |
| 2021-09-12 05:12:42 +0200 | <ldlework> | Where have I gone wrong? |
| 2021-09-12 05:12:56 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) (Quit: amitnjha) |
| 2021-09-12 05:13:09 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) |
| 2021-09-12 05:16:06 +0200 | Skyfire | (~pyon@user/pyon) |
| 2021-09-12 05:22:49 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2021-09-12 05:38:10 +0200 | <Cajun> | Idlework: in modern versions of haskell, you must define semigroups, which are like what you are trying to do but instead define the operator (<>). (<>) is mappend |
| 2021-09-12 05:38:26 +0200 | <Cajun> | mappend still exists but for backwards compatibility as far as i know |
| 2021-09-12 05:38:56 +0200 | <Cajun> | monoids are semigroups but with an empty/unit representation |
| 2021-09-12 05:43:16 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) (Quit: amitnjha) |
| 2021-09-12 05:43:29 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) |
| 2021-09-12 05:44:39 +0200 | pony | lua |
| 2021-09-12 05:48:47 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2021-09-12 05:50:49 +0200 | nattiestnate | (~nate@2001:448a:20a0:4134:25e:715f:d637:5263) |
| 2021-09-12 05:51:00 +0200 | nattiestnate | (~nate@2001:448a:20a0:4134:25e:715f:d637:5263) (Client Quit) |
| 2021-09-12 05:51:03 +0200 | hololeap | (~hololeap@user/hololeap) |
| 2021-09-12 05:55:58 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:2435:ba7:e573:bc26) (Quit: Leaving) |
| 2021-09-12 05:57:28 +0200 | hendursaga | (~weechat@user/hendursaga) |
| 2021-09-12 05:58:32 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2021-09-12 06:03:36 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) (Quit: amitnjha) |
| 2021-09-12 06:03:50 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) |
| 2021-09-12 06:04:56 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2021-09-12 06:09:33 +0200 | epolanski | (uid312403@id-312403.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-09-12 06:16:36 +0200 | proofofkeags__ | (~proofofke@97-118-134-2.hlrn.qwest.net) |
| 2021-09-12 06:19:35 +0200 | proofofkeags_ | (~proofofke@97-118-134-2.hlrn.qwest.net) (Ping timeout: 265 seconds) |
| 2021-09-12 06:22:58 +0200 | shapr | (~user@pool-100-36-247-68.washdc.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2021-09-12 06:27:50 +0200 | myShoggoth | (~myShoggot@97-120-70-214.ptld.qwest.net) (Ping timeout: 260 seconds) |
| 2021-09-12 06:29:55 +0200 | arjun | (~Srain@user/arjun) |
| 2021-09-12 06:34:34 +0200 | arjun | (~Srain@user/arjun) (Ping timeout: 265 seconds) |
| 2021-09-12 06:44:04 +0200 | d34df00d | (~d34df00d@2600:1700:8c60:3a10::3e) (Ping timeout: 252 seconds) |
| 2021-09-12 06:44:45 +0200 | Cajun | (~Cajun@user/cajun) (Ping timeout: 256 seconds) |
| 2021-09-12 06:51:43 +0200 | _alexm_ | (~alexm_@161.8.253.213) |
| 2021-09-12 06:59:35 +0200 | <_alexm_> | hi, I'm trying to build intuition around covariance and contravariance, in the fpcomplete article on that topic there is an exercise asking to determine whether a certain data type is covariant or contravariant. E.g. for the newtype E6 a = E6 ((() -> a -> a) -> ()) I've come up with contramap f (E6 g) = E6 (\cb -> g $ \h -> flip const $ f . (cb h)) |
| 2021-09-12 06:59:59 +0200 | <_alexm_> | but I'm having problems with newtype E7 a = E7 ((() -> () -> a) -> a) |
| 2021-09-12 07:00:34 +0200 | <_alexm_> | is this type neither covariant nor contravariant, hence, invariant? |
| 2021-09-12 07:05:21 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-09-12 07:07:04 +0200 | iqubic | (~user@2601:602:9502:c70:17b6:d303:f703:d0d7) (Read error: Connection reset by peer) |
| 2021-09-12 07:09:50 +0200 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 260 seconds) |
| 2021-09-12 07:13:56 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) (Quit: amitnjha) |
| 2021-09-12 07:14:09 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) |
| 2021-09-12 07:15:55 +0200 | <mniip> | _alexm_, your contramap for E6 is not functorial |
| 2021-09-12 07:16:02 +0200 | <mniip> | (contramap id != id) |
| 2021-09-12 07:18:04 +0200 | Cajun | (~Cajun@user/cajun) |
| 2021-09-12 07:22:27 +0200 | <_alexm_> | mniip, any clues on how I can make a lawful instance? |
| 2021-09-12 07:23:04 +0200 | <mniip> | you can't |
| 2021-09-12 07:23:07 +0200 | <mniip> | but that would be a clue |
| 2021-09-12 07:24:47 +0200 | <_alexm_> | is it invariant then, because the type parameter is both negative and positive? |
| 2021-09-12 07:24:52 +0200 | <mniip> | yes |
| 2021-09-12 07:25:05 +0200 | <_alexm_> | and the same applies to E7 |
| 2021-09-12 07:25:12 +0200 | <mniip> | yes |
| 2021-09-12 07:29:25 +0200 | <_alexm_> | and this one: newtype E9 a = E9 ((() -> () -> ()) -> ()) must be bivariant because the data type is phantom? |
| 2021-09-12 07:33:29 +0200 | AndrewYu | xeroxIRC |
| 2021-09-12 07:33:29 +0200 | xeroxIRC | Guest591 |
| 2021-09-12 07:34:00 +0200 | Guest591 | AndrewIRC |
| 2021-09-12 07:40:35 +0200 | homarlone | (~homarlone@2804:14d:baa3:4341:a4ed:9e92:1eb0:a3e2) (Quit: Client closed) |
| 2021-09-12 07:41:00 +0200 | homarlone | (~homarlone@2804:14d:baa3:4341:a4ed:9e92:1eb0:a3e2) |
| 2021-09-12 07:43:05 +0200 | proofofkeags_ | (~proofofke@97-118-134-2.hlrn.qwest.net) |
| 2021-09-12 07:43:32 +0200 | homarlone | (~homarlone@2804:14d:baa3:4341:a4ed:9e92:1eb0:a3e2) (Changing host) |
| 2021-09-12 07:43:32 +0200 | homarlone | (~homarlone@user/homarlone) |
| 2021-09-12 07:44:16 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) (Quit: amitnjha) |
| 2021-09-12 07:44:29 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) |
| 2021-09-12 07:45:31 +0200 | proofofkeags__ | (~proofofke@97-118-134-2.hlrn.qwest.net) (Ping timeout: 252 seconds) |
| 2021-09-12 07:45:48 +0200 | slowButPresent | (~slowButPr@user/slowbutpresent) (Quit: leaving) |
| 2021-09-12 07:46:12 +0200 | Lycurgus | (~juan@98.4.112.204) (Quit: Exeunt) |
| 2021-09-12 07:48:25 +0200 | machinedgod | (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 252 seconds) |
| 2021-09-12 07:51:32 +0200 | Gurkenglas | (~Gurkengla@dslb-002-207-014-195.002.207.pools.vodafone-ip.de) |
| 2021-09-12 07:55:30 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2021-09-12 07:56:42 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2021-09-12 07:58:35 +0200 | benin03693230 | (~benin@183.82.24.227) |
| 2021-09-12 07:58:41 +0200 | homarlone | (~homarlone@user/homarlone) (Quit: Client closed) |
| 2021-09-12 07:59:09 +0200 | homarlone | (~homarlone@user/homarlone) |
| 2021-09-12 07:59:36 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) (Quit: amitnjha) |
| 2021-09-12 07:59:57 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) |
| 2021-09-12 07:59:59 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) (Client Quit) |
| 2021-09-12 08:00:20 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) |
| 2021-09-12 08:00:29 +0200 | GalzuFromQ | (~GalzuFrom@c-76-31-61-239.hsd1.tx.comcast.net) |
| 2021-09-12 08:00:32 +0200 | GalzuFromQ | (~GalzuFrom@c-76-31-61-239.hsd1.tx.comcast.net) () |
| 2021-09-12 08:00:57 +0200 | <mniip> | yes |
| 2021-09-12 08:15:38 +0200 | Neuromancer | (~Neuromanc@user/neuromancer) (Ping timeout: 260 seconds) |
| 2021-09-12 08:16:43 +0200 | hgolden | (~hgolden2@cpe-172-114-84-61.socal.res.rr.com) |
| 2021-09-12 08:17:38 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) |
| 2021-09-12 08:18:40 +0200 | Garbanzo | (~Garbanzo@2602:304:6eac:dc10::46) |
| 2021-09-12 08:19:40 +0200 | ryantrinkle | (~ryan@66.152.129.6) (Ping timeout: 252 seconds) |
| 2021-09-12 08:21:10 +0200 | <_alexm_> | mniip, thanks! |
| 2021-09-12 08:27:13 +0200 | <Axman6> | Boarders: Can you do something like type family Unbox (ks :: [Type]] where Unbox ks = TYPE (TupleRep ks) seems close to what you had but not quite the same? |
| 2021-09-12 08:28:52 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2021-09-12 08:33:22 +0200 | jespada | (~jespada@90.254.245.194) (Ping timeout: 260 seconds) |
| 2021-09-12 08:33:25 +0200 | _xor | (~xor@74.215.232.67) (Quit: brb) |
| 2021-09-12 08:35:10 +0200 | proofofkeags_ | (~proofofke@97-118-134-2.hlrn.qwest.net) (Ping timeout: 252 seconds) |
| 2021-09-12 08:36:15 +0200 | jespada | (~jespada@90.254.245.194) |
| 2021-09-12 08:43:47 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2021-09-12 08:44:13 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2021-09-12 08:44:37 +0200 | chomwitt | (~chomwitt@2a02:587:dc14:5d00:12c3:7bff:fe6d:d374) |
| 2021-09-12 08:47:22 +0200 | Garbanzo | (~Garbanzo@2602:304:6eac:dc10::46) (Ping timeout: 260 seconds) |
| 2021-09-12 08:54:53 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-09-12 08:58:37 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2021-09-12 09:00:01 +0200 | Codaraxis | (~Codaraxis@user/codaraxis) |
| 2021-09-12 09:00:23 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) (Quit: amitnjha) |
| 2021-09-12 09:00:36 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) |
| 2021-09-12 09:03:02 +0200 | syntactic_sugar | (~amoljha@2601:644:8601:2e30::822c) |
| 2021-09-12 09:05:51 +0200 | dcompoze | (~dcompoze@5E98D6D9.static.tld.pl) |
| 2021-09-12 09:06:04 +0200 | dcompoze | (~dcompoze@5E98D6D9.static.tld.pl) (Client Quit) |
| 2021-09-12 09:07:18 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 265 seconds) |
| 2021-09-12 09:10:43 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) (Quit: amitnjha) |
| 2021-09-12 09:10:56 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) |
| 2021-09-12 09:11:33 +0200 | oxide | (~lambda@user/oxide) |
| 2021-09-12 09:13:05 +0200 | zmt01 | (~zmt00@user/zmt00) (Ping timeout: 252 seconds) |
| 2021-09-12 09:13:31 +0200 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 252 seconds) |
| 2021-09-12 09:15:27 +0200 | favonia | (~favonia@user/favonia) (Ping timeout: 245 seconds) |
| 2021-09-12 09:16:28 +0200 | favonia | (~favonia@user/favonia) |
| 2021-09-12 09:21:03 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) (Quit: amitnjha) |
| 2021-09-12 09:21:16 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) |
| 2021-09-12 09:21:40 +0200 | <ldlework> | Cajun: when I change `mappend` to `(<>)` it says ‘<>’ is not a (visible) method of class ‘Monoid’ |
| 2021-09-12 09:22:00 +0200 | <Cajun> | define (<>) in a Semigroup instance |
| 2021-09-12 09:22:21 +0200 | <Cajun> | monoids are semigroups, and the append operation comes from the Semigroup instance |
| 2021-09-12 09:22:45 +0200 | <Cajun> | if youre reading an article/textbook and its telling you to just define a monoid with mappend, its because its dated |
| 2021-09-12 09:23:10 +0200 | <ldlework> | oh so literally implement an instance of Semigroup which is where (<>) is defined? |
| 2021-09-12 09:23:18 +0200 | <Cajun> | yup! |
| 2021-09-12 09:23:48 +0200 | <Cajun> | mappend only exists as a legacy function, its unlawful to have its definition be different than the Semigroup definition |
| 2021-09-12 09:23:52 +0200 | <ldlework> | Cajun: is there some other version of mempty to use too? |
| 2021-09-12 09:24:02 +0200 | <Cajun> | no |
| 2021-09-12 09:24:08 +0200 | <ldlework> | okay thanks for the guidance |
| 2021-09-12 09:25:00 +0200 | <Cajun> | Semigroups are a datatype that can append, but not necessarily have a unit/empty value. monoids can append (because they are instances of Semigroup) and they have an empty/unit value (because thats what it means to be a monoid) |
| 2021-09-12 09:25:26 +0200 | <Cajun> | semigroups are a typeclass that implements an* |
| 2021-09-12 09:25:51 +0200 | homarlone | (~homarlone@user/homarlone) (Quit: Client closed) |
| 2021-09-12 09:26:21 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 276 seconds) |
| 2021-09-12 09:26:27 +0200 | homarlone | (~homarlone@user/homarlone) |
| 2021-09-12 09:27:24 +0200 | <ldlework> | Cajun: is there an interactive site where you can explore these relationships |
| 2021-09-12 09:27:33 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2021-09-12 09:27:50 +0200 | acidjnk_new | (~acidjnk@p200300d0c720301980aba8353aca9eb7.dip0.t-ipconnect.de) |
| 2021-09-12 09:28:04 +0200 | <Cajun> | you can check the documentation or the wiki but im not sure if there is anything that is interactive |
| 2021-09-12 09:28:07 +0200 | <Cajun> | https://wiki.haskell.org/Data.Semigroup |
| 2021-09-12 09:28:48 +0200 | <ldlework> | Ah, I wonder if the network could be extracted systematically from Haskell source |
| 2021-09-12 09:29:20 +0200 | <ldlework> | Or maybe haskell is powerful enough to introspectively compute it? |
| 2021-09-12 09:29:30 +0200 | <Cajun> | it would be cool to see a web for that like there are for dependencies |
| 2021-09-12 09:29:38 +0200 | <ldlework> | yeah! |
| 2021-09-12 09:30:15 +0200 | <Cajun> | https://wiki.haskell.org/File:Typeclassopedia-diagram.png |
| 2021-09-12 09:30:28 +0200 | <ldlework> | ah neato |
| 2021-09-12 09:31:23 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) (Quit: amitnjha) |
| 2021-09-12 09:31:37 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) |
| 2021-09-12 09:31:57 +0200 | phma | (~phma@host-67-44-208-57.hnremote.net) (Read error: Connection reset by peer) |
| 2021-09-12 09:32:46 +0200 | phma | (~phma@host-67-44-209-52.hnremote.net) |
| 2021-09-12 09:42:47 +0200 | max22- | (~maxime@2a01cb088335980028be7ec51380d82c.ipv6.abo.wanadoo.fr) |
| 2021-09-12 09:45:34 +0200 | hyiltiz | (~quassel@31.220.5.250) (Ping timeout: 252 seconds) |
| 2021-09-12 09:45:49 +0200 | hyiltiz | (~quassel@31.220.5.250) |
| 2021-09-12 09:46:19 +0200 | syntactic_sugar | (~amoljha@2601:644:8601:2e30::822c) (Quit: WeeChat 3.1) |
| 2021-09-12 09:46:22 +0200 | <mjrosenb> | so, I have a function that uses the lens function `use`, and now I'm trying to change it to accept `use` as a parameter, but the types are not behaving. |
| 2021-09-12 09:46:30 +0200 | <mjrosenb> | is it even possible to do this? |
| 2021-09-12 09:48:01 +0200 | oxide | (~lambda@user/oxide) (Quit: oxide) |
| 2021-09-12 09:48:31 +0200 | <Cajun> | could you give the code excerpts? |
| 2021-09-12 09:48:52 +0200 | acidjnk_new | (~acidjnk@p200300d0c720301980aba8353aca9eb7.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2021-09-12 09:53:09 +0200 | <mjrosenb> | not really right now, it is buried in like 80 lines of code, and too many constructors. I'll get a small example in the morning. |
| 2021-09-12 09:54:01 +0200 | wonko | (~wjc@62.115.229.50) |
| 2021-09-12 09:57:32 +0200 | burnsidesLlama | (~burnsides@dhcp168-018.wadham.ox.ac.uk) |
| 2021-09-12 10:06:10 +0200 | hendursa1 | (~weechat@user/hendursaga) |
| 2021-09-12 10:07:34 +0200 | neo2 | (~neo3@cpe-292712.ip.primehome.com) |
| 2021-09-12 10:09:07 +0200 | <ldlework> | Cajun: this image doesn't show magma :P |
| 2021-09-12 10:09:15 +0200 | hendursaga | (~weechat@user/hendursaga) (Ping timeout: 276 seconds) |
| 2021-09-12 10:09:26 +0200 | <Cajun> | is magma part of base? |
| 2021-09-12 10:11:51 +0200 | eggplant_ | (~Eggplanta@2600:1700:bef1:5e10:51d4:9b49:c242:8b82) |
| 2021-09-12 10:13:02 +0200 | hyiltiz | (~quassel@31.220.5.250) (Ping timeout: 265 seconds) |
| 2021-09-12 10:14:42 +0200 | kenran | (~kenran@200116b82b2c7100cbc5e0806122cc82.dip.versatel-1u1.de) |
| 2021-09-12 10:14:53 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-50.elisa-laajakaista.fi) |
| 2021-09-12 10:14:56 +0200 | hyiltiz | (~quassel@31.220.5.250) |
| 2021-09-12 10:15:12 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2021-09-12 10:15:16 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c09c:3e60:e691:1fba) (Ping timeout: 252 seconds) |
| 2021-09-12 10:17:43 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2021-09-12 10:17:44 +0200 | allbery_b | (~geekosaur@xmonad/geekosaur) |
| 2021-09-12 10:17:47 +0200 | allbery_b | geekosaur |
| 2021-09-12 10:18:01 +0200 | <sshine> | Cajun, no |
| 2021-09-12 10:18:14 +0200 | <Cajun> | figured as much :P |
| 2021-09-12 10:18:15 +0200 | <sshine> | Cajun, only Monoid and Semigroup in that hierarchy |
| 2021-09-12 10:18:42 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2021-09-12 10:18:42 +0200 | Everything | (~Everythin@37.115.210.35) |
| 2021-09-12 10:18:49 +0200 | <sshine> | https://hoogle.haskell.org/?hoogle=Magma :) |
| 2021-09-12 10:19:20 +0200 | thyriaen | (~thyriaen@dynamic-089-012-060-128.89.12.pool.telefonica.de) |
| 2021-09-12 10:19:40 +0200 | <sshine> | so it's in lens and numhask, it seems. |
| 2021-09-12 10:19:56 +0200 | ArctVaulMarsHMPJ | (~pjetcetal@2.95.102.85) |
| 2021-09-12 10:20:32 +0200 | <Cajun> | the numhask one seems to be more along the lines of an actual Magma |
| 2021-09-12 10:28:01 +0200 | shriekingnoise | (~shrieking@186.137.144.80) (Quit: Quit) |
| 2021-09-12 10:41:20 +0200 | homarlone | (~homarlone@user/homarlone) (Quit: Client closed) |
| 2021-09-12 10:42:58 +0200 | Codaraxis_ | (~Codaraxis@user/codaraxis) |
| 2021-09-12 10:46:52 +0200 | Codaraxis | (~Codaraxis@user/codaraxis) (Ping timeout: 265 seconds) |
| 2021-09-12 10:51:03 +0200 | syntactic_sugar | (~amoljha@2601:644:8601:2e30::822c) |
| 2021-09-12 10:52:29 +0200 | ddrtns^ | (~ddrtns@68.101.54.227) |
| 2021-09-12 11:01:43 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) (Quit: amitnjha) |
| 2021-09-12 11:01:57 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) |
| 2021-09-12 11:02:01 +0200 | syntactic_sugar | (~amoljha@2601:644:8601:2e30::822c) (Quit: WeeChat 3.1) |
| 2021-09-12 11:02:03 +0200 | eggplant_ | (~Eggplanta@2600:1700:bef1:5e10:51d4:9b49:c242:8b82) (Remote host closed the connection) |
| 2021-09-12 11:04:45 +0200 | jtomas_ | (~jtomas@95.red-88-11-64.dynamicip.rima-tde.net) |
| 2021-09-12 11:04:47 +0200 | jtomas_ | (~jtomas@95.red-88-11-64.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 2021-09-12 11:06:53 +0200 | vysn | (~vysn@user/vysn) |
| 2021-09-12 11:08:12 +0200 | __monty__ | (~toonn@user/toonn) |
| 2021-09-12 11:08:15 +0200 | burnsidesLlama | (~burnsides@dhcp168-018.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-09-12 11:11:10 +0200 | <ldlework> | Prelude> (fmap . fmap) replaceWithP lms |
| 2021-09-12 11:11:12 +0200 | <ldlework> | [Just 'p',Nothing,Just 'p'] |
| 2021-09-12 11:11:14 +0200 | <ldlework> | my head! |
| 2021-09-12 11:15:54 +0200 | zer0bitz | (~zer0bitz@dsl-hkibng31-54fafc-123.dhcp.inet.fi) |
| 2021-09-12 11:19:37 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2021-09-12 11:32:03 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) (Quit: amitnjha) |
| 2021-09-12 11:32:16 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) |
| 2021-09-12 11:32:47 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Quit: ZNC 1.7.5 - https://znc.in) |
| 2021-09-12 11:32:47 +0200 | neo2 | (~neo3@cpe-292712.ip.primehome.com) (Ping timeout: 265 seconds) |
| 2021-09-12 11:33:08 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2021-09-12 11:35:21 +0200 | hnOsmium0001 | (uid453710@id-453710.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-09-12 11:36:46 +0200 | falafel__ | (~falafel@cpe-76-168-195-162.socal.res.rr.com) (Ping timeout: 260 seconds) |
| 2021-09-12 11:41:01 +0200 | burnsidesLlama | (~burnsides@dhcp168-018.wadham.ox.ac.uk) |
| 2021-09-12 11:41:39 +0200 | falafel__ | (~falafel@cpe-76-168-195-162.socal.res.rr.com) |
| 2021-09-12 11:46:19 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) (Ping timeout: 265 seconds) |
| 2021-09-12 11:46:34 +0200 | burnsidesLlama | (~burnsides@dhcp168-018.wadham.ox.ac.uk) (Ping timeout: 260 seconds) |
| 2021-09-12 11:47:57 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) |
| 2021-09-12 11:51:52 +0200 | kayprish | (~kayprish@cable-188-2-153-140.dynamic.sbb.rs) |
| 2021-09-12 11:52:22 +0200 | awpr | (uid446117@id-446117.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-09-12 11:53:54 +0200 | kenran | (~kenran@200116b82b2c7100cbc5e0806122cc82.dip.versatel-1u1.de) (Quit: WeeChat info:version) |
| 2021-09-12 11:56:57 +0200 | _ht | (~quassel@82-169-194-8.biz.kpn.net) |
| 2021-09-12 12:02:54 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-09-12 12:04:01 +0200 | ubert | (~Thunderbi@178.165.201.147.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-09-12 12:05:39 +0200 | wonko | (~wjc@62.115.229.50) (Ping timeout: 265 seconds) |
| 2021-09-12 12:07:34 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2021-09-12 12:08:30 +0200 | falafel__ | (~falafel@cpe-76-168-195-162.socal.res.rr.com) (Ping timeout: 260 seconds) |
| 2021-09-12 12:12:23 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) (Quit: amitnjha) |
| 2021-09-12 12:12:36 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) |
| 2021-09-12 12:13:16 +0200 | burnsidesLlama | (~burnsides@dhcp168-018.wadham.ox.ac.uk) |
| 2021-09-12 12:19:11 +0200 | burnsidesLlama | (~burnsides@dhcp168-018.wadham.ox.ac.uk) (Ping timeout: 265 seconds) |
| 2021-09-12 12:19:50 +0200 | lemonsni- | (~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-09-12 12:20:15 +0200 | lua | pony |
| 2021-09-12 12:20:19 +0200 | lemonsnicks | (~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) |
| 2021-09-12 12:24:06 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2021-09-12 12:25:33 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2021-09-12 12:26:48 +0200 | burnsidesLlama | (~burnsides@dhcp168-018.wadham.ox.ac.uk) |
| 2021-09-12 12:29:27 +0200 | mangoiv | (~MangoIV@193.175.5.172) |
| 2021-09-12 12:33:29 +0200 | mangoiv | (~MangoIV@193.175.5.172) (Client Quit) |
| 2021-09-12 12:33:47 +0200 | mangoiv | (~MangoIV@193.175.5.172) |
| 2021-09-12 12:34:43 +0200 | sheddow | (~sheddow@84-52-255.245.3p.ntebredband.no) |
| 2021-09-12 12:43:27 +0200 | <ldlework> | I'm stuck on a challenge to implement an instance of Functor for `data Pair a = Pair a a` but I can't understand how it could work, because the fmapped result will necessarily be of type `Pair a b` since the fmap first arg is defined as `a -> b` |
| 2021-09-12 12:43:41 +0200 | <ldlework> | Is it a bug in the challenge or am I missing a concept somewhere |
| 2021-09-12 12:44:39 +0200 | <ldlework> | instance Functor Pair where fmap f (Pair v1 v2) = Pair v1 (f v2) |
| 2021-09-12 12:44:59 +0200 | <ldlework> | It complains that the last term (f v2) can't match actual type `b` to expected type `a` |
| 2021-09-12 12:45:11 +0200 | <ldlework> | Which makes sense because `f` returns `b` |
| 2021-09-12 12:45:18 +0200 | <ldlework> | As per Functor |
| 2021-09-12 12:46:35 +0200 | <ldlework> | If I define the type as `type Pair a b = Pair a b` it works, but that's not what the challenge asks for |
| 2021-09-12 12:46:59 +0200 | <ldlework> | Maybe for `Pair a a` I'm supposed to run `f` over both values |
| 2021-09-12 12:48:25 +0200 | <ldlework> | Ah yeah that works. That must be what I was missing. It's only for type constructors with two args that you can only map the innermost value |
| 2021-09-12 12:48:54 +0200 | <Rembane> | ldlework: When you're done with the challenge, take a look at the Functor instance for Either. |
| 2021-09-12 12:49:10 +0200 | <ldlework> | Rembane: I bet it only maps the Right value |
| 2021-09-12 12:49:17 +0200 | <Rembane> | ldlework: Bingo! |
| 2021-09-12 12:50:22 +0200 | zer0bitz | (~zer0bitz@dsl-hkibng31-54fafc-123.dhcp.inet.fi) (Ping timeout: 252 seconds) |
| 2021-09-12 12:55:41 +0200 | max22- | (~maxime@2a01cb088335980028be7ec51380d82c.ipv6.abo.wanadoo.fr) (Remote host closed the connection) |
| 2021-09-12 12:56:24 +0200 | zer0bitz | (~zer0bitz@dsl-hkibng31-54fafc-123.dhcp.inet.fi) |
| 2021-09-12 12:58:05 +0200 | <ldlework> | Oh. Functor for Maybe and Either are helpful for not having to handle the Nothing/Left cases... |
| 2021-09-12 12:58:07 +0200 | <ldlework> | interesting! |
| 2021-09-12 12:58:25 +0200 | max22- | (~maxime@2a01cb0883359800586692f82479ecdc.ipv6.abo.wanadoo.fr) |
| 2021-09-12 12:58:57 +0200 | <ldlework> | Oh wow, I just found https://hackage.haskell.org/package/cml |
| 2021-09-12 12:59:37 +0200 | Codaraxis_ | (~Codaraxis@user/codaraxis) (Ping timeout: 245 seconds) |
| 2021-09-12 12:59:45 +0200 | <ldlework> | that's awesome |
| 2021-09-12 13:00:32 +0200 | <ldlework> | wait is `fromMaybe` implemented as `fmap id` |
| 2021-09-12 13:01:00 +0200 | alx741 | (~alx741@186.178.109.89) |
| 2021-09-12 13:01:03 +0200 | <Rembane> | :t fmap id |
| 2021-09-12 13:01:04 +0200 | <lambdabot> | Functor f => f b -> f b |
| 2021-09-12 13:01:08 +0200 | <Rembane> | :t fromMaybe |
| 2021-09-12 13:01:09 +0200 | <lambdabot> | a -> Maybe a -> a |
| 2021-09-12 13:01:43 +0200 | <Rembane> | fmap id seems to be missing something, doesn't it? |
| 2021-09-12 13:01:43 +0200 | <ldlework> | hmm |
| 2021-09-12 13:02:06 +0200 | <ldlework> | yeah, it returns the Maybe |
| 2021-09-12 13:02:09 +0200 | <ldlework> | rather than the inner value |
| 2021-09-12 13:02:18 +0200 | <ldlework> | So `fmap id` just leaves the Maybe alone |
| 2021-09-12 13:02:20 +0200 | <ldlework> | makes sense |
| 2021-09-12 13:02:21 +0200 | <Rembane> | Exactly. |
| 2021-09-12 13:02:27 +0200 | <Rembane> | Here's the actual implementation: https://hackage.haskell.org/package/base-4.15.0.0/docs/src/Data-Maybe.html#fromMaybe |
| 2021-09-12 13:02:50 +0200 | <ldlework> | oh right because you give it a default too |
| 2021-09-12 13:02:54 +0200 | <Rembane> | Yes |
| 2021-09-12 13:03:49 +0200 | <ldlework> | i like that you can make any function work on any time that implements Functor by composing it with fmap |
| 2021-09-12 13:03:54 +0200 | <ldlework> | on any type* |
| 2021-09-12 13:04:16 +0200 | <ldlework> | incMaybe = fmap . (+1) |
| 2021-09-12 13:04:18 +0200 | <ldlework> | right? |
| 2021-09-12 13:04:22 +0200 | <ldlework> | or rather |
| 2021-09-12 13:04:29 +0200 | <ldlework> | incMaybe = fmap (+1) |
| 2021-09-12 13:04:37 +0200 | <ldlework> | I guess no composition needed, just partial application |
| 2021-09-12 13:05:05 +0200 | <ldlework> | hmm I guess that would work over any Functor, not just Maybe |
| 2021-09-12 13:05:50 +0200 | <ldlework> | I guess you'd call it finc :D |
| 2021-09-12 13:06:56 +0200 | <Rembane> | ^^ |
| 2021-09-12 13:07:03 +0200 | <Rembane> | :t fmap . (+1) |
| 2021-09-12 13:07:04 +0200 | <lambdabot> | (Functor f, Num (a -> b)) => (a -> b) -> f a -> f b |
| 2021-09-12 13:07:11 +0200 | <Rembane> | :t fmap (+1) |
| 2021-09-12 13:07:12 +0200 | <lambdabot> | (Functor f, Num b) => f b -> f b |
| 2021-09-12 13:08:05 +0200 | <ldlework> | The former would add 1 to the argument, probably a function, and blow up. Or the first argument is a Num, and the addition works, but fails to be passed to fmap as the first arg |
| 2021-09-12 13:08:19 +0200 | <Rembane> | > (fmap . (+1)) (*2) (Just 7) |
| 2021-09-12 13:08:21 +0200 | <lambdabot> | error: |
| 2021-09-12 13:08:21 +0200 | <lambdabot> | • No instance for (Num (Integer -> Integer)) |
| 2021-09-12 13:08:21 +0200 | <lambdabot> | arising from a use of ‘e_1127’ |
| 2021-09-12 13:08:25 +0200 | <Rembane> | Ach! :D |
| 2021-09-12 13:08:59 +0200 | <Rembane> | Yeah, functions need a Num instance, which they can have, but it makes everything interesting in other ways. |
| 2021-09-12 13:09:08 +0200 | <ldlework> | whatt |
| 2021-09-12 13:09:10 +0200 | <ldlework> | lol |
| 2021-09-12 13:09:25 +0200 | <ldlework> | like using + on functions? |
| 2021-09-12 13:09:52 +0200 | <ldlework> | I guess it would just be some kind of combination of the functions |
| 2021-09-12 13:10:32 +0200 | <ldlework> | I guess no different than . as an operator or whatever |
| 2021-09-12 13:10:33 +0200 | <Rembane> | Yeah, what does f + g mean? :) |
| 2021-09-12 13:10:36 +0200 | <ldlework> | just a higher order function |
| 2021-09-12 13:10:53 +0200 | <ldlework> | could mean a number of things I guess |
| 2021-09-12 13:11:03 +0200 | <Rembane> | It's very much up to you what you choose to model. |
| 2021-09-12 13:11:37 +0200 | <ldlework> | since `f + g` is really just `(+) f g` and it might as well be `glippityglop f g` |
| 2021-09-12 13:11:42 +0200 | <ldlework> | aka some random HOF |
| 2021-09-12 13:13:20 +0200 | hyiltiz | (~quassel@31.220.5.250) (Ping timeout: 265 seconds) |
| 2021-09-12 13:13:43 +0200 | <Rembane> | Yes! |
| 2021-09-12 13:14:07 +0200 | <ldlework> | Copilot has learned the Functor laws slightly incorrectly |
| 2021-09-12 13:14:16 +0200 | <ldlework> | Instead of writing the test |
| 2021-09-12 13:14:17 +0200 | <ldlework> | -- >>> fmap not . fmap not $ p |
| 2021-09-12 13:14:19 +0200 | <ldlework> | it writes |
| 2021-09-12 13:14:30 +0200 | <ldlework> | -- >>> fmap (not . not) . fmap (not . not) $ p |
| 2021-09-12 13:20:46 +0200 | <Hecate> | haha nice |
| 2021-09-12 13:23:07 +0200 | hyiltiz | (~quassel@31.220.5.250) |
| 2021-09-12 13:24:01 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-09-12 13:24:18 +0200 | _xor | (~xor@74.215.232.67) |
| 2021-09-12 13:25:39 +0200 | <int-e> | well it's not wrong? |
| 2021-09-12 13:26:34 +0200 | kayprish | (~kayprish@cable-188-2-153-140.dynamic.sbb.rs) (Remote host closed the connection) |
| 2021-09-12 13:26:46 +0200 | <[itchyjunk]> | wait, what does f + g mean for f,g functions? |
| 2021-09-12 13:26:57 +0200 | <int-e> | usually \x -> f x + g x |
| 2021-09-12 13:27:15 +0200 | <[itchyjunk]> | ah |
| 2021-09-12 13:27:24 +0200 | <int-e> | > (1 + id) 2 |
| 2021-09-12 13:27:26 +0200 | <lambdabot> | error: |
| 2021-09-12 13:27:26 +0200 | <lambdabot> | • No instance for (Num (Integer -> Integer)) |
| 2021-09-12 13:27:26 +0200 | <lambdabot> | arising from a use of ‘e_112’ |
| 2021-09-12 13:27:35 +0200 | <int-e> | okay. I was wondering about that. |
| 2021-09-12 13:28:05 +0200 | <int-e> | (lambdabot used to have that instance by default... now it's there intermittently, whenever a fan of that instance defines it) |
| 2021-09-12 13:28:40 +0200 | <int-e> | With the Num instance, that would evaluate to 3. |
| 2021-09-12 13:28:47 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-09-12 13:34:43 +0200 | <ldlework> | [itchyjunk]: but my point was its semantics could be anything |
| 2021-09-12 13:35:18 +0200 | Everything | (~Everythin@37.115.210.35) (Quit: leaving) |
| 2021-09-12 13:36:10 +0200 | <[itchyjunk]> | sure, the symbol or it's meaning is context dependent |
| 2021-09-12 13:36:45 +0200 | <[itchyjunk]> | oh so in java, "overloading" is the same as ad hoc polymorphism |
| 2021-09-12 13:36:46 +0200 | pony | (~ed@101.53.218.157) (Quit: WeeChat 2.8) |
| 2021-09-12 13:36:57 +0200 | <[itchyjunk]> | What's an example (easy) of ad hoc polymorphism in haskell? |
| 2021-09-12 13:37:45 +0200 | <[itchyjunk]> | hmm i might have to learn a bit more haskell before i ask these questions actually |
| 2021-09-12 13:38:20 +0200 | <[itchyjunk]> | because idk if + wors for anything other than int.. which i don't think it does? |
| 2021-09-12 13:38:22 +0200 | <[itchyjunk]> | :t + |
| 2021-09-12 13:38:23 +0200 | <lambdabot> | error: parse error on input ‘+’ |
| 2021-09-12 13:38:31 +0200 | <[itchyjunk]> | :t (+) |
| 2021-09-12 13:38:32 +0200 | <lambdabot> | Num a => a -> a -> a |
| 2021-09-12 13:39:12 +0200 | <Rembane> | > fmap (+1) (Just 7) |
| 2021-09-12 13:39:13 +0200 | <lambdabot> | Just 8 |
| 2021-09-12 13:39:15 +0200 | <Rembane> | > fmap (+1) (Right 7) |
| 2021-09-12 13:39:17 +0200 | <lambdabot> | Right 8 |
| 2021-09-12 13:39:22 +0200 | <Rembane> | [itchyjunk]: That one perhaps? |
| 2021-09-12 13:39:47 +0200 | <Rembane> | [itchyjunk]: We're using the Functor instances for Maybe and Either. |
| 2021-09-12 13:40:27 +0200 | <[itchyjunk]> | I am trying to remember what a Functor is.. is that a map between categories? |
| 2021-09-12 13:40:39 +0200 | <Rembane> | :t fmap |
| 2021-09-12 13:40:40 +0200 | <lambdabot> | Functor f => (a -> b) -> f a -> f b |
| 2021-09-12 13:40:50 +0200 | <Rembane> | Dunno about that, but the signature is above |
| 2021-09-12 13:43:04 +0200 | <[itchyjunk]> | i vaguely understand |
| 2021-09-12 13:43:23 +0200 | <Rembane> | And you can replace f with Maybe and (Either x) to get the specialized type signatures. |
| 2021-09-12 13:46:53 +0200 | <[itchyjunk]> | yes! this makes sense. ty |
| 2021-09-12 13:47:08 +0200 | burnsidesLlama | (~burnsides@dhcp168-018.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-09-12 13:47:52 +0200 | <Rembane> | No worries. :) |
| 2021-09-12 13:53:45 +0200 | max22- | (~maxime@2a01cb0883359800586692f82479ecdc.ipv6.abo.wanadoo.fr) (Ping timeout: 260 seconds) |
| 2021-09-12 13:54:20 +0200 | <ldlework> | > We come now to Applicative. Applicatives are monoidal functors. No, no, stay with us. |
| 2021-09-12 13:54:21 +0200 | <lambdabot> | <hint>:1:67: error: parse error on input ‘,’ |
| 2021-09-12 13:54:28 +0200 | <ldlework> | 😩 it's 7AM I think i'll sleep instead |
| 2021-09-12 13:54:31 +0200 | <ldlework> | heh |
| 2021-09-12 13:57:06 +0200 | <ldlework> | [itchyjunk]: An instance of Functor for a type `a` "lifts" a function (like (+)) "over the structure" of `a` allowing (+) to work on data within `a` |
| 2021-09-12 13:57:33 +0200 | <ldlework> | So, a Functor for lists, lets you lift a function over the structure of the list, and apply it to the values in the list |
| 2021-09-12 13:57:55 +0200 | <ldlework> | A functor for strings, let's you lift a function over the structure of the string, and run the function over the characters inside |
| 2021-09-12 13:58:14 +0200 | <ldlework> | A functor for Maybe lets you run a function on the value inside the Maybe (if there is one) |
| 2021-09-12 13:58:27 +0200 | <ldlework> | A functor for Either lets you run a function on the Right value |
| 2021-09-12 14:01:54 +0200 | Vajb | (~Vajb@n5jcms613emg0qp3a-2.v6.elisa-mobile.fi) (Ping timeout: 260 seconds) |
| 2021-09-12 14:04:02 +0200 | kayprish | (~kayprish@cable-188-2-153-140.dynamic.sbb.rs) |
| 2021-09-12 14:15:17 +0200 | acidjnk_new | (~acidjnk@p200300d0c720301980aba8353aca9eb7.dip0.t-ipconnect.de) |
| 2021-09-12 14:21:20 +0200 | Vajb | (~Vajb@n7i80zvgkeh1dcvfh-2.v6.elisa-mobile.fi) |
| 2021-09-12 14:22:43 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) (Quit: amitnjha) |
| 2021-09-12 14:22:56 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) |
| 2021-09-12 14:25:21 +0200 | burnsidesLlama | (~burnsides@dhcp168-018.wadham.ox.ac.uk) |
| 2021-09-12 14:25:58 +0200 | Vajb | (~Vajb@n7i80zvgkeh1dcvfh-2.v6.elisa-mobile.fi) (Ping timeout: 252 seconds) |
| 2021-09-12 14:27:36 +0200 | machinedgod | (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 2021-09-12 14:27:56 +0200 | Brumaire | (~quassel@81-64-14-121.rev.numericable.fr) |
| 2021-09-12 14:29:30 +0200 | Vajb | (~Vajb@ndzniy17n18zst2kw-1.v6.elisa-mobile.fi) |
| 2021-09-12 14:30:10 +0200 | burnsidesLlama | (~burnsides@dhcp168-018.wadham.ox.ac.uk) (Ping timeout: 265 seconds) |
| 2021-09-12 14:33:22 +0200 | hendursa1 | (~weechat@user/hendursaga) (Quit: hendursa1) |
| 2021-09-12 14:33:40 +0200 | Vajb | (~Vajb@ndzniy17n18zst2kw-1.v6.elisa-mobile.fi) (Ping timeout: 252 seconds) |
| 2021-09-12 14:33:57 +0200 | hendursaga | (~weechat@user/hendursaga) |
| 2021-09-12 14:44:35 +0200 | Pickchea | (~private@user/pickchea) |
| 2021-09-12 14:54:11 +0200 | _alexm_ | (~alexm_@161.8.253.213) (Remote host closed the connection) |
| 2021-09-12 14:54:45 +0200 | IgnatInsarov[m] | (~kindaroma@2001:470:69fc:105::f5d9) |
| 2021-09-12 14:55:39 +0200 | Vajb | (~Vajb@n1fdw1j4uyo9saqj8-2.v6.elisa-mobile.fi) |
| 2021-09-12 14:56:44 +0200 | <IgnatInsarov[m]> | Yo! |
| 2021-09-12 14:56:53 +0200 | <IgnatInsarov[m]> | I need someone to run my project and see how long it takes with and without this patch. https://github.com/kindaro/paths-in-cube/commit/d79cd4a77f168ab5f5e841c30ade05e51db969f5 |
| 2021-09-12 14:57:02 +0200 | <IgnatInsarov[m]> | It has huge effect on performance on my machine and I want to confirm it somewhere else. |
| 2021-09-12 14:57:16 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) (Ping timeout: 252 seconds) |
| 2021-09-12 14:58:06 +0200 | burnsidesLlama | (~burnsides@dhcp168-018.wadham.ox.ac.uk) |
| 2021-09-12 14:58:37 +0200 | aman | (~aman@user/aman) |
| 2021-09-12 15:00:02 +0200 | Vajb | (~Vajb@n1fdw1j4uyo9saqj8-2.v6.elisa-mobile.fi) (Ping timeout: 245 seconds) |
| 2021-09-12 15:00:50 +0200 | aman | (~aman@user/aman) (Client Quit) |
| 2021-09-12 15:01:32 +0200 | Vajb | (~Vajb@n1fdw1j4uyo9saqj8-2.v6.elisa-mobile.fi) |
| 2021-09-12 15:02:32 +0200 | burnsidesLlama | (~burnsides@dhcp168-018.wadham.ox.ac.uk) (Ping timeout: 245 seconds) |
| 2021-09-12 15:04:37 +0200 | <IgnatInsarov[m]> | This channel looks unusually dead… |
| 2021-09-12 15:09:28 +0200 | <IgnatInsarov[m]> | Has the migration from `freenode` taken a toll? |
| 2021-09-12 15:09:44 +0200 | <int-e> | maybe, but it generally tends to quiet down on weekends too |
| 2021-09-12 15:12:40 +0200 | martin02 | (~silas@141.84.69.76) (Ping timeout: 252 seconds) |
| 2021-09-12 15:14:26 +0200 | <yushyin> | it is still one of the channels with the most traffic compared to other channels i participate in |
| 2021-09-12 15:14:40 +0200 | acidjnk_new3 | (~acidjnk@p200300d0c72030195d3a0f2c04c6116c.dip0.t-ipconnect.de) |
| 2021-09-12 15:15:25 +0200 | acidjnk | (~acidjnk@p200300d0c7203019c44d9fe177fb36b1.dip0.t-ipconnect.de) |
| 2021-09-12 15:15:28 +0200 | Brumaire | (~quassel@81-64-14-121.rev.numericable.fr) (Ping timeout: 252 seconds) |
| 2021-09-12 15:16:54 +0200 | Brumaire | (~quassel@fr-poney6.204vpn.net) |
| 2021-09-12 15:17:57 +0200 | acidjnk_new | (~acidjnk@p200300d0c720301980aba8353aca9eb7.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2021-09-12 15:19:22 +0200 | acidjnk_new3 | (~acidjnk@p200300d0c72030195d3a0f2c04c6116c.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2021-09-12 15:19:39 +0200 | <pavonia> | IgnatInsarov[m]: trace internally uses unsafePerformIO, so it's likely that the new code evaluates things more often |
| 2021-09-12 15:19:58 +0200 | <IgnatInsarov[m]> | How so? |
| 2021-09-12 15:20:05 +0200 | <pavonia> | Btw, don't you want `trace "" $ buildTree (Set.fromList theBox) function` anyway? |
| 2021-09-12 15:20:13 +0200 | <pavonia> | (note the $) |
| 2021-09-12 15:20:25 +0200 | <IgnatInsarov[m]> | I want it to run fast. |
| 2021-09-12 15:20:28 +0200 | <IgnatInsarov[m]> | Did you run it? |
| 2021-09-12 15:20:38 +0200 | <IgnatInsarov[m]> | Please run it and see how `$` changes things. |
| 2021-09-12 15:20:48 +0200 | <IgnatInsarov[m]> | I promise you will be amused. |
| 2021-09-12 15:21:02 +0200 | <pavonia> | Or you tell me which is faster :p |
| 2021-09-12 15:22:12 +0200 | <IgnatInsarov[m]> | I do not want you to believe me, I want you to see for yourself. |
| 2021-09-12 15:22:21 +0200 | martin02 | (~silas@141.84.69.76) |
| 2021-09-12 15:22:32 +0200 | <IgnatInsarov[m]> | Maybe my measurements are wrong. |
| 2021-09-12 15:23:04 +0200 | <pavonia> | The thing is, do not rely on code that uses trace, because you might be using it wrong and you might get fast but incorrect results |
| 2021-09-12 15:24:14 +0200 | <IgnatInsarov[m]> | I should surely like not to rely on it. |
| 2021-09-12 15:25:54 +0200 | <pavonia> | Though I'm confused why `trace "" buildTree` is faster, evaluating `buildTree` should be a no-op |
| 2021-09-12 15:27:46 +0200 | <pavonia> | Maybe the problem is related to specialization of types |
| 2021-09-12 15:28:01 +0200 | <int-e> | IgnatInsarov[m]: try either {-# NOINLINE buildTree #-} or memory = lazy (buildTree (Set.fromList theBox) function) where lazy is from GHC.Exts. There's probably some obscure inlining decisions that GHC takes otherwise that cause the program to recompute the "tree". |
| 2021-09-12 15:28:56 +0200 | <IgnatInsarov[m]> | Yep I tried `noinline`ing everything, it did not make any difference. Maybe I should try again. |
| 2021-09-12 15:29:09 +0200 | <int-e> | But I'm not in the mood to investigate (which would involve looking at stg code, and possibly even tracing the simplifier) |
| 2021-09-12 15:29:55 +0200 | <int-e> | I tried both of those and they helped for me |
| 2021-09-12 15:29:55 +0200 | <IgnatInsarov[m]> | pavonia: Specialization is surely an important aspect when it comes to memoization: <https://www.reddit.com/r/haskell/comments/plfotc/examples_of_compiler_optimizations_changing/> |
| 2021-09-12 15:30:21 +0200 | <int-e> | {-# NOINLINE memory #-}, on the other hand, didn't help |
| 2021-09-12 15:30:29 +0200 | burnsidesLlama | (~burnsides@dhcp168-018.wadham.ox.ac.uk) |
| 2021-09-12 15:31:07 +0200 | enoq | (~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7) |
| 2021-09-12 15:31:30 +0200 | <IgnatInsarov[m]> | Oh you are right, they actually work. |
| 2021-09-12 15:31:42 +0200 | <int-e> | but I can't really explain why they help... I followed my gut. |
| 2021-09-12 15:31:58 +0200 | <IgnatInsarov[m]> | I suppose I tried the pragmas on some other variant of the code. |
| 2021-09-12 15:32:18 +0200 | <IgnatInsarov[m]> | I have been re-arranging it for a few hours last night. |
| 2021-09-12 15:33:02 +0200 | <IgnatInsarov[m]> | int-e: How should I quote you? |
| 2021-09-12 15:33:03 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) (Quit: amitnjha) |
| 2021-09-12 15:33:12 +0200 | <int-e> | don't bother |
| 2021-09-12 15:33:20 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) |
| 2021-09-12 15:33:24 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) (Client Quit) |
| 2021-09-12 15:33:34 +0200 | <IgnatInsarov[m]> | Since you found a solution, I have to attribute it to you when I write about it. |
| 2021-09-12 15:33:45 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) |
| 2021-09-12 15:33:48 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) (Client Quit) |
| 2021-09-12 15:33:49 +0200 | sedeki | (~textual@user/sedeki) |
| 2021-09-12 15:33:52 +0200 | <IgnatInsarov[m]> | «A friendly person on IRC»? |
| 2021-09-12 15:34:02 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) |
| 2021-09-12 15:34:17 +0200 | <int-e> | Works for me. int-e on IRC works too, I just don't think I did a whole lot here. |
| 2021-09-12 15:34:34 +0200 | <int-e> | The real work would be in explaining the difference. |
| 2021-09-12 15:35:15 +0200 | burnsidesLlama | (~burnsides@dhcp168-018.wadham.ox.ac.uk) (Ping timeout: 260 seconds) |
| 2021-09-12 15:38:53 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-09-12 15:40:17 +0200 | son0p | (~ff@181.136.122.143) |
| 2021-09-12 15:40:27 +0200 | agoraphobic_ | (~agoraphob@ip11-173.bon.riksnet.se) (Ping timeout: 245 seconds) |
| 2021-09-12 15:42:31 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2021-09-12 15:42:31 +0200 | sheddow | (~sheddow@84-52-255.245.3p.ntebredband.no) (Ping timeout: 256 seconds) |
| 2021-09-12 15:50:38 +0200 | Brumaire | (~quassel@fr-poney6.204vpn.net) (Ping timeout: 260 seconds) |
| 2021-09-12 15:51:18 +0200 | Brumaire | (~quassel@81-64-14-121.rev.numericable.fr) |
| 2021-09-12 15:51:21 +0200 | son0p | (~ff@181.136.122.143) (Remote host closed the connection) |
| 2021-09-12 15:53:21 +0200 | wonko | (~wjc@62.115.229.50) |
| 2021-09-12 15:56:31 +0200 | <IgnatInsarov[m]> | I wrote it up on Reddit: <https://www.reddit.com/r/haskellquestions/comments/pmt3g8/why_does_adding_trace_give_a_tenfold_spe…> |
| 2021-09-12 15:56:55 +0200 | <IgnatInsarov[m]> | Thanks everyone and see you all later. |
| 2021-09-12 16:02:55 +0200 | ArctVaulMarsHMPJ | (~pjetcetal@2.95.102.85) (Read error: Connection reset by peer) |
| 2021-09-12 16:05:56 +0200 | sedeki | (~textual@user/sedeki) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-09-12 16:12:54 +0200 | burnsidesLlama | (~burnsides@dhcp168-018.wadham.ox.ac.uk) |
| 2021-09-12 16:16:32 +0200 | max22- | (~maxime@2a01cb088335980044460da6948ac63d.ipv6.abo.wanadoo.fr) |
| 2021-09-12 16:17:15 +0200 | burnsidesLlama | (~burnsides@dhcp168-018.wadham.ox.ac.uk) (Ping timeout: 260 seconds) |
| 2021-09-12 16:19:39 +0200 | ArctVaulMarsHMPJ | (~pjetcetal@2.95.102.85) |
| 2021-09-12 16:24:43 +0200 | kuribas | (~user@ptr-25vy0i9m8o0g27xnl8z.18120a2.ip6.access.telenet.be) |
| 2021-09-12 16:25:12 +0200 | hannessteffenhag | (~hannesste@ip4d14ffd8.dynamic.kabel-deutschland.de) (Ping timeout: 265 seconds) |
| 2021-09-12 16:26:07 +0200 | <maerwald> | IgnatInsarov[m]: where's the repo again? |
| 2021-09-12 16:29:10 +0200 | <mangoiv> | Hi, is there a recommended order of files to look into when I'm trying to read myself into the WayMonad project? I'd love to contribute but such projects are always soooo big I get frustrated tryin to understand what's going on really quickly... |
| 2021-09-12 16:29:15 +0200 | <mangoiv> | Thanks in advance y'all |
| 2021-09-12 16:32:29 +0200 | <lechner> | Hi, would someone please help me with these type errors? I have a hard time seeing what's going on. https://paste.tomsmeding.com/Itli1J6O#file-2 |
| 2021-09-12 16:35:57 +0200 | <kuribas> | lechner: you need lazy Text, not strict Text. |
| 2021-09-12 16:36:04 +0200 | <kuribas> | Data.Text.Lazy |
| 2021-09-12 16:36:55 +0200 | <lechner> | kuribas: thanks! |
| 2021-09-12 16:37:29 +0200 | <maerwald> | IgnatInsarov[m]: I found it |
| 2021-09-12 16:40:49 +0200 | xff0x | (~xff0x@2001:1a81:5374:7800:b91b:1969:510:c2ea) (Ping timeout: 252 seconds) |
| 2021-09-12 16:44:47 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-09-12 16:44:47 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 2021-09-12 16:44:47 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2021-09-12 16:47:20 +0200 | <geekosaur> | mangoiv, there's a pointer to a matrix room in the right sidebar of https://github.com/L-as/waymonad, you might have more luck there |
| 2021-09-12 16:48:43 +0200 | enoq | (~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7) (Quit: enoq) |
| 2021-09-12 16:51:24 +0200 | Brumaire | (~quassel@81-64-14-121.rev.numericable.fr) (Remote host closed the connection) |
| 2021-09-12 16:53:59 +0200 | <mangoiv> | geekosaur, thanks for your answer, I'll definitely look into that. (First I gotta get back to a distro with Systemd, otherwise no Nix D: ) |
| 2021-09-12 16:54:03 +0200 | acidjnk_new | (~acidjnk@p200300d0c7203034c44d9fe177fb36b1.dip0.t-ipconnect.de) |
| 2021-09-12 16:54:25 +0200 | <mangoiv> | (say, how do you get those fany name colors?) |
| 2021-09-12 16:54:56 +0200 | <geekosaur> | your client does it, irc normally doesn't have color to speak of |
| 2021-09-12 16:55:58 +0200 | agoraphobic | (~agoraphob@ip11-173.bon.riksnet.se) |
| 2021-09-12 16:56:54 +0200 | acidjnk | (~acidjnk@p200300d0c7203019c44d9fe177fb36b1.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2021-09-12 17:00:59 +0200 | <lechner> | mangoiv geekosaur: thanks for that pointer. i'm a former xmonad user. why is the 'hayland' library mentioned here obsolete, and what is its replacement? https://github.com/L-as/waymonad#hsroots |
| 2021-09-12 17:03:11 +0200 | <geekosaur> | that I couldn't tell you. I'm an xmonad developer. I'm aware of waymonad but not much beyond that |
| 2021-09-12 17:03:58 +0200 | <geekosaur> | but I'd guess hayland is a Haskell binding or reimplementation of the basic Wayland library |
| 2021-09-12 17:04:07 +0200 | <lechner> | okay, thanks! perhaps it's ohe of these https://github.com/abooij/sudbury#related-projects |
| 2021-09-12 17:04:45 +0200 | <lechner> | or sudbury itself, although there has been no activity |
| 2021-09-12 17:06:14 +0200 | <lechner> | geekosaur: also, thaks for xmonad. it was great under X |
| 2021-09-12 17:06:20 +0200 | <lechner> | thnks |
| 2021-09-12 17:06:29 +0200 | <lechner> | thanks |
| 2021-09-12 17:07:38 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:2dc7:70f:65a6:fbdd) |
| 2021-09-12 17:08:01 +0200 | Garbanzo | (~Garbanzo@2602:304:6eac:dc10::46) |
| 2021-09-12 17:09:59 +0200 | TranquilEcho | (~grom@user/tranquilecho) |
| 2021-09-12 17:11:57 +0200 | hnOsmium0001 | (uid453710@id-453710.stonehaven.irccloud.com) |
| 2021-09-12 17:12:04 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:2dc7:70f:65a6:fbdd) (Ping timeout: 252 seconds) |
| 2021-09-12 17:13:19 +0200 | xff0x | (~xff0x@2001:1a81:5374:7800:b91b:1969:510:c2ea) |
| 2021-09-12 17:15:03 +0200 | tommd | (~tommd@75-164-130-101.ptld.qwest.net) |
| 2021-09-12 17:17:55 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-09-12 17:22:36 +0200 | amk | (~amk@109.255.169.126) (Remote host closed the connection) |
| 2021-09-12 17:23:47 +0200 | amk | (~amk@109.255.169.126) |
| 2021-09-12 17:27:21 +0200 | sleblanc | (~sleblanc@user/sleblanc) |
| 2021-09-12 17:27:45 +0200 | zmt01 | (~zmt00@user/zmt00) |
| 2021-09-12 17:31:16 +0200 | wonko | (~wjc@62.115.229.50) (Ping timeout: 252 seconds) |
| 2021-09-12 17:31:48 +0200 | slowButPresent | (~slowButPr@user/slowbutpresent) |
| 2021-09-12 17:35:04 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2021-09-12 17:37:55 +0200 | Hanicef | (~gustaf@81-229-9-108-no92.tbcn.telia.com) |
| 2021-09-12 17:39:43 +0200 | son0p | (~ff@181.136.122.143) |
| 2021-09-12 17:42:31 +0200 | waleee | (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 2021-09-12 17:46:48 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2021-09-12 17:50:29 +0200 | mangoiv1 | (~MangoIV@193.175.5.172) |
| 2021-09-12 17:50:29 +0200 | mangoiv | (~MangoIV@193.175.5.172) (Read error: Connection reset by peer) |
| 2021-09-12 17:55:15 +0200 | vysn | (~vysn@user/vysn) (Quit: WeeChat 3.2) |
| 2021-09-12 17:55:24 +0200 | max22- | (~maxime@2a01cb088335980044460da6948ac63d.ipv6.abo.wanadoo.fr) (Remote host closed the connection) |
| 2021-09-12 17:55:40 +0200 | mangoiv1 | (~MangoIV@193.175.5.172) (Quit: WeeChat 3.2) |
| 2021-09-12 17:56:10 +0200 | <janus> | why is the quadratic Aeson problem not visible on https://www.reddit.com/r/haskell/top/?t=month ? i can still see it on https://www.reddit.com/r/haskell/comments/pm7rcr/cs_syd_json_vulnerability_in_haskells_aeson/ |
| 2021-09-12 17:56:34 +0200 | <kuribas> | janus: it's there? |
| 2021-09-12 17:57:06 +0200 | kenran | (~kenran@200116b82b2c7100d4de7347c00a41a3.dip.versatel-1u1.de) |
| 2021-09-12 17:58:16 +0200 | acidjnk_new | (~acidjnk@p200300d0c7203034c44d9fe177fb36b1.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2021-09-12 17:59:08 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) (Quit: amitnjha) |
| 2021-09-12 17:59:22 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) |
| 2021-09-12 18:00:03 +0200 | <janus> | kuribas: aaah ok i must have somehow hid it by accident, it has happened before.. still don't know how this happens |
| 2021-09-12 18:00:06 +0200 | thonoht[m] | (~thonohtma@2001:470:69fc:105::d7be) (Quit: You have been kicked for being idle) |
| 2021-09-12 18:00:08 +0200 | boxscape | (~boxscape@user/boxscape) (Quit: You have been kicked for being idle) |
| 2021-09-12 18:00:13 +0200 | <janus> | i must be hitting some hotkey ... |
| 2021-09-12 18:00:29 +0200 | boxscape | (~boxscape@user/boxscape) |
| 2021-09-12 18:01:00 +0200 | lechner | did not know about r/ hide feature |
| 2021-09-12 18:02:15 +0200 | <janus> | RES has this feature... but on the other hand, it shouldn't work in incognito mode, and it does... so weird |
| 2021-09-12 18:05:09 +0200 | kayprish | (~kayprish@cable-188-2-153-140.dynamic.sbb.rs) (Remote host closed the connection) |
| 2021-09-12 18:13:31 +0200 | fendor | (~fendor@178.165.199.123.wireless.dyn.drei.com) |
| 2021-09-12 18:15:30 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:2dc7:70f:65a6:fbdd) |
| 2021-09-12 18:19:28 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) (Quit: amitnjha) |
| 2021-09-12 18:19:42 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) |
| 2021-09-12 18:24:48 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) (Quit: amitnjha) |
| 2021-09-12 18:25:01 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) |
| 2021-09-12 18:36:05 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
| 2021-09-12 18:37:01 +0200 | econo | (uid147250@user/econo) |
| 2021-09-12 18:40:03 +0200 | hyiltiz | (~quassel@31.220.5.250) (Ping timeout: 265 seconds) |
| 2021-09-12 18:41:15 +0200 | psilospore | (uid517704@id-517704.stonehaven.irccloud.com) |
| 2021-09-12 18:42:59 +0200 | max22- | (~maxime@2a01cb0883359800574cfc02ebbdd1ed.ipv6.abo.wanadoo.fr) |
| 2021-09-12 18:46:02 +0200 | sheddow | (~sheddow@84-52-255.245.3p.ntebredband.no) |
| 2021-09-12 18:47:30 +0200 | Pickchea | (~private@user/pickchea) (Ping timeout: 260 seconds) |
| 2021-09-12 18:50:08 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) (Quit: amitnjha) |
| 2021-09-12 18:50:24 +0200 | hyiltiz | (~quassel@31.220.5.250) |
| 2021-09-12 18:50:25 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) |
| 2021-09-12 18:50:31 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) (Client Quit) |
| 2021-09-12 18:50:44 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) |
| 2021-09-12 18:50:51 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) (Client Quit) |
| 2021-09-12 18:51:04 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) |
| 2021-09-12 18:51:07 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) (Client Quit) |
| 2021-09-12 18:51:27 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) |
| 2021-09-12 18:56:33 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) (Quit: amitnjha) |
| 2021-09-12 18:56:46 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) |
| 2021-09-12 19:06:53 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) (Quit: amitnjha) |
| 2021-09-12 19:07:06 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) |
| 2021-09-12 19:09:32 +0200 | waleee | (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Quit: WeeChat 3.2) |
| 2021-09-12 19:12:11 +0200 | waleee | (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 2021-09-12 19:14:16 +0200 | kenran | (~kenran@200116b82b2c7100d4de7347c00a41a3.dip.versatel-1u1.de) (Ping timeout: 252 seconds) |
| 2021-09-12 19:15:18 +0200 | kenran | (~kenran@200116b82b2c7100e37982919c9088b5.dip.versatel-1u1.de) |
| 2021-09-12 19:18:31 +0200 | shriekingnoise | (~shrieking@186.137.144.80) |
| 2021-09-12 19:20:28 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2021-09-12 19:30:17 +0200 | Erutuon | (~Erutuon@user/erutuon) |
| 2021-09-12 19:33:14 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 2021-09-12 19:41:13 +0200 | <Las[m]> | Does anyone know whether there's a way to make all functions INLINABLE? |
| 2021-09-12 19:41:25 +0200 | amahl | (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) |
| 2021-09-12 19:42:37 +0200 | <Las[m]> | lechner: AFAIU it's marked obsolete because the author moved onto Sudbury as you can tell |
| 2021-09-12 19:42:57 +0200 | <Las[m]> | The main difference being Sudbury doesn't interface with libwayland |
| 2021-09-12 19:43:11 +0200 | <Las[m]> | The reason Waymonad uses Hayland is because we need to interface with libwayland, since that's what wlroots uses |
| 2021-09-12 19:49:18 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-09-12 19:49:18 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 2021-09-12 19:49:18 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2021-09-12 19:53:46 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 2021-09-12 19:56:08 +0200 | agoraphobic | (~agoraphob@ip11-173.bon.riksnet.se) (Read error: Connection reset by peer) |
| 2021-09-12 19:56:23 +0200 | kuribas | (~user@ptr-25vy0i9m8o0g27xnl8z.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3)) |
| 2021-09-12 19:56:29 +0200 | agoraphobic | (~agoraphob@ip11-173.bon.riksnet.se) |
| 2021-09-12 20:01:00 +0200 | gehmehgeh | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2021-09-12 20:01:49 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
| 2021-09-12 20:08:10 +0200 | Hanicef | (~gustaf@81-229-9-108-no92.tbcn.telia.com) (Quit: leaving) |
| 2021-09-12 20:08:50 +0200 | alx741 | (~alx741@186.178.109.89) (Ping timeout: 260 seconds) |
| 2021-09-12 20:14:46 +0200 | enikar | (~enikar@user/enikar) (Ping timeout: 252 seconds) |
| 2021-09-12 20:15:13 +0200 | enikar | (~enikar@user/enikar) |
| 2021-09-12 20:15:34 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-09-12 20:17:03 +0200 | <lechner> | Las[m]: thanks! I am currently on sway and look forward to your compositor |
| 2021-09-12 20:17:52 +0200 | <Las[m]> | lechner: Thanks! Hopefully I'll get some progress done. |
| 2021-09-12 20:19:19 +0200 | <Las[m]> | elvishjerricco: Did you ever find an answer to https://old.reddit.com/r/haskell/comments/6i2t27/ghc_option_for_marking_everything_inlinable/ ? |
| 2021-09-12 20:19:51 +0200 | System123 | (~System123@203-134-35-213.sta.estpak.ee) |
| 2021-09-12 20:20:20 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2021-09-12 20:21:16 +0200 | alx741 | (~alx741@181.196.69.212) |
| 2021-09-12 20:22:13 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) (Quit: amitnjha) |
| 2021-09-12 20:22:26 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) |
| 2021-09-12 20:22:31 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) (Client Quit) |
| 2021-09-12 20:22:45 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) |
| 2021-09-12 20:26:19 +0200 | pavonia | (~user@user/siracusa) (Read error: Connection reset by peer) |
| 2021-09-12 20:26:44 +0200 | homarlone | (~homarlone@user/homarlone) |
| 2021-09-12 20:27:48 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) (Quit: amitnjha) |
| 2021-09-12 20:28:01 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) |
| 2021-09-12 20:28:28 +0200 | pavonia | (~user@user/siracusa) |
| 2021-09-12 20:34:13 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:2dc7:70f:65a6:fbdd) (Remote host closed the connection) |
| 2021-09-12 20:34:43 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:2dc7:70f:65a6:fbdd) |
| 2021-09-12 20:35:40 +0200 | max22- | (~maxime@2a01cb0883359800574cfc02ebbdd1ed.ipv6.abo.wanadoo.fr) (Ping timeout: 260 seconds) |
| 2021-09-12 20:36:14 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-09-12 20:36:15 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 2021-09-12 20:36:15 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2021-09-12 20:36:26 +0200 | betelgeuse | (~betelgeus@94-225-47-8.access.telenet.be) (Quit: Ping timeout (120 seconds)) |
| 2021-09-12 20:37:48 +0200 | betelgeuse | (~betelgeus@94-225-47-8.access.telenet.be) |
| 2021-09-12 20:39:30 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:2dc7:70f:65a6:fbdd) (Ping timeout: 260 seconds) |
| 2021-09-12 20:40:54 +0200 | System12_ | (~System123@ec2-52-61-197-79.us-gov-west-1.compute.amazonaws.com) |
| 2021-09-12 20:44:10 +0200 | System123 | (~System123@203-134-35-213.sta.estpak.ee) (Ping timeout: 260 seconds) |
| 2021-09-12 20:46:53 +0200 | ddrtns^ | (~ddrtns@68.101.54.227) (Remote host closed the connection) |
| 2021-09-12 20:48:08 +0200 | machinedgod | (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 265 seconds) |
| 2021-09-12 20:48:22 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2021-09-12 20:48:23 +0200 | acidjnk_new | (~acidjnk@p200300d0c7203034c44d9fe177fb36b1.dip0.t-ipconnect.de) |
| 2021-09-12 20:52:19 +0200 | max22- | (~maxime@2a01cb08833598004bd2e3d55bf9d97e.ipv6.abo.wanadoo.fr) |
| 2021-09-12 20:53:08 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) (Quit: amitnjha) |
| 2021-09-12 20:53:23 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) |
| 2021-09-12 21:03:36 +0200 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 265 seconds) |
| 2021-09-12 21:06:20 +0200 | vysn | (~vysn@user/vysn) |
| 2021-09-12 21:12:48 +0200 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2021-09-12 21:14:20 +0200 | awpr | (uid446117@id-446117.lymington.irccloud.com) |
| 2021-09-12 21:18:29 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) (Quit: amitnjha) |
| 2021-09-12 21:18:43 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) |
| 2021-09-12 21:19:10 +0200 | ubert | (~Thunderbi@178.165.198.127.wireless.dyn.drei.com) |
| 2021-09-12 21:19:25 +0200 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 260 seconds) |
| 2021-09-12 21:20:46 +0200 | tommd | (~tommd@75-164-130-101.ptld.qwest.net) (Ping timeout: 252 seconds) |
| 2021-09-12 21:24:12 +0200 | Jeanne-Kamikaze | (~Jeanne-Ka@static-198-54-131-92.cust.tzulo.com) |
| 2021-09-12 21:25:35 +0200 | tdsltl^ | (~tdsltl@68.101.54.227) |
| 2021-09-12 21:28:02 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Ping timeout: 260 seconds) |
| 2021-09-12 21:28:15 +0200 | hyiltiz | (~quassel@31.220.5.250) (Ping timeout: 265 seconds) |
| 2021-09-12 21:33:49 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) (Quit: amitnjha) |
| 2021-09-12 21:34:04 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) |
| 2021-09-12 21:35:05 +0200 | tommd | (~tommd@75-164-130-101.ptld.qwest.net) |
| 2021-09-12 21:36:42 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:2dc7:70f:65a6:fbdd) |
| 2021-09-12 21:37:33 +0200 | Pickchea | (~private@user/pickchea) |
| 2021-09-12 21:37:45 +0200 | hyiltiz | (~quassel@31.220.5.250) |
| 2021-09-12 21:39:02 +0200 | zer0bitz | (~zer0bitz@dsl-hkibng31-54fafc-123.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-09-12 21:39:55 +0200 | tommd | (~tommd@75-164-130-101.ptld.qwest.net) (Ping timeout: 252 seconds) |
| 2021-09-12 21:43:56 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2021-09-12 21:43:59 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
| 2021-09-12 21:49:42 +0200 | homarlone | (~homarlone@user/homarlone) (Quit: Client closed) |
| 2021-09-12 21:53:36 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:2dc7:70f:65a6:fbdd) (Remote host closed the connection) |
| 2021-09-12 21:54:34 +0200 | burnsidesLlama | (~burnsides@dhcp168-018.wadham.ox.ac.uk) |
| 2021-09-12 21:55:18 +0200 | hexfive | (~eric@50.35.83.177) |
| 2021-09-12 21:56:25 +0200 | hexfive | (~eric@50.35.83.177) (Client Quit) |
| 2021-09-12 21:57:15 +0200 | ubert | (~Thunderbi@178.165.198.127.wireless.dyn.drei.com) (Ping timeout: 265 seconds) |
| 2021-09-12 21:57:25 +0200 | _ht | (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-09-12 21:59:18 +0200 | burnsidesLlama | (~burnsides@dhcp168-018.wadham.ox.ac.uk) (Ping timeout: 260 seconds) |
| 2021-09-12 22:01:36 +0200 | Tordek | (tordek@triton.blinkenshell.org) (Ping timeout: 265 seconds) |
| 2021-09-12 22:02:33 +0200 | Tordek | (~tordek@triton.blinkenshell.org) |
| 2021-09-12 22:05:28 +0200 | juhp | (~juhp@128.106.188.220) (Ping timeout: 265 seconds) |
| 2021-09-12 22:06:46 +0200 | sa | (sid1055@id-1055.tinside.irccloud.com) (Ping timeout: 256 seconds) |
| 2021-09-12 22:06:46 +0200 | juhp | (~juhp@128.106.188.220) |
| 2021-09-12 22:07:05 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2021-09-12 22:08:10 +0200 | Tordek | (~tordek@triton.blinkenshell.org) (Ping timeout: 260 seconds) |
| 2021-09-12 22:08:10 +0200 | sa | (sid1055@id-1055.tinside.irccloud.com) |
| 2021-09-12 22:08:56 +0200 | Tordek | (~tordek@triton.blinkenshell.org) |
| 2021-09-12 22:09:10 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) (Quit: amitnjha) |
| 2021-09-12 22:09:24 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) |
| 2021-09-12 22:14:10 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 265 seconds) |
| 2021-09-12 22:20:27 +0200 | cheater | (~Username@user/cheater) |
| 2021-09-12 22:21:20 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2021-09-12 22:24:30 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) (Quit: amitnjha) |
| 2021-09-12 22:24:47 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) |
| 2021-09-12 22:24:49 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-09-12 22:31:43 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-09-12 22:32:30 +0200 | burnsidesLlama | (~burnsides@dhcp168-018.wadham.ox.ac.uk) |
| 2021-09-12 22:36:53 +0200 | burnsidesLlama | (~burnsides@dhcp168-018.wadham.ox.ac.uk) (Ping timeout: 265 seconds) |
| 2021-09-12 22:38:37 +0200 | shapr | (~user@pool-100-36-247-68.washdc.fios.verizon.net) |
| 2021-09-12 22:40:31 +0200 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-09-12 22:41:03 +0200 | fendor | (~fendor@178.165.199.123.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-09-12 22:44:23 +0200 | pbrisbin | (~patrick@pool-173-49-147-250.phlapa.fios.verizon.net) |
| 2021-09-12 22:44:54 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2021-09-12 22:45:46 +0200 | mikoto-chan | (~mikoto-ch@83.137.2.241) |
| 2021-09-12 22:48:41 +0200 | machinedgod | (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 2021-09-12 22:49:53 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) (Quit: amitnjha) |
| 2021-09-12 22:50:06 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) |
| 2021-09-12 22:50:15 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) (Client Quit) |
| 2021-09-12 22:50:25 +0200 | System123 | (~System123@203-134-35-213.sta.estpak.ee) |
| 2021-09-12 22:50:29 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) |
| 2021-09-12 22:51:35 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2021-09-12 22:52:21 +0200 | mikoto-chan | (~mikoto-ch@83.137.2.241) (Ping timeout: 265 seconds) |
| 2021-09-12 22:53:24 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-09-12 22:53:59 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:2dc7:70f:65a6:fbdd) |
| 2021-09-12 22:54:22 +0200 | System12_ | (~System123@ec2-52-61-197-79.us-gov-west-1.compute.amazonaws.com) (Ping timeout: 260 seconds) |
| 2021-09-12 22:56:24 +0200 | mikoto-chan | (~mikoto-ch@83.137.2.241) |
| 2021-09-12 22:58:34 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:2dc7:70f:65a6:fbdd) (Ping timeout: 252 seconds) |
| 2021-09-12 22:59:02 +0200 | falafel | (~falafel@2603-8000-d801-2d68-1d6d-bf72-eba2-a20e.res6.spectrum.com) |
| 2021-09-12 22:59:29 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2021-09-12 23:00:43 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2021-09-12 23:00:44 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2021-09-12 23:03:39 +0200 | chomwitt | (~chomwitt@2a02:587:dc14:5d00:12c3:7bff:fe6d:d374) (Remote host closed the connection) |
| 2021-09-12 23:06:46 +0200 | System123 | (~System123@203-134-35-213.sta.estpak.ee) (Remote host closed the connection) |
| 2021-09-12 23:07:27 +0200 | System123 | (~System123@203-134-35-213.sta.estpak.ee) |
| 2021-09-12 23:07:50 +0200 | kenran | (~kenran@200116b82b2c7100e37982919c9088b5.dip.versatel-1u1.de) (Quit: WeeChat info:version) |
| 2021-09-12 23:10:27 +0200 | _________ | (~nobody@user/noodly) (Remote host closed the connection) |
| 2021-09-12 23:10:46 +0200 | _________ | (~nobody@user/noodly) |
| 2021-09-12 23:11:04 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-09-12 23:11:41 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-09-12 23:12:25 +0200 | System123 | (~System123@203-134-35-213.sta.estpak.ee) (Ping timeout: 252 seconds) |
| 2021-09-12 23:13:31 +0200 | Jeanne-Kamikaze | (~Jeanne-Ka@static-198-54-131-92.cust.tzulo.com) (Ping timeout: 252 seconds) |
| 2021-09-12 23:13:45 +0200 | zebrag | (~chris@user/zebrag) |
| 2021-09-12 23:15:43 +0200 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 252 seconds) |
| 2021-09-12 23:15:53 +0200 | Jeanne-Kamikaze | (~Jeanne-Ka@static-198-54-131-70.cust.tzulo.com) |
| 2021-09-12 23:16:07 +0200 | benin03693230 | (~benin@183.82.24.227) (Ping timeout: 252 seconds) |
| 2021-09-12 23:20:02 +0200 | falafel | (~falafel@2603-8000-d801-2d68-1d6d-bf72-eba2-a20e.res6.spectrum.com) (Ping timeout: 245 seconds) |
| 2021-09-12 23:22:19 +0200 | Gurkenglas | (~Gurkengla@dslb-002-207-014-195.002.207.pools.vodafone-ip.de) (Ping timeout: 252 seconds) |
| 2021-09-12 23:23:14 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.2) |
| 2021-09-12 23:29:42 +0200 | Brumaire | (~quassel@81-64-14-121.rev.numericable.fr) |
| 2021-09-12 23:31:42 +0200 | hyiltiz | (~quassel@31.220.5.250) (Ping timeout: 260 seconds) |
| 2021-09-12 23:34:16 +0200 | Philonous | (~Philonous@user/philonous) (Ping timeout: 252 seconds) |
| 2021-09-12 23:34:39 +0200 | Philonous | (~Philonous@user/philonous) |
| 2021-09-12 23:34:49 +0200 | mikoto-chan | (~mikoto-ch@83.137.2.241) (Ping timeout: 252 seconds) |
| 2021-09-12 23:36:50 +0200 | pbrisbin | (~patrick@pool-173-49-147-250.phlapa.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2021-09-12 23:39:44 +0200 | hyiltiz | (~quassel@31.220.5.250) |
| 2021-09-12 23:45:00 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2021-09-12 23:45:29 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) (Quit: amitnjha) |
| 2021-09-12 23:45:42 +0200 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) |
| 2021-09-12 23:46:34 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-09-12 23:51:18 +0200 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 260 seconds) |
| 2021-09-12 23:51:19 +0200 | Brumaire | (~quassel@81-64-14-121.rev.numericable.fr) (Ping timeout: 265 seconds) |
| 2021-09-12 23:53:30 +0200 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
