2024-09-19 00:00:20 +0200 | <Zer000> | mauke, oh so it's how my list gets used? |
2024-09-19 00:01:08 +0200 | <Zer000> | You're probably right... maybe i should profile my program then |
2024-09-19 00:02:22 +0200 | <int-e> | hmmm https://mail.haskell.org/pipermail/haskell/2009-April/021173.html references the motto :P |
2024-09-19 00:02:30 +0200 | <Rembane> | int-e: Good stuff! :D |
2024-09-19 00:02:51 +0200 | <c_wraith> | Zer000: note that that line creates a list that's only three elements long. did you want [x, y .. z] instead? |
2024-09-19 00:03:43 +0200 | <mauke> | <Zer000> and my code isn't even right, it's building a list with three things in it, but I wanted to use the [n1, n2...n] syntax |
2024-09-19 00:03:51 +0200 | <c_wraith> | oh, whoops |
2024-09-19 00:04:09 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-09-19 00:04:59 +0200 | <Zer000> | magic_rb are you replying to me from matrix? I got confused by the briding for a second |
2024-09-19 00:05:26 +0200 | <Zer000> | you guys should use the matrix appservices bridge IMO it's way better but slightly more annoying to set up |
2024-09-19 00:05:39 +0200 | <haskellbridge> | <magic_rb> Zer000 yes is it showing up weirdly on the irc side? |
2024-09-19 00:05:50 +0200 | <Zer000> | It looks like someone is replying to you |
2024-09-19 00:06:10 +0200 | <int-e> | Tge motto appears in these slides from 2003. https://www.microsoft.com/en-us/research/publication/wearing-hair-shirt-retrospective-haskell-2003/ (via https://es.costashine-autospa.com/wg-cgi/marc.info/?l=haskell-cafe&m=120491982137885&w=2 ) |
2024-09-19 00:06:10 +0200 | <Zer000> | Like this: haskellbridge: <magic_rb> Zer000 yes is it showing up weirdly on the irc side? |
2024-09-19 00:06:49 +0200 | <int-e> | hmm, that second link is suspicious, should be https://marc.info/?l=haskell-cafe&m=120491982137885&w=2 |
2024-09-19 00:07:21 +0200 | <haskellbridge> | <magic_rb> Zer000 ah, i should finally get around to using heisenbridge to interact with this room, works much better in my experience |
2024-09-19 00:08:02 +0200 | <Rembane> | int-e: This gets even better! Thank you! |
2024-09-19 00:10:19 +0200 | Squared | (~Square@user/square) (Ping timeout: 260 seconds) |
2024-09-19 00:11:06 +0200 | <int-e> | That timing feels about right to me; my memory isn't good enough to say whether the motto was conceived then or has an earlier origin. |
2024-09-19 00:11:16 +0200 | dhruvasagar | (~dhruvasag@49.207.204.156) |
2024-09-19 00:11:20 +0200 | <monochrom> | Haha "gives too much power to implementers?" came true. |
2024-09-19 00:12:39 +0200 | <Rembane> | The most powerful implementers! |
2024-09-19 00:12:40 +0200 | <int-e> | hugs was still alive in 2003 |
2024-09-19 00:13:26 +0200 | <int-e> | Heck we had a cambric explosion of Haskell compilers for a while. Darwin killed them all or something. |
2024-09-19 00:14:48 +0200 | <Rembane> | Too few lovely islands for them to thrive? |
2024-09-19 00:14:55 +0200 | EvanR | sues GHC for being a monopoly |
2024-09-19 00:15:52 +0200 | dhruvasagar | (~dhruvasag@49.207.204.156) (Ping timeout: 252 seconds) |
2024-09-19 00:16:12 +0200 | <int-e> | (Realistically none of them had much staying power, and people who would've implemented Haskell around 2000 are now implementing new languages instead. A trend that maybe started with Clean? I don't really know, but it's an early example that I remember.) |
2024-09-19 00:16:48 +0200 | <Rembane> | That seems reasonable. And I think it's better for the world to have more languages rather than having more implementations of Haskell. |
2024-09-19 00:17:35 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-19 00:18:53 +0200 | <JuanDaugherty> | the hybrids thrived in niches, curry e.g. |
2024-09-19 00:19:58 +0200 | <JuanDaugherty> | u need a uni with a renewable labor pool |
2024-09-19 00:20:44 +0200 | <JuanDaugherty> | and not just some guy in a dept |
2024-09-19 00:22:00 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-09-19 00:24:25 +0200 | kritzefitz | (~kritzefit@debian/kritzefitz) (Remote host closed the connection) |
2024-09-19 00:25:16 +0200 | kritzefitz | (~kritzefit@debian/kritzefitz) |
2024-09-19 00:28:32 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-09-19 00:28:48 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-09-19 00:34:44 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-19 00:39:19 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-09-19 00:43:18 +0200 | dhruvasagar | (~dhruvasag@49.207.204.156) |
2024-09-19 00:48:14 +0200 | dhruvasagar | (~dhruvasag@49.207.204.156) (Ping timeout: 260 seconds) |
2024-09-19 00:50:12 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-19 00:54:15 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
2024-09-19 00:54:33 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-09-19 01:00:29 +0200 | athan | (~athan@2600:382:3a0d:4939:9511:a0d6:8db3:c9e4) (Ping timeout: 260 seconds) |
2024-09-19 01:01:07 +0200 | dhruvasagar | (~dhruvasag@49.207.204.156) |
2024-09-19 01:03:43 +0200 | <c_wraith> | can you allow-newer a native dependency? |
2024-09-19 01:04:55 +0200 | <c_wraith> | the cairo package seems to depend on librsvg-2.0 < 2.51 and debian stable currently packages 2.54 |
2024-09-19 01:05:21 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb224ccb10fade5fa5a7.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
2024-09-19 01:05:34 +0200 | <c_wraith> | err. the svgcairo package. |
2024-09-19 01:05:35 +0200 | dolio | (~dolio@130.44.140.168) (Quit: ZNC 1.8.2 - https://znc.in) |
2024-09-19 01:06:17 +0200 | <c_wraith> | Huh. I suppose I could have just tried. It seems to be trying to build now, at least. |
2024-09-19 01:06:22 +0200 | Sgeo | (~Sgeo@user/sgeo) |
2024-09-19 01:07:09 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-19 01:08:54 +0200 | remedan_ | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
2024-09-19 01:09:11 +0200 | <c_wraith> | didn't actually work. Seems it's not passing correct flags to pkg-config. |
2024-09-19 01:09:36 +0200 | dhruvasagar | (~dhruvasag@49.207.204.156) (Ping timeout: 246 seconds) |
2024-09-19 01:11:36 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-09-19 01:12:49 +0200 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) |
2024-09-19 01:13:11 +0200 | dolio | (~dolio@130.44.140.168) |
2024-09-19 01:19:40 +0200 | tv1 | (~tv@user/tv) (Ping timeout: 252 seconds) |
2024-09-19 01:23:26 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-19 01:28:29 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-09-19 01:39:07 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) |
2024-09-19 01:39:10 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-19 01:39:49 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-09-19 01:43:33 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-09-19 01:52:18 +0200 | dhruvasagar | (~dhruvasag@49.207.204.156) |
2024-09-19 01:53:13 +0200 | Axma52822 | Axman6 |
2024-09-19 01:54:45 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-19 01:58:19 +0200 | synchrom1 | (~john@2406:5a00:241a:5600:613a:461c:b683:86cf) |
2024-09-19 01:59:18 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-09-19 02:01:06 +0200 | synchromesh | (~john@203.94.52.182) (Ping timeout: 252 seconds) |
2024-09-19 02:02:24 +0200 | pavonia | (~user@user/siracusa) |
2024-09-19 02:05:41 +0200 | Angelz | (Angelz@user/angelz) (Ping timeout: 265 seconds) |
2024-09-19 02:14:40 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
2024-09-19 02:16:29 +0200 | tv | (~tv@user/tv) |
2024-09-19 02:20:24 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-09-19 02:24:11 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Quit: Konversation terminated!) |
2024-09-19 02:29:41 +0200 | xff0x | (~xff0x@2405:6580:b080:900:6729:dbd:b464:a963) (Ping timeout: 248 seconds) |
2024-09-19 02:29:45 +0200 | dhruvasagar | (~dhruvasag@49.207.204.156) (Ping timeout: 246 seconds) |
2024-09-19 02:32:57 +0200 | Angelz | (Angelz@2605:6400:30:fc15:9bd1:2217:41cd:bb15) |
2024-09-19 02:36:09 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
2024-09-19 02:40:55 +0200 | rosco | (~rosco@175.136.158.234) |
2024-09-19 03:04:10 +0200 | mceresa | (~mceresa@user/mceresa) (Ping timeout: 265 seconds) |
2024-09-19 03:04:44 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
2024-09-19 03:05:37 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 265 seconds) |
2024-09-19 03:06:13 +0200 | mceresa | (~mceresa@user/mceresa) |
2024-09-19 03:12:24 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2024-09-19 03:13:59 +0200 | dhruvasagar | (~dhruvasag@49.207.204.156) |
2024-09-19 03:14:37 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2024-09-19 03:19:11 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
2024-09-19 03:19:24 +0200 | blober | (~blober@185.98.172.26) |
2024-09-19 03:19:40 +0200 | st_aldini | (~Thunderbi@136.48.22.91) (Remote host closed the connection) |
2024-09-19 03:20:01 +0200 | st_aldini | (~Thunderbi@136.48.22.91) |
2024-09-19 03:20:09 +0200 | dhruvasagar | (~dhruvasag@49.207.204.156) (Ping timeout: 246 seconds) |
2024-09-19 03:22:10 +0200 | <blober> | Based on https://hackage.haskell.org/package/HsYAML-0.2.1.4/docs/Data-YAML.html#g:3 , I don't get how |
2024-09-19 03:22:11 +0200 | <blober> | ``` |
2024-09-19 03:22:11 +0200 | <blober> | example = decode1 "- 1\n- 2" :: Either (Pos, String) [Int] |
2024-09-19 03:22:12 +0200 | <blober> | ``` |
2024-09-19 03:22:12 +0200 | <blober> | the above works, but this doesn't |
2024-09-19 03:22:13 +0200 | <blober> | ``` |
2024-09-19 03:22:13 +0200 | <blober> | my_example = decode1 "- foo" :: Either (Pos, String) [String] |
2024-09-19 03:22:14 +0200 | <blober> | ``` |
2024-09-19 03:22:15 +0200 | <blober> | ``` |
2024-09-19 03:22:15 +0200 | <blober> | • No instance for ‘FromYAML Char’ arising from a use of ‘decode1’ |
2024-09-19 03:22:16 +0200 | <blober> | ``` |
2024-09-19 03:22:42 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
2024-09-19 03:28:43 +0200 | ZharMeny | (~ZharMeny@user/ZharMeny) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)) |
2024-09-19 03:29:10 +0200 | institor | (~henricus@user/institor) (Killed (ozone (No Spam))) |
2024-09-19 03:30:44 +0200 | zzz | (~z@user/zero) |
2024-09-19 03:31:08 +0200 | zero | (~z@user/zero) (Read error: Connection reset by peer) |
2024-09-19 03:31:08 +0200 | zzz | zero |
2024-09-19 03:31:16 +0200 | <Axman6> | blober: Does using [Text] work? |
2024-09-19 03:31:50 +0200 | <Axman6> | because I think it's actually expecting to parse [[Char]] which is where that error is coming from |
2024-09-19 03:32:44 +0200 | <Axman6> | since there's no isntance for FromYAML for Char it doesn't even get to the point of trying to parse. |
2024-09-19 03:33:42 +0200 | dhruvasagar | (~dhruvasag@49.207.204.156) |
2024-09-19 03:33:44 +0200 | <blober> | yes, you were correct |
2024-09-19 03:38:20 +0200 | <blober> | can you preserve comments when dumping yaml? I see there was some work in https://github.com/haskell-hvr/HsYAML/pull/24 but not sure how to use it |
2024-09-19 03:47:27 +0200 | rosco | (~rosco@175.136.158.234) (Quit: Lost terminal) |
2024-09-19 03:51:39 +0200 | lystra | (~lystra@208.59.105.41) (Ping timeout: 246 seconds) |
2024-09-19 03:51:41 +0200 | <Axman6> | I'm not familiar with the library, but it looks like support for comments is in the released version. What do you mean when you say dumping yaml? |
2024-09-19 03:53:17 +0200 | <blober> | like doing roundtrip and inserting a key |
2024-09-19 03:54:40 +0200 | <Axman6> | I have a feeling you might be able to do it using the event based interface but I can't see how to do it using the Node type |
2024-09-19 03:54:59 +0200 | <blober> | I see |
2024-09-19 03:58:38 +0200 | <Axman6> | how you use that to change specific parts of the structure I'm not sure |
2024-09-19 03:58:47 +0200 | dhruvasagar | (~dhruvasag@49.207.204.156) (Ping timeout: 265 seconds) |
2024-09-19 03:59:17 +0200 | <Axman6> | but I'd start here: https://hackage.haskell.org/package/HsYAML-0.2.1.4/docs/Data-YAML-Event.html#g:1 |
2024-09-19 04:01:11 +0200 | <blober> | TY |
2024-09-19 04:04:50 +0200 | youthlic | (~Thunderbi@user/youthlic) |
2024-09-19 04:05:30 +0200 | lystra | (~lystra@208.59.105.41) |
2024-09-19 04:12:30 +0200 | dhruvasagar | (~dhruvasag@49.207.204.156) |
2024-09-19 04:17:04 +0200 | dhruvasagar | (~dhruvasag@49.207.204.156) (Ping timeout: 260 seconds) |
2024-09-19 04:27:32 +0200 | dhruvasagar | (~dhruvasag@49.207.204.156) |
2024-09-19 04:32:09 +0200 | dhruvasagar | (~dhruvasag@49.207.204.156) (Ping timeout: 252 seconds) |
2024-09-19 04:33:28 +0200 | blober | (~blober@185.98.172.26) (Quit: Client closed) |
2024-09-19 04:36:58 +0200 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) |
2024-09-19 04:37:03 +0200 | td_ | (~td@i53870921.versanet.de) (Ping timeout: 245 seconds) |
2024-09-19 04:38:56 +0200 | td_ | (~td@83.135.9.0) |
2024-09-19 04:51:03 +0200 | weary-traveler | (~user@user/user363627) |
2024-09-19 04:59:51 +0200 | dhruvasagar | (~dhruvasag@49.207.204.156) |
2024-09-19 05:28:39 +0200 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
2024-09-19 05:28:42 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2024-09-19 05:31:29 +0200 | youthlic | (~Thunderbi@user/youthlic) |
2024-09-19 05:34:08 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-09-19 05:35:31 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
2024-09-19 05:35:35 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
2024-09-19 05:36:53 +0200 | Lord_of_Life_ | Lord_of_Life |
2024-09-19 05:46:27 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) |
2024-09-19 05:49:16 +0200 | greenflower | (~greenflow@2409:4071:4d16:3220:dd28:e735:fd52:185b) |
2024-09-19 06:15:32 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
2024-09-19 06:15:51 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) |
2024-09-19 06:15:54 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
2024-09-19 06:21:28 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
2024-09-19 06:24:39 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2024-09-19 06:24:59 +0200 | califax | (~califax@user/califx) |
2024-09-19 06:25:11 +0200 | greenflower | (~greenflow@2409:4071:4d16:3220:dd28:e735:fd52:185b) (Quit: Client closed) |
2024-09-19 06:25:47 +0200 | neuroevolutus | (~neuroevol@206.217.206.41) |
2024-09-19 06:26:05 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2024-09-19 06:26:25 +0200 | califax | (~califax@user/califx) |
2024-09-19 06:32:31 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
2024-09-19 06:32:54 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
2024-09-19 06:34:49 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2024-09-19 06:51:04 +0200 | neuroevolutus | (~neuroevol@206.217.206.41) (Quit: Client closed) |
2024-09-19 06:53:43 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2024-09-19 06:53:55 +0200 | Guest60 | (~Guest60@118.33.40.93) |
2024-09-19 06:54:40 +0200 | michalz | (~michalz@185.246.207.218) |
2024-09-19 06:55:02 +0200 | meinside | (uid24933@id-24933.helmsley.irccloud.com) |
2024-09-19 06:56:10 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
2024-09-19 07:04:55 +0200 | Guest60 | dontdieych2 |
2024-09-19 07:05:35 +0200 | dontdieych2 | (~Guest60@118.33.40.93) (Changing host) |
2024-09-19 07:05:35 +0200 | dontdieych2 | (~Guest60@user/dontdieych2) |
2024-09-19 07:05:48 +0200 | dontdieych2 | (~Guest60@user/dontdieych2) (Quit: Client closed) |
2024-09-19 07:06:23 +0200 | dontdieych2 | (~dontdieyc@user/dontdieych2) |
2024-09-19 07:15:25 +0200 | greenflower | (~greenflow@2409:4071:4d16:3220:dd28:e735:fd52:185b) |
2024-09-19 07:17:09 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-09-19 07:17:23 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-09-19 07:24:15 +0200 | greenflower | (~greenflow@2409:4071:4d16:3220:dd28:e735:fd52:185b) (Quit: Client closed) |
2024-09-19 07:24:44 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds) |
2024-09-19 07:25:36 +0200 | euleritian | (~euleritia@dynamic-176-006-137-170.176.6.pool.telefonica.de) |
2024-09-19 07:27:14 +0200 | jinsun | (~jinsun@user/jinsun) (Ping timeout: 260 seconds) |
2024-09-19 07:28:38 +0200 | st_aldini1 | (~Thunderbi@136.48.22.91) |
2024-09-19 07:30:03 +0200 | st_aldini | (~Thunderbi@136.48.22.91) (Ping timeout: 246 seconds) |
2024-09-19 07:30:03 +0200 | st_aldini1 | st_aldini |
2024-09-19 07:30:05 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2024-09-19 07:36:36 +0200 | euleritian | (~euleritia@dynamic-176-006-137-170.176.6.pool.telefonica.de) (Ping timeout: 252 seconds) |
2024-09-19 07:40:49 +0200 | misterfish | (~misterfis@84.53.85.146) |
2024-09-19 07:41:38 +0200 | euleritian | (~euleritia@dynamic-176-003-002-000.176.3.pool.telefonica.de) |
2024-09-19 07:44:20 +0200 | euleritian | (~euleritia@dynamic-176-003-002-000.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-09-19 07:44:37 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-09-19 07:46:21 +0200 | rosco | (~rosco@175.136.158.234) |
2024-09-19 07:55:08 +0200 | dontdieych2 | (~dontdieyc@user/dontdieych2) (Quit: Client closed) |
2024-09-19 07:55:09 +0200 | lol_ | jcarpenter2 |
2024-09-19 07:55:32 +0200 | dontdieych2 | (~dontdieyc@user/dontdieych2) |
2024-09-19 07:56:21 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
2024-09-19 07:59:32 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-09-19 08:11:38 +0200 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 245 seconds) |
2024-09-19 08:23:32 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-09-19 08:24:32 +0200 | Zer000 | (~02@64.137.132.10) (Quit: Leaving) |
2024-09-19 08:31:59 +0200 | mesaoptimizer | (~mesaoptim@user/PapuaHardyNet) |
2024-09-19 08:36:08 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
2024-09-19 08:39:42 +0200 | echoreply | (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) (Quit: WeeChat 2.8) |
2024-09-19 08:40:48 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
2024-09-19 08:41:01 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
2024-09-19 08:53:04 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
2024-09-19 08:57:58 +0200 | ash3en | (~Thunderbi@2a02:3100:754f:5e00:95a2:6c11:ef9c:ede2) |
2024-09-19 08:58:34 +0200 | Digitteknohippie | (~user@user/digit) |
2024-09-19 08:58:44 +0200 | Digit | (~user@user/digit) (Ping timeout: 252 seconds) |
2024-09-19 08:59:08 +0200 | ft | (~ft@p508db65d.dip0.t-ipconnect.de) (Quit: leaving) |
2024-09-19 09:00:03 +0200 | caconym8 | (~caconym@user/caconym) (Quit: bye) |
2024-09-19 09:00:39 +0200 | caconym8 | (~caconym@user/caconym) |
2024-09-19 09:03:47 +0200 | mreh | (~matthew@host86-146-138-19.range86-146.btcentralplus.com) |
2024-09-19 09:06:10 +0200 | misterfish | (~misterfis@h239071.upc-h.chello.nl) |
2024-09-19 09:08:22 +0200 | ubert | (~Thunderbi@77.119.174.223.wireless.dyn.drei.com) |
2024-09-19 09:21:28 +0200 | ubert | (~Thunderbi@77.119.174.223.wireless.dyn.drei.com) (Ping timeout: 252 seconds) |
2024-09-19 09:21:50 +0200 | Digitteknohippie | Digit |
2024-09-19 09:37:23 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb61e8eec24a54e24d68.dip0.t-ipconnect.de) |
2024-09-19 09:43:15 +0200 | sourcetarius | (~sourcetar@user/sourcetarius) |
2024-09-19 09:46:00 +0200 | rosco | (~rosco@175.136.158.234) (Quit: Lost terminal) |
2024-09-19 09:47:45 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) |
2024-09-19 09:52:19 +0200 | briandaed | (~root@185.234.210.211.r.toneticgroup.pl) |
2024-09-19 09:59:14 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-09-19 10:00:04 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) |
2024-09-19 10:02:00 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-09-19 10:02:17 +0200 | astroanax1 | (~astroanax@2001:19f0:7402:f82:5400:1ff:fec4:f7d7) (Quit: WeeChat 3.8) |
2024-09-19 10:02:31 +0200 | astroanax | (~astroanax@2001:19f0:7402:f82:5400:1ff:fec4:f7d7) |
2024-09-19 10:12:27 +0200 | misterfish | (~misterfis@h239071.upc-h.chello.nl) (Ping timeout: 246 seconds) |
2024-09-19 10:14:21 +0200 | synchrom1 | (~john@2406:5a00:241a:5600:613a:461c:b683:86cf) (Read error: Connection reset by peer) |
2024-09-19 10:15:53 +0200 | synchromesh | (~john@2406:5a00:241a:5600:fd25:5cc9:9c9d:bf17) |
2024-09-19 10:18:04 +0200 | superbil | (~superbil@114-32-231-70.hinet-ip.hinet.net) (Quit: WeeChat 4.3.3) |
2024-09-19 10:23:35 +0200 | CiaoSen | (~Jura@2a05:5800:2e9:bc00:ca4b:d6ff:fec1:99da) |
2024-09-19 10:24:01 +0200 | superbil | (~superbil@114-32-231-70.hinet-ip.hinet.net) |
2024-09-19 10:25:22 +0200 | ash3en | (~Thunderbi@2a02:3100:754f:5e00:95a2:6c11:ef9c:ede2) (Quit: ash3en) |
2024-09-19 10:29:15 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
2024-09-19 10:31:19 +0200 | ubert | (~Thunderbi@2001:871:263:a33:a011:6ea3:41b6:46f6) |
2024-09-19 10:33:05 +0200 | misterfish | (~misterfis@87.215.131.102) |
2024-09-19 10:39:42 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
2024-09-19 10:44:55 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
2024-09-19 10:46:51 +0200 | <kuribas> | Man, I miss having dependent types with python pandas, where I could have the compiler tell me when a field is missing from a dataframe. |
2024-09-19 10:48:57 +0200 | <kuribas> | I know for many the overhead of static (dependent) types swamps the benefits, but I don't feel it. |
2024-09-19 10:53:02 +0200 | srazkvt | (~sarah@user/srazkvt) |
2024-09-19 11:06:44 +0200 | greenflower | (~greenflow@2409:4071:4d16:3220:dd28:e735:fd52:185b) |
2024-09-19 11:08:27 +0200 | CiaoSen | (~Jura@2a05:5800:2e9:bc00:ca4b:d6ff:fec1:99da) (Ping timeout: 246 seconds) |
2024-09-19 11:14:38 +0200 | __monty__ | (~toonn@user/toonn) |
2024-09-19 11:16:43 +0200 | gvg | (~dcd@user/gvg) |
2024-09-19 11:17:09 +0200 | polyphem | (~rod@pd9fbfabc.dip0.t-ipconnect.de) |
2024-09-19 11:25:42 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2024-09-19 11:26:04 +0200 | califax | (~califax@user/califx) |
2024-09-19 11:26:24 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2024-09-19 11:26:45 +0200 | califax | (~califax@user/califx) |
2024-09-19 11:27:40 +0200 | chromo | (~chromo@210.185.108.225) |
2024-09-19 11:28:31 +0200 | chromo | (~chromo@210.185.108.225) (Remote host closed the connection) |
2024-09-19 11:28:48 +0200 | chromo | (~chromo@210.185.108.225) |
2024-09-19 11:32:22 +0200 | dhruvasagar | (~dhruvasag@49.207.204.156) (Ping timeout: 252 seconds) |
2024-09-19 11:34:28 +0200 | mari-estel | (~mari-este@2a02:3032:303:4dbd:216:3eff:fe65:4eef) |
2024-09-19 11:48:47 +0200 | greenflower | (~greenflow@2409:4071:4d16:3220:dd28:e735:fd52:185b) (Ping timeout: 256 seconds) |
2024-09-19 11:55:09 +0200 | dhruvasagar | (~dhruvasag@49.207.204.156) |
2024-09-19 11:56:23 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) |
2024-09-19 11:57:54 +0200 | srazkvt | (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
2024-09-19 11:58:43 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
2024-09-19 12:00:15 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
2024-09-19 12:13:41 +0200 | Squared | (~Square@user/square) |
2024-09-19 12:20:04 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 260 seconds) |
2024-09-19 12:32:23 +0200 | bairyn | (~bairyn@50.250.232.19) (Ping timeout: 255 seconds) |
2024-09-19 12:32:32 +0200 | bairyn | (~bairyn@50.250.232.19) |
2024-09-19 12:35:31 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
2024-09-19 12:36:52 +0200 | ZharMeny | (~ZharMeny@user/ZharMeny) |
2024-09-19 12:42:55 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
2024-09-19 12:43:26 +0200 | cfricke | (~cfricke@user/cfricke) |
2024-09-19 12:47:13 +0200 | dhruvasagar | (~dhruvasag@49.207.204.156) (Ping timeout: 248 seconds) |
2024-09-19 12:49:06 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-09-19 12:49:55 +0200 | euleritian | (~euleritia@dynamic-176-006-135-183.176.6.pool.telefonica.de) |
2024-09-19 12:50:17 +0200 | dhruvasagar | (~dhruvasag@49.207.204.156) |
2024-09-19 12:53:13 +0200 | euleritian | (~euleritia@dynamic-176-006-135-183.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-09-19 12:53:30 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-09-19 13:00:04 +0200 | caconym8 | (~caconym@user/caconym) (Quit: bye) |
2024-09-19 13:02:19 +0200 | caconym8 | (~caconym@user/caconym) |
2024-09-19 13:03:21 +0200 | dontdieych2 | (~dontdieyc@user/dontdieych2) (Quit: Client closed) |
2024-09-19 13:03:30 +0200 | youthlic | (~Thunderbi@user/youthlic) (Ping timeout: 265 seconds) |
2024-09-19 13:03:40 +0200 | youthlic1 | (~Thunderbi@user/youthlic) |
2024-09-19 13:04:57 +0200 | dhruvasagar | (~dhruvasag@49.207.204.156) (Ping timeout: 265 seconds) |
2024-09-19 13:06:02 +0200 | youthlic1 | youthlic |
2024-09-19 13:07:22 +0200 | Square2 | (~Square4@user/square) |
2024-09-19 13:07:42 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 252 seconds) |
2024-09-19 13:10:45 +0200 | Squared | (~Square@user/square) (Ping timeout: 265 seconds) |
2024-09-19 13:11:10 +0200 | polyphem | (~rod@pd9fbfabc.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
2024-09-19 13:12:19 +0200 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
2024-09-19 13:12:24 +0200 | dhruvasagar | (~dhruvasag@49.207.204.156) |
2024-09-19 13:13:30 +0200 | xff0x | (~xff0x@2405:6580:b080:900:1342:23f2:7011:a05) |
2024-09-19 13:16:43 +0200 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Remote host closed the connection) |
2024-09-19 13:17:54 +0200 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) |
2024-09-19 13:19:06 +0200 | ash3en | (~Thunderbi@149.222.143.226) |
2024-09-19 13:20:54 +0200 | mreh | (~matthew@host86-146-138-19.range86-146.btcentralplus.com) (Ping timeout: 260 seconds) |
2024-09-19 13:20:59 +0200 | Blasius | (~Blasius@2.219.56.221) |
2024-09-19 13:21:39 +0200 | cfricke | (~cfricke@user/cfricke) |
2024-09-19 13:22:00 +0200 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
2024-09-19 13:41:06 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 260 seconds) |
2024-09-19 13:41:15 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
2024-09-19 13:43:49 +0200 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) |
2024-09-19 13:45:33 +0200 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) (Client Quit) |
2024-09-19 13:49:06 +0200 | mari-estel | (~mari-este@2a02:3032:303:4dbd:216:3eff:fe65:4eef) (Ping timeout: 246 seconds) |
2024-09-19 13:53:25 +0200 | ubert | (~Thunderbi@2001:871:263:a33:a011:6ea3:41b6:46f6) (Ping timeout: 248 seconds) |
2024-09-19 13:54:05 +0200 | <dminuoso> | The biggest price of dependent types is the lack of a rich ecosystem of libraries and tools for the same languages. |
2024-09-19 13:54:51 +0200 | <dminuoso> | It's just a sad reality that when you want to solve problem XYZ, it's often not worth the perceived benefit of some additional safety over the convenience of not having to write 90% of the code required for the solution. |
2024-09-19 13:54:56 +0200 | weary-traveler | (~user@user/user363627) |
2024-09-19 13:55:30 +0200 | <dminuoso> | In practice, a rich library ecosystem beats a good language. |
2024-09-19 13:59:05 +0200 | sourcetarius | (~sourcetar@user/sourcetarius) (Ping timeout: 265 seconds) |
2024-09-19 14:00:16 +0200 | Digitteknohippie | (~user@user/digit) |
2024-09-19 14:00:34 +0200 | Digit | (~user@user/digit) (Ping timeout: 260 seconds) |