| 2022-02-15 00:00:17 +0000 | <EvanR> | burned myself on laziness a couple times and was better for it |
| 2022-02-15 00:00:21 +0000 | jgeerds | (~jgeerds@55d4a547.access.ecotel.net) (Ping timeout: 250 seconds) |
| 2022-02-15 00:00:34 +0000 | <afidegnum> | let me give it a try, wish me luck :) |
| 2022-02-15 00:00:43 +0000 | Guest89 | (~Guest89@114.23.127.15) (Client Quit) |
| 2022-02-15 00:00:53 +0000 | <Axman6> | afidegnum: what's the project, if you can say? |
| 2022-02-15 00:01:41 +0000 | <afidegnum> | I'm trying to dynamically generate MVC patterns from specific database models |
| 2022-02-15 00:02:22 +0000 | <afidegnum> | this will reduce development time |
| 2022-02-15 00:02:39 +0000 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-02-15 00:02:52 +0000 | <afidegnum> | I made an attempt in elisp which somehow workds but I need to interact with teh GUI too |
| 2022-02-15 00:03:15 +0000 | <geekosaur> | "somehow works" kinda summarizes elisp :þ |
| 2022-02-15 00:03:47 +0000 | ix | (~ix@2a02:8010:674f:0:cda6:d05:f0d7:4922) |
| 2022-02-15 00:05:03 +0000 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 2022-02-15 00:05:22 +0000 | cynomys | (~cynomys@user/cynomys) (Quit: leaving) |
| 2022-02-15 00:05:46 +0000 | <afidegnum> | :) |
| 2022-02-15 00:06:26 +0000 | k8yun | (~k8yun@user/k8yun) |
| 2022-02-15 00:07:38 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-02-15 00:09:03 +0000 | waleee | (~waleee@h-98-128-229-110.NA.cust.bahnhof.se) (Ping timeout: 272 seconds) |
| 2022-02-15 00:10:04 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2022-02-15 00:10:07 +0000 | <byorgey> | monochrom: that's a good suggestion, thanks. I doubt it would be that hard for the parser. Though I feel like I considered that before and rejected the idea, but I can't remember why now. |
| 2022-02-15 00:10:43 +0000 | waleee | (~waleee@h-98-128-229-110.NA.cust.bahnhof.se) |
| 2022-02-15 00:13:30 +0000 | <liskin> | Axman6: have you tried deoping via chanserv instead of a slash command by any chance? |
| 2022-02-15 00:13:53 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-02-15 00:14:05 +0000 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 2022-02-15 00:14:07 +0000 | Pickchea | (~private@user/pickchea) (Ping timeout: 272 seconds) |
| 2022-02-15 00:14:18 +0000 | hololeap | (~hololeap@user/hololeap) |
| 2022-02-15 00:14:31 +0000 | <jackdk> | geekosaur: emacs is the only known successful implementation of the "big ball of mud" design pattern |
| 2022-02-15 00:14:35 +0000 | <geekosaur> | Axman6 got opped by shapr, iirc |
| 2022-02-15 00:14:46 +0000 | <geekosaur> | jackdk, isn't it though :) |
| 2022-02-15 00:14:53 +0000 | <jackdk> | it's so good |
| 2022-02-15 00:15:00 +0000 | <Axman6> | liskin: yeah, that's all I tried |
| 2022-02-15 00:15:09 +0000 | <geekosaur> | although sometimes I wonder about vim þ |
| 2022-02-15 00:15:40 +0000 | <Axman6> | wasn't GCC also a big ball of mud, until Clang came along and showed that a modular compiler actually made people want to work on it? |
| 2022-02-15 00:15:48 +0000 | <liskin> | Axman6: that explains it then :-) |
| 2022-02-15 00:16:10 +0000 | <geekosaur> | Axman6, if you have ops then "/mode #channel -o yournick" should work to remove them. good luck getting them back though |
| 2022-02-15 00:16:21 +0000 | <geekosaur> | unless shapr's feeling magnanimous again :) |
| 2022-02-15 00:17:02 +0000 | shapr | grins |
| 2022-02-15 00:17:29 +0000 | <Axman6> | "error: chano-privs-needed #haskell You're not a channel operator" |
| 2022-02-15 00:17:33 +0000 | Axman6 | feels messed with |
| 2022-02-15 00:18:41 +0000 | k8yun | (~k8yun@user/k8yun) (Quit: Leaving) |
| 2022-02-15 00:26:34 +0000 | Vajb | (~Vajb@2001:999:274:c862:3b86:e1e1:5bff:355e) |
| 2022-02-15 00:29:33 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-02-15 00:29:33 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-02-15 00:29:33 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-02-15 00:30:32 +0000 | mmhat | (~mmh@55d4de53.access.ecotel.net) (Quit: WeeChat 3.4) |
| 2022-02-15 00:31:26 +0000 | <afidegnum> | can you please give a hand? using debian, what's the recommended package manager? i'm trying to install haskell language server |
| 2022-02-15 00:31:40 +0000 | <afidegnum> | debian 10 |
| 2022-02-15 00:32:06 +0000 | <Axman6> | IMO I would stay away from OS package managers and just use ghcup to install GHC and HLS |
| 2022-02-15 00:32:08 +0000 | Vajb | (~Vajb@2001:999:274:c862:3b86:e1e1:5bff:355e) (Read error: Connection reset by peer) |
| 2022-02-15 00:32:24 +0000 | <Axman6> | but you're working on systems I have no experience with so no idea if that's good advice |
| 2022-02-15 00:32:43 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-02-15 00:33:44 +0000 | lagash | (lagash@lagash.shelltalk.net) (Ping timeout: 250 seconds) |
| 2022-02-15 00:34:31 +0000 | <geekosaur> | ghcup is recommended everywhere these days |
| 2022-02-15 00:34:44 +0000 | <geekosaur> | package managers tend to be slow, especially debian related ones |
| 2022-02-15 00:34:53 +0000 | <jkaye[m]> | I'd install hls from source using stack or cabal though |
| 2022-02-15 00:34:54 +0000 | <afidegnum> | ok |
| 2022-02-15 00:35:02 +0000 | <hpc> | iirc you can apt install ghcup too |
| 2022-02-15 00:35:28 +0000 | <hpc> | (although even then you might want to just use latest) |
| 2022-02-15 00:38:40 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-02-15 00:39:00 +0000 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-02-15 00:40:51 +0000 | telser | (~AdminUser@user/telser) (Quit: No Ping reply in 180 seconds.) |
| 2022-02-15 00:41:51 +0000 | jgeerds_ | (~jgeerds@55d4b9df.access.ecotel.net) (Ping timeout: 252 seconds) |
| 2022-02-15 00:42:06 +0000 | telser | (~AdminUser@user/telser) |
| 2022-02-15 00:42:37 +0000 | wombat875 | (~wombat875@pool-72-89-24-154.nycmny.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2022-02-15 00:42:52 +0000 | alMalsamo | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-02-15 00:43:37 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Quit: ec) |
| 2022-02-15 00:47:40 +0000 | alt-romes | (~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 272 seconds) |
| 2022-02-15 00:52:52 +0000 | afidegnum | (~afidegnum@102.176.94.184) (Quit: leaving) |
| 2022-02-15 00:55:00 +0000 | lbseale | (~ep1ctetus@user/ep1ctetus) (Ping timeout: 240 seconds) |
| 2022-02-15 00:55:01 +0000 | roboguy_ | (~roboguy_@cpe-98-156-4-161.kc.res.rr.com) (Remote host closed the connection) |
| 2022-02-15 00:55:27 +0000 | lagash | (lagash@lagash.shelltalk.net) |
| 2022-02-15 00:55:39 +0000 | roboguy_ | (~roboguy_@cpe-98-156-4-161.kc.res.rr.com) |
| 2022-02-15 00:56:02 +0000 | shapr | (~user@pool-173-73-44-186.washdc.fios.verizon.net) (Remote host closed the connection) |
| 2022-02-15 00:56:15 +0000 | shapr | (~user@pool-173-73-44-186.washdc.fios.verizon.net) |
| 2022-02-15 00:59:20 +0000 | awschnap | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-15 01:00:00 +0000 | roboguy_ | (~roboguy_@cpe-98-156-4-161.kc.res.rr.com) (Ping timeout: 252 seconds) |
| 2022-02-15 01:01:52 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-02-15 01:05:15 +0000 | cjb | (~cjb@user/cjb) |
| 2022-02-15 01:07:02 +0000 | roboguy_ | (~roboguy_@cpe-98-156-4-161.kc.res.rr.com) |
| 2022-02-15 01:09:09 +0000 | afidegnum | (~afidegnum@102.176.94.184) |
| 2022-02-15 01:09:36 +0000 | nunggu_ | (~q@user/nunggu) (Ping timeout: 240 seconds) |
| 2022-02-15 01:10:29 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-02-15 01:10:39 +0000 | nunggu_ | (~q@user/nunggu) |
| 2022-02-15 01:11:44 +0000 | roboguy_ | (~roboguy_@cpe-98-156-4-161.kc.res.rr.com) (Ping timeout: 272 seconds) |
| 2022-02-15 01:12:07 +0000 | afidegnum | (~afidegnum@102.176.94.184) (Client Quit) |
| 2022-02-15 01:15:22 +0000 | ProfSimm | (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
| 2022-02-15 01:15:34 +0000 | emergence | (emergence@2607:5300:60:5910:dcad:beff:feef:5bc) |
| 2022-02-15 01:16:35 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-02-15 01:20:48 +0000 | <justsomeguy> | What is list fusion? |
| 2022-02-15 01:21:53 +0000 | <justsomeguy> | Nevermind, I finally found a good search result: https://wiki.haskell.org/Short_cut_fusion |
| 2022-02-15 01:22:26 +0000 | roboguy_ | (~roboguy_@cpe-98-156-4-161.kc.res.rr.com) |
| 2022-02-15 01:22:34 +0000 | TonyStone | (~TonyStone@2603-7080-8607-c36a-d449-2685-1032-d72e.res6.spectrum.com) (Remote host closed the connection) |
| 2022-02-15 01:22:36 +0000 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 240 seconds) |
| 2022-02-15 01:23:49 +0000 | ProfSimm | (~ProfSimm@87.227.196.109) |
| 2022-02-15 01:24:38 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.4) |
| 2022-02-15 01:25:08 +0000 | TonyStone | (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) |
| 2022-02-15 01:26:02 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-15 01:28:04 +0000 | YukiSou | (~YukiSou@116.6.232.251) |
| 2022-02-15 01:31:44 +0000 | cynomys | (~cynomys@user/cynomys) |
| 2022-02-15 01:40:31 +0000 | telser | (~AdminUser@user/telser) (Quit: No Ping reply in 180 seconds.) |
| 2022-02-15 01:41:45 +0000 | telser | (~AdminUser@user/telser) |
| 2022-02-15 01:43:14 +0000 | femboid | (~femboid@31.6.9.246) |
| 2022-02-15 01:48:23 +0000 | texasmynsted | (~texasmyns@99.96.221.112) (WeeChat 3.4) |
| 2022-02-15 01:51:09 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
| 2022-02-15 01:53:54 +0000 | qwedfg | (~qwedfg@user/qwedfg) (Remote host closed the connection) |
| 2022-02-15 01:55:15 +0000 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-02-15 01:55:15 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-02-15 01:55:15 +0000 | finn_elija | FinnElija |
| 2022-02-15 01:55:21 +0000 | qwedfg | (~qwedfg@user/qwedfg) |
| 2022-02-15 01:55:42 +0000 | lottaquestions | (~nick@2607:fa49:5041:a200:b555:2e8f:fe4f:2e3d) |
| 2022-02-15 01:59:47 +0000 | femboid | (~femboid@31.6.9.246) (Quit: Ping timeout (120 seconds)) |
| 2022-02-15 01:59:48 +0000 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2022-02-15 02:00:23 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-02-15 02:06:33 +0000 | neurocyte0917090 | (~neurocyte@user/neurocyte) (Ping timeout: 252 seconds) |
| 2022-02-15 02:08:19 +0000 | jackson99 | (~bc8147f2@cerf.good1.com) (Quit: CGI:IRC (Ping timeout)) |
| 2022-02-15 02:08:56 +0000 | xsperry | (~xs@user/xsperry) (Remote host closed the connection) |
| 2022-02-15 02:10:23 +0000 | vysn | (~vysn@user/vysn) |
| 2022-02-15 02:11:01 +0000 | afidegnum | (~afidegnum@102.176.94.184) |
| 2022-02-15 02:11:20 +0000 | <afidegnum> | how do i configure the haskell interpreter on https://pasteboard.co/62B9DqobWJNe.png ? |
| 2022-02-15 02:13:29 +0000 | femboid | (~femboid@31.6.9.246) |
| 2022-02-15 02:14:16 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.4) |
| 2022-02-15 02:17:57 +0000 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 240 seconds) |
| 2022-02-15 02:21:06 +0000 | femboid | (~femboid@31.6.9.246) (Quit: Ping timeout (120 seconds)) |
| 2022-02-15 02:21:13 +0000 | afidegnum | (~afidegnum@102.176.94.184) (Quit: leaving) |
| 2022-02-15 02:22:36 +0000 | roboguy_ | (~roboguy_@cpe-98-156-4-161.kc.res.rr.com) (Ping timeout: 240 seconds) |
| 2022-02-15 02:25:37 +0000 | cynomys | (~cynomys@user/cynomys) (Quit: Lost terminal) |
| 2022-02-15 02:35:58 +0000 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 272 seconds) |
| 2022-02-15 02:36:05 +0000 | femboid | (~femboid@31.6.9.246) |
| 2022-02-15 02:38:27 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-02-15 02:40:41 +0000 | telser | (~AdminUser@user/telser) (Quit: No Ping reply in 180 seconds.) |
| 2022-02-15 02:41:01 +0000 | cyphase | (~cyphase@user/cyphase) |
| 2022-02-15 02:41:57 +0000 | telser | (~AdminUser@user/telser) |
| 2022-02-15 02:41:58 +0000 | Erutuon | (~Erutuon@user/erutuon) |
| 2022-02-15 02:42:04 +0000 | ProfSimm | (~ProfSimm@87.227.196.109) (Ping timeout: 256 seconds) |
| 2022-02-15 02:44:12 +0000 | jlamothe | (~jlamothe@198.251.61.229) (Ping timeout: 240 seconds) |
| 2022-02-15 02:46:17 +0000 | roboguy_ | (~roboguy_@cpe-98-156-4-161.kc.res.rr.com) |
| 2022-02-15 02:48:52 +0000 | roboguy_ | (~roboguy_@cpe-98-156-4-161.kc.res.rr.com) (Remote host closed the connection) |
| 2022-02-15 02:49:06 +0000 | roboguy_ | (~roboguy_@cpe-98-156-4-161.kc.res.rr.com) |
| 2022-02-15 02:50:34 +0000 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-02-15 02:53:00 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 240 seconds) |
| 2022-02-15 02:54:25 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-02-15 02:54:25 +0000 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-02-15 02:54:25 +0000 | finn_elija | FinnElija |
| 2022-02-15 02:56:03 +0000 | xff0x | (~xff0x@2001:1a81:52c4:8c00:a51c:6f1b:e868:ffc) (Ping timeout: 252 seconds) |
| 2022-02-15 02:56:12 +0000 | ix | (~ix@2a02:8010:674f:0:cda6:d05:f0d7:4922) (Ping timeout: 240 seconds) |
| 2022-02-15 02:56:43 +0000 | Vajb | (~Vajb@2001:999:274:c862:3b86:e1e1:5bff:355e) |
| 2022-02-15 02:57:13 +0000 | alt-romes | (~romes@44.190.189.46.rev.vodafone.pt) |
| 2022-02-15 02:57:56 +0000 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-15 02:58:07 +0000 | xff0x | (~xff0x@2001:1a81:53dd:d400:55aa:6c11:c98:ce99) |
| 2022-02-15 03:01:03 +0000 | Vajb | (~Vajb@2001:999:274:c862:3b86:e1e1:5bff:355e) (Read error: Connection reset by peer) |
| 2022-02-15 03:01:24 +0000 | alt-romes | (~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 240 seconds) |
| 2022-02-15 03:03:02 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-02-15 03:03:04 +0000 | c209e6dc-4d76-47 | (~aditya@2601:249:4300:1296:195:dac6:592c:a55a) (Quit: Konversation terminated!) |
| 2022-02-15 03:03:26 +0000 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) (Quit: Leaving) |
| 2022-02-15 03:07:21 +0000 | TonyStone | (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) (Quit: Leaving) |
| 2022-02-15 03:11:27 +0000 | mbuf | (~Shakthi@117.96.195.201) |
| 2022-02-15 03:19:39 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.4) |
| 2022-02-15 03:24:21 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-15 03:26:37 +0000 | k8yun | (~k8yun@user/k8yun) |
| 2022-02-15 03:28:18 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-02-15 03:28:18 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-02-15 03:28:18 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-02-15 03:28:48 +0000 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) |
| 2022-02-15 03:29:55 +0000 | td_ | (~td@muedsl-82-207-238-184.citykom.de) (Ping timeout: 256 seconds) |
| 2022-02-15 03:31:50 +0000 | td_ | (~td@94.134.91.25) |
| 2022-02-15 03:32:54 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
| 2022-02-15 03:33:00 +0000 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Ping timeout: 240 seconds) |
| 2022-02-15 03:33:22 +0000 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-15 03:33:33 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-02-15 03:33:33 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-02-15 03:33:33 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-02-15 03:33:37 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-15 03:33:44 +0000 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-15 03:36:02 +0000 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-02-15 03:40:05 +0000 | femboid | (~femboid@31.6.9.246) (Quit: Ping timeout (120 seconds)) |
| 2022-02-15 03:40:31 +0000 | femboid | (~femboid@31.6.9.246) |
| 2022-02-15 03:40:51 +0000 | telser | (~AdminUser@user/telser) (Quit: No Ping reply in 180 seconds.) |
| 2022-02-15 03:42:06 +0000 | telser | (~AdminUser@user/telser) |
| 2022-02-15 03:46:47 +0000 | zebrag | (~chris@user/zebrag) |
| 2022-02-15 03:47:18 +0000 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) |
| 2022-02-15 03:49:24 +0000 | CiaoSen | (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2022-02-15 03:51:45 +0000 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Ping timeout: 250 seconds) |
| 2022-02-15 03:55:24 +0000 | waleee | (~waleee@h-98-128-229-110.NA.cust.bahnhof.se) (Ping timeout: 240 seconds) |
| 2022-02-15 03:55:58 +0000 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-02-15 03:56:56 +0000 | nunggu_ | (~q@user/nunggu) (Ping timeout: 240 seconds) |
| 2022-02-15 04:00:26 +0000 | nunggu_ | (~q@user/nunggu) |
| 2022-02-15 04:02:12 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-02-15 04:02:42 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-02-15 04:04:16 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-15 04:05:08 +0000 | zebrag | (~chris@user/zebrag) |
| 2022-02-15 04:08:39 +0000 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 252 seconds) |
| 2022-02-15 04:13:53 +0000 | [_] | [itchyjunk] |
| 2022-02-15 04:14:59 +0000 | ralu | (~ralu@static.211.245.203.116.clients.your-server.de) (Ping timeout: 256 seconds) |
| 2022-02-15 04:16:45 +0000 | Topsi1 | (~Tobias@dyndsl-091-249-082-220.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 2022-02-15 04:19:20 +0000 | femboid | (~femboid@31.6.9.246) (Quit: Ping timeout (120 seconds)) |
| 2022-02-15 04:21:27 +0000 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2022-02-15 04:21:29 +0000 | gaff | (~gaff@49.207.221.11) |
| 2022-02-15 04:26:10 +0000 | gaff | (~gaff@49.207.221.11) (Ping timeout: 272 seconds) |
| 2022-02-15 04:27:24 +0000 | xff0x | (~xff0x@2001:1a81:53dd:d400:55aa:6c11:c98:ce99) (Ping timeout: 240 seconds) |
| 2022-02-15 04:27:36 +0000 | cjb | (~cjb@user/cjb) (Quit: rcirc on GNU Emacs 29.0.50) |
| 2022-02-15 04:27:43 +0000 | zaquest | (~notzaques@5.130.79.72) |
| 2022-02-15 04:28:18 +0000 | xff0x | (~xff0x@2001:1a81:53dd:d400:4619:fbb5:b364:48b6) |
| 2022-02-15 04:32:36 +0000 | yauhsien_ | (~Yau-Hsien@61-231-32-166.dynamic-ip.hinet.net) (Read error: Connection reset by peer) |
| 2022-02-15 04:33:09 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 272 seconds) |
| 2022-02-15 04:40:10 +0000 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) |
| 2022-02-15 04:41:01 +0000 | telser | (~AdminUser@user/telser) (Quit: No Ping reply in 180 seconds.) |
| 2022-02-15 04:42:16 +0000 | telser | (~AdminUser@user/telser) |
| 2022-02-15 04:44:04 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-02-15 04:44:36 +0000 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Ping timeout: 240 seconds) |
| 2022-02-15 04:45:04 +0000 | YukiSou | (~YukiSou@116.6.232.251) (Quit: Client closed) |
| 2022-02-15 04:45:57 +0000 | femboid | (~femboid@31.6.9.246) |
| 2022-02-15 04:48:52 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2022-02-15 04:49:01 +0000 | telser | (~AdminUser@user/telser) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-02-15 04:52:38 +0000 | cynomys | (~cynomys@user/cynomys) |
| 2022-02-15 04:55:36 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-15 04:57:36 +0000 | hueso | (~root@user/hueso) (Ping timeout: 252 seconds) |
| 2022-02-15 04:58:40 +0000 | coot | (~coot@213.134.190.95) |
| 2022-02-15 05:00:23 +0000 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 272 seconds) |
| 2022-02-15 05:00:34 +0000 | roboguy_ | (~roboguy_@cpe-98-156-4-161.kc.res.rr.com) (Quit: Leaving...) |
| 2022-02-15 05:07:42 +0000 | femboid | (~femboid@31.6.9.246) (Ping timeout: 256 seconds) |
| 2022-02-15 05:08:24 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-02-15 05:08:47 +0000 | little_mac | (~little_ma@2601:410:4300:3ce0:4084:84c5:95c2:a194) (Remote host closed the connection) |
| 2022-02-15 05:10:39 +0000 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-02-15 05:11:58 +0000 | k8yun | (~k8yun@user/k8yun) (Quit: Leaving) |
| 2022-02-15 05:13:00 +0000 | lagash | (lagash@lagash.shelltalk.net) (Ping timeout: 252 seconds) |
| 2022-02-15 05:13:37 +0000 | swistak | (~swistak@185.21.216.141) (Ping timeout: 256 seconds) |
| 2022-02-15 05:13:55 +0000 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) |
| 2022-02-15 05:13:59 +0000 | lagash | (lagash@lagash.shelltalk.net) |
| 2022-02-15 05:14:13 +0000 | k8yun | (~k8yun@user/k8yun) |
| 2022-02-15 05:16:28 +0000 | wyrd | (~wyrd@gateway/tor-sasl/wyrd) (Remote host closed the connection) |
| 2022-02-15 05:16:38 +0000 | rusrushal13 | (~rusrushal@103.85.18.34) |
| 2022-02-15 05:16:47 +0000 | wyrd | (~wyrd@gateway/tor-sasl/wyrd) |
| 2022-02-15 05:18:12 +0000 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Ping timeout: 240 seconds) |
| 2022-02-15 05:26:38 +0000 | k8yun | (~k8yun@user/k8yun) (Quit: Leaving) |
| 2022-02-15 05:29:38 +0000 | burnsidesLlama | (~burnsides@dhcp168-031.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2022-02-15 05:31:01 +0000 | swistak | (~swistak@185.21.216.141) |
| 2022-02-15 05:35:18 +0000 | ralu | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2022-02-15 05:37:09 +0000 | dyeplexer | (~dyeplexer@user/dyeplexer) |
| 2022-02-15 05:41:55 +0000 | gaff | (~gaff@49.207.218.11) |
| 2022-02-15 05:42:26 +0000 | myme | (~myme@2a01:799:d5a:cd00:4746:bc4e:ee58:44d9) (Ping timeout: 245 seconds) |
| 2022-02-15 05:43:26 +0000 | myme | (~myme@2a01:799:d5a:cd00:9ae3:d451:a989:e1e9) |
| 2022-02-15 05:46:12 +0000 | gaff | (~gaff@49.207.218.11) (Ping timeout: 240 seconds) |
| 2022-02-15 05:48:15 +0000 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) |
| 2022-02-15 05:50:49 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-02-15 05:51:27 +0000 | mvk | (~mvk@2607:fea8:5cdc:bf00::99e7) |
| 2022-02-15 05:51:33 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-02-15 05:52:36 +0000 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Ping timeout: 240 seconds) |
| 2022-02-15 05:53:08 +0000 | deadmarshal | (~deadmarsh@95.38.117.142) |
| 2022-02-15 05:57:28 +0000 | gaff | (~gaff@49.207.218.11) |
| 2022-02-15 06:00:15 +0000 | slowButPresent | (~slowButPr@user/slowbutpresent) (Quit: leaving) |
| 2022-02-15 06:01:41 +0000 | meinside | (uid24933@id-24933.helmsley.irccloud.com) |
| 2022-02-15 06:01:49 +0000 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) |
| 2022-02-15 06:11:13 +0000 | mikail_ | (~mikail@94.3.253.161) |
| 2022-02-15 06:11:29 +0000 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Remote host closed the connection) |
| 2022-02-15 06:14:03 +0000 | mikail | (~mikail@2a02:c7f:bd03:2c00:df97:6ebf:5b0b:7304) (Ping timeout: 252 seconds) |
| 2022-02-15 06:16:24 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-02-15 06:29:10 +0000 | yauhsien | (~Yau-Hsien@61-231-32-166.dynamic-ip.hinet.net) |
| 2022-02-15 06:29:46 +0000 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) |
| 2022-02-15 06:34:12 +0000 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Ping timeout: 240 seconds) |
| 2022-02-15 06:35:06 +0000 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) |
| 2022-02-15 06:35:38 +0000 | alt-romes | (~romes@44.190.189.46.rev.vodafone.pt) |
| 2022-02-15 06:38:13 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-02-15 06:40:24 +0000 | whound | (~dust@2409:4071:4d8d:7b21:2586:8c37:2856:667a) |
| 2022-02-15 06:40:26 +0000 | alt-romes | (~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 272 seconds) |
| 2022-02-15 06:41:13 +0000 | hololeap | (~hololeap@user/hololeap) (Excess Flood) |
| 2022-02-15 06:41:16 +0000 | drdo | (~drdo@roach0.drdo.eu) (Quit: Ping timeout (120 seconds)) |
| 2022-02-15 06:42:40 +0000 | hololeap | (~hololeap@user/hololeap) |
| 2022-02-15 06:44:41 +0000 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Remote host closed the connection) |
| 2022-02-15 06:45:29 +0000 | off^ | (~off@50.235.176.163) |
| 2022-02-15 06:48:56 +0000 | nunggu_ | (~q@user/nunggu) (Ping timeout: 240 seconds) |
| 2022-02-15 06:50:21 +0000 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 252 seconds) |
| 2022-02-15 06:51:27 +0000 | nunggu_ | (~q@user/nunggu) |
| 2022-02-15 06:53:13 +0000 | Erutuon | (~Erutuon@user/erutuon) |
| 2022-02-15 06:59:47 +0000 | capo_greco | (~textual@60-241-161-167.static.tpgi.com.au) |
| 2022-02-15 07:01:20 +0000 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) |
| 2022-02-15 07:01:59 +0000 | <capo_greco> | Hello! I have a beginner question |
| 2022-02-15 07:02:23 +0000 | <capo_greco> | according to Hoogle, shear is part of the Data.List.HT package |
| 2022-02-15 07:02:54 +0000 | <capo_greco> | I am already using some functions from Data.List |
| 2022-02-15 07:03:25 +0000 | <capo_greco> | `import Data.List.HT (shear)` doesn't seem to work |
| 2022-02-15 07:03:58 +0000 | <capo_greco> | I feel like I am missing something rudimentary |
| 2022-02-15 07:05:38 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-02-15 07:05:48 +0000 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2022-02-15 07:10:36 +0000 | capo_greco | (~textual@60-241-161-167.static.tpgi.com.au) (Ping timeout: 240 seconds) |
| 2022-02-15 07:12:53 +0000 | dhouthoo | (~dhouthoo@178-117-36-167.access.telenet.be) |
| 2022-02-15 07:15:53 +0000 | capo_greco | (~textual@60-241-161-167.static.tpgi.com.au) |
| 2022-02-15 07:15:53 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-15 07:16:19 +0000 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-02-15 07:16:44 +0000 | michalz | (~michalz@185.246.204.93) |
| 2022-02-15 07:16:58 +0000 | <jackdk> | capo_greco: the Data.List.HT module is provided by the `utility-ht` package |
| 2022-02-15 07:17:01 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-15 07:17:35 +0000 | <jackdk> | capo_greco: (this is what the `utility-ht` written in unlabelled tiny green text on the hoogle results means) |
| 2022-02-15 07:17:48 +0000 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 272 seconds) |
| 2022-02-15 07:17:52 +0000 | `2jt | (~jtomas@130.red-88-22-46.staticip.rima-tde.net) |
| 2022-02-15 07:18:08 +0000 | <jackdk> | capo_greco: how have you set up your haskell project? you will need to add `utility-ht` to `build-depends:` in your cabal file or `package.yaml` |
| 2022-02-15 07:20:25 +0000 | Erutuon | (~Erutuon@user/erutuon) |
| 2022-02-15 07:23:14 +0000 | gurkenglas | (~gurkengla@dslb-188-096-121-068.188.096.pools.vodafone-ip.de) |
| 2022-02-15 07:25:00 +0000 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) |
| 2022-02-15 07:25:49 +0000 | raym | (~raym@user/raym) (Quit: kernel update, rebooting...) |
| 2022-02-15 07:27:12 +0000 | deadmarshal | (~deadmarsh@95.38.117.142) (Ping timeout: 252 seconds) |
| 2022-02-15 07:28:31 +0000 | <capo_greco> | using stack for this project |
| 2022-02-15 07:28:36 +0000 | whound | (~dust@2409:4071:4d8d:7b21:2586:8c37:2856:667a) (Ping timeout: 240 seconds) |
| 2022-02-15 07:31:21 +0000 | raym | (~raym@user/raym) |
| 2022-02-15 07:31:21 +0000 | <capo_greco> | dependencies: |
| 2022-02-15 07:31:21 +0000 | <capo_greco> | - base >= 4.7 && < 5 |
| 2022-02-15 07:31:21 +0000 | <capo_greco> | - utility-ht |
| 2022-02-15 07:31:43 +0000 | <capo_greco> | under `dependencies`, as per ^ ? |
| 2022-02-15 07:34:35 +0000 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Remote host closed the connection) |
| 2022-02-15 07:35:25 +0000 | <jackdk> | if that's what hpack calls it, then I think so? |
| 2022-02-15 07:35:31 +0000 | <jackdk> | (I don't use stack, sorry) |
| 2022-02-15 07:36:49 +0000 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-02-15 07:37:22 +0000 | fendor | (~fendor@91.141.60.250.wireless.dyn.drei.com) |
| 2022-02-15 07:39:06 +0000 | whound | (~dust@2409:4071:4d8d:7b21:2586:8c37:2856:667a) |
| 2022-02-15 07:39:12 +0000 | mbuf | (~Shakthi@117.96.195.201) (Quit: Leaving) |
| 2022-02-15 07:39:15 +0000 | adam1 | (~adam@2001-b011-4007-283f-8c1c-5c42-5289-7882.dynamic-ip6.hinet.net) |
| 2022-02-15 07:41:49 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2022-02-15 07:41:57 +0000 | <capo_greco> | yup! dependencies worked. many thanks! @jackdk |
| 2022-02-15 07:42:29 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-02-15 07:44:25 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-15 07:44:51 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-15 07:50:16 +0000 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) |
| 2022-02-15 07:51:16 +0000 | gehmehgeh | (~user@user/gehmehgeh) |
| 2022-02-15 07:53:07 +0000 | coot | (~coot@213.134.190.95) |
| 2022-02-15 07:54:51 +0000 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Ping timeout: 250 seconds) |
| 2022-02-15 07:57:28 +0000 | alp | (~alp@user/alp) |
| 2022-02-15 07:59:48 +0000 | gurkenglas | (~gurkengla@dslb-188-096-121-068.188.096.pools.vodafone-ip.de) (Ping timeout: 240 seconds) |
| 2022-02-15 08:00:29 +0000 | MajorBiscuit | (~MajorBisc@2a02:a461:129d:1:193d:75d8:745d:e91e) |
| 2022-02-15 08:00:49 +0000 | cfricke | (~cfricke@user/cfricke) |
| 2022-02-15 08:02:47 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-02-15 08:03:37 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:a86e:f918:f8cf:38c0) |
| 2022-02-15 08:08:57 +0000 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) |
| 2022-02-15 08:09:36 +0000 | chele | (~chele@user/chele) |
| 2022-02-15 08:11:49 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-15 08:12:33 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-15 08:16:51 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-02-15 08:17:51 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:7443:3f57:453b:e0ec) |
| 2022-02-15 08:22:05 +0000 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.4) |
| 2022-02-15 08:24:12 +0000 | acidjnk | (~acidjnk@p200300d0c7057500a04355ceabfe8d47.dip0.t-ipconnect.de) |
| 2022-02-15 08:27:53 +0000 | shriekingnoise | (~shrieking@201.231.16.156) (Quit: Quit) |
| 2022-02-15 08:31:23 +0000 | ubert | (~Thunderbi@p548c8cd6.dip0.t-ipconnect.de) |
| 2022-02-15 08:32:26 +0000 | alt-romes | (~romes@44.190.189.46.rev.vodafone.pt) |
| 2022-02-15 08:33:20 +0000 | deadmarshal | (~deadmarsh@95.38.117.142) |
| 2022-02-15 08:34:12 +0000 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Ping timeout: 240 seconds) |
| 2022-02-15 08:37:01 +0000 | dextaa_ | (~dextaa@cpc142174-lewi20-2-0-cust34.2-4.cable.virginm.net) (Quit: leaving) |
| 2022-02-15 08:37:04 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-02-15 08:37:24 +0000 | alt-romes | (~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 240 seconds) |
| 2022-02-15 08:37:24 +0000 | whound | (~dust@2409:4071:4d8d:7b21:2586:8c37:2856:667a) (Ping timeout: 240 seconds) |
| 2022-02-15 08:38:19 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:7443:3f57:453b:e0ec) (Remote host closed the connection) |
| 2022-02-15 08:39:57 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-02-15 08:39:57 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-02-15 08:39:57 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-02-15 08:39:57 +0000 | acarrico | (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 240 seconds) |
| 2022-02-15 08:40:59 +0000 | drdo | (~drdo@roach0.drdo.eu) |
| 2022-02-15 08:41:34 +0000 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 2022-02-15 08:41:56 +0000 | acarrico | (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) |
| 2022-02-15 08:42:04 +0000 | jgeerds_ | (~jgeerds@55d4b9df.access.ecotel.net) |
| 2022-02-15 08:44:23 +0000 | jgeerds_ | (~jgeerds@55d4b9df.access.ecotel.net) (Remote host closed the connection) |
| 2022-02-15 08:44:35 +0000 | jgeerds_ | (~jgeerds@55d4b9df.access.ecotel.net) |
| 2022-02-15 08:44:36 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 2022-02-15 08:46:57 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-15 08:47:41 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-15 08:48:05 +0000 | __monty__ | (~toonn@user/toonn) |
| 2022-02-15 08:48:38 +0000 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-02-15 08:48:57 +0000 | capo_greco | (~textual@60-241-161-167.static.tpgi.com.au) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2022-02-15 08:54:37 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-15 08:56:08 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-15 08:57:38 +0000 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) |
| 2022-02-15 08:58:55 +0000 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2022-02-15 09:00:13 +0000 | Morrow[m] | (~morrowmma@2001:470:69fc:105::1d0) (Quit: You have been kicked for being idle) |
| 2022-02-15 09:00:22 +0000 | max22- | (~maxime@2a01cb08833598008f1709df66707174.ipv6.abo.wanadoo.fr) |
| 2022-02-15 09:00:42 +0000 | mikail_ | (~mikail@94.3.253.161) (Ping timeout: 252 seconds) |
| 2022-02-15 09:00:49 +0000 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 2022-02-15 09:01:08 +0000 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) |
| 2022-02-15 09:02:01 +0000 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Ping timeout: 250 seconds) |
| 2022-02-15 09:05:25 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-15 09:06:31 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-15 09:06:39 +0000 | gurkenglas | (~gurkengla@dslb-188-096-121-068.188.096.pools.vodafone-ip.de) |
| 2022-02-15 09:07:18 +0000 | jgeerds_ | (~jgeerds@55d4b9df.access.ecotel.net) (Ping timeout: 252 seconds) |
| 2022-02-15 09:07:50 +0000 | Pickchea | (~private@user/pickchea) |
| 2022-02-15 09:09:01 +0000 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2022-02-15 09:13:26 +0000 | adam1 | (~adam@2001-b011-4007-283f-8c1c-5c42-5289-7882.dynamic-ip6.hinet.net) (Quit: WeeChat 3.4) |
| 2022-02-15 09:13:37 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2022-02-15 09:16:06 +0000 | <phma> | I've defined a function "add7 a b c" which is a full adder of the digits 0 to 6. I just wrote a unit test. How do I write a Tasty.QuickCheck test that (add7 a b c) == (add7 b c a), with a,b,c less than 7? |
| 2022-02-15 09:17:43 +0000 | mikail | (~mikail@2a02:c7f:bd03:2c00:df97:6ebf:5b0b:7304) |
| 2022-02-15 09:18:30 +0000 | m5zs7k | (aquares@web10.mydevil.net) (Read error: Connection reset by peer) |
| 2022-02-15 09:18:30 +0000 | raoul | (~raoul@95.179.203.88) (Quit: Ping timeout (120 seconds)) |
| 2022-02-15 09:18:30 +0000 | SoF | (~skius@user/skius) (Quit: Ping timeout (120 seconds)) |
| 2022-02-15 09:18:38 +0000 | raoul8 | (~raoul@95.179.203.88) |
| 2022-02-15 09:18:50 +0000 | m5zs7k_ | (aquares@web10.mydevil.net) |
| 2022-02-15 09:18:56 +0000 | SoF | (~skius@user/skius) |
| 2022-02-15 09:19:50 +0000 | ubert | (~Thunderbi@p548c8cd6.dip0.t-ipconnect.de) (Quit: ubert) |
| 2022-02-15 09:22:42 +0000 | MajorBiscuit | (~MajorBisc@2a02:a461:129d:1:193d:75d8:745d:e91e) (Ping timeout: 252 seconds) |
| 2022-02-15 09:23:05 +0000 | chele | (~chele@user/chele) |
| 2022-02-15 09:24:43 +0000 | MajorBiscuit | (~MajorBisc@c-001-001-032.client.tudelft.eduvpn.nl) |
| 2022-02-15 09:26:17 +0000 | ix | (~ix@82-71-2-184.dsl.in-addr.zen.co.uk) |
| 2022-02-15 09:27:46 +0000 | m5zs7k_ | m5zs7k |
| 2022-02-15 09:28:56 +0000 | <jackdk> | phma: you will need to construct a generator which generates values in teh range [0..6], look at `chooseInt`. Then use that generator to make a generator for triples (the tools in `Control.Applicative` will help). Then use `forAll` with your generator to construct a `Property` and use `Test.Tasty.QuickCheck.testProperty` to turn it into a `TestTree` |
| 2022-02-15 09:32:30 +0000 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) |
| 2022-02-15 09:33:21 +0000 | ix | (~ix@82-71-2-184.dsl.in-addr.zen.co.uk) (Ping timeout: 272 seconds) |
| 2022-02-15 09:33:21 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-15 09:34:04 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-15 09:34:15 +0000 | ix | (~ix@82-71-2-184.dsl.in-addr.zen.co.uk) |
| 2022-02-15 09:37:00 +0000 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2022-02-15 09:38:42 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:7443:3f57:453b:e0ec) |
| 2022-02-15 09:41:55 +0000 | ardell | (~ardell@user/ardell) |
| 2022-02-15 09:43:00 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:7443:3f57:453b:e0ec) (Ping timeout: 240 seconds) |
| 2022-02-15 09:45:32 +0000 | <cheater> | hi |
| 2022-02-15 09:46:03 +0000 | <cheater> | are there currently any good gui solutions for windows? preferably also able to display some sort of interactable 3D graphics within a rectangle? |
| 2022-02-15 09:47:33 +0000 | <phma> | jackdk: I'm new to Haskell. I found chooseInt, but am not sure how to use it. Here's the test I've already written: |
| 2022-02-15 09:47:41 +0000 | <jackdk> | @where paste |
| 2022-02-15 09:47:41 +0000 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
| 2022-02-15 09:48:16 +0000 | <jackdk> | just in case you're new to IRC too, use that link (or a GH gist) to share code or error messages |
| 2022-02-15 09:49:21 +0000 | <phma> | https://paste.tomsmeding.com/GKHjBRIM |
| 2022-02-15 09:50:57 +0000 | whound | (~dust@2409:4071:4d8d:7b21:2586:8c37:2856:667a) |
| 2022-02-15 09:53:00 +0000 | drdo | (~drdo@roach0.drdo.eu) (Ping timeout: 240 seconds) |
| 2022-02-15 09:54:44 +0000 | gaff | (~gaff@49.207.218.11) (Remote host closed the connection) |
| 2022-02-15 09:57:54 +0000 | mikail | (~mikail@2a02:c7f:bd03:2c00:df97:6ebf:5b0b:7304) (Ping timeout: 252 seconds) |
| 2022-02-15 09:58:03 +0000 | <jackdk> | phma: okay, if you're used to writing properties in that style, I suggest the following plan: define a newtype wrapper (around Int, I guess) which has an Arbitrary instance that generates numbers in the reduced range, and then write your property test as a function like the one in your pastebin |
| 2022-02-15 09:58:10 +0000 | <jackdk> | have you seen newtypes before? |
| 2022-02-15 09:58:33 +0000 | ubert | (~Thunderbi@2a02:8109:9880:303c:bca8:d0f:7008:eb61) |
| 2022-02-15 10:00:54 +0000 | <phma> | I'm not used to anything. I found an example written like that. How else can they be written? |
| 2022-02-15 10:02:46 +0000 | <phma> | I copied the tests from https://hackage.haskell.org/package/tasty-1.1/src/README.md and modified them. |
| 2022-02-15 10:05:01 +0000 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 272 seconds) |
| 2022-02-15 10:06:48 +0000 | cosimone | (~user@93-44-187-99.ip98.fastwebnet.it) |
| 2022-02-15 10:10:11 +0000 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) |
| 2022-02-15 10:13:24 +0000 | ix | (~ix@82-71-2-184.dsl.in-addr.zen.co.uk) (Ping timeout: 240 seconds) |
| 2022-02-15 10:14:36 +0000 | vysn | (~vysn@user/vysn) (Ping timeout: 240 seconds) |
| 2022-02-15 10:15:18 +0000 | <jackdk> | phma: This is how I would try to do it, but I haven't used QuickCheck very much https://www.irccloud.com/pastebin/bkUnHAwg/ZeroToSix.hs |
| 2022-02-15 10:16:30 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c58b:31b1:c12f:8193) |
| 2022-02-15 10:18:38 +0000 | ix | (~ix@82-71-2-184.dsl.in-addr.zen.co.uk) |
| 2022-02-15 10:19:31 +0000 | ardell | (~ardell@user/ardell) (Quit: Konversation terminated!) |
| 2022-02-15 10:19:45 +0000 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Remote host closed the connection) |
| 2022-02-15 10:20:36 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c58b:31b1:c12f:8193) (Ping timeout: 240 seconds) |
| 2022-02-15 10:21:43 +0000 | <gurkenglas> | phma, "(checked by QuickCheck)" sounds redundant - everything that involves "QC.testProperty" is checked by QuickCheck, right? |
| 2022-02-15 10:22:12 +0000 | pooryorick | (~pooryoric@87-119-174-173.tll.elisa.ee) (Ping timeout: 240 seconds) |
| 2022-02-15 10:25:23 +0000 | <jackdk> | it's a label for a tasty testgroup, and you can make testgroups using tasty-hunit, tasty-hedgehog, tasty-hspec... |
| 2022-02-15 10:27:02 +0000 | <gurkenglas> | Oh I see, QC is not QuickCheck itself but tasty's interface to it :) |
| 2022-02-15 10:27:27 +0000 | pooryorick | (~pooryoric@87-119-174-173.tll.elisa.ee) |
| 2022-02-15 10:27:35 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:2522:8e77:48b4:28a1) |
| 2022-02-15 10:27:37 +0000 | notzmv | (~zmv@user/notzmv) (Ping timeout: 240 seconds) |
| 2022-02-15 10:30:15 +0000 | CiaoSen | (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-02-15 10:31:48 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:2522:8e77:48b4:28a1) (Ping timeout: 240 seconds) |
| 2022-02-15 10:36:52 +0000 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) |
| 2022-02-15 10:37:10 +0000 | <gurkenglas> | I would have fed quickcheck "\a b c -> any (\x->x<0||x>=7) || f a b c == f b c a", but it doesn't try to hit all the branches, does it? |
| 2022-02-15 10:37:59 +0000 | <jackdk> | I wrote a new generator because "generate, then filter" can give you really slow tests because it has to reroll a lot |
| 2022-02-15 10:38:18 +0000 | <jackdk> | I think John Hughes talks about it in https://www.youtube.com/watch?v=NcJOiQlzlXQ |
| 2022-02-15 10:41:24 +0000 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Ping timeout: 240 seconds) |
| 2022-02-15 10:42:33 +0000 | `2jt | (~jtomas@130.red-88-22-46.staticip.rima-tde.net) (Read error: Connection reset by peer) |
| 2022-02-15 10:44:46 +0000 | `2jt | (~jtomas@130.red-88-22-46.staticip.rima-tde.net) |
| 2022-02-15 10:44:51 +0000 | <phma> | jackdk: Thanks! I don't think "shrink" is needed, there are only 343 possibilities. |
| 2022-02-15 10:44:53 +0000 | cheater | (~Username@user/cheater) (Read error: Connection reset by peer) |
| 2022-02-15 10:44:55 +0000 | ix | (~ix@82-71-2-184.dsl.in-addr.zen.co.uk) (Ping timeout: 272 seconds) |
| 2022-02-15 10:45:33 +0000 | foul_owl | (~kerry@207.244.125.36) (Ping timeout: 272 seconds) |
| 2022-02-15 10:46:12 +0000 | ix | (~ix@82-71-2-184.dsl.in-addr.zen.co.uk) |
| 2022-02-15 10:46:44 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-02-15 10:48:04 +0000 | cheater | (~Username@user/cheater) |
| 2022-02-15 10:48:17 +0000 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) (Ping timeout: 240 seconds) |
| 2022-02-15 10:49:20 +0000 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) |
| 2022-02-15 10:51:48 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:a86e:f918:f8cf:38c0) (Ping timeout: 252 seconds) |
| 2022-02-15 10:55:05 +0000 | michalz | (~michalz@185.246.204.93) (Read error: Connection reset by peer) |
| 2022-02-15 10:55:05 +0000 | `2jt | (~jtomas@130.red-88-22-46.staticip.rima-tde.net) (Remote host closed the connection) |
| 2022-02-15 10:55:21 +0000 | `2jt | (~jtomas@130.red-88-22-46.staticip.rima-tde.net) |
| 2022-02-15 10:55:24 +0000 | CiaoSen | (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-02-15 10:55:29 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:8978:c9ec:3b56:b4e9) |
| 2022-02-15 10:55:30 +0000 | mc47 | (~mc47@xmonad/TheMC47) |
| 2022-02-15 10:55:40 +0000 | michalz | (~michalz@185.246.204.93) |
| 2022-02-15 10:56:48 +0000 | <gurkenglas> | ah, forAll (replicateM 3 $ choose (0,6)) $ \[a,b,c] -> f a b c === f b a c |
| 2022-02-15 10:59:29 +0000 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 272 seconds) |
| 2022-02-15 10:59:48 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:8978:c9ec:3b56:b4e9) (Ping timeout: 240 seconds) |
| 2022-02-15 11:00:41 +0000 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-02-15 11:02:00 +0000 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 272 seconds) |
| 2022-02-15 11:03:28 +0000 | fendor | (~fendor@91.141.60.250.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2022-02-15 11:06:29 +0000 | ix | (~ix@82-71-2-184.dsl.in-addr.zen.co.uk) (Quit: WeeChat 3.4) |
| 2022-02-15 11:06:38 +0000 | ix | (~ix@2a02:8010:674f:0:cda6:d05:f0d7:4922) |
| 2022-02-15 11:06:42 +0000 | ix | (~ix@2a02:8010:674f:0:cda6:d05:f0d7:4922) (Remote host closed the connection) |
| 2022-02-15 11:06:50 +0000 | ix | (~ix@2a02:8010:674f:0:2e0:4cff:fe67:ba) |
| 2022-02-15 11:06:54 +0000 | ix | (~ix@2a02:8010:674f:0:2e0:4cff:fe67:ba) (Remote host closed the connection) |
| 2022-02-15 11:07:02 +0000 | ix | (~ix@2a02:8010:674f:0:2e0:4cff:fe67:ba) |
| 2022-02-15 11:07:08 +0000 | ix | (~ix@2a02:8010:674f:0:2e0:4cff:fe67:ba) (Remote host closed the connection) |
| 2022-02-15 11:07:16 +0000 | ix | (~ix@2a02:8010:674f:0:2e0:4cff:fe67:ba) |
| 2022-02-15 11:10:46 +0000 | foul_owl | (~kerry@207.244.125.36) |
| 2022-02-15 11:12:09 +0000 | ix | (~ix@2a02:8010:674f:0:2e0:4cff:fe67:ba) (Ping timeout: 252 seconds) |
| 2022-02-15 11:13:28 +0000 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) |
| 2022-02-15 11:18:36 +0000 | xkuru | (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
| 2022-02-15 11:18:57 +0000 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Quit: WeeChat 3.4) |
| 2022-02-15 11:19:07 +0000 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) |
| 2022-02-15 11:19:10 +0000 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Remote host closed the connection) |
| 2022-02-15 11:19:18 +0000 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) |
| 2022-02-15 11:19:24 +0000 | Akiva | (~Akiva@user/Akiva) (Ping timeout: 240 seconds) |
| 2022-02-15 11:19:59 +0000 | capo_greco | (~textual@60-241-161-167.static.tpgi.com.au) |
| 2022-02-15 11:20:19 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2022-02-15 11:22:02 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-02-15 11:24:43 +0000 | jeremyn | (~jeremyn@098-147-212-046.res.spectrum.com) |
| 2022-02-15 11:25:01 +0000 | jeremyn_ | (~jeremyn@098-147-212-046.res.spectrum.com) |
| 2022-02-15 11:25:49 +0000 | <jeremyn_> | Hey, is there any way to call a local C library function in Template Haskell? |
| 2022-02-15 11:26:52 +0000 | <jeremyn_> | I'm getting an undefined symbol error |
| 2022-02-15 11:31:49 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-02-15 11:32:37 +0000 | whound | (~dust@2409:4071:4d8d:7b21:2586:8c37:2856:667a) (Quit: Konversation terminated!) |
| 2022-02-15 11:34:33 +0000 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Ping timeout: 250 seconds) |
| 2022-02-15 11:35:34 +0000 | <dminuoso> | Linkage during TH sounds like a fun nightmare |
| 2022-02-15 11:37:25 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-02-15 11:37:25 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-02-15 11:37:25 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-02-15 11:38:09 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Quit: WeeChat 3.4) |
| 2022-02-15 11:41:29 +0000 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) |
| 2022-02-15 11:42:24 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
| 2022-02-15 11:43:24 +0000 | fendor | (~fendor@77.119.209.21.wireless.dyn.drei.com) |
| 2022-02-15 11:49:38 +0000 | cynomys | (~cynomys@user/cynomys) (Quit: Lost terminal) |
| 2022-02-15 11:51:12 +0000 | cosimone | (~user@93-44-187-99.ip98.fastwebnet.it) (Ping timeout: 252 seconds) |
| 2022-02-15 11:51:15 +0000 | <romesrf> | ahah |
| 2022-02-15 11:51:40 +0000 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) |
| 2022-02-15 11:52:50 +0000 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 2022-02-15 11:53:15 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-02-15 11:55:28 +0000 | <jeremyn_> | :( lol |
| 2022-02-15 11:55:56 +0000 | <jeremyn_> | I want to compile some information about a Vulkan pipeline statically |
| 2022-02-15 11:56:13 +0000 | <jeremyn_> | Maybe it doesn't make sense to do so now that I think about it though |
| 2022-02-15 12:01:15 +0000 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Remote host closed the connection) |
| 2022-02-15 12:01:31 +0000 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-02-15 12:02:11 +0000 | burnsidesLlama | (~burnsides@dhcp168-031.wadham.ox.ac.uk) |
| 2022-02-15 12:03:45 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:5f01:5e57:4ded:3d7c) |
| 2022-02-15 12:07:48 +0000 | gaff | (~gaff@49.207.195.156) |
| 2022-02-15 12:07:53 +0000 | cfricke | (~cfricke@user/cfricke) |
| 2022-02-15 12:08:43 +0000 | capo_greco | (~textual@60-241-161-167.static.tpgi.com.au) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2022-02-15 12:14:02 +0000 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.3) |
| 2022-02-15 12:15:47 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2022-02-15 12:19:43 +0000 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) |
| 2022-02-15 12:20:34 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-02-15 12:23:46 +0000 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2022-02-15 12:24:23 +0000 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Ping timeout: 250 seconds) |
| 2022-02-15 12:28:09 +0000 | ubert | (~Thunderbi@2a02:8109:9880:303c:bca8:d0f:7008:eb61) (Remote host closed the connection) |
| 2022-02-15 12:28:28 +0000 | ubert | (~Thunderbi@2a02:8109:9880:303c:bca8:d0f:7008:eb61) |
| 2022-02-15 12:31:38 +0000 | Cajun | (~Cajun@user/cajun) |
| 2022-02-15 12:31:54 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 252 seconds) |
| 2022-02-15 12:32:24 +0000 | ubert | (~Thunderbi@2a02:8109:9880:303c:bca8:d0f:7008:eb61) (Client Quit) |
| 2022-02-15 12:32:35 +0000 | ubert | (~Thunderbi@2a02:8109:9880:303c:bca8:d0f:7008:eb61) |
| 2022-02-15 12:33:05 +0000 | zeenk | (~zeenk@2a02:2f04:a30d:1300:51a3:bcfc:6cda:9fc5) |
| 2022-02-15 12:33:35 +0000 | ubert | (~Thunderbi@2a02:8109:9880:303c:bca8:d0f:7008:eb61) (Remote host closed the connection) |
| 2022-02-15 12:33:56 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-02-15 12:34:55 +0000 | jeremyn_ | (~jeremyn@098-147-212-046.res.spectrum.com) (Quit: Leaving) |
| 2022-02-15 12:34:55 +0000 | jeremyn | (~jeremyn@098-147-212-046.res.spectrum.com) (Quit: Leaving) |
| 2022-02-15 12:35:31 +0000 | ubert | (~Thunderbi@2a02:8109:9880:303c:df39:5895:e6dd:94da) |
| 2022-02-15 12:35:49 +0000 | <romesrf> | hello! |
| 2022-02-15 12:35:57 +0000 | <romesrf> | can someone help me interpret the following error |
| 2022-02-15 12:36:00 +0000 | <romesrf> | type Chat a = forall a. ChatBotMessage a => ReaderT (ReplyMessageState a) IO |
| 2022-02-15 12:36:35 +0000 | vysn | (~vysn@user/vysn) |
| 2022-02-15 12:36:43 +0000 | <romesrf> | Expecting one more argument to ‘ReaderT (ReplyMessageState a) IO’ | |
| 2022-02-15 12:36:44 +0000 | <romesrf> | 3 | Expected a type, but | |
| 2022-02-15 12:36:46 +0000 | <romesrf> | 4 | ‘ReaderT (ReplyMessageState a) IO’ has kind | |
| 2022-02-15 12:36:48 +0000 | <romesrf> | 5 | ‘* -> *’ |
| 2022-02-15 12:37:00 +0000 | rtsn | (~nstr@user/rtsn) |
| 2022-02-15 12:37:16 +0000 | <romesrf> | I want the type synonym to have kind * -> * |
| 2022-02-15 12:37:31 +0000 | <romesrf> | but upon adding the constraint I get this error |
| 2022-02-15 12:37:54 +0000 | <hpc> | are you expecting to partially apply that synonym later? |
| 2022-02-15 12:37:56 +0000 | <romesrf> | yes |
| 2022-02-15 12:38:08 +0000 | <hpc> | :( that rules out "type Chat a b = .... b" then |
| 2022-02-15 12:38:13 +0000 | <romesrf> | i mean, by the time i apply the synonym it's completely applied |
| 2022-02-15 12:38:27 +0000 | <romesrf> | hpc: yes, exactly |
| 2022-02-15 12:38:28 +0000 | <romesrf> | ahahah |
| 2022-02-15 12:38:46 +0000 | <romesrf> | I want to add the constraint without forcing the second type variable |
| 2022-02-15 12:38:51 +0000 | <hpc> | er, hmm |
| 2022-02-15 12:39:07 +0000 | <romesrf> | i can throw up a minimal example if you'd like |
| 2022-02-15 12:39:07 +0000 | <hpc> | in "Chat a", is "a" a phantom type? |
| 2022-02-15 12:39:20 +0000 | <romesrf> | gimme a sec let me write something simpler |
| 2022-02-15 12:42:21 +0000 | alp | (~alp@user/alp) (Ping timeout: 252 seconds) |
| 2022-02-15 12:44:43 +0000 | <romesrf> | https://paste.tomsmeding.com/pWixhL3W |
| 2022-02-15 12:44:48 +0000 | <romesrf> | Syn' doesn't typecheck |
| 2022-02-15 12:45:05 +0000 | <romesrf> | hpc: |
| 2022-02-15 12:47:51 +0000 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) |
| 2022-02-15 12:50:04 +0000 | <romesrf> | brb |
| 2022-02-15 12:50:06 +0000 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) (Quit: WeeChat 3.4) |
| 2022-02-15 12:50:31 +0000 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) |
| 2022-02-15 12:51:35 +0000 | <romesrf> | back |
| 2022-02-15 12:53:29 +0000 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) |
| 2022-02-15 12:58:11 +0000 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Ping timeout: 250 seconds) |
| 2022-02-15 12:59:42 +0000 | notzmv | (~zmv@user/notzmv) |
| 2022-02-15 13:02:05 +0000 | <raehik> | romesrf: I don't think you can partially apply type synonyms. you could try using a newtype instead? |
| 2022-02-15 13:02:18 +0000 | <raehik> | > newtype Syn' a b = Syn' { getSyn :: forall a. Constr a => ReaderT a IO b } |
| 2022-02-15 13:02:19 +0000 | <lambdabot> | <hint>:1:1: error: parse error on input ‘newtype’ |
| 2022-02-15 13:02:47 +0000 | <geekosaur> | you can partially apply as long as they're fully applied at the point of use, with LiberalisedTypeSynonyms |
| 2022-02-15 13:03:01 +0000 | <geekosaur> | need @let for declarations in lambdabot |
| 2022-02-15 13:03:04 +0000 | <raehik> | ohh thanks geekosaur I didn't know that one |
| 2022-02-15 13:03:09 +0000 | <geekosaur> | ">" is just expressions |
| 2022-02-15 13:03:11 +0000 | <romesrf> | raehik: you can partially apply them, just apparently not when you have the constraint |
| 2022-02-15 13:04:17 +0000 | <romesrf> | nd LiberalTypeSynonyms doesn't fix the constraints issue |
| 2022-02-15 13:04:29 +0000 | <romesrf> | meanwhile I've just moved the constraint to a different place |
| 2022-02-15 13:04:42 +0000 | <romesrf> | but it's interesting as to why doesn't it work |
| 2022-02-15 13:09:43 +0000 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 2022-02-15 13:14:16 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2022-02-15 13:15:37 +0000 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.3) |
| 2022-02-15 13:17:35 +0000 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2022-02-15 13:18:35 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-02-15 13:19:29 +0000 | Vajb | (~Vajb@2001:999:274:c862:3b86:e1e1:5bff:355e) |
| 2022-02-15 13:21:24 +0000 | max22- | (~maxime@2a01cb08833598008f1709df66707174.ipv6.abo.wanadoo.fr) (Ping timeout: 252 seconds) |
| 2022-02-15 13:21:25 +0000 | Vajb | (~Vajb@2001:999:274:c862:3b86:e1e1:5bff:355e) (Read error: Connection reset by peer) |
| 2022-02-15 13:22:21 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-02-15 13:24:58 +0000 | kayprish | (~kayprish@cable-24-135-254-227.dynamic.sbb.rs) |
| 2022-02-15 13:28:10 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:7dbf:9eef:ddfc:d739) |
| 2022-02-15 13:28:15 +0000 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) |
| 2022-02-15 13:32:12 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:7dbf:9eef:ddfc:d739) (Ping timeout: 240 seconds) |
| 2022-02-15 13:32:50 +0000 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Remote host closed the connection) |
| 2022-02-15 13:33:05 +0000 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) |
| 2022-02-15 13:33:07 +0000 | chenqisu1 | (~chenqisu1@183.217.200.249) |
| 2022-02-15 13:37:03 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c4e7:84cc:496a:5ba8) |
| 2022-02-15 13:37:13 +0000 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2022-02-15 13:37:21 +0000 | MajorBiscuit | (~MajorBisc@c-001-001-032.client.tudelft.eduvpn.nl) (Ping timeout: 252 seconds) |
| 2022-02-15 13:37:48 +0000 | chenqisu12 | (~chenqisu1@183.217.200.249) |
| 2022-02-15 13:40:28 +0000 | chenqisu1 | (~chenqisu1@183.217.200.249) (Read error: Connection reset by peer) |
| 2022-02-15 13:41:24 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c4e7:84cc:496a:5ba8) (Ping timeout: 240 seconds) |
| 2022-02-15 13:41:38 +0000 | MajorBiscuit | (~MajorBisc@2a02:a461:129d:1:193d:75d8:745d:e91e) |
| 2022-02-15 13:42:21 +0000 | kuribas | (~user@ptr-25vy0i6vww7x1l8ynbn.18120a2.ip6.access.telenet.be) |
| 2022-02-15 13:42:41 +0000 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Remote host closed the connection) |
| 2022-02-15 13:43:31 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2022-02-15 13:47:20 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:3043:922a:3ee:629c) |
| 2022-02-15 13:51:24 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:3043:922a:3ee:629c) (Ping timeout: 240 seconds) |
| 2022-02-15 13:59:08 +0000 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) |
| 2022-02-15 13:59:21 +0000 | meinside | (uid24933@id-24933.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-02-15 14:03:48 +0000 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Ping timeout: 240 seconds) |
| 2022-02-15 14:08:05 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-02-15 14:12:21 +0000 | drdo | (~drdo@roach0.drdo.eu) |
| 2022-02-15 14:12:21 +0000 | drdo | (~drdo@roach0.drdo.eu) (Client Quit) |
| 2022-02-15 14:15:43 +0000 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.3) |
| 2022-02-15 14:17:19 +0000 | drdo | (~drdo@roach0.drdo.eu) |
| 2022-02-15 14:17:33 +0000 | drdo | (~drdo@roach0.drdo.eu) (Client Quit) |
| 2022-02-15 14:18:58 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-02-15 14:18:58 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-02-15 14:18:59 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-02-15 14:19:57 +0000 | zer0bitz | (~zer0bitz@2001:2003:f74d:b800:690a:d027:b8ea:dcab) |
| 2022-02-15 14:20:15 +0000 | burnsidesLlama | (~burnsides@dhcp168-031.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2022-02-15 14:20:41 +0000 | burnsidesLlama | (~burnsides@dhcp168-031.wadham.ox.ac.uk) |
| 2022-02-15 14:21:23 +0000 | zer0bitz_ | (~zer0bitz@2001:2003:f74d:b800:5c57:7f45:b808:8adb) (Ping timeout: 250 seconds) |
| 2022-02-15 14:22:44 +0000 | drdo | (~drdo@roach0.drdo.eu) |
| 2022-02-15 14:22:44 +0000 | drdo | (~drdo@roach0.drdo.eu) (Client Quit) |
| 2022-02-15 14:23:22 +0000 | burnside_ | (~burnsides@dhcp168-031.wadham.ox.ac.uk) |
| 2022-02-15 14:23:46 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-02-15 14:24:21 +0000 | Vajb | (~Vajb@2001:999:274:c862:3b86:e1e1:5bff:355e) |
| 2022-02-15 14:24:51 +0000 | zer0bitz | (~zer0bitz@2001:2003:f74d:b800:690a:d027:b8ea:dcab) (Ping timeout: 250 seconds) |
| 2022-02-15 14:24:58 +0000 | burnsidesLlama | (~burnsides@dhcp168-031.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2022-02-15 14:26:28 +0000 | kuribas | (~user@ptr-25vy0i6vww7x1l8ynbn.18120a2.ip6.access.telenet.be) (Read error: Connection reset by peer) |
| 2022-02-15 14:26:43 +0000 | drdo | (~drdo@roach0.drdo.eu) |
| 2022-02-15 14:27:55 +0000 | drdo | (~drdo@roach0.drdo.eu) (Client Quit) |
| 2022-02-15 14:31:27 +0000 | alp | (~alp@user/alp) |
| 2022-02-15 14:32:16 +0000 | kuribas | (~user@ptr-25vy0i6vww7x1l8ynbn.18120a2.ip6.access.telenet.be) |
| 2022-02-15 14:32:43 +0000 | raoul8 | raoul |
| 2022-02-15 14:33:06 +0000 | drdo | (~drdo@roach0.drdo.eu) |
| 2022-02-15 14:33:07 +0000 | drdo | (~drdo@roach0.drdo.eu) (Client Quit) |
| 2022-02-15 14:33:49 +0000 | MajorBiscuit | (~MajorBisc@2a02:a461:129d:1:193d:75d8:745d:e91e) (Ping timeout: 240 seconds) |
| 2022-02-15 14:34:16 +0000 | max22- | (~maxime@2a01cb0883359800f7b27aee14b4b0ce.ipv6.abo.wanadoo.fr) |
| 2022-02-15 14:35:58 +0000 | MajorBiscuit | (~MajorBisc@c-001-001-032.client.tudelft.eduvpn.nl) |
| 2022-02-15 14:37:12 +0000 | rusrushal13 | (~rusrushal@103.85.18.34) (Ping timeout: 256 seconds) |
| 2022-02-15 14:37:14 +0000 | drdo | (~drdo@roach0.drdo.eu) |
| 2022-02-15 14:37:30 +0000 | zer0bitz | (~zer0bitz@2001:2003:f74d:b800:95ea:d1ff:55f2:9ea6) |
| 2022-02-15 14:38:18 +0000 | drdo | (~drdo@roach0.drdo.eu) (Client Quit) |
| 2022-02-15 14:39:48 +0000 | mvk | (~mvk@2607:fea8:5cdc:bf00::99e7) (Ping timeout: 240 seconds) |
| 2022-02-15 14:40:36 +0000 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Ping timeout: 252 seconds) |
| 2022-02-15 14:42:08 +0000 | hgolden | (~hgolden2@cpe-172-114-81-123.socal.res.rr.com) |
| 2022-02-15 14:43:29 +0000 | drdo | (~drdo@roach0.drdo.eu) |
| 2022-02-15 14:43:29 +0000 | drdo | (~drdo@roach0.drdo.eu) (Client Quit) |
| 2022-02-15 14:45:14 +0000 | zer0bitz_ | (~zer0bitz@2001:2003:f74d:b800:95ea:d1ff:55f2:9ea6) |
| 2022-02-15 14:46:57 +0000 | zer0bitz | (~zer0bitz@2001:2003:f74d:b800:95ea:d1ff:55f2:9ea6) (Ping timeout: 250 seconds) |
| 2022-02-15 14:48:40 +0000 | drdo | (~drdo@roach0.drdo.eu) |
| 2022-02-15 14:48:40 +0000 | drdo | (~drdo@roach0.drdo.eu) (Client Quit) |
| 2022-02-15 14:52:00 +0000 | shriekingnoise | (~shrieking@201.231.16.156) |
| 2022-02-15 14:53:52 +0000 | drdo | (~drdo@roach0.drdo.eu) |
| 2022-02-15 14:53:52 +0000 | drdo | (~drdo@roach0.drdo.eu) (Client Quit) |
| 2022-02-15 14:54:12 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 240 seconds) |
| 2022-02-15 14:55:47 +0000 | sss | (~sss@187.83.249.216.dyn.smithville.net) |
| 2022-02-15 14:56:29 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-02-15 14:59:03 +0000 | drdo | (~drdo@roach0.drdo.eu) |
| 2022-02-15 14:59:03 +0000 | drdo | (~drdo@roach0.drdo.eu) (Client Quit) |
| 2022-02-15 15:00:26 +0000 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) |
| 2022-02-15 15:00:27 +0000 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Remote host closed the connection) |
| 2022-02-15 15:00:35 +0000 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) |
| 2022-02-15 15:00:39 +0000 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Remote host closed the connection) |
| 2022-02-15 15:00:47 +0000 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) |
| 2022-02-15 15:00:51 +0000 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Remote host closed the connection) |
| 2022-02-15 15:00:59 +0000 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) |
| 2022-02-15 15:01:03 +0000 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Remote host closed the connection) |
| 2022-02-15 15:01:11 +0000 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) |
| 2022-02-15 15:01:15 +0000 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Remote host closed the connection) |
| 2022-02-15 15:01:48 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 2022-02-15 15:04:14 +0000 | drdo | (~drdo@roach0.drdo.eu) |
| 2022-02-15 15:04:14 +0000 | drdo | (~drdo@roach0.drdo.eu) (Client Quit) |
| 2022-02-15 15:04:26 +0000 | jlamothe | (~jlamothe@198.251.61.229) |
| 2022-02-15 15:05:35 +0000 | slack1256 | (~slack1256@186.11.97.42) |
| 2022-02-15 15:06:37 +0000 | <romesrf> | can I have existential types in typeclass methods ? |
| 2022-02-15 15:06:56 +0000 | <slack1256> | Is there a binding to the `file` filetype database on hackage? |
| 2022-02-15 15:08:25 +0000 | <sss> | I've got some code with a data type that takes quite a few type arguments, like data Foo a b c d e f .... = Foo { fa :: a, fb :: b, ...}. The problem is that I'm often writing functions that only instantiate a small number of these types, say addB :: (forall a c d e f ...) . Foo a () c d e f ... -> Foo a Int c d e f ... Is there any reasonable way |
| 2022-02-15 15:08:26 +0000 | <sss> | to do something like this without having to write out all of the type arguments every time? (Ideally I'd want e.g. type-level record syntax, but that doesn't seem to be a thing afaik. I could probably get close to this with some type families, but that requires some work every time I add a field to the datatype) |
| 2022-02-15 15:09:26 +0000 | drdo | (~drdo@roach0.drdo.eu) |
| 2022-02-15 15:09:26 +0000 | drdo | (~drdo@roach0.drdo.eu) (Client Quit) |
| 2022-02-15 15:09:49 +0000 | <merijn> | slack1256: You probably mean libmagic? |
| 2022-02-15 15:09:52 +0000 | <merijn> | @hackage magic |
| 2022-02-15 15:09:52 +0000 | <lambdabot> | https://hackage.haskell.org/package/magic |
| 2022-02-15 15:10:09 +0000 | <slack1256> | Awesome! |
| 2022-02-15 15:10:15 +0000 | <merijn> | Seems a bit...ancient, though |
| 2022-02-15 15:10:20 +0000 | <merijn> | So YMMV ;) |
| 2022-02-15 15:10:57 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-02-15 15:11:49 +0000 | <slack1256> | I can probably update it. Thanks merijn. |
| 2022-02-15 15:13:27 +0000 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 272 seconds) |
| 2022-02-15 15:14:05 +0000 | chenqisu12 | (~chenqisu1@183.217.200.249) (Ping timeout: 272 seconds) |
| 2022-02-15 15:14:31 +0000 | drdo | (~drdo@roach0.drdo.eu) |
| 2022-02-15 15:14:37 +0000 | drdo | (~drdo@roach0.drdo.eu) (Client Quit) |
| 2022-02-15 15:16:54 +0000 | Cajun | (~Cajun@user/cajun) (Quit: Client closed) |
| 2022-02-15 15:18:42 +0000 | drdo | (~drdo@roach0.drdo.eu) |
| 2022-02-15 15:19:48 +0000 | drdo | (~drdo@roach0.drdo.eu) (Client Quit) |
| 2022-02-15 15:22:21 +0000 | haskell_ | (~haskell@65-102-32-32.ptld.qwest.net) |
| 2022-02-15 15:22:44 +0000 | haskell_ | (~haskell@65-102-32-32.ptld.qwest.net) (Remote host closed the connection) |
| 2022-02-15 15:22:57 +0000 | drdo | (~drdo@roach0.drdo.eu) |
| 2022-02-15 15:24:59 +0000 | drdo | (~drdo@roach0.drdo.eu) (Client Quit) |
| 2022-02-15 15:25:59 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-02-15 15:29:11 +0000 | gaff | (~gaff@49.207.195.156) (Remote host closed the connection) |
| 2022-02-15 15:30:11 +0000 | drdo | (~drdo@roach0.drdo.eu) |
| 2022-02-15 15:30:11 +0000 | drdo | (~drdo@roach0.drdo.eu) (Client Quit) |
| 2022-02-15 15:31:21 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:68e1:d7ca:4ab6:46e) |
| 2022-02-15 15:34:54 +0000 | slowButPresent | (~slowButPr@user/slowbutpresent) |
| 2022-02-15 15:35:24 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:68e1:d7ca:4ab6:46e) (Ping timeout: 240 seconds) |
| 2022-02-15 15:40:33 +0000 | shapr | (~user@pool-173-73-44-186.washdc.fios.verizon.net) (Read error: Connection reset by peer) |
| 2022-02-15 15:40:56 +0000 | shapr | (~user@pool-173-73-44-186.washdc.fios.verizon.net) |
| 2022-02-15 15:42:45 +0000 | xff0x | (~xff0x@2001:1a81:53dd:d400:4619:fbb5:b364:48b6) (Ping timeout: 252 seconds) |
| 2022-02-15 15:42:56 +0000 | nunggu_ | (~q@user/nunggu) (Ping timeout: 240 seconds) |
| 2022-02-15 15:43:30 +0000 | xff0x | (~xff0x@2001:1a81:53dd:d400:dbd2:febe:ea58:7c1a) |
| 2022-02-15 15:44:06 +0000 | gaff | (~gaff@49.207.195.156) |
| 2022-02-15 15:46:33 +0000 | nunggu_ | (~q@user/nunggu) |
| 2022-02-15 15:46:36 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 240 seconds) |
| 2022-02-15 15:48:50 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-02-15 15:49:42 +0000 | afidegnum | (~afidegnum@102.176.94.134) |
| 2022-02-15 15:51:40 +0000 | <afidegnum> | hi, can you pls guide? I'm trying to build directed graphs made of nodes, but I would like to add a mouse event to link one node to a custom node, or other shapes, I come accross diagrams but I can't see anything related to mouse events. can you please advise better ? |
| 2022-02-15 15:53:55 +0000 | sss | (~sss@187.83.249.216.dyn.smithville.net) (Quit: Client closed) |
| 2022-02-15 15:58:12 +0000 | gaff | (~gaff@49.207.195.156) (Ping timeout: 240 seconds) |
| 2022-02-15 15:59:00 +0000 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-02-15 16:00:06 +0000 | yehoshuapw | (~yehoshuap@2001:470:69fc:105::a5f) (Quit: You have been kicked for being idle) |
| 2022-02-15 16:01:53 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-02-15 16:01:53 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-02-15 16:01:53 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-02-15 16:03:49 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:68e1:d7ca:4ab6:46e) |
| 2022-02-15 16:04:04 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:68e1:d7ca:4ab6:46e) (Remote host closed the connection) |
| 2022-02-15 16:04:13 +0000 | xkuru | (~xkuru@user/xkuru) |
| 2022-02-15 16:04:25 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:68e1:d7ca:4ab6:46e) |
| 2022-02-15 16:04:51 +0000 | zebrag | (~chris@user/zebrag) |
| 2022-02-15 16:05:29 +0000 | jgeerds_ | (~jgeerds@55d4b9df.access.ecotel.net) |
| 2022-02-15 16:05:43 +0000 | eggplant_ | (~Eggplanta@2600:1700:bef1:5e10:49da:9bbf:6c0f:9f3d) |
| 2022-02-15 16:05:55 +0000 | dyeplexer | (~dyeplexer@user/dyeplexer) (Remote host closed the connection) |
| 2022-02-15 16:06:30 +0000 | Guest28 | (~Guest28@a89-183-97-15.net-htp.de) |
| 2022-02-15 16:08:36 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:68e1:d7ca:4ab6:46e) (Ping timeout: 240 seconds) |
| 2022-02-15 16:09:17 +0000 | Vajb | (~Vajb@2001:999:274:c862:3b86:e1e1:5bff:355e) (Ping timeout: 250 seconds) |
| 2022-02-15 16:10:07 +0000 | afidegnum | (~afidegnum@102.176.94.134) (Quit: leaving) |
| 2022-02-15 16:14:02 +0000 | megeve | (sid523379@id-523379.hampstead.irccloud.com) (Ping timeout: 240 seconds) |
| 2022-02-15 16:14:10 +0000 | Guest28 | (~Guest28@a89-183-97-15.net-htp.de) () |
| 2022-02-15 16:15:13 +0000 | Guest3567 | (~cat@h-98-128-128-173.A351.priv.bahnhof.se) (Quit: Reconnecting) |
| 2022-02-15 16:15:25 +0000 | sudden | (~cat@h-98-128-128-173.A351.priv.bahnhof.se) |
| 2022-02-15 16:15:49 +0000 | sudden | Guest402 |
| 2022-02-15 16:16:15 +0000 | Guest402 | (~cat@h-98-128-128-173.A351.priv.bahnhof.se) (Changing host) |
| 2022-02-15 16:16:15 +0000 | Guest402 | (~cat@user/sudden) |
| 2022-02-15 16:16:17 +0000 | megeve | (sid523379@id-523379.hampstead.irccloud.com) |
| 2022-02-15 16:16:17 +0000 | slac19076 | (~slack1256@191.125.99.76) |
| 2022-02-15 16:16:56 +0000 | nunggu_ | (~q@user/nunggu) (Ping timeout: 240 seconds) |
| 2022-02-15 16:18:41 +0000 | slack1256 | (~slack1256@186.11.97.42) (Ping timeout: 272 seconds) |
| 2022-02-15 16:20:31 +0000 | nunggu_ | (~q@user/nunggu) |
| 2022-02-15 16:23:23 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:5f01:5e57:4ded:3d7c) (Quit: WeeChat 2.8) |
| 2022-02-15 16:24:43 +0000 | gaff | (~gaff@49.207.198.116) |
| 2022-02-15 16:26:29 +0000 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 2022-02-15 16:27:36 +0000 | nunggu_ | (~q@user/nunggu) (Ping timeout: 240 seconds) |
| 2022-02-15 16:28:16 +0000 | mncheckm | (~mncheck@193.224.205.254) (Ping timeout: 245 seconds) |
| 2022-02-15 16:28:24 +0000 | kayprish | (~kayprish@cable-24-135-254-227.dynamic.sbb.rs) (Ping timeout: 252 seconds) |
| 2022-02-15 16:29:29 +0000 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-02-15 16:29:51 +0000 | zebrag | (~chris@user/zebrag) |
| 2022-02-15 16:30:36 +0000 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-02-15 16:30:57 +0000 | acidjnk | (~acidjnk@p200300d0c7057500a04355ceabfe8d47.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2022-02-15 16:33:24 +0000 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) |
| 2022-02-15 16:35:09 +0000 | mncheck | (~mncheck@193.224.205.254) |
| 2022-02-15 16:39:56 +0000 | alt-romes | (~romes@44.190.189.46.rev.vodafone.pt) |
| 2022-02-15 16:40:08 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-02-15 16:41:39 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-02-15 16:42:18 +0000 | mvk | (~mvk@2607:fea8:5cdc:bf00::99e7) |
| 2022-02-15 16:42:42 +0000 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 252 seconds) |
| 2022-02-15 16:42:58 +0000 | polyphem_ | (~rod@2a02:810d:840:8754:21f9:18ab:ce0d:488d) (Ping timeout: 260 seconds) |
| 2022-02-15 16:43:44 +0000 | alp | (~alp@user/alp) (Remote host closed the connection) |
| 2022-02-15 16:44:07 +0000 | alp | (~alp@user/alp) |
| 2022-02-15 16:45:07 +0000 | nunggu_ | (~q@user/nunggu) |
| 2022-02-15 16:46:55 +0000 | gensyst | (gensyst@user/gensyst) |
| 2022-02-15 16:47:38 +0000 | burnside_ | (~burnsides@dhcp168-031.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2022-02-15 16:53:11 +0000 | <gensyst> | Please challenge my belief that websites should mostly work without JavaScript, not just for purposes of purity and viewability on text-based browsers but also because very privacy conscious people may want to disable JavaScript altogether. |
| 2022-02-15 16:53:15 +0000 | <gensyst> | However given this belief, Haskell is not really a suitable language for doing front-end, is it? I think the best I can go for is PureScript. This allows me to write a website that mostly works without JavaScript, but will be more feature-rich with JavaScript active. |
| 2022-02-15 16:54:30 +0000 | slac19076 | slack1256 |
| 2022-02-15 16:55:08 +0000 | <slack1256> | Wait, purescript compiles to JS doesn't it? |
| 2022-02-15 16:55:30 +0000 | <geekosaur> | I don't see what about a Haskell backend requires JS as a front-end |
| 2022-02-15 16:55:40 +0000 | <geekosaur> | it's common, yes, but so are JS front-ends in general |
| 2022-02-15 16:59:13 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 272 seconds) |
| 2022-02-15 17:00:17 +0000 | <gensyst> | I wasn't clear enough above. I'm talking only about front-end here. The point is that Haskell for front-end is not suitable for just "spicing up" HTML that works fine without JS, is it? |
| 2022-02-15 17:00:38 +0000 | <gensyst> | Haskell for front-end is more for just monolithic single page "apps", isn't it? |
| 2022-02-15 17:00:51 +0000 | <gensyst> | (If JS is disabled in the browser, nothing works) |
| 2022-02-15 17:01:55 +0000 | <geekosaur> | afaik the only way you get haskell as *front* end is ghcjs? |
| 2022-02-15 17:02:17 +0000 | polyphem | (~rod@2a02:810d:840:8754:448e:47ff:4575:7cfb) |
| 2022-02-15 17:03:51 +0000 | lbseale | (~ep1ctetus@user/ep1ctetus) |
| 2022-02-15 17:06:31 +0000 | <gensyst> | geekosaur, yeah and afaik rest of JS can't really talk to the haskell JS part since it's a different runtime. |
| 2022-02-15 17:06:40 +0000 | <gensyst> | it's its own thing in isolation |
| 2022-02-15 17:06:55 +0000 | <geekosaur> | you can do foreign imports, iirc |
| 2022-02-15 17:07:21 +0000 | <geekosaur> | you can't mix it with other frameworks but that's kind of a given anyway isn't it? |
| 2022-02-15 17:07:29 +0000 | <janus> | geekosaur: maybe one can compile Hugs with Emscripten |
| 2022-02-15 17:07:32 +0000 | eggplant_ | (~Eggplanta@2600:1700:bef1:5e10:49da:9bbf:6c0f:9f3d) (Remote host closed the connection) |
| 2022-02-15 17:08:06 +0000 | <janus> | another way of having haskell on the frontend though :P |
| 2022-02-15 17:08:47 +0000 | <geekosaur> | in any case I think if you really want something haskell-like on the front end elm is the go-to |
| 2022-02-15 17:08:51 +0000 | <janus> | also since GRIN compiles to LLVM, and LLVM compiles to WASM, should work? https://grin-compiler.github.io/ |
| 2022-02-15 17:09:11 +0000 | <janus> | geekosaur: why not purescript? it isn't limiting you like Elm is |
| 2022-02-15 17:09:43 +0000 | <janus> | more similar to haskell than Elm afaik? |
| 2022-02-15 17:10:03 +0000 | <geekosaur> | mm, maybe. I had the impression elm was more haskell-like |
| 2022-02-15 17:10:39 +0000 | <janus> | how? it doesn't have higher-order types |
| 2022-02-15 17:10:51 +0000 | <geekosaur> | whereas purescript is what you'd get if JS had been designed with Haskell concepts in mind |
| 2022-02-15 17:10:52 +0000 | little_mac | (~little_ma@2601:410:4300:3ce0:c5cf:b717:584d:5dd3) |
| 2022-02-15 17:12:30 +0000 | <janus> | i don't see the similarity between PureScript and JS except for how e.g. the string type is an array of utf-16 code units |
| 2022-02-15 17:13:05 +0000 | <janus> | arguably it is even more haskelly than haskell since the type classes are more granular |
| 2022-02-15 17:13:13 +0000 | <slack1256> | Maybe backwards? Haskell if was designed with JS concerns in mind. |
| 2022-02-15 17:13:46 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-02-15 17:17:32 +0000 | sagax | (~sagax_nb@user/sagax) |
| 2022-02-15 17:17:35 +0000 | alt-romes | (~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 272 seconds) |
| 2022-02-15 17:17:53 +0000 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 2022-02-15 17:18:11 +0000 | alt-romes | (~romes@44.190.189.46.rev.vodafone.pt) |
| 2022-02-15 17:19:20 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:49da:9bbf:6c0f:9f3d) |
| 2022-02-15 17:19:42 +0000 | Akiva | (~Akiva@user/Akiva) |
| 2022-02-15 17:24:49 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-02-15 17:25:25 +0000 | burnsidesLlama | (~burnsides@dhcp168-031.wadham.ox.ac.uk) |
| 2022-02-15 17:26:45 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-15 17:28:01 +0000 | ubert | (~Thunderbi@2a02:8109:9880:303c:df39:5895:e6dd:94da) (Remote host closed the connection) |
| 2022-02-15 17:29:48 +0000 | burnsidesLlama | (~burnsides@dhcp168-031.wadham.ox.ac.uk) (Ping timeout: 240 seconds) |
| 2022-02-15 17:33:44 +0000 | chele | (~chele@user/chele) (Quit: Leaving) |
| 2022-02-15 17:39:46 +0000 | ack_inc | (~anirudh@223.190.93.158) |
| 2022-02-15 17:40:00 +0000 | ack_inc | (~anirudh@223.190.93.158) (Client Quit) |
| 2022-02-15 17:40:08 +0000 | zeenk | (~zeenk@2a02:2f04:a30d:1300:51a3:bcfc:6cda:9fc5) (Quit: Konversation terminated!) |
| 2022-02-15 17:42:43 +0000 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Remote host closed the connection) |
| 2022-02-15 17:43:33 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2022-02-15 17:44:07 +0000 | MajorBiscuit | (~MajorBisc@c-001-001-032.client.tudelft.eduvpn.nl) (Quit: WeeChat 3.4) |
| 2022-02-15 17:44:41 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2022-02-15 17:50:09 +0000 | <maerwald> | janus: because elm is actually successful |
| 2022-02-15 17:50:54 +0000 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds) |
| 2022-02-15 17:53:35 +0000 | capo_greco | (~textual@60-241-161-167.static.tpgi.com.au) |
| 2022-02-15 17:57:05 +0000 | zincy_ | (~zincy@2a00:23c8:970c:4801:39f9:90f7:922:e73b) |
| 2022-02-15 17:57:50 +0000 | zincy_ | (~zincy@2a00:23c8:970c:4801:39f9:90f7:922:e73b) (Remote host closed the connection) |
| 2022-02-15 17:58:13 +0000 | burnsidesLlama | (~burnsides@dhcp168-031.wadham.ox.ac.uk) |
| 2022-02-15 17:59:46 +0000 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) |
| 2022-02-15 18:00:20 +0000 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) |
| 2022-02-15 18:01:03 +0000 | gaff | (~gaff@49.207.198.116) (Remote host closed the connection) |
| 2022-02-15 18:01:51 +0000 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Remote host closed the connection) |
| 2022-02-15 18:02:29 +0000 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 2022-02-15 18:03:08 +0000 | hgolden | (~hgolden2@cpe-172-114-81-123.socal.res.rr.com) (Quit: Konversation terminated!) |
| 2022-02-15 18:03:49 +0000 | burnsidesLlama | (~burnsides@dhcp168-031.wadham.ox.ac.uk) (Ping timeout: 272 seconds) |
| 2022-02-15 18:04:25 +0000 | burnsidesLlama | (~burnsides@dhcp168-031.wadham.ox.ac.uk) |
| 2022-02-15 18:04:33 +0000 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Ping timeout: 250 seconds) |
| 2022-02-15 18:04:40 +0000 | alt-romes | (~romes@44.190.189.46.rev.vodafone.pt) (Quit: WeeChat 3.4) |
| 2022-02-15 18:09:41 +0000 | turlando | (~turlando@user/turlando) (Ping timeout: 256 seconds) |
| 2022-02-15 18:11:11 +0000 | hgolden | (~hgolden2@cpe-172-114-81-123.socal.res.rr.com) |
| 2022-02-15 18:12:00 +0000 | turlando | (~turlando@93-42-250-112.ip89.fastwebnet.it) |
| 2022-02-15 18:12:00 +0000 | turlando | (~turlando@93-42-250-112.ip89.fastwebnet.it) (Changing host) |
| 2022-02-15 18:12:00 +0000 | turlando | (~turlando@user/turlando) |
| 2022-02-15 18:12:09 +0000 | hgolden | (~hgolden2@cpe-172-114-81-123.socal.res.rr.com) (Client Quit) |
| 2022-02-15 18:12:49 +0000 | <dminuoso> | janus: the typeclasses in elm are a mess |
| 2022-02-15 18:13:18 +0000 | <geekosaur> | the typeclasses in haskell aren't? |
| 2022-02-15 18:13:33 +0000 | <dminuoso> | geekosaur: At least they're an actual component of the language |
| 2022-02-15 18:14:18 +0000 | xnbya2 | xnbya |
| 2022-02-15 18:14:26 +0000 | zincy_ | (~zincy@2a00:23c8:970c:4801:39f9:90f7:922:e73b) |
| 2022-02-15 18:15:15 +0000 | <dolio> | It just has a few built in special cases of overloading, no? |
| 2022-02-15 18:15:21 +0000 | <dminuoso> | Right |
| 2022-02-15 18:16:11 +0000 | <dolio> | I'm no expert, but my impression was that elm would be the absolute last thing the original questioner would want. |
| 2022-02-15 18:16:34 +0000 | <dolio> | I thought it was all about writing the website in some kind of FRP methodology. |
| 2022-02-15 18:17:10 +0000 | <dminuoso> | For what its worth, I wholeheartedly agree with gensyst's original proposition of unobstrusive JavaScript. |
| 2022-02-15 18:17:44 +0000 | <dminuoso> | My experience is not as dark, as a NoScript user there's some websites that dont work, but plenty that do. |
| 2022-02-15 18:17:48 +0000 | vysn | (~vysn@user/vysn) (Ping timeout: 240 seconds) |
| 2022-02-15 18:18:45 +0000 | acidsys | (~LSD@2a03:4000:55:d20::3) (Excess Flood) |
| 2022-02-15 18:18:57 +0000 | zincy_ | (~zincy@2a00:23c8:970c:4801:39f9:90f7:922:e73b) (Ping timeout: 252 seconds) |
| 2022-02-15 18:19:24 +0000 | Ranhir | (~Ranhir@157.97.53.139) (Quit: KVIrc 5.0.0 Aria http://www.kvirc.net/) |
| 2022-02-15 18:19:52 +0000 | Ranhir | (~Ranhir@157.97.53.139) |
| 2022-02-15 18:21:26 +0000 | acidsys | (~LSD@2a03:4000:55:d20::3) |
| 2022-02-15 18:23:20 +0000 | mzan | (~quassel@mail.asterisell.com) (Quit: No Ping reply in 180 seconds.) |
| 2022-02-15 18:24:46 +0000 | mzan | (~quassel@mail.asterisell.com) |
| 2022-02-15 18:34:30 +0000 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) |
| 2022-02-15 18:39:15 +0000 | hgolden | (~hgolden2@cpe-172-114-81-123.socal.res.rr.com) |
| 2022-02-15 18:39:17 +0000 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Ping timeout: 272 seconds) |
| 2022-02-15 18:42:50 +0000 | lbseale | (~ep1ctetus@user/ep1ctetus) (Quit: Leaving) |
| 2022-02-15 18:43:42 +0000 | waleee | (~waleee@h-98-128-229-110.NA.cust.bahnhof.se) |
| 2022-02-15 18:43:47 +0000 | <maerwald> | I usually just pretend I only know backend |
| 2022-02-15 18:43:51 +0000 | <maerwald> | which is a lie, but yeah |
| 2022-02-15 18:46:23 +0000 | <[exa]> | very practical |
| 2022-02-15 18:46:25 +0000 | <janus> | maerwald: how do you judge whether purescript is successful or not? |
| 2022-02-15 18:46:53 +0000 | <maerwald> | janus: that's my impression... I didn't write a paper on it |
| 2022-02-15 18:47:43 +0000 | <maerwald> | e.g. how many times it was mentioned in job postings/interviews, how often I saw actual purescript codebases, etc |
| 2022-02-15 18:48:08 +0000 | <janus> | i don't care about those things because i already have a job writing purescript :P |
| 2022-02-15 18:48:23 +0000 | zincy_ | (~zincy@2a00:23c8:970c:4801:39f9:90f7:922:e73b) |
| 2022-02-15 18:48:23 +0000 | <janus> | in a way i'd say it beats haskell on some fronts, like e.g. the ecosystem is more unified |
| 2022-02-15 18:48:24 +0000 | <maerwald> | yeah, I reviewed a purescript codebase once too |
| 2022-02-15 18:48:36 +0000 | <janus> | e.g. the quickcheck package for purescript also supports the hedgehog way of working |
| 2022-02-15 18:48:55 +0000 | <janus> | and there is no argument about BlockArguments because you can't turn it off ;) |
| 2022-02-15 18:49:05 +0000 | <gensyst> | dminuoso, exactly! so this leaves haskell out. i think purescript is the way |
| 2022-02-15 18:49:41 +0000 | capo_greco | (~textual@60-241-161-167.static.tpgi.com.au) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2022-02-15 18:51:25 +0000 | <maerwald> | I mean yeah... row types are cool, but I can have the same benefits with typescripts structural typing and less complexity |
| 2022-02-15 18:51:36 +0000 | <maerwald> | and I find devs easier |
| 2022-02-15 18:51:48 +0000 | econo | (uid147250@user/econo) |
| 2022-02-15 18:51:49 +0000 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) |
| 2022-02-15 18:52:06 +0000 | <maerwald> | and Haskell is huge pain on that front indeed |
| 2022-02-15 18:52:25 +0000 | lbseale | (~ep1ctetus@user/ep1ctetus) |
| 2022-02-15 18:52:27 +0000 | <maerwald> | converting between "web types" etc |
| 2022-02-15 18:53:51 +0000 | <[exa]> | `unsafeCoerceJSON` |
| 2022-02-15 18:54:49 +0000 | <monochrom> | Someone missed the opportunity of calling it "column polymorphism" :) when they defined the dual or row polymorphism, i.e., whereas row polymorphism is some kind of open product, they defined a corresponding kind of open sum. |
| 2022-02-15 18:56:12 +0000 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Ping timeout: 240 seconds) |
| 2022-02-15 18:56:57 +0000 | <dolio> | I don't think there's anything about GHCJS that requires building your whole website in javascript. But if you're just looking for a haskell-like language to generate small JS functions, purescript is probably more suitable, I guess. |
| 2022-02-15 18:58:11 +0000 | <geekosaur> | not so much "requires" as "invites the sunk cost fallacy" imo |
| 2022-02-15 19:00:14 +0000 | x_kuru | (~xkuru@user/xkuru) |
| 2022-02-15 19:02:29 +0000 | capo_greco | (~textual@60-241-161-167.static.tpgi.com.au) |
| 2022-02-15 19:03:09 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-02-15 19:03:30 +0000 | xkuru | (~xkuru@user/xkuru) (Ping timeout: 252 seconds) |
| 2022-02-15 19:03:44 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-02-15 19:04:06 +0000 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-02-15 19:04:59 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-02-15 19:05:00 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 240 seconds) |
| 2022-02-15 19:05:20 +0000 | ubert | (~Thunderbi@p200300ecdf0994a3b5a040f373828229.dip0.t-ipconnect.de) |
| 2022-02-15 19:05:39 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-02-15 19:08:23 +0000 | coot | (~coot@213.134.190.95) |
| 2022-02-15 19:11:12 +0000 | deadmarshal | (~deadmarsh@95.38.117.142) (Ping timeout: 252 seconds) |
| 2022-02-15 19:12:06 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Quit: ChaiTRex) |
| 2022-02-15 19:12:36 +0000 | xff0x | (~xff0x@2001:1a81:53dd:d400:dbd2:febe:ea58:7c1a) (Ping timeout: 240 seconds) |
| 2022-02-15 19:12:40 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-02-15 19:13:13 +0000 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) |
| 2022-02-15 19:13:41 +0000 | xff0x | (~xff0x@2001:1a81:53dd:d400:b969:14d4:3062:a4) |
| 2022-02-15 19:13:53 +0000 | ubert | (~Thunderbi@p200300ecdf0994a3b5a040f373828229.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2022-02-15 19:14:01 +0000 | ub | (~Thunderbi@p548c8cd6.dip0.t-ipconnect.de) |
| 2022-02-15 19:14:40 +0000 | gensyst | (gensyst@user/gensyst) (Quit: Leaving) |
| 2022-02-15 19:16:19 +0000 | ub | ubert |
| 2022-02-15 19:27:11 +0000 | capo_greco | (~textual@60-241-161-167.static.tpgi.com.au) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2022-02-15 19:39:46 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2022-02-15 19:40:54 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2022-02-15 19:42:28 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2022-02-15 19:44:34 +0000 | fluxit | (~fluxit@techsmix.net) |
| 2022-02-15 19:48:07 +0000 | thyriaen | (~thyriaen@simnet-nat-pool-185-130-54-167.stargrpns.pp.ua) |
| 2022-02-15 19:51:35 +0000 | zincy_ | (~zincy@2a00:23c8:970c:4801:39f9:90f7:922:e73b) (Ping timeout: 250 seconds) |
| 2022-02-15 19:54:30 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-02-15 19:54:30 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-02-15 19:54:54 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-02-15 19:55:08 +0000 | <dsal> | Does anyone have a pointer for how I might go about making a docker image for an app I've got (binary + some extra files)? I've only barely used docker in a while and all the stuff I've found makes it seem excessively complicated. |
| 2022-02-15 19:59:35 +0000 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) |
| 2022-02-15 20:00:51 +0000 | ProfSimm | (~ProfSimm@87.227.196.109) |
| 2022-02-15 20:02:54 +0000 | briandaed | (~root@109.95.142.92.r.toneticgroup.pl) (Ping timeout: 252 seconds) |
| 2022-02-15 20:03:26 +0000 | <maerwald> | dsal: https://gist.github.com/hasufell/f0893abfbba63ac4ea40feb0520946ee |
| 2022-02-15 20:03:55 +0000 | Erutuon | (~Erutuon@user/erutuon) |
| 2022-02-15 20:04:30 +0000 | <dsal> | maerwald: Thanks! |
| 2022-02-15 20:05:25 +0000 | juhp | (~juhp@128.106.188.82) (Ping timeout: 272 seconds) |
| 2022-02-15 20:06:28 +0000 | <ProfSimm> | When you get state in a monad and you return modified state for next call, who stores that state |
| 2022-02-15 20:06:31 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2022-02-15 20:06:55 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-02-15 20:06:56 +0000 | <Rembane> | ProfSimm: You do, but in a sneaky way. |
| 2022-02-15 20:08:01 +0000 | <ProfSimm> | But. We can't mutate state right |
| 2022-02-15 20:08:05 +0000 | slack1256 | (~slack1256@191.125.99.76) (Remote host closed the connection) |
| 2022-02-15 20:08:23 +0000 | <Rembane> | ProfSimm: Indeed, but we can change the state we send to a function call. |
| 2022-02-15 20:08:32 +0000 | juhp | (~juhp@128.106.188.82) |
| 2022-02-15 20:08:41 +0000 | <maerwald> | there's no mutation, it's just passed around in a tuple along with the function result |
| 2022-02-15 20:08:47 +0000 | <ProfSimm> | Doesn't that imply we have that state in the first place, so we can send it |
| 2022-02-15 20:09:03 +0000 | <geekosaur> | runState provides it |
| 2022-02-15 20:09:19 +0000 | <ProfSimm> | So I'm guessing runState cheats |
| 2022-02-15 20:09:24 +0000 | drdo | (~drdo@roach0.drdo.eu) |
| 2022-02-15 20:09:31 +0000 | <geekosaur> | huh? |
| 2022-02-15 20:09:46 +0000 | <geekosaur> | you have some very odd ideas of how State works |
| 2022-02-15 20:10:05 +0000 | <ProfSimm> | I have no ideas |
| 2022-02-15 20:10:46 +0000 | <geekosaur> | then you have nothing to guessfrom |
| 2022-02-15 20:11:25 +0000 | <Rembane> | ProfSimm: You can replace the state monad with a tuple as maerwald said. Maybe you've encountered that already? |
| 2022-02-15 20:11:47 +0000 | waleee | (~waleee@h-98-128-229-110.NA.cust.bahnhof.se) (Ping timeout: 256 seconds) |
| 2022-02-15 20:11:59 +0000 | <maerwald> | `foo :: Int -> State Bool String` is equivalent to `foo :: Int -> Bool -> (Bool, String)` |
| 2022-02-15 20:12:15 +0000 | <maerwald> | where Bool is the state |
| 2022-02-15 20:12:21 +0000 | cfricke | (~cfricke@user/cfricke) |
| 2022-02-15 20:12:41 +0000 | <geekosaur> | State is s -> (a,s). runState provides the first `s`, and produces the final `(a,s)` |
| 2022-02-15 20:12:59 +0000 | <geekosaur> | pretty much can't get more transparent than that |
| 2022-02-15 20:17:33 +0000 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Remote host closed the connection) |
| 2022-02-15 20:18:06 +0000 | capo_greco | (~textual@60-241-161-167.static.tpgi.com.au) |
| 2022-02-15 20:18:10 +0000 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 2022-02-15 20:18:15 +0000 | <Inst[m]> | you're probably more thinking of IORef etc |
| 2022-02-15 20:20:59 +0000 | cynomys | (~cynomys@user/cynomys) |
| 2022-02-15 20:21:31 +0000 | <monochrom> | Some of my students found it helpful to expand the defintions of put, get, and >>= in "put 5 >>= get". Then they finally agreed that the state storage is emulated by parameter passing. |
| 2022-02-15 20:22:08 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:49da:9bbf:6c0f:9f3d) (Remote host closed the connection) |
| 2022-02-15 20:22:25 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-02-15 20:22:26 +0000 | <monochrom> | It also helps that I frame the whole story as "the fairy tale of mutable state implemented by the reality of mathematics". Ah, the irony. |
| 2022-02-15 20:22:47 +0000 | <ProfSimm> | monochrom: is it that way though |
| 2022-02-15 20:23:09 +0000 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 272 seconds) |
| 2022-02-15 20:23:17 +0000 | <geekosaur> | how about you do the exercise monochrom suggested |
| 2022-02-15 20:23:33 +0000 | zincy_ | (~zincy@2a00:23c8:970c:4801:39f9:90f7:922:e73b) |
| 2022-02-15 20:24:06 +0000 | <ProfSimm> | Passing parameters is not the issue, but IO as Inst[m] noted |
| 2022-02-15 20:24:08 +0000 | waleee | (~waleee@h-98-128-229-110.NA.cust.bahnhof.se) |
| 2022-02-15 20:25:11 +0000 | <monochrom> | IO is a different story that I didn't teach. |
| 2022-02-15 20:26:59 +0000 | <ProfSimm> | I'm thinking in general terms about how an isolated function can encode mutations as commands it returns and input is the world it sees resulting from the previous commands it returned |
| 2022-02-15 20:27:00 +0000 | <monochrom> | But it's the compiler generating appropriate code for you. |
| 2022-02-15 20:27:11 +0000 | <ProfSimm> | Gives us mutability, transactions, and still pure code in the function |
| 2022-02-15 20:29:32 +0000 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-15 20:29:47 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-15 20:29:54 +0000 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-15 20:30:08 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-15 20:30:16 +0000 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-15 20:30:46 +0000 | deadmarshal | (~deadmarsh@95.38.117.142) |
| 2022-02-15 20:31:16 +0000 | ChanServ | +o litharge |
| 2022-02-15 20:31:17 +0000 | litharge | +b $a:lavaman |
| 2022-02-15 20:31:27 +0000 | litharge | -o litharge |
| 2022-02-15 20:32:06 +0000 | <monochrom> | (hrm, so that's what it does) |
| 2022-02-15 20:33:43 +0000 | <ProfSimm> | All programming paradigms, imperative, functional, dataflow, start looking like syntactical variations of the same thing when you look at it in a certain way |
| 2022-02-15 20:34:57 +0000 | <maerwald> | yeah, because the hardware is the same |
| 2022-02-15 20:35:23 +0000 | <Sqaure> | janus: Have you checked out Miso? Its just like Elm but haskell. |
| 2022-02-15 20:35:49 +0000 | deadmarshal | (~deadmarsh@95.38.117.142) (Ping timeout: 272 seconds) |
| 2022-02-15 20:35:56 +0000 | <Sqaure> | ive had a solid experience with it. |
| 2022-02-15 20:36:35 +0000 | cfricke | (~cfricke@user/cfricke) |
| 2022-02-15 20:37:16 +0000 | <ProfSimm> | maerwald: well I mean at a higher level. |
| 2022-02-15 20:38:19 +0000 | <maerwald> | is that a snoop dogg meme? |
| 2022-02-15 20:42:45 +0000 | burnsidesLlama | (~burnsides@dhcp168-031.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2022-02-15 20:42:56 +0000 | cynomys | (~cynomys@user/cynomys) (Quit: leaving) |
| 2022-02-15 20:44:16 +0000 | thyriaen | (~thyriaen@simnet-nat-pool-185-130-54-167.stargrpns.pp.ua) (Quit: Leaving) |
| 2022-02-15 20:45:16 +0000 | <koala_man> | how can I go Map k (Maybe v) -> Map k v by deleting all the Nothings? Is there something neater than mapMaybe + from/toAscList? |
| 2022-02-15 20:46:26 +0000 | <monochrom> | Data.Map's filter may help. |
| 2022-02-15 20:48:00 +0000 | alp | (~alp@user/alp) (Ping timeout: 252 seconds) |
| 2022-02-15 20:48:21 +0000 | <koala_man> | oh, there *is* a Map.mapMaybe, not sure how I missed that |
| 2022-02-15 20:48:29 +0000 | <jackdk> | na, that's not type-changing. yeah you want mapMaybe id |
| 2022-02-15 20:48:47 +0000 | zer0bitz_ | (~zer0bitz@2001:2003:f74d:b800:95ea:d1ff:55f2:9ea6) (Ping timeout: 250 seconds) |
| 2022-02-15 20:48:58 +0000 | <koala_man> | thanks! |
| 2022-02-15 20:48:58 +0000 | <monochrom> | Oh darn. Yeah mapMaybe. |
| 2022-02-15 20:49:42 +0000 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.3) |
| 2022-02-15 20:54:40 +0000 | capo_greco | (~textual@60-241-161-167.static.tpgi.com.au) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2022-02-15 20:55:02 +0000 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) |
| 2022-02-15 20:58:52 +0000 | ystael | (~ystael@user/ystael) (Quit: Lost terminal) |
| 2022-02-15 20:59:27 +0000 | <Inst[m]> | <ProfSimm> "All programming paradigms..." <- i mean tbh the easier way to arrive at this is just do FP in an imperative language |
| 2022-02-15 20:59:33 +0000 | wombat875 | (~wombat875@pool-72-89-24-154.nycmny.fios.verizon.net) |
| 2022-02-15 21:00:50 +0000 | <monochrom> | No, do Prolog-style in imperative languages, to appreciate how it's "just" "syntax sugar". |
| 2022-02-15 21:01:11 +0000 | ystael | (~ystael@user/ystael) |
| 2022-02-15 21:01:12 +0000 | zincy_ | (~zincy@2a00:23c8:970c:4801:39f9:90f7:922:e73b) (Ping timeout: 252 seconds) |
| 2022-02-15 21:01:46 +0000 | zincy_ | (~zincy@2a00:23c8:970c:4801:39f9:90f7:922:e73b) |
| 2022-02-15 21:02:30 +0000 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2022-02-15 21:04:07 +0000 | acidjnk | (~acidjnk@p200300d0c7057500a04355ceabfe8d47.dip0.t-ipconnect.de) |
| 2022-02-15 21:05:40 +0000 | pavonia | (~user@user/siracusa) |
| 2022-02-15 21:06:47 +0000 | capo_greco | (~textual@60-241-161-167.static.tpgi.com.au) |
| 2022-02-15 21:06:59 +0000 | nunggu_ | (~q@user/nunggu) (Remote host closed the connection) |
| 2022-02-15 21:07:42 +0000 | nunggu_ | (~q@user/nunggu) |
| 2022-02-15 21:07:54 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:49da:9bbf:6c0f:9f3d) |
| 2022-02-15 21:08:09 +0000 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Remote host closed the connection) |
| 2022-02-15 21:08:57 +0000 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) |
| 2022-02-15 21:12:09 +0000 | <dolio> | It's a mere 60 pages in SICP. |
| 2022-02-15 21:13:35 +0000 | <mjrosenb> | Sqaure: janus: I've also had good experiences with miso. |
| 2022-02-15 21:18:01 +0000 | capo_greco | (~textual@60-241-161-167.static.tpgi.com.au) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2022-02-15 21:18:45 +0000 | samtoth | (~igloo@90.208.227.189) |
| 2022-02-15 21:20:24 +0000 | samtoth | (~igloo@90.208.227.189) (Remote host closed the connection) |
| 2022-02-15 21:20:45 +0000 | burnsidesLlama | (~burnsides@dhcp168-031.wadham.ox.ac.uk) |
| 2022-02-15 21:20:47 +0000 | `2jt | (~jtomas@130.red-88-22-46.staticip.rima-tde.net) (Ping timeout: 272 seconds) |
| 2022-02-15 21:22:19 +0000 | alphabeta | (~kilolympu@31.205.200.235) |
| 2022-02-15 21:22:41 +0000 | kilolympus | (~kilolympu@31.205.200.235) (Ping timeout: 272 seconds) |
| 2022-02-15 21:23:02 +0000 | zeenk | (~zeenk@2a02:2f04:a30d:1300:51a3:bcfc:6cda:9fc5) |
| 2022-02-15 21:24:14 +0000 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Remote host closed the connection) |
| 2022-02-15 21:24:50 +0000 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 2022-02-15 21:25:51 +0000 | burnsidesLlama | (~burnsides@dhcp168-031.wadham.ox.ac.uk) (Ping timeout: 272 seconds) |
| 2022-02-15 21:26:06 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-98.elisa-laajakaista.fi) |
| 2022-02-15 21:31:16 +0000 | ChanServ | +o litharge |
| 2022-02-15 21:31:17 +0000 | litharge | -bo $a:lavaman litharge |
| 2022-02-15 21:31:59 +0000 | `2jt | (~jtomas@130.red-88-22-46.staticip.rima-tde.net) |
| 2022-02-15 21:37:05 +0000 | alp | (~alp@user/alp) |
| 2022-02-15 21:37:10 +0000 | dhouthoo | (~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.4) |
| 2022-02-15 21:45:09 +0000 | fendor | (~fendor@77.119.209.21.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2022-02-15 21:48:44 +0000 | zincy_ | (~zincy@2a00:23c8:970c:4801:39f9:90f7:922:e73b) (Remote host closed the connection) |
| 2022-02-15 21:54:12 +0000 | ProfSimm | (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
| 2022-02-15 21:54:31 +0000 | ProfSimm | (~ProfSimm@87.227.196.109) |
| 2022-02-15 21:56:12 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 252 seconds) |
| 2022-02-15 21:59:11 +0000 | ProfSimm | (~ProfSimm@87.227.196.109) (Ping timeout: 256 seconds) |
| 2022-02-15 21:59:21 +0000 | burnsidesLlama | (~burnsides@dhcp168-031.wadham.ox.ac.uk) |
| 2022-02-15 22:02:24 +0000 | cynomys | (~cynomys@user/cynomys) |
| 2022-02-15 22:04:01 +0000 | off^ | (~off@50.235.176.163) (Remote host closed the connection) |
| 2022-02-15 22:05:00 +0000 | FernandoChu[m] | (~ryunaqmat@2001:470:69fc:105::1:4dc0) |
| 2022-02-15 22:06:04 +0000 | kuribas | (~user@ptr-25vy0i6vww7x1l8ynbn.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2022-02-15 22:06:22 +0000 | burnsidesLlama | (~burnsides@dhcp168-031.wadham.ox.ac.uk) (Ping timeout: 272 seconds) |
| 2022-02-15 22:06:46 +0000 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Remote host closed the connection) |
| 2022-02-15 22:07:01 +0000 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) |
| 2022-02-15 22:09:39 +0000 | wombat875 | (~wombat875@pool-72-89-24-154.nycmny.fios.verizon.net) (Quit: WeeChat 2.2-dev) |
| 2022-02-15 22:16:08 +0000 | coot_ | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2022-02-15 22:16:47 +0000 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Remote host closed the connection) |
| 2022-02-15 22:17:01 +0000 | <zwro[m]> | test |
| 2022-02-15 22:17:17 +0000 | CiaoSen | (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-02-15 22:17:35 +0000 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) |
| 2022-02-15 22:18:36 +0000 | coot | (~coot@213.134.190.95) (Ping timeout: 240 seconds) |
| 2022-02-15 22:22:18 +0000 | michalz | (~michalz@185.246.204.93) (Remote host closed the connection) |
| 2022-02-15 22:31:01 +0000 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2022-02-15 22:33:43 +0000 | acidsys | (~LSD@2a03:4000:55:d20::3) (Excess Flood) |
| 2022-02-15 22:35:11 +0000 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Quit: Sorry, I need to scratch my left butt cheek.) |
| 2022-02-15 22:44:35 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Quit: ec) |
| 2022-02-15 22:45:34 +0000 | cynomys | (~cynomys@user/cynomys) (Quit: leaving) |
| 2022-02-15 22:45:45 +0000 | cynomys | (~cynomys@user/cynomys) |
| 2022-02-15 22:46:34 +0000 | cynomys | (~cynomys@user/cynomys) (Client Quit) |
| 2022-02-15 22:46:45 +0000 | cynomys | (~cynomys@user/cynomys) |
| 2022-02-15 22:54:06 +0000 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-02-15 22:56:09 +0000 | alp | (~alp@user/alp) (Ping timeout: 252 seconds) |
| 2022-02-15 22:56:33 +0000 | acidsys | (~LSD@2a03:4000:55:d20::3) |
| 2022-02-15 22:57:25 +0000 | azimut_ | (~azimut@gateway/tor-sasl/azimut) |
| 2022-02-15 22:59:36 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2022-02-15 23:00:06 +0000 | TonyStone | (~TonyStone@2603-7080-8607-c36a-3d94-4d23-dc7c-c228.res6.spectrum.com) |
| 2022-02-15 23:08:48 +0000 | CiaoSen | (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2022-02-15 23:09:05 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-02-15 23:13:48 +0000 | <jackdk> | zwro[m]: hello |
| 2022-02-15 23:17:36 +0000 | coot_ | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot_) |
| 2022-02-15 23:19:11 +0000 | chenqisu12 | (~chenqisu1@183.217.200.249) |
| 2022-02-15 23:19:51 +0000 | `2jt | (~jtomas@130.red-88-22-46.staticip.rima-tde.net) (Ping timeout: 272 seconds) |
| 2022-02-15 23:21:28 +0000 | FernandoChu[m] | (~ryunaqmat@2001:470:69fc:105::1:4dc0) (*.net *.split) |
| 2022-02-15 23:21:28 +0000 | acidjnk | (~acidjnk@p200300d0c7057500a04355ceabfe8d47.dip0.t-ipconnect.de) (*.net *.split) |
| 2022-02-15 23:21:28 +0000 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) (*.net *.split) |
| 2022-02-15 23:21:28 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (*.net *.split) |
| 2022-02-15 23:21:28 +0000 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (*.net *.split) |
| 2022-02-15 23:21:28 +0000 | econo | (uid147250@user/econo) (*.net *.split) |
| 2022-02-15 23:21:28 +0000 | polyphem | (~rod@2a02:810d:840:8754:448e:47ff:4575:7cfb) (*.net *.split) |
| 2022-02-15 23:21:28 +0000 | megeve | (sid523379@id-523379.hampstead.irccloud.com) (*.net *.split) |
| 2022-02-15 23:21:28 +0000 | foul_owl | (~kerry@207.244.125.36) (*.net *.split) |
| 2022-02-15 23:21:28 +0000 | myme | (~myme@2a01:799:d5a:cd00:9ae3:d451:a989:e1e9) (*.net *.split) |
| 2022-02-15 23:21:28 +0000 | img | (~img@user/img) (*.net *.split) |
| 2022-02-15 23:21:28 +0000 | kanin | (~kanin@112.41.64.39) (*.net *.split) |
| 2022-02-15 23:21:28 +0000 | edwtjo | (~edwtjo@user/edwtjo) (*.net *.split) |
| 2022-02-15 23:21:28 +0000 | hongminhee | (sid295@2a03:5180:f::127) (*.net *.split) |
| 2022-02-15 23:21:28 +0000 | bjs | (sid190364@user/bjs) (*.net *.split) |
| 2022-02-15 23:21:28 +0000 | cbarrett | (sid192934@2a03:5180:f:1::2:f1a6) (*.net *.split) |
| 2022-02-15 23:21:28 +0000 | Boarders_ | (sid425905@id-425905.lymington.irccloud.com) (*.net *.split) |
| 2022-02-15 23:21:28 +0000 | ellie | (~ellie@user/ellie) (*.net *.split) |
| 2022-02-15 23:21:28 +0000 | Putonlalla | (~sapekiis@it-cyan.it.jyu.fi) (*.net *.split) |
| 2022-02-15 23:21:28 +0000 | fryguybob | (~fryguybob@cpe-74-67-169-145.rochester.res.rr.com) (*.net *.split) |
| 2022-02-15 23:21:28 +0000 | Hafydd | (~Hafydd@user/hafydd) (*.net *.split) |
| 2022-02-15 23:21:28 +0000 | drewr | (~drew@user/drewr) (*.net *.split) |
| 2022-02-15 23:21:28 +0000 | tv | (~tv@user/tv) (*.net *.split) |
| 2022-02-15 23:21:28 +0000 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (*.net *.split) |
| 2022-02-15 23:21:28 +0000 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (*.net *.split) |
| 2022-02-15 23:21:28 +0000 | Flow | (~none@gentoo/developer/flow) (*.net *.split) |
| 2022-02-15 23:21:28 +0000 | echoreply | (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) (*.net *.split) |
| 2022-02-15 23:21:28 +0000 | oats | (~thomas@user/oats) (*.net *.split) |
| 2022-02-15 23:21:28 +0000 | mixfix41 | (~sdenyninn@user/mixfix41) (*.net *.split) |
| 2022-02-15 23:21:28 +0000 | NiKaN | (sid385034@id-385034.helmsley.irccloud.com) (*.net *.split) |
| 2022-02-15 23:21:28 +0000 | tinwood | (~tinwood@canonical/tinwood) (*.net *.split) |
| 2022-02-15 23:21:29 +0000 | Pent | (sid313808@lymington.irccloud.com) (*.net *.split) |
| 2022-02-15 23:21:29 +0000 | finsternis | (~X@23.226.237.192) (*.net *.split) |
| 2022-02-15 23:21:29 +0000 | dexterfoo | (~dexter@li655-253.members.linode.com) (*.net *.split) |
| 2022-02-15 23:21:29 +0000 | fluxit | (~fluxit@techsmix.net) (*.net *.split) |
| 2022-02-15 23:21:29 +0000 | lambdabot | (~lambdabot@haskell/bot/lambdabot) (*.net *.split) |
| 2022-02-15 23:21:29 +0000 | heath | (~heath@user/heath) (*.net *.split) |
| 2022-02-15 23:21:29 +0000 | lambdap | (~lambdap@static.167.190.119.168.clients.your-server.de) (*.net *.split) |
| 2022-02-15 23:21:29 +0000 | nurupo | (~nurupo.ga@user/nurupo) (*.net *.split) |
| 2022-02-15 23:21:29 +0000 | noctuks | (7vrDyCK6LH@user/noctux) (*.net *.split) |
| 2022-02-15 23:21:29 +0000 | cjay | (cjay@nerdbox.nerd2nerd.org) (*.net *.split) |
| 2022-02-15 23:21:29 +0000 | notabled1 | (~notabledu@ares.dbalan.in) (*.net *.split) |
| 2022-02-15 23:21:29 +0000 | sshine | (~simon@hubris.eta.solutions) (*.net *.split) |
| 2022-02-15 23:21:29 +0000 | blades | (~blades@204.48.29.163) (*.net *.split) |
| 2022-02-15 23:21:29 +0000 | kosmikus | (~kosmikus@nullzig.kosmikus.org) (*.net *.split) |
| 2022-02-15 23:21:29 +0000 | Trattue | (~Trattue@152.70.182.158) (*.net *.split) |
| 2022-02-15 23:21:50 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-15 23:21:53 +0000 | nurupo | (~nurupo.ga@user/nurupo) |
| 2022-02-15 23:21:57 +0000 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-15 23:22:00 +0000 | gurkenglas | (~gurkengla@dslb-188-096-121-068.188.096.pools.vodafone-ip.de) (Ping timeout: 252 seconds) |
| 2022-02-15 23:22:10 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-15 23:22:18 +0000 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-15 23:22:27 +0000 | img | (~img@user/img) |
| 2022-02-15 23:22:33 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-15 23:22:36 +0000 | Pickchea | (~private@user/pickchea) (Ping timeout: 240 seconds) |
| 2022-02-15 23:22:40 +0000 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-15 23:23:44 +0000 | Shiranai | (~Shiranai@190.237.13.59) |
| 2022-02-15 23:23:47 +0000 | FernandoChu[m] | (~ryunaqmat@2001:470:69fc:105::1:4dc0) |
| 2022-02-15 23:23:47 +0000 | acidjnk | (~acidjnk@p200300d0c7057500a04355ceabfe8d47.dip0.t-ipconnect.de) |
| 2022-02-15 23:23:47 +0000 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) |
| 2022-02-15 23:23:47 +0000 | fluxit | (~fluxit@techsmix.net) |
| 2022-02-15 23:23:47 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2022-02-15 23:23:47 +0000 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) |
| 2022-02-15 23:23:47 +0000 | econo | (uid147250@user/econo) |
| 2022-02-15 23:23:47 +0000 | polyphem | (~rod@2a02:810d:840:8754:448e:47ff:4575:7cfb) |
| 2022-02-15 23:23:47 +0000 | megeve | (sid523379@id-523379.hampstead.irccloud.com) |
| 2022-02-15 23:23:47 +0000 | foul_owl | (~kerry@207.244.125.36) |
| 2022-02-15 23:23:47 +0000 | myme | (~myme@2a01:799:d5a:cd00:9ae3:d451:a989:e1e9) |
| 2022-02-15 23:23:47 +0000 | kanin | (~kanin@112.41.64.39) |
| 2022-02-15 23:23:47 +0000 | edwtjo | (~edwtjo@user/edwtjo) |
| 2022-02-15 23:23:47 +0000 | bjs | (sid190364@user/bjs) |
| 2022-02-15 23:23:47 +0000 | hongminhee | (sid295@2a03:5180:f::127) |
| 2022-02-15 23:23:47 +0000 | cbarrett | (sid192934@2a03:5180:f:1::2:f1a6) |
| 2022-02-15 23:23:47 +0000 | Boarders_ | (sid425905@id-425905.lymington.irccloud.com) |
| 2022-02-15 23:23:47 +0000 | ellie | (~ellie@user/ellie) |
| 2022-02-15 23:23:47 +0000 | Putonlalla | (~sapekiis@it-cyan.it.jyu.fi) |
| 2022-02-15 23:23:47 +0000 | fryguybob | (~fryguybob@cpe-74-67-169-145.rochester.res.rr.com) |
| 2022-02-15 23:23:47 +0000 | drewr | (~drew@user/drewr) |
| 2022-02-15 23:23:47 +0000 | Hafydd | (~Hafydd@user/hafydd) |
| 2022-02-15 23:23:47 +0000 | tv | (~tv@user/tv) |
| 2022-02-15 23:23:47 +0000 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) |
| 2022-02-15 23:23:47 +0000 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2022-02-15 23:23:47 +0000 | Flow | (~none@gentoo/developer/flow) |
| 2022-02-15 23:23:47 +0000 | echoreply | (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) |
| 2022-02-15 23:23:47 +0000 | oats | (~thomas@user/oats) |
| 2022-02-15 23:23:47 +0000 | mixfix41 | (~sdenyninn@user/mixfix41) |
| 2022-02-15 23:23:47 +0000 | NiKaN | (sid385034@id-385034.helmsley.irccloud.com) |
| 2022-02-15 23:23:47 +0000 | tinwood | (~tinwood@canonical/tinwood) |
| 2022-02-15 23:23:47 +0000 | Pent | (sid313808@lymington.irccloud.com) |
| 2022-02-15 23:23:47 +0000 | finsternis | (~X@23.226.237.192) |
| 2022-02-15 23:23:47 +0000 | dexterfoo | (~dexter@li655-253.members.linode.com) |
| 2022-02-15 23:23:47 +0000 | lambdabot | (~lambdabot@haskell/bot/lambdabot) |
| 2022-02-15 23:23:47 +0000 | heath | (~heath@user/heath) |
| 2022-02-15 23:23:47 +0000 | lambdap | (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 2022-02-15 23:23:47 +0000 | noctuks | (7vrDyCK6LH@user/noctux) |
| 2022-02-15 23:23:47 +0000 | notabled1 | (~notabledu@ares.dbalan.in) |
| 2022-02-15 23:23:47 +0000 | cjay | (cjay@nerdbox.nerd2nerd.org) |
| 2022-02-15 23:23:47 +0000 | sshine | (~simon@hubris.eta.solutions) |
| 2022-02-15 23:23:47 +0000 | blades | (~blades@204.48.29.163) |
| 2022-02-15 23:23:47 +0000 | kosmikus | (~kosmikus@nullzig.kosmikus.org) |
| 2022-02-15 23:23:47 +0000 | Trattue | (~Trattue@152.70.182.158) |
| 2022-02-15 23:23:47 +0000 | mixfix41 | (~sdenyninn@user/mixfix41) (Max SendQ exceeded) |
| 2022-02-15 23:23:47 +0000 | finsternis | (~X@23.226.237.192) (Max SendQ exceeded) |
| 2022-02-15 23:24:21 +0000 | finsternis | (~X@23.226.237.192) |
| 2022-02-15 23:25:24 +0000 | <FernandoChu[m]> | <zwro[m]> "test" <- hello x2 |
| 2022-02-15 23:26:57 +0000 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Ping timeout: 250 seconds) |
| 2022-02-15 23:27:23 +0000 | NiKaN | (sid385034@id-385034.helmsley.irccloud.com) (Ping timeout: 250 seconds) |
| 2022-02-15 23:27:27 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 272 seconds) |
| 2022-02-15 23:27:50 +0000 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2022-02-15 23:28:37 +0000 | burnsidesLlama | (~burnsides@dhcp168-031.wadham.ox.ac.uk) |
| 2022-02-15 23:29:31 +0000 | NiKaN | (sid385034@id-385034.helmsley.irccloud.com) |
| 2022-02-15 23:31:04 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-02-15 23:33:00 +0000 | burnsidesLlama | (~burnsides@dhcp168-031.wadham.ox.ac.uk) (Ping timeout: 240 seconds) |
| 2022-02-15 23:38:55 +0000 | chenqisu12 | (~chenqisu1@183.217.200.249) (Read error: Connection reset by peer) |
| 2022-02-15 23:39:34 +0000 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Remote host closed the connection) |
| 2022-02-15 23:39:49 +0000 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) |
| 2022-02-15 23:40:26 +0000 | zeenk | (~zeenk@2a02:2f04:a30d:1300:51a3:bcfc:6cda:9fc5) (Quit: Konversation terminated!) |
| 2022-02-15 23:44:08 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-98.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2022-02-15 23:44:54 +0000 | burnsidesLlama | (~burnsides@dhcp168-031.wadham.ox.ac.uk) |
| 2022-02-15 23:45:00 +0000 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 240 seconds) |
| 2022-02-15 23:46:12 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 252 seconds) |
| 2022-02-15 23:47:00 +0000 | <dibblego> | koala_man: catMaybes = mapMaybe id |
| 2022-02-15 23:47:10 +0000 | <dibblego> | oh wait no Map, nothing nothing |
| 2022-02-15 23:47:16 +0000 | <koala_man> | dibblego!! |
| 2022-02-15 23:47:25 +0000 | <dibblego> | koala_man!! I'm about to head out |
| 2022-02-15 23:48:05 +0000 | <koala_man> | dibblego: I have some knot tying I can't finish that you may have some thoughts on later |
| 2022-02-15 23:48:08 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-02-15 23:48:12 +0000 | <dibblego> | ok, about an hour |
| 2022-02-15 23:48:16 +0000 | <koala_man> | \o/ |
| 2022-02-15 23:52:09 +0000 | cynomys | (~cynomys@user/cynomys) (Ping timeout: 272 seconds) |
| 2022-02-15 23:58:12 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-02-15 23:58:54 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
