| 2023-01-21 00:04:26 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-01-21 00:05:48 +0100 | coot | (~coot@213.134.171.3) (Quit: coot) |
| 2023-01-21 00:08:04 +0100 | fizbin | (~fizbin@user/fizbin) |
| 2023-01-21 00:12:03 +0100 | <pja> | hololeap: unzip on a set does a bit weird. |
| 2023-01-21 00:18:02 +0100 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2023-01-21 00:21:12 +0100 | CiaoSen | (~Jura@p200300c9572d4e002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Quit: CiaoSen) |
| 2023-01-21 00:23:29 +0100 | jinsun__ | (~jinsun@user/jinsun) |
| 2023-01-21 00:23:29 +0100 | jinsun | (~jinsun@user/jinsun) (Killed (molybdenum.libera.chat (Nickname regained by services))) |
| 2023-01-21 00:23:29 +0100 | jinsun__ | jinsun |
| 2023-01-21 00:25:30 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2023-01-21 00:25:46 +0100 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2023-01-21 00:31:26 +0100 | oldfashionedcow | (~Rahul_San@user/oldfashionedcow) |
| 2023-01-21 00:32:14 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 256 seconds) |
| 2023-01-21 00:43:01 +0100 | acidjnk | (~acidjnk@p200300d6e715c42465a1f0513dc44661.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2023-01-21 00:45:45 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-01-21 00:51:24 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 272 seconds) |
| 2023-01-21 00:57:36 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2023-01-21 01:13:10 +0100 | fizbin | (~fizbin@user/fizbin) (Ping timeout: 260 seconds) |
| 2023-01-21 01:17:12 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-01-21 01:18:02 +0100 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2023-01-21 01:18:17 +0100 | jinsun | (~jinsun@user/jinsun) |
| 2023-01-21 01:19:06 +0100 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) |
| 2023-01-21 01:19:25 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2023-01-21 01:19:29 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-01-21 01:20:48 +0100 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2023-01-21 01:21:04 +0100 | jinsun | (~jinsun@user/jinsun) |
| 2023-01-21 01:23:48 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 256 seconds) |
| 2023-01-21 01:35:01 +0100 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) |
| 2023-01-21 01:36:13 +0100 | matijja | (~matijja@193.77.181.201) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-01-21 01:37:12 +0100 | matijja | (~matijja@193.77.181.201) |
| 2023-01-21 01:41:10 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2023-01-21 01:42:33 +0100 | fizbin | (~fizbin@user/fizbin) |
| 2023-01-21 01:43:59 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2023-01-21 01:44:07 +0100 | thegeekinside | (~thegeekin@189.217.82.244) (Remote host closed the connection) |
| 2023-01-21 01:46:04 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 260 seconds) |
| 2023-01-21 01:47:18 +0100 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) |
| 2023-01-21 01:53:42 +0100 | fizbin | (~fizbin@user/fizbin) (Remote host closed the connection) |
| 2023-01-21 01:54:03 +0100 | fizbin | (~fizbin@user/fizbin) |
| 2023-01-21 01:57:10 +0100 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) (Remote host closed the connection) |
| 2023-01-21 01:57:29 +0100 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) |
| 2023-01-21 02:01:42 +0100 | fizbin | (~fizbin@user/fizbin) (Ping timeout: 272 seconds) |
| 2023-01-21 02:01:48 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-01-21 02:03:22 +0100 | califax | (~califax@user/califx) |
| 2023-01-21 02:09:26 +0100 | unit73e | (~emanuel@2001:818:e8dd:7c00:656:e5ff:fe72:9d36) |
| 2023-01-21 02:09:31 +0100 | tremon | (~tremon@83-85-213-108.cable.dynamic.v4.ziggo.nl) (Quit: getting boxed in) |
| 2023-01-21 02:09:33 +0100 | <unit73e> | hello |
| 2023-01-21 02:10:00 +0100 | <geekosaur> | hello |
| 2023-01-21 02:10:16 +0100 | king_gs | (~Thunderbi@187.201.131.190) |
| 2023-01-21 02:10:22 +0100 | <unit73e> | I came up with an excelent idea. in order to distinguish the best devs, you get them drunk and make them code |
| 2023-01-21 02:10:34 +0100 | <unit73e> | if the code is still good, they're good developers |
| 2023-01-21 02:10:36 +0100 | <unit73e> | thoughts? |
| 2023-01-21 02:10:59 +0100 | fizbin | (~fizbin@user/fizbin) |
| 2023-01-21 02:11:37 +0100 | king_gs | (~Thunderbi@187.201.131.190) (Client Quit) |
| 2023-01-21 02:11:47 +0100 | <unit73e> | unfortunately only devs would get the drunk dev contest |
| 2023-01-21 02:12:29 +0100 | <geekosaur> | cue "Ballmer peak" |
| 2023-01-21 02:12:38 +0100 | <unit73e> | kek yup |
| 2023-01-21 02:13:04 +0100 | <hpc> | it's a very narrow peak |
| 2023-01-21 02:13:27 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-01-21 02:13:27 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-01-21 02:13:27 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2023-01-21 02:13:27 +0100 | <unit73e> | that's why it's a cool competition, you need to get just the right amoung of drunk |
| 2023-01-21 02:14:10 +0100 | <unit73e> | unironically I think it would work in interviews |
| 2023-01-21 02:16:01 +0100 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) (Quit: Leaving) |
| 2023-01-21 02:20:28 +0100 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2023-01-21 02:22:14 +0100 | slaydr | (~slaydr@97-120-75-64.ptld.qwest.net) (Quit: Leaving) |
| 2023-01-21 02:24:34 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2023-01-21 02:29:17 +0100 | <energizer> | seems like it's just adding a disturbance to the measurement. why not make them code under normal conditions instead |
| 2023-01-21 02:30:50 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-152.elisa-laajakaista.fi) (Ping timeout: 272 seconds) |
| 2023-01-21 02:31:13 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 2023-01-21 02:31:31 +0100 | troglodito | (~cave@2a00:d880:3:1::85b7:69dc) |
| 2023-01-21 02:31:42 +0100 | troglodito | (~cave@2a00:d880:3:1::85b7:69dc) () |
| 2023-01-21 02:33:13 +0100 | <geekosaur> | not sure I want to meet the Gallegher Plus ( Robots Have No Tails ) of coding |
| 2023-01-21 02:33:53 +0100 | <c_wraith> | I've written an entire Haskell library while drunk. |
| 2023-01-21 02:34:06 +0100 | <c_wraith> | .... I did write the tests before going out that night. |
| 2023-01-21 02:34:23 +0100 | <unit73e> | hehe I'm not being totally serious, but sometimes interviewers can fool you, but when drunk you will show your actual experience |
| 2023-01-21 02:34:57 +0100 | <boxscape_> | you might accidentally test for ability to pretend drinking alcohol |
| 2023-01-21 02:35:25 +0100 | Square | (~a@user/square) (Ping timeout: 260 seconds) |
| 2023-01-21 02:36:02 +0100 | <unit73e> | haskell is an excellent programming language for the drunk competition |
| 2023-01-21 02:37:43 +0100 | ensyde | (~ensyde@104-62-224-96.lightspeed.chrlnc.sbcglobal.net) |
| 2023-01-21 02:37:56 +0100 | <unit73e> | having said that, I actually got lucky with my team, they're all good, and it's a multi-cultural team |
| 2023-01-21 02:53:18 +0100 | OscarZ | (~oscarz@95.175.104.39) (Ping timeout: 268 seconds) |
| 2023-01-21 02:55:14 +0100 | Square | (~a@user/square) |
| 2023-01-21 02:58:04 +0100 | Maxdamantus | (~Maxdamant@user/maxdamantus) (Ping timeout: 272 seconds) |
| 2023-01-21 03:05:14 +0100 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) (Ping timeout: 256 seconds) |
| 2023-01-21 03:07:32 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Quit: leaving) |
| 2023-01-21 03:08:33 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2023-01-21 03:08:50 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-01-21 03:12:59 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 260 seconds) |
| 2023-01-21 03:13:34 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2023-01-21 03:15:08 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2023-01-21 03:18:13 +0100 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) |
| 2023-01-21 03:18:20 +0100 | fizbin | (~fizbin@user/fizbin) (Ping timeout: 272 seconds) |
| 2023-01-21 03:24:08 +0100 | oldfashionedcow | (~Rahul_San@user/oldfashionedcow) (Ping timeout: 268 seconds) |
| 2023-01-21 03:31:45 +0100 | megeve | (uid523379@id-523379.hampstead.irccloud.com) |
| 2023-01-21 03:33:17 +0100 | oldfashionedcow | (~Rahul_San@user/oldfashionedcow) |
| 2023-01-21 03:37:32 +0100 | unit73e | (~emanuel@2001:818:e8dd:7c00:656:e5ff:fe72:9d36) (Ping timeout: 256 seconds) |
| 2023-01-21 03:37:53 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-01-21 03:39:10 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-01-21 03:40:50 +0100 | razetime | (~Thunderbi@117.193.6.2) |
| 2023-01-21 03:42:08 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:71a5:b1e9:85a5:f360) |
| 2023-01-21 03:45:31 +0100 | slack1256 | (~slack1256@186.11.45.40) |
| 2023-01-21 03:46:26 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:71a5:b1e9:85a5:f360) (Ping timeout: 255 seconds) |
| 2023-01-21 03:46:35 +0100 | boxscape_ | (~boxscape_@81.191.27.107) (Ping timeout: 260 seconds) |
| 2023-01-21 03:51:53 +0100 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
| 2023-01-21 03:54:48 +0100 | Maxdamantus | (~Maxdamant@user/maxdamantus) |
| 2023-01-21 04:00:12 +0100 | barzo | (~hd@31.223.41.44) (Ping timeout: 256 seconds) |
| 2023-01-21 04:00:24 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2023-01-21 04:03:00 +0100 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) |
| 2023-01-21 04:05:12 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 272 seconds) |
| 2023-01-21 04:07:49 +0100 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds) |
| 2023-01-21 04:14:28 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:71a5:b1e9:85a5:f360) |
| 2023-01-21 04:18:24 +0100 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) |
| 2023-01-21 04:21:34 +0100 | sagax | (~sagax_nb@user/sagax) |
| 2023-01-21 04:22:22 +0100 | jero98772 | (~jero98772@2800:484:1d80:d8ce:3490:26c5:1782:da8c) (Remote host closed the connection) |
| 2023-01-21 04:23:57 +0100 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
| 2023-01-21 04:25:28 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2023-01-21 04:29:25 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2023-01-21 04:31:10 +0100 | ensyde | (~ensyde@104-62-224-96.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2023-01-21 04:33:38 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 256 seconds) |
| 2023-01-21 04:34:12 +0100 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) |
| 2023-01-21 04:36:32 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-01-21 04:39:24 +0100 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) (Ping timeout: 272 seconds) |
| 2023-01-21 04:42:38 +0100 | terrorjack | (~terrorjac@2a01:4f8:1c1e:4e8c::) (Quit: The Lounge - https://thelounge.chat) |
| 2023-01-21 04:44:11 +0100 | terrorjack | (~terrorjac@2a01:4f8:1c1e:4e8c::) |
| 2023-01-21 04:50:39 +0100 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) |
| 2023-01-21 04:51:37 +0100 | anderson_ | (~ande@76.202.115.164) |
| 2023-01-21 04:51:47 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 255 seconds) |
| 2023-01-21 04:52:19 +0100 | td_ | (~td@83.135.9.28) (Ping timeout: 252 seconds) |
| 2023-01-21 04:54:09 +0100 | td_ | (~td@83.135.9.44) |
| 2023-01-21 04:55:13 +0100 | anderson_ | (~ande@76.202.115.164) (Remote host closed the connection) |
| 2023-01-21 04:56:18 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 2023-01-21 04:59:58 +0100 | jinsun__ | (~jinsun@user/jinsun) |
| 2023-01-21 04:59:58 +0100 | jinsun | (~jinsun@user/jinsun) (Killed (tantalum.libera.chat (Nickname regained by services))) |
| 2023-01-21 04:59:58 +0100 | jinsun__ | jinsun |
| 2023-01-21 05:01:58 +0100 | [Leary] | (~Leary]@user/Leary/x-0910699) (Remote host closed the connection) |
| 2023-01-21 05:02:19 +0100 | [Leary] | (~Leary]@user/Leary/x-0910699) |
| 2023-01-21 05:02:44 +0100 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2023-01-21 05:02:46 +0100 | jinsun__ | (~jinsun@user/jinsun) |
| 2023-01-21 05:02:46 +0100 | jinsun__ | jinsun |
| 2023-01-21 05:12:02 +0100 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 2023-01-21 05:14:15 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-01-21 05:14:43 +0100 | ensyde | (~ensyde@104-62-224-96.lightspeed.chrlnc.sbcglobal.net) |
| 2023-01-21 05:22:49 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-01-21 05:22:49 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-01-21 05:22:49 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2023-01-21 05:24:14 +0100 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds) |
| 2023-01-21 05:29:26 +0100 | texasmynsted | (~texasmyns@99.96.221.112) (Ping timeout: 272 seconds) |
| 2023-01-21 05:31:30 +0100 | freeside | (~mengwong@122.11.212.158) |
| 2023-01-21 05:39:24 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1122w-grc-07-174-95-68-39.dsl.bell.ca) (Ping timeout: 260 seconds) |
| 2023-01-21 05:39:28 +0100 | cheater_ | (~Username@user/cheater) |
| 2023-01-21 05:39:43 +0100 | freeside | (~mengwong@122.11.212.158) (Read error: Connection reset by peer) |
| 2023-01-21 05:42:32 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 265 seconds) |
| 2023-01-21 05:42:34 +0100 | cheater_ | cheater |
| 2023-01-21 05:46:00 +0100 | micro | (~micro@user/micro) (Quit: Lost terminal) |
| 2023-01-21 05:50:19 +0100 | micro | (~micro@user/micro) |
| 2023-01-21 05:50:57 +0100 | troydm | (~troydm@user/troydm) |
| 2023-01-21 05:51:08 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2023-01-21 05:51:20 +0100 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 246 seconds) |
| 2023-01-21 05:52:08 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-01-21 05:58:16 +0100 | <maerwald[m]> | Interviews especially in Haskell are usually a terrible session of useless riddles to make the interviewer feel smart and cover their complete lack of knowledge on how to select candidates |
| 2023-01-21 06:00:14 +0100 | <dsal> | That's unfortunate. I'd expect more "can you write code that takes this input and tells us this stuff?" |
| 2023-01-21 06:04:53 +0100 | talismanick | (~talismani@2601:200:c181:4c40::1be2) |
| 2023-01-21 06:05:14 +0100 | <EvanR> | I had some guys ask me about how to implement a text editor |
| 2023-01-21 06:05:18 +0100 | n0den1te | (~n0den1te@223.178.83.117) |
| 2023-01-21 06:05:27 +0100 | <EvanR> | efficiently |
| 2023-01-21 06:06:12 +0100 | <EvanR> | I didn't think to ask them if they knew |
| 2023-01-21 06:09:01 +0100 | slack1256 | (~slack1256@186.11.45.40) (Remote host closed the connection) |
| 2023-01-21 06:09:16 +0100 | slack1256 | (~slack1256@186.11.45.40) |
| 2023-01-21 06:09:52 +0100 | <dsal> | I had that interview at Google. Pretty far from things I know how to do. |
| 2023-01-21 06:11:20 +0100 | n0den1te | (~n0den1te@223.178.83.117) (Quit: leaving) |
| 2023-01-21 06:12:04 +0100 | <slack1256> | How do you get an interview at google? I guess linkedin is not one of them. |
| 2023-01-21 06:12:40 +0100 | <dsal> | Probably not the best time to interview at Google. |
| 2023-01-21 06:15:16 +0100 | <EvanR> | dang, I hate to hear google never found anyone to work on their text editor |
| 2023-01-21 06:15:23 +0100 | <EvanR> | that they are working on |
| 2023-01-21 06:15:27 +0100 | <EvanR> | for some reason |
| 2023-01-21 06:16:43 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-01-21 06:17:15 +0100 | <dsal> | haha |
| 2023-01-21 06:17:41 +0100 | <dsal> | There was at least one internal text editor I used occasionally, but it'd mostly been replaced last I saw. |
| 2023-01-21 06:17:50 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-01-21 06:19:27 +0100 | <energizer> | Xi editor was briefly at google https://xi-editor.io/docs/rope_science_00.html |
| 2023-01-21 06:19:46 +0100 | <energizer> | and had that very cool series of posts on implementation |
| 2023-01-21 06:23:38 +0100 | jinsun__ | (~jinsun@user/jinsun) |
| 2023-01-21 06:23:38 +0100 | jinsun | Guest4573 |
| 2023-01-21 06:23:38 +0100 | jinsun__ | jinsun |
| 2023-01-21 06:23:43 +0100 | johnw | (~johnw@2600:1700:cf00:db0:dc38:4854:743c:eb7e) (Quit: ZNC - http://znc.in) |
| 2023-01-21 06:26:38 +0100 | Guest4573 | (~jinsun@user/jinsun) (Ping timeout: 255 seconds) |
| 2023-01-21 06:39:02 +0100 | jinsun__ | (~jinsun@user/jinsun) |
| 2023-01-21 06:39:02 +0100 | jinsun | (~jinsun@user/jinsun) (Killed (silver.libera.chat (Nickname regained by services))) |
| 2023-01-21 06:39:02 +0100 | jinsun__ | jinsun |
| 2023-01-21 06:42:10 +0100 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) |
| 2023-01-21 06:44:16 +0100 | <Axman6> | I'vew wanted a rope like structor for arrays for a while, but just because it's cool, not because I have a use for it |
| 2023-01-21 06:45:03 +0100 | slack1256 | (~slack1256@186.11.45.40) (Remote host closed the connection) |
| 2023-01-21 06:45:18 +0100 | <Axman6> | anatta: keeping up the theme of replying way later than is reasonable, that function is just inits: |
| 2023-01-21 06:45:25 +0100 | <Axman6> | > inits "Hello" |
| 2023-01-21 06:45:27 +0100 | <lambdabot> | ["","H","He","Hel","Hell","Hello"] |
| 2023-01-21 06:45:34 +0100 | <Axman6> | @src inits |
| 2023-01-21 06:45:34 +0100 | <lambdabot> | inits [] = [[]] |
| 2023-01-21 06:45:34 +0100 | <lambdabot> | inits (x:xs) = [[]] ++ map (x:) (inits xs) |
| 2023-01-21 06:47:20 +0100 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) (Ping timeout: 272 seconds) |
| 2023-01-21 06:51:25 +0100 | <anatta> | Axman6: yeah - but it seemed like cheating to use the built-in :p |
| 2023-01-21 06:51:35 +0100 | <anatta> | the implementation looks pretty nice though |
| 2023-01-21 06:52:06 +0100 | <anatta> | I don't think I would have come up with it |
| 2023-01-21 06:53:50 +0100 | <Axman6> | yeah it's not exactly obvious, the fact it produces things lazily is very nice |
| 2023-01-21 06:54:56 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 272 seconds) |
| 2023-01-21 06:59:33 +0100 | fizbin | (~fizbin@user/fizbin) |
| 2023-01-21 07:00:31 +0100 | fizbin_ | (~fizbin@user/fizbin) |
| 2023-01-21 07:02:23 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-01-21 07:03:01 +0100 | fizbin | (~fizbin@user/fizbin) (Read error: Connection reset by peer) |
| 2023-01-21 07:03:30 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-01-21 07:14:53 +0100 | azimut_ | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 2023-01-21 07:16:28 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2023-01-21 07:17:47 +0100 | fizbin_ | (~fizbin@user/fizbin) (Remote host closed the connection) |
| 2023-01-21 07:18:07 +0100 | fizbin_ | (~fizbin@user/fizbin) |
| 2023-01-21 07:25:08 +0100 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 246 seconds) |
| 2023-01-21 07:27:05 +0100 | the_proffesor | (~theproffe@user/theproffesor) (Ping timeout: 260 seconds) |
| 2023-01-21 07:30:06 +0100 | fizbin_ | (~fizbin@user/fizbin) (Ping timeout: 255 seconds) |
| 2023-01-21 07:31:08 +0100 | <maerwald[m]> | EvanR: I always thought it would only be fair of the interview is two ways. I wanna test their knowledge too. So go ahead and prepare some overly specific questions as well of the domain you're most proficient in. |
| 2023-01-21 07:32:37 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-01-21 07:32:58 +0100 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-01-21 07:36:55 +0100 | <maerwald[m]> | And bombing the candidate with tough questions and live coding is a good way to never get a high performance ADHD coder in your team |
| 2023-01-21 07:37:31 +0100 | <maerwald[m]> | So you're basically filtering a very specific type of coder and you don't even know it |
| 2023-01-21 07:37:39 +0100 | <maerwald[m]> | It's not intelligence or skill though |
| 2023-01-21 07:38:40 +0100 | <maerwald[m]> | It's similar to how university works with exams. It's total BS. |
| 2023-01-21 07:46:58 +0100 | oldfashionedcow | (~Rahul_San@user/oldfashionedcow) (Quit: WeeChat 3.7.1) |
| 2023-01-21 07:54:13 +0100 | theproffesor | (~theproffe@2601:282:8800:3f30::4cd8) |
| 2023-01-21 07:54:13 +0100 | theproffesor | (~theproffe@2601:282:8800:3f30::4cd8) (Changing host) |
| 2023-01-21 07:54:13 +0100 | theproffesor | (~theproffe@user/theproffesor) |
| 2023-01-21 07:57:33 +0100 | ensyde | (~ensyde@104-62-224-96.lightspeed.chrlnc.sbcglobal.net) (Quit: WeeChat 3.5) |
| 2023-01-21 08:01:14 +0100 | sammelweis_ | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-01-21 08:02:37 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 252 seconds) |
| 2023-01-21 08:07:27 +0100 | OscarZ | (~oscarz@95.175.104.39) |
| 2023-01-21 08:07:32 +0100 | OscarZ | (~oscarz@95.175.104.39) (Remote host closed the connection) |
| 2023-01-21 08:32:15 +0100 | thongpv | (~thongpv87@2001:ee0:5577:f0d0:8499:e0aa:237f:425c) |
| 2023-01-21 08:40:39 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2023-01-21 08:42:40 +0100 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) |
| 2023-01-21 08:49:34 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 272 seconds) |
| 2023-01-21 08:58:39 +0100 | thongpv | (~thongpv87@2001:ee0:5577:f0d0:8499:e0aa:237f:425c) (Ping timeout: 256 seconds) |
| 2023-01-21 09:08:37 +0100 | sammelweis_ | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-01-21 09:09:54 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-01-21 09:13:26 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Client Quit) |
| 2023-01-21 09:14:33 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-01-21 09:14:54 +0100 | razetime | (~Thunderbi@117.193.6.2) (Ping timeout: 272 seconds) |
| 2023-01-21 09:16:58 +0100 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2023-01-21 09:22:41 +0100 | acidjnk | (~acidjnk@p200300d6e715c42424d634bdd8dae3a2.dip0.t-ipconnect.de) |
| 2023-01-21 09:25:47 +0100 | gmg | (~user@user/gehmehgeh) |
| 2023-01-21 09:29:26 +0100 | razetime | (~Thunderbi@117.193.6.2) |
| 2023-01-21 09:34:32 +0100 | ddellacosta | (~ddellacos@143.244.47.100) (Ping timeout: 256 seconds) |
| 2023-01-21 09:40:18 +0100 | webmaster | Angelz |
| 2023-01-21 09:44:54 +0100 | jespada_ | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2023-01-21 09:45:10 +0100 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 265 seconds) |
| 2023-01-21 09:49:19 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:71a5:b1e9:85a5:f360) (Remote host closed the connection) |
| 2023-01-21 09:57:11 +0100 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) |
| 2023-01-21 10:00:05 +0100 | schuelermine[m] | (~schuelerm@user/schuelermine) (Quit: You have been kicked for being idle) |
| 2023-01-21 10:12:52 +0100 | thongpv | (~thongpv87@2001:ee0:5577:f0d0:f130:fce7:552c:f38e) |
| 2023-01-21 10:13:00 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-152.elisa-laajakaista.fi) |
| 2023-01-21 10:16:58 +0100 | mei | (~mei@user/mei) (Quit: mei) |
| 2023-01-21 10:19:05 +0100 | mei | (~mei@user/mei) |
| 2023-01-21 10:23:56 +0100 | mei | Guest8081 |
| 2023-01-21 10:24:00 +0100 | mei | (~mei@user/mei) |
| 2023-01-21 10:25:44 +0100 | Midjak | (~Midjak@82.66.147.146) |
| 2023-01-21 10:25:55 +0100 | Guest8081 | (~mei@user/mei) (Ping timeout: 256 seconds) |
| 2023-01-21 10:28:51 +0100 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2023-01-21 10:32:38 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2023-01-21 10:38:15 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2023-01-21 10:45:02 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-01-21 10:46:18 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-01-21 10:47:27 +0100 | mei | (~mei@user/mei) (Ping timeout: 256 seconds) |
| 2023-01-21 10:49:47 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:71a5:b1e9:85a5:f360) |
| 2023-01-21 10:51:43 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-01-21 10:51:52 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-01-21 10:52:26 +0100 | mechap | (~mechap@user/mechap) (Ping timeout: 272 seconds) |
| 2023-01-21 10:53:08 +0100 | v0id_ptr | (~adrift@user/ptr-frac7al/x-0038398) |
| 2023-01-21 10:54:14 +0100 | mechap | (~mechap@user/mechap) |
| 2023-01-21 10:54:15 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:71a5:b1e9:85a5:f360) (Ping timeout: 252 seconds) |
| 2023-01-21 10:55:22 +0100 | v0id_ptr | (~adrift@user/ptr-frac7al/x-0038398) (Client Quit) |
| 2023-01-21 10:55:36 +0100 | v0id_ptr | (~adrift@user/ptr-frac7al/x-0038398) |
| 2023-01-21 11:00:02 +0100 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds) |
| 2023-01-21 11:00:09 +0100 | Homer_Simpson | (uid550301@id-550301.uxbridge.irccloud.com) |
| 2023-01-21 11:02:07 +0100 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2023-01-21 11:03:48 +0100 | v0id_ptr | (~adrift@user/ptr-frac7al/x-0038398) (Quit: WeeChat 3.5) |
| 2023-01-21 11:04:18 +0100 | jespada_ | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Read error: Connection reset by peer) |
| 2023-01-21 11:06:32 +0100 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 255 seconds) |
| 2023-01-21 11:07:04 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2023-01-21 11:07:52 +0100 | v0id_ptr | (~adrift@user/ptr-frac7al/x-0038398) |
| 2023-01-21 11:11:16 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 252 seconds) |
| 2023-01-21 11:11:51 +0100 | opticblast | (~Thunderbi@secure-165.caltech.edu) |
| 2023-01-21 11:12:36 +0100 | opticblast | (~Thunderbi@secure-165.caltech.edu) (Remote host closed the connection) |
| 2023-01-21 11:15:04 +0100 | v0id_ptr | (~adrift@user/ptr-frac7al/x-0038398) (Quit: WeeChat 3.5) |
| 2023-01-21 11:17:03 +0100 | danza | (~francesco@151.37.248.221) |
| 2023-01-21 11:25:22 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-01-21 11:31:28 +0100 | curious-user | (~user@user/curious-user) |
| 2023-01-21 11:31:32 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2023-01-21 11:32:28 +0100 | <curious-user> | hi, why StateT s m a is (s -> m (a, s)) and not (m (State s a)) similar to MaybeT? |
| 2023-01-21 11:33:59 +0100 | <maerwald> | StateT is more similar to ReaderT than MaybeT |
| 2023-01-21 11:34:05 +0100 | <maerwald> | so not sure that's a useful question |
| 2023-01-21 11:34:21 +0100 | <maerwald> | you need an initial state and then pass the intermediate steps through |
| 2023-01-21 11:35:37 +0100 | <maerwald> | ah, sorry, I misread |
| 2023-01-21 11:36:03 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 260 seconds) |
| 2023-01-21 11:36:11 +0100 | <maerwald> | well, you would have your initial state inside the monad |
| 2023-01-21 11:36:15 +0100 | <maerwald> | which is unfortunate |
| 2023-01-21 11:37:05 +0100 | <maerwald> | s -> m (a, s) is not the same as m (s -> (s, a)) |
| 2023-01-21 11:40:45 +0100 | <[exa]> | the `(s->m (a,s))` view can be read as "`s` can choose what internal monadic operations to run", which is slightly different from `(m (s -> (s,a))` aka `m (State s a)` which you can read as "you run `m` to get a stateful computation that can't use `m`" |
| 2023-01-21 11:41:34 +0100 | <[exa]> | :t runStateT <--- spoiler |
| 2023-01-21 11:41:35 +0100 | <lambdabot> | error: |
| 2023-01-21 11:41:35 +0100 | <lambdabot> | parse error (possibly incorrect indentation or mismatched brackets) |
| 2023-01-21 11:41:48 +0100 | <[exa]> | oh noes, stupid me. :D |
| 2023-01-21 11:42:03 +0100 | <[exa]> | :t runStateT -- this should show the relation. |
| 2023-01-21 11:42:05 +0100 | <lambdabot> | StateT s m a -> s -> m (a, s) |
| 2023-01-21 11:42:07 +0100 | <maerwald> | [exa]: it's kinda the difference between applicative and monad |
| 2023-01-21 11:44:09 +0100 | <[exa]> | yeah that's a good view too |
| 2023-01-21 11:49:13 +0100 | <curious-user> | maerwald: [exa] got it, thank you! |
| 2023-01-21 11:51:32 +0100 | razetime | (~Thunderbi@117.193.6.2) (Remote host closed the connection) |
| 2023-01-21 11:52:16 +0100 | Vajb | (~Vajb@2001:999:78d:d7:457c:7773:573e:6903) (Read error: Connection reset by peer) |
| 2023-01-21 11:52:33 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-01-21 11:52:48 +0100 | thongpv | (~thongpv87@2001:ee0:5577:f0d0:f130:fce7:552c:f38e) (Ping timeout: 256 seconds) |
| 2023-01-21 11:53:14 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi) |
| 2023-01-21 12:03:43 +0100 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2023-01-21 12:19:15 +0100 | acidjnk | (~acidjnk@p200300d6e715c42424d634bdd8dae3a2.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2023-01-21 12:25:22 +0100 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) (Remote host closed the connection) |
| 2023-01-21 12:25:42 +0100 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) |
| 2023-01-21 12:26:55 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-01-21 12:34:47 +0100 | fserucas | (~fserucas@2001:818:e376:a400:fb92:70c1:dd88:c7d7) |
| 2023-01-21 12:34:53 +0100 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) |
| 2023-01-21 12:35:05 +0100 | fserucas | (~fserucas@2001:818:e376:a400:fb92:70c1:dd88:c7d7) (Client Quit) |
| 2023-01-21 12:36:26 +0100 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2023-01-21 12:39:36 +0100 | biberu | (~biberu@user/biberu) |
| 2023-01-21 12:47:42 +0100 | jakalx | (~jakalx@base.jakalx.net) () |
| 2023-01-21 12:49:12 +0100 | jakalx | (~jakalx@base.jakalx.net) |
| 2023-01-21 12:54:56 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2023-01-21 12:56:45 +0100 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) |
| 2023-01-21 12:57:45 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-01-21 12:59:25 +0100 | califax | (~califax@user/califx) |
| 2023-01-21 13:01:20 +0100 | danza | (~francesco@151.37.248.221) (Ping timeout: 268 seconds) |
| 2023-01-21 13:02:37 +0100 | cheater_ | (~Username@user/cheater) |
| 2023-01-21 13:06:08 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2023-01-21 13:06:14 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 260 seconds) |
| 2023-01-21 13:06:24 +0100 | cheater_ | cheater |
| 2023-01-21 13:06:28 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2023-01-21 13:10:06 +0100 | curious-user | (~user@user/curious-user) (Quit: WeeChat 3.8) |
| 2023-01-21 13:12:32 +0100 | Vajb | (~Vajb@2001:999:78d:d7:457c:7773:573e:6903) |
| 2023-01-21 13:22:29 +0100 | defanor | (~defanor@tart.uberspace.net) (Quit: .) |
| 2023-01-21 13:23:08 +0100 | defanor | (~defanor@tart.uberspace.net) |
| 2023-01-21 13:29:42 +0100 | perrierjouet | (~perrier-j@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 3.8) |
| 2023-01-21 13:31:23 +0100 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) (Ping timeout: 264 seconds) |
| 2023-01-21 13:33:41 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2023-01-21 13:37:14 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2023-01-21 13:38:22 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 272 seconds) |
| 2023-01-21 13:39:34 +0100 | sagax | (~sagax_nb@user/sagax) (Ping timeout: 268 seconds) |
| 2023-01-21 13:42:21 +0100 | thongpv | (~thongpv87@2001:ee0:5577:f0d0:73e4:4002:4782:e47b) |
| 2023-01-21 13:54:31 +0100 | perrierjouet | (~perrier-j@modemcable048.127-56-74.mc.videotron.ca) |
| 2023-01-21 13:58:09 +0100 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) (Ping timeout: 260 seconds) |
| 2023-01-21 13:58:15 +0100 | Guest|10 | (~Guest|10@223.187.70.31) |
| 2023-01-21 13:58:23 +0100 | Guest|10 | (~Guest|10@223.187.70.31) (Client Quit) |
| 2023-01-21 14:03:28 +0100 | [Leary] | (~Leary]@user/Leary/x-0910699) (Remote host closed the connection) |
| 2023-01-21 14:04:06 +0100 | [Leary] | (~Leary]@user/Leary/x-0910699) |
| 2023-01-21 14:10:04 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2023-01-21 14:11:00 +0100 | danza | (~francesco@151.46.140.113) |
| 2023-01-21 14:14:41 +0100 | pie_ | (~pie_bnc@user/pie/x-2818909) () |
| 2023-01-21 14:15:19 +0100 | pie_ | (~pie_bnc@user/pie/x-2818909) |
| 2023-01-21 14:17:08 +0100 | pavonia | (~user@user/siracusa) |
| 2023-01-21 14:20:54 +0100 | mei | (~mei@user/mei) |
| 2023-01-21 14:24:07 +0100 | tremon | (~tremon@83-85-213-108.cable.dynamic.v4.ziggo.nl) |
| 2023-01-21 14:24:55 +0100 | hrberg | (~quassel@171.79-160-161.customer.lyse.net) |
| 2023-01-21 14:25:25 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-01-21 14:26:34 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-01-21 14:29:09 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2023-01-21 14:29:42 +0100 | hgolden | (~hgolden@cpe-172-251-233-141.socal.res.rr.com) (Remote host closed the connection) |
| 2023-01-21 14:32:22 +0100 | hgolden | (~hgolden@cpe-172-251-233-141.socal.res.rr.com) |
| 2023-01-21 14:33:40 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 252 seconds) |
| 2023-01-21 14:38:36 +0100 | acidjnk | (~acidjnk@p200300d6e715c424c4be665c85703a1b.dip0.t-ipconnect.de) |
| 2023-01-21 14:41:07 +0100 | mei | Guest6473 |
| 2023-01-21 14:41:07 +0100 | Guest6473 | (~mei@user/mei) (Killed (cadmium.libera.chat (Nickname regained by services))) |
| 2023-01-21 14:41:12 +0100 | mei | (~mei@user/mei) |
| 2023-01-21 14:43:58 +0100 | cheater_ | (~Username@user/cheater) |
| 2023-01-21 14:45:03 +0100 | jinsun | (~jinsun@user/jinsun) |
| 2023-01-21 14:46:35 +0100 | barzo | (~hd@31.223.41.44) |
| 2023-01-21 14:46:59 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 264 seconds) |
| 2023-01-21 14:47:05 +0100 | cheater_ | cheater |
| 2023-01-21 14:54:08 +0100 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 256 seconds) |
| 2023-01-21 15:01:14 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2023-01-21 15:01:58 +0100 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-01-21 15:10:13 +0100 | remedan | (~remedan@ip-89-177-74-251.bb.vodafone.cz) (Ping timeout: 268 seconds) |
| 2023-01-21 15:10:23 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 256 seconds) |
| 2023-01-21 15:10:44 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-01-21 15:11:54 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2023-01-21 15:16:14 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 256 seconds) |
| 2023-01-21 15:18:44 +0100 | jakalx | (~jakalx@base.jakalx.net) (Disconnected: Replaced by new connection) |
| 2023-01-21 15:18:45 +0100 | jakalx | (~jakalx@base.jakalx.net) |
| 2023-01-21 15:18:58 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-01-21 15:20:36 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-01-21 15:20:52 +0100 | perrierjouet | (~perrier-j@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 3.8) |
| 2023-01-21 15:24:01 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2023-01-21 15:25:16 +0100 | razetime | (~Thunderbi@117.193.6.2) |
| 2023-01-21 15:26:21 +0100 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) |
| 2023-01-21 15:30:00 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-01-21 15:30:52 +0100 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds) |
| 2023-01-21 15:33:44 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2023-01-21 15:39:22 +0100 | jinsun__ | (~jinsun@user/jinsun) |
| 2023-01-21 15:39:22 +0100 | jinsun | (~jinsun@user/jinsun) (Killed (iridium.libera.chat (Nickname regained by services))) |
| 2023-01-21 15:39:22 +0100 | jinsun__ | jinsun |
| 2023-01-21 15:41:34 +0100 | unit73e | (~emanuel@2001:818:e8dd:7c00:656:e5ff:fe72:9d36) |
| 2023-01-21 15:45:12 +0100 | _xor | (~xor@74.215.182.83) (Read error: Connection reset by peer) |
| 2023-01-21 15:45:43 +0100 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2023-01-21 15:45:58 +0100 | jinsun | (~jinsun@user/jinsun) |
| 2023-01-21 15:46:18 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2023-01-21 15:48:12 +0100 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2023-01-21 15:48:27 +0100 | jinsun | (~jinsun@user/jinsun) |
| 2023-01-21 15:50:25 +0100 | jinsun__ | (~jinsun@user/jinsun) |
| 2023-01-21 15:50:25 +0100 | jinsun | (~jinsun@user/jinsun) (Killed (mercury.libera.chat (Nickname regained by services))) |
| 2023-01-21 15:50:25 +0100 | jinsun__ | jinsun |
| 2023-01-21 15:51:13 +0100 | _xor | (~xor@74.215.182.83) |
| 2023-01-21 15:55:44 +0100 | perrierjouet | (~perrier-j@modemcable048.127-56-74.mc.videotron.ca) |
| 2023-01-21 16:05:30 +0100 | jinsun | Guest1049 |
| 2023-01-21 16:05:30 +0100 | jinsun__ | (~jinsun@user/jinsun) |
| 2023-01-21 16:05:30 +0100 | Guest1049 | (~jinsun@user/jinsun) (Killed (molybdenum.libera.chat (Nickname regained by services))) |
| 2023-01-21 16:05:30 +0100 | jinsun__ | jinsun |
| 2023-01-21 16:15:36 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-01-21 16:20:11 +0100 | gurkenglas | (~gurkengla@dynamic-046-114-176-241.46.114.pool.telefonica.de) |
| 2023-01-21 16:23:33 +0100 | jinsun__ | (~jinsun@user/jinsun) |
| 2023-01-21 16:23:33 +0100 | jinsun | (~jinsun@user/jinsun) (Killed (silver.libera.chat (Nickname regained by services))) |
| 2023-01-21 16:23:33 +0100 | jinsun__ | jinsun |
| 2023-01-21 16:27:34 +0100 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2023-01-21 16:33:39 +0100 | __xor | (~xor@74.215.182.83) |
| 2023-01-21 16:33:52 +0100 | _xor | (~xor@74.215.182.83) (Ping timeout: 256 seconds) |
| 2023-01-21 16:36:16 +0100 | gurkenglas | (~gurkengla@dynamic-046-114-176-241.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-01-21 16:38:03 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2023-01-21 16:42:28 +0100 | gurkenglas | (~gurkengla@dynamic-046-114-176-241.46.114.pool.telefonica.de) |
| 2023-01-21 16:44:19 +0100 | dsrt^ | (~dsrt@c-24-30-76-89.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 2023-01-21 16:49:46 +0100 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) |
| 2023-01-21 16:50:02 +0100 | remedan | (~remedan@ip-89-177-74-251.bb.vodafone.cz) |
| 2023-01-21 16:52:01 +0100 | pagnol | (~user@213-205-209-87.ftth.glasoperator.nl) |
| 2023-01-21 16:55:55 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-01-21 16:58:18 +0100 | OscarZ | (~oscarz@95.175.104.39) |
| 2023-01-21 17:01:24 +0100 | perrierjouet | (~perrier-j@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 3.8) |
| 2023-01-21 17:02:01 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-01-21 17:03:02 +0100 | perrierjouet | (~perrier-j@modemcable048.127-56-74.mc.videotron.ca) |
| 2023-01-21 17:03:16 +0100 | razetime | (~Thunderbi@117.193.6.2) (Remote host closed the connection) |
| 2023-01-21 17:07:00 +0100 | oldfashionedcow | (~Rahul_San@user/oldfashionedcow) |
| 2023-01-21 17:07:35 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2023-01-21 17:07:57 +0100 | ddellacosta | (~ddellacos@143.244.47.100) |
| 2023-01-21 17:11:11 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Client Quit) |
| 2023-01-21 17:11:43 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2023-01-21 17:17:07 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2023-01-21 17:26:50 +0100 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) |
| 2023-01-21 17:31:24 +0100 | <pagnol> | It's unfortunately quiet in here |
| 2023-01-21 17:32:32 +0100 | <geekosaur> | happens, especially on weekends |
| 2023-01-21 17:35:35 +0100 | <pagnol> | I'd like to ask: I assume a lof of you rely on procedural languages for your day-to-day work. How does your knowledge of pure FP influence the way you program in regular languages? |
| 2023-01-21 17:40:05 +0100 | danza | (~francesco@151.46.140.113) (Quit: Leaving) |
| 2023-01-21 17:40:15 +0100 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-01-21 17:41:13 +0100 | <hpc> | when i run into one of the more notoriously "hard" things to deal with like concurrency or parsing some custom format, it's no longer that big a deal |
| 2023-01-21 17:41:50 +0100 | <hpc> | because i know how it's done properly, and i can avoid all the problems of if i just wrote it carelessly in whatever style that other language prefers |
| 2023-01-21 17:43:38 +0100 | <hpc> | at this point, i don't even really think anything of it |
| 2023-01-21 17:47:30 +0100 | trev_ | (~trev@109.252.35.99) |
| 2023-01-21 17:49:35 +0100 | <pagnol> | I'm not sure I follow |
| 2023-01-21 17:50:02 +0100 | <geekosaur> | write as if you're still programming in Haskell |
| 2023-01-21 17:50:34 +0100 | <geekosaur> | the language won't force you to do things correctly, but if you're already used to doing so then you'll write correct and reliable code |
| 2023-01-21 17:50:35 +0100 | <pagnol> | how do you do that? without typeclasses, immutability etc.? |
| 2023-01-21 17:51:08 +0100 | <hpc> | you don't need immutability to just not reassign things |
| 2023-01-21 17:51:26 +0100 | <geekosaur> | that's an example of the language not forcing you to do it right |
| 2023-01-21 17:52:55 +0100 | <hpc> | controlling where you put your IO is another one |
| 2023-01-21 17:53:32 +0100 | <pagnol> | agreed |
| 2023-01-21 17:53:42 +0100 | <hpc> | even in haskell that's still mostly discipline, the types just nag you every step of the way |
| 2023-01-21 17:54:31 +0100 | __xor | (~xor@74.215.182.83) (Read error: Connection reset by peer) |
| 2023-01-21 17:55:23 +0100 | <dsal> | I started programming in go a long time ago and basically just wrote all my go code in erlang. |
| 2023-01-21 17:55:43 +0100 | <pagnol> | What does erlangy Go look like? |
| 2023-01-21 17:56:02 +0100 | <dsal> | You have a goroutine that's reading from a channel and all state changes are commands that come across that channel. |
| 2023-01-21 17:57:07 +0100 | <dsal> | You don't have supervisors and other useful bits, but you have a really clear and obviously correct (and testable) way to change stuff and observe changes. |
| 2023-01-21 17:57:55 +0100 | <dsal> | In Haskell, I've got pretty complicated concurrent state I'm managing with composable STM bits. If I had to do this in another language, I'd just write bugs. |
| 2023-01-21 17:58:26 +0100 | rigel_ | (~kaushikv@c-24-20-37-193.hsd1.or.comcast.net) |
| 2023-01-21 17:58:53 +0100 | <dsal> | Luckily, my day job is writing Haskell, so I don't have to do this kind of thing at the moment. :) |
| 2023-01-21 17:59:49 +0100 | <pagnol> | you remind me that I want to read up on STM |
| 2023-01-21 18:00:10 +0100 | rigel_ | (~kaushikv@c-24-20-37-193.hsd1.or.comcast.net) () |
| 2023-01-21 18:00:31 +0100 | <dsal> | At my last job, I used to annoy my coworkers by using go's quickcheck thing for a lot of my tests. I found a lot of bugs using that, but most people didn't think that way and go's quickcheck tools are excessively primitive so that didn't help either. |
| 2023-01-21 18:01:23 +0100 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds) |
| 2023-01-21 18:01:41 +0100 | <dsal> | STM is annoyingly easy to think about. It does exist in some other languages, but you have to be super careful to use it correctly. One of Haskell's greatest strengths is in allowing you to limit what people do with an API. |
| 2023-01-21 18:02:06 +0100 | <pagnol> | was it an existing Go-codebase with a largely imperative codestyle where you started using this? |
| 2023-01-21 18:02:34 +0100 | <dsal> | e.g., if you look at an STM library in another language (go, rust, etc...) they have a big list of things you have to do to avoid bugs. In Haskell, those things don't compile. |
| 2023-01-21 18:03:36 +0100 | <pagnol> | do you happen to have an example? |
| 2023-01-21 18:03:38 +0100 | <dsal> | ...a bit of each in go. There was one point where someone found a bug in a thing he'd written and sent me code to review with this giant test that did exactly the thing he thought didn't work. It was effectively "write this specific stuff to the database and find this specific stuff in the database." He had a concurrency issue or something and it didn't work. |
| 2023-01-21 18:04:04 +0100 | <dsal> | I sent him back a test that was almost exactly the same length that encoded "if I write stuff into the database, I can read it back." It failed in other scenarios than the one his bug fixed. |
| 2023-01-21 18:04:21 +0100 | <dsal> | STM examples are pretty easy. At a high level, you just can't have side effects. |
| 2023-01-21 18:04:40 +0100 | <dsal> | You can't interact with vars that aren't STM vars. You can't do any kind of disk or network IO. Stuff like that. |
| 2023-01-21 18:05:09 +0100 | <dsal> | e.g. look at the "safety" section here: https://github.com/Marthog/rust-stm |
| 2023-01-21 18:05:19 +0100 | <dsal> | Why can't the language just prevent you from doing those things you shouldn't do? |
| 2023-01-21 18:06:06 +0100 | <dsal> | In Haskell, the type of `atomically` is ` :: STM a -> IO a` -- you can't call it inside STM because STM isn't IO |
| 2023-01-21 18:06:35 +0100 | <dsal> | (same reason you can't read from a file, network, the clock, etc...) |
| 2023-01-21 18:11:06 +0100 | <dsal> | Concurrency composition is just unfathomable without STM, though. I have some code that schedules and runs tasks. I have some other code that contains a map of items. A recent change added support for canceling scheduled tasks, so I modified my replacement code to atomically enqueue future deletion, cancel existing future deletion, and store the item in the map. Super easy to understand code. Just worked first time. |
| 2023-01-21 18:11:38 +0100 | <dsal> | (this is my mqtt broker which has the concept of messages that persist for a number of seconds – turns out, *most* of these deletion jobs never actually need to run) |
| 2023-01-21 18:12:34 +0100 | Luj3 | Luj |
| 2023-01-21 18:14:28 +0100 | caubert | (~caubert@user/caubert) (Quit: WeeChat 3.5) |
| 2023-01-21 18:16:11 +0100 | <johnjaye> | what do all these libghc-xyz-dev packages do? |
| 2023-01-21 18:16:52 +0100 | <geekosaur> | they're just debian/ubuntu packaged versions of hackage libraries |
| 2023-01-21 18:17:09 +0100 | <johnjaye> | ok. i thought dev meant it was for compilation |
| 2023-01-21 18:17:52 +0100 | <geekosaur> | well, they'd be needed for compiling something , but not necessarily to compile anything |
| 2023-01-21 18:18:53 +0100 | <johnjaye> | hrm. well agda wanted a lot of them. could it compile things without having ghc itself installed? |
| 2023-01-21 18:19:06 +0100 | caubert | (~caubert@user/caubert) |
| 2023-01-21 18:19:48 +0100 | <geekosaur> | I believe it has support for that, but it also has support to build via haskell and there's no way to configure it to only offer that if ghc is installed |
| 2023-01-21 18:20:19 +0100 | __xor | (~xor@74.215.182.83) |
| 2023-01-21 18:20:28 +0100 | <johnjaye> | i don't follow. i thought ghc was the compiler for everything |
| 2023-01-21 18:21:14 +0100 | telser | (~quassel@user/telser) (Ping timeout: 255 seconds) |
| 2023-01-21 18:23:08 +0100 | perrierjouet | (~perrier-j@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 3.8) |
| 2023-01-21 18:24:37 +0100 | perrierjouet | (~perrier-j@modemcable048.127-56-74.mc.videotron.ca) |
| 2023-01-21 18:29:42 +0100 | <geekosaur> | in the older version of agda, ghc was the only option. I think more recent versions have support for direct native compilation |
| 2023-01-21 18:29:54 +0100 | <geekosaur> | but still offer compiling via haskell |
| 2023-01-21 18:30:15 +0100 | <geekosaur> | I know this is true of Idris but I think it's also true of agda these days |
| 2023-01-21 18:30:23 +0100 | <johnjaye> | ah ok |
| 2023-01-21 18:36:42 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-01-21 18:40:48 +0100 | mei | (~mei@user/mei) (Ping timeout: 256 seconds) |
| 2023-01-21 18:43:23 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 255 seconds) |
| 2023-01-21 18:48:50 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2023-01-21 18:50:47 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2023-01-21 18:51:07 +0100 | zer0bitz | (~zer0bitz@2001:2003:f443:d600:fd01:eb1c:8f92:62) (Read error: Connection reset by peer) |
| 2023-01-21 18:52:59 +0100 | tsns | (~tsns@91.150.188.137) |
| 2023-01-21 18:53:25 +0100 | tsns | (~tsns@91.150.188.137) () |
| 2023-01-21 18:55:06 +0100 | oldfashionedcat | (~oldfashio@2.120.174.52) |
| 2023-01-21 18:55:07 +0100 | econo | (uid147250@user/econo) |
| 2023-01-21 18:55:10 +0100 | tjakway | (~tjakway@cpe-107-184-74-161.socal.res.rr.com) |
| 2023-01-21 18:55:27 +0100 | zer0bitz | (~zer0bitz@2001:2003:f443:d600:85a7:540:9c96:4862) |
| 2023-01-21 19:00:07 +0100 | tjakway | (~tjakway@cpe-107-184-74-161.socal.res.rr.com) (Quit: WeeChat 3.5) |
| 2023-01-21 19:02:10 +0100 | <lyxia> | Agda doesn't have native compilation, just via Haskell and JS for some reason https://agda.readthedocs.io/en/v2.6.2.2.20230105/tools/compilers.html but most users don't compile agda anyway |
| 2023-01-21 19:03:18 +0100 | mei | (~mei@user/mei) |
| 2023-01-21 19:19:20 +0100 | talismanick | (~talismani@2601:200:c181:4c40::1be2) (Ping timeout: 260 seconds) |
| 2023-01-21 19:26:40 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-01-21 19:34:24 +0100 | cheater_ | (~Username@user/cheater) |
| 2023-01-21 19:37:28 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 256 seconds) |
| 2023-01-21 19:37:31 +0100 | cheater_ | cheater |
| 2023-01-21 19:39:05 +0100 | pagnol | (~user@213-205-209-87.ftth.glasoperator.nl) (Ping timeout: 268 seconds) |
| 2023-01-21 19:45:39 +0100 | phma | (~phma@2001:5b0:210b:d368:3e46:f9fe:761f:820d) (Read error: Connection reset by peer) |
| 2023-01-21 19:46:35 +0100 | phma | (~phma@2001:5b0:211c:c048:963e:eaf4:804a:2fe0) |
| 2023-01-21 19:54:19 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-01-21 19:57:46 +0100 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) |
| 2023-01-21 20:09:43 +0100 | pagnol | (~user@213-205-209-87.ftth.glasoperator.nl) |
| 2023-01-21 20:19:05 +0100 | barak | (~barak@77.125.91.132) |
| 2023-01-21 20:21:18 +0100 | mastarija | (~mastarija@188.252.197.161) |
| 2023-01-21 20:21:49 +0100 | <mastarija> | Is there a way to see the sha256 of a package on hackage? |
| 2023-01-21 20:22:02 +0100 | barak | (~barak@77.125.91.132) (Remote host closed the connection) |
| 2023-01-21 20:22:06 +0100 | <mastarija> | I want to create a nix derivation and I'm missing this information |
| 2023-01-21 20:24:45 +0100 | trev_ | (~trev@109.252.35.99) (Remote host closed the connection) |
| 2023-01-21 20:25:41 +0100 | <c_wraith> | mastarija: if you've already installed it outside of nix, the package is probably locally cached in ~/.cabal/packages and you can just run sha256sum on the .tar.gz file |
| 2023-01-21 20:26:42 +0100 | <mastarija> | I haven't. I remember there was a cabal command to download the tar, so I'll do that. But I was hoping for something convenient on hackage. |
| 2023-01-21 20:26:48 +0100 | <mastarija> | I thought maybe i was blind :) |
| 2023-01-21 20:28:13 +0100 | geekosaur | wonders if flora should show this, if hackage doesn't (it doesn't currently) |
| 2023-01-21 20:28:21 +0100 | <geekosaur> | cabal get |
| 2023-01-21 20:29:12 +0100 | <mastarija> | flora? |
| 2023-01-21 20:29:23 +0100 | <mastarija> | is that an alternative package repository? |
| 2023-01-21 20:29:38 +0100 | <geekosaur> | Hécate's alternative UI to hackage |
| 2023-01-21 20:29:50 +0100 | <geekosaur> | https://flora.pm |
| 2023-01-21 20:29:58 +0100 | <mastarija> | Aha. |
| 2023-01-21 20:30:00 +0100 | <mastarija> | Nice |
| 2023-01-21 20:32:29 +0100 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds) |
| 2023-01-21 20:32:59 +0100 | gurkenglas | (~gurkengla@dynamic-046-114-176-241.46.114.pool.telefonica.de) (Ping timeout: 246 seconds) |
| 2023-01-21 20:35:36 +0100 | mastarija | (~mastarija@188.252.197.161) (Quit: WeeChat 3.7.1) |
| 2023-01-21 20:38:47 +0100 | use-value1 | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) |
| 2023-01-21 20:40:12 +0100 | gurkenglas | (~gurkengla@dynamic-046-114-176-241.46.114.pool.telefonica.de) |
| 2023-01-21 20:40:17 +0100 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) (Ping timeout: 255 seconds) |
| 2023-01-21 20:40:18 +0100 | use-value1 | use-value |
| 2023-01-21 20:40:43 +0100 | <davean> | There are project.json files in the hackage index maerwald |
| 2023-01-21 20:40:45 +0100 | <davean> | er |
| 2023-01-21 20:40:49 +0100 | <davean> | mastarija |
| 2023-01-21 20:40:52 +0100 | <davean> | They left, didn't they? |
| 2023-01-21 20:41:00 +0100 | <geekosaur> | yeh |
| 2023-01-21 20:41:04 +0100 | <davean> | Well, there is an actual answer for them |
| 2023-01-21 20:41:21 +0100 | <davean> | that does it right |
| 2023-01-21 20:42:22 +0100 | <davean> | That is also signed from upstream |
| 2023-01-21 20:48:52 +0100 | remedan | (~remedan@ip-89-177-74-251.bb.vodafone.cz) (Ping timeout: 256 seconds) |
| 2023-01-21 20:50:03 +0100 | P1RATEZ | (piratez@user/p1ratez) |
| 2023-01-21 20:52:59 +0100 | shapr | (~user@68.54.166.125) |
| 2023-01-21 20:57:31 +0100 | cheater | (~Username@user/cheater) (Read error: Connection reset by peer) |
| 2023-01-21 20:58:17 +0100 | cheater | (~Username@user/cheater) |
| 2023-01-21 20:59:59 +0100 | remedan | (~remedan@ip-89-177-74-251.bb.vodafone.cz) |
| 2023-01-21 21:02:28 +0100 | barzo | (~hd@31.223.41.44) (Ping timeout: 256 seconds) |
| 2023-01-21 21:04:40 +0100 | ozkutuk53 | (~ozkutuk@176.240.174.60) |
| 2023-01-21 21:12:19 +0100 | tabemann | (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) |
| 2023-01-21 21:12:33 +0100 | tabemann__ | (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Read error: Connection reset by peer) |
| 2023-01-21 21:16:35 +0100 | barzo | (~hd@31.223.41.44) |
| 2023-01-21 21:24:47 +0100 | random-jellyfish | (~random-je@user/random-jellyfish) |
| 2023-01-21 21:34:26 +0100 | Guest75 | (~Guest75@178.141.138.233) |
| 2023-01-21 21:41:03 +0100 | zmm | (~zmm@104-218-69-1.dynamic.lnk.ne.allofiber.net) |
| 2023-01-21 21:41:14 +0100 | zmm | (~zmm@104-218-69-1.dynamic.lnk.ne.allofiber.net) () |
| 2023-01-21 21:41:57 +0100 | zer0bitz | (~zer0bitz@2001:2003:f443:d600:85a7:540:9c96:4862) (Read error: Connection reset by peer) |
| 2023-01-21 21:46:37 +0100 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-01-21 21:47:03 +0100 | Lycurgus | (~juan@98.4.112.204) |
| 2023-01-21 21:47:03 +0100 | Lycurgus | (~juan@98.4.112.204) (Changing host) |
| 2023-01-21 21:47:03 +0100 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-01-21 21:48:27 +0100 | Lycurgus | (~juan@user/Lycurgus) (Client Quit) |
| 2023-01-21 21:49:15 +0100 | ozkutuk53 | (~ozkutuk@176.240.174.60) (Ping timeout: 260 seconds) |
| 2023-01-21 21:56:51 +0100 | oldfashionedcat | (~oldfashio@2.120.174.52) (Quit: Client closed) |
| 2023-01-21 21:59:10 +0100 | gurkenglas | (~gurkengla@dynamic-046-114-176-241.46.114.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2023-01-21 22:07:13 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-01-21 22:07:13 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-01-21 22:07:13 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2023-01-21 22:10:51 +0100 | gurkenglas | (~gurkengla@dynamic-046-114-176-241.46.114.pool.telefonica.de) |
| 2023-01-21 22:17:43 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-01-21 22:18:32 +0100 | ozkutuk53 | (~ozkutuk@176.240.174.60) |
| 2023-01-21 22:19:00 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-01-21 22:20:38 +0100 | Cale | (~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com) (Ping timeout: 255 seconds) |
| 2023-01-21 22:22:42 +0100 | jbalint | (~jbalint@071-090-119-177.res.spectrum.com) (Quit: Bye!) |
| 2023-01-21 22:23:13 +0100 | random-jellyfish | (~random-je@user/random-jellyfish) (Quit: Client closed) |
| 2023-01-21 22:23:21 +0100 | gdd | (~gdd@2001:470:1f13:187:3a49:a5bc:2f91:2c4d) |
| 2023-01-21 22:26:25 +0100 | random-jellyfish | (~random-je@user/random-jellyfish) |
| 2023-01-21 22:28:16 +0100 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) |
| 2023-01-21 22:31:05 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) (Ping timeout: 255 seconds) |
| 2023-01-21 22:31:32 +0100 | <jean-paul[m]> | LocalTime doesn't carry a timezone with it ... which is annoying since it makes two different arbitrary LocalTime values unsafe to use together in pretty much any way. is there a LocalTime that carries a tz with it somewhere? |
| 2023-01-21 22:33:20 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2023-01-21 22:33:47 +0100 | Cale | (~cale@2607:fea8:995f:b910:f535:7e00:458d:8e0c) |
| 2023-01-21 22:33:59 +0100 | <anatta> | jean-paul[m]: isn't there a ZonedTime? |
| 2023-01-21 22:34:00 +0100 | <hololeap> | any ideas what I need to do to get this working? type MonadSay m = forall a. (MonadReader (Verbosity, a) m, MonadIO m) |
| 2023-01-21 22:34:43 +0100 | <jean-paul[m]> | aaahh there is, in a newer version of time than I have 😦 thanks |
| 2023-01-21 22:34:48 +0100 | <lyxia> | hololeap: what's the error |
| 2023-01-21 22:34:51 +0100 | <dsal> | time keeps on changing |
| 2023-01-21 22:35:08 +0100 | <jean-paul[m]> | it keeps on slipping into the future |
| 2023-01-21 22:35:28 +0100 | <hololeap> | lyxia: You can't specify an instance for a tuple constraint |
| 2023-01-21 22:35:42 +0100 | <hololeap> | I tried both RankNTypes and QuantifiedConstraints |
| 2023-01-21 22:35:58 +0100 | EvanR | (~EvanR@user/evanr) (Quit: Leaving) |
| 2023-01-21 22:37:00 +0100 | <hololeap> | and with this: type MonadSay m = ((forall a. MonadReader (Verbosity, a) m), MonadIO m) |
| 2023-01-21 22:37:33 +0100 | <hololeap> | I get: Illegal polymorphic type: forall a. MonadReader (Verbosity, a) m. GHC doesn't yet support impredicative polymorphism |
| 2023-01-21 22:38:11 +0100 | EvanR | (~EvanR@user/evanr) |
| 2023-01-21 22:38:35 +0100 | <hololeap> | I have also used: type MonadSay m a = (MonadReader (Verbosity, a) m), MonadIO m) |
| 2023-01-21 22:38:46 +0100 | <hololeap> | but then I have a dangling `a` that never gets used |
| 2023-01-21 22:39:49 +0100 | <hololeap> | this is supposed to be a more lax constraint than my full env monad: type EnvM = ReaderT (Verbosity, Env) IO |
| 2023-01-21 22:39:53 +0100 | <lyxia> | I think you can work around that last error message using ImpredicativeTypes |
| 2023-01-21 22:40:23 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2023-01-21 22:40:31 +0100 | <hololeap> | so I can use ` say :: MonadSay m a => String -> m ()` before the full Env is set up |
| 2023-01-21 22:40:56 +0100 | <lyxia> | but also MonadReader has a fundep so that constraint looks suspicious |
| 2023-01-21 22:41:08 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 272 seconds) |
| 2023-01-21 22:41:42 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2023-01-21 22:42:22 +0100 | <hololeap> | so I'm trying to implement the concept of "`say` doesn't care at all about what's in the second part of that ReaderT tuple" without having to carry an extra `a` around |
| 2023-01-21 22:42:57 +0100 | random-jellyfish | (~random-je@user/random-jellyfish) (Quit: Client closed) |
| 2023-01-21 22:43:35 +0100 | <hololeap> | it's just cosmetic, really |
| 2023-01-21 22:48:20 +0100 | random-jellyfish | (~random-je@user/random-jellyfish) |
| 2023-01-21 22:48:24 +0100 | P1RATEZ | (piratez@user/p1ratez) (Remote host closed the connection) |
| 2023-01-21 22:50:04 +0100 | random-jellyfish | (~random-je@user/random-jellyfish) (Client Quit) |
| 2023-01-21 22:54:00 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 2023-01-21 22:54:27 +0100 | P1RATEZ | (piratez@user/p1ratez) |
| 2023-01-21 22:54:48 +0100 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 2023-01-21 22:58:04 +0100 | Cale | (~cale@2607:fea8:995f:b910:f535:7e00:458d:8e0c) (Ping timeout: 256 seconds) |
| 2023-01-21 22:58:48 +0100 | Cale | (~cale@2607:fea8:995f:b910:f535:7e00:458d:8e0c) |
| 2023-01-21 23:01:49 +0100 | gurkenglas | (~gurkengla@dynamic-046-114-176-241.46.114.pool.telefonica.de) (Ping timeout: 260 seconds) |
| 2023-01-21 23:02:36 +0100 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2023-01-21 23:07:39 +0100 | ozkutuk53 | (~ozkutuk@176.240.174.60) (Ping timeout: 260 seconds) |
| 2023-01-21 23:11:11 +0100 | Homer_Simpson | (uid550301@id-550301.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-01-21 23:14:04 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2023-01-21 23:14:59 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2023-01-21 23:15:38 +0100 | Cale | (~cale@2607:fea8:995f:b910:f535:7e00:458d:8e0c) (Ping timeout: 256 seconds) |
| 2023-01-21 23:18:26 +0100 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2023-01-21 23:23:37 +0100 | gurkenglas | (~gurkengla@dynamic-046-114-176-241.46.114.pool.telefonica.de) |
| 2023-01-21 23:30:17 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-01-21 23:30:30 +0100 | remexre2 | (~remexre2@mail.sift.net) |
| 2023-01-21 23:31:47 +0100 | remexre | (~remexre@user/remexre) (Remote host closed the connection) |
| 2023-01-21 23:32:30 +0100 | remexre2 | (~remexre2@mail.sift.net) (Remote host closed the connection) |
| 2023-01-21 23:32:37 +0100 | remexre | (~remexre@user/remexre) |
| 2023-01-21 23:33:01 +0100 | _xor | (~xor@74.215.182.83) |
| 2023-01-21 23:33:17 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2023-01-21 23:34:52 +0100 | __xor | (~xor@74.215.182.83) (Ping timeout: 252 seconds) |
| 2023-01-21 23:35:55 +0100 | Cale | (~cale@cpebc4dfb3052b3-cmbc4dfb3052b0.cpe.net.cable.rogers.com) |
| 2023-01-21 23:36:52 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 272 seconds) |
| 2023-01-21 23:38:22 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-01-21 23:42:42 +0100 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-01-21 23:45:21 +0100 | freeside | (~mengwong@103.252.202.170) |
| 2023-01-21 23:46:09 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-01-21 23:46:22 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-01-21 23:50:10 +0100 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 272 seconds) |