2024-10-09 00:02:44 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-09 00:04:16 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2024-10-09 00:06:12 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2024-10-09 00:07:38 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-09 00:11:27 +0200 | arahael | (~arahael@user/arahael) arahael |
2024-10-09 00:11:57 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
2024-10-09 00:12:31 +0200 | Angelz | (Angelz@Angelz.oddprotocol.org) |
2024-10-09 00:12:51 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-10-09 00:18:31 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-09 00:23:31 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
2024-10-09 00:23:41 +0200 | lbseale | (~quassel@user/ep1ctetus) (Ping timeout: 244 seconds) |
2024-10-09 00:29:15 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb34519e9ca14c5ce943.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
2024-10-09 00:29:56 +0200 | mantraofpie | (~mantraofp@user/mantraofpie) (Quit: Leaving) |
2024-10-09 00:30:37 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
2024-10-09 00:33:28 +0200 | thelounge6036 | (~thelounge@ip4d14fa4d.dynamic.kabel-deutschland.de) |
2024-10-09 00:34:18 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-09 00:39:11 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2024-10-09 00:41:26 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
2024-10-09 00:46:05 +0200 | thelounge6036 | (~thelounge@ip4d14fa4d.dynamic.kabel-deutschland.de) (Quit: The Lounge - https://thelounge.chat) |
2024-10-09 00:50:05 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-09 00:54:51 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-09 01:05:52 +0200 | lbseale | (~quassel@user/ep1ctetus) ep1ctetus |
2024-10-09 01:05:52 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-09 01:10:54 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-10-09 01:19:48 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
2024-10-09 01:20:22 +0200 | rvalue | (~rvalue@user/rvalue) rvalue |
2024-10-09 01:21:40 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-09 01:26:28 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-09 01:28:59 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2024-10-09 01:31:05 +0200 | weary-traveler | (~user@user/user363627) user363627 |
2024-10-09 01:31:39 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Quit: Konversation terminated!) |
2024-10-09 01:37:27 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-09 01:42:56 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
2024-10-09 01:47:36 +0200 | youthlic | (~Thunderbi@user/youthlic) youthlic |
2024-10-09 01:52:52 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 252 seconds) |
2024-10-09 01:53:14 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-09 01:54:37 +0200 | hgolden_ | (~hgolden@146.70.174.37) hgolden |
2024-10-09 01:57:09 +0200 | hgolden__ | (~hgolden@23.162.40.28) (Ping timeout: 248 seconds) |
2024-10-09 01:58:00 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-09 02:09:01 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-09 02:11:52 +0200 | regalk | (~regalk@gateway/tor-sasl/regalk) regalk |
2024-10-09 02:13:46 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-09 02:18:39 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2024-10-09 02:22:15 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-10-09 02:24:49 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-09 02:25:03 +0200 | xff0x | (~xff0x@2405:6580:b080:900:da07:5be8:5f56:f410) (Ping timeout: 252 seconds) |
2024-10-09 02:26:00 +0200 | johannes | (~johannes@2600:1702:51fe:1500:3a2c:7d69:475c:ced9) |
2024-10-09 02:28:47 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
2024-10-09 02:29:53 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-09 02:33:17 +0200 | codaraxis | (~codaraxis@user/codaraxis) (Read error: Connection reset by peer) |
2024-10-09 02:34:20 +0200 | johannes | (~johannes@2600:1702:51fe:1500:3a2c:7d69:475c:ced9) (Leaving) |
2024-10-09 02:34:25 +0200 | codaraxis | (~codaraxis@user/codaraxis) Codaraxis |
2024-10-09 02:35:16 +0200 | califax | (~califax@user/califx) (Ping timeout: 260 seconds) |
2024-10-09 02:35:45 +0200 | califax | (~califax@user/califx) califx |
2024-10-09 02:35:55 +0200 | codaraxis__ | (~codaraxis@user/codaraxis) Codaraxis |
2024-10-09 02:37:37 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
2024-10-09 02:38:14 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) athan |
2024-10-09 02:39:55 +0200 | codaraxis | (~codaraxis@user/codaraxis) (Ping timeout: 265 seconds) |
2024-10-09 02:40:35 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-09 02:40:55 +0200 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (Ping timeout: 264 seconds) |
2024-10-09 02:45:43 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-10-09 02:49:41 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-10-09 02:51:02 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2024-10-09 02:54:16 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2024-10-09 02:56:23 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-09 03:01:20 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
2024-10-09 03:06:31 +0200 | codaraxis__ | (~codaraxis@user/codaraxis) (Remote host closed the connection) |
2024-10-09 03:06:58 +0200 | codaraxis__ | (~codaraxis@user/codaraxis) Codaraxis |
2024-10-09 03:09:45 +0200 | krei-se | (~krei-se@p5085d9ca.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
2024-10-09 03:09:48 +0200 | krei-se- | (~krei-se@p5085d46e.dip0.t-ipconnect.de) krei-se |
2024-10-09 03:12:09 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-09 03:15:52 +0200 | AWizzArd | (~code@gehrels.uberspace.de) (Changing host) |
2024-10-09 03:15:52 +0200 | AWizzArd | (~code@user/awizzard) AWizzard |
2024-10-09 03:15:59 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
2024-10-09 03:17:08 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-10-09 03:19:19 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection) |
2024-10-09 03:20:38 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-10-09 03:23:03 +0200 | ephilalethes | (~noumenon@113.51-175-156.customer.lyse.net) noumenon |
2024-10-09 03:24:26 +0200 | troojg | (~troojg@user/troojg) troojg |
2024-10-09 03:24:27 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
2024-10-09 03:25:21 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 276 seconds) |
2024-10-09 03:27:57 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-09 03:31:04 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2024-10-09 03:32:51 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-10-09 03:37:51 +0200 | forell_ | (~forell@host-178-216-90-220.sta.tvknaszapraca.pl) |
2024-10-09 03:39:51 +0200 | forell | (~forell@user/forell) (Ping timeout: 265 seconds) |
2024-10-09 03:40:52 +0200 | regalk | (~regalk@gateway/tor-sasl/regalk) (Quit: WeeChat 4.4.2) |
2024-10-09 03:42:08 +0200 | hgolden__ | (~hgolden@146.70.173.101) hgolden |
2024-10-09 03:43:42 +0200 | weary-traveler | (~user@user/user363627) user363627 |
2024-10-09 03:43:45 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-09 03:44:41 +0200 | hgolden_ | (~hgolden@146.70.174.37) (Ping timeout: 265 seconds) |
2024-10-09 03:48:43 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-09 03:49:57 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-09 03:53:52 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Quit: Konversation terminated!) |
2024-10-09 03:55:19 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-10-09 04:05:08 +0200 | identity | (~identity@user/ZharMeny) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.91)) |
2024-10-09 04:05:44 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-09 04:10:59 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-10-09 04:12:13 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) LukeHoersten |
2024-10-09 04:12:34 +0200 | td_ | (~td@i5387092D.versanet.de) (Ping timeout: 252 seconds) |
2024-10-09 04:14:24 +0200 | td_ | (~td@i5387093E.versanet.de) |
2024-10-09 04:21:30 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-09 04:26:30 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-09 04:26:49 +0200 | spew | (~spew@201.141.99.170) (Quit: spew) |
2024-10-09 04:29:09 +0200 | philopso1 | (~caecilius@pool-71-183-97-38.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
2024-10-09 04:30:57 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 246 seconds) |
2024-10-09 04:31:22 +0200 | flounders | (~flounders@173.246.200.74) flounders |
2024-10-09 04:37:18 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-09 04:38:08 +0200 | hgolden_ | (~hgolden@169.150.203.10) hgolden |
2024-10-09 04:40:54 +0200 | hgolden__ | (~hgolden@146.70.173.101) (Ping timeout: 260 seconds) |
2024-10-09 04:42:09 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-10-09 04:49:46 +0200 | jinsun | (~jinsun@user/jinsun) (Ping timeout: 272 seconds) |
2024-10-09 04:51:55 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-09 04:56:21 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 276 seconds) |
2024-10-09 04:56:23 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) machinedgod |
2024-10-09 04:56:55 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-09 04:57:51 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2024-10-09 04:59:02 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2024-10-09 05:07:41 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-09 05:10:51 +0200 | troojg | (~troojg@user/troojg) (Remote host closed the connection) |
2024-10-09 05:12:42 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-09 05:23:28 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-09 05:25:14 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Quit: ChaiTRex) |
2024-10-09 05:29:34 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-10-09 05:35:52 +0200 | aforemny_ | (~aforemny@i59F4C6CF.versanet.de) aforemny |
2024-10-09 05:36:09 +0200 | aforemny | (~aforemny@2001:9e8:6cd9:9400:c5f2:6987:2beb:3640) (Ping timeout: 260 seconds) |
2024-10-09 05:40:21 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-09 05:45:09 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-10-09 05:47:32 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
2024-10-09 05:48:46 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2024-10-09 05:49:23 +0200 | <Axman6> | monochrom: '"<file cmd" is the same as "cmd <file"' you just blew my mind, how handy! |
2024-10-09 05:56:08 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-09 06:01:01 +0200 | jinsun | (~jinsun@user/jinsun) jinsun |
2024-10-09 06:03:03 +0200 | <haskellbridge> | <mauke> Re: sh, both {foo and {;foo are errors |
2024-10-09 06:03:36 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) athan |
2024-10-09 06:04:09 +0200 | <haskellbridge> | <mauke> {foo tries to run a command called '{foo' and {; is a syntax error |
2024-10-09 06:04:45 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-09 06:06:16 +0200 | <haskellbridge> | <mauke> a consequence of { not being special to the lexer, but also being a "keyword" with special syntax |
2024-10-09 06:13:01 +0200 | <Axman6> | >:( |
2024-10-09 06:15:46 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-09 06:16:56 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 265 seconds) |
2024-10-09 06:19:37 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
2024-10-09 06:19:37 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
2024-10-09 06:19:57 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
2024-10-09 06:20:19 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
2024-10-09 06:20:32 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-09 06:21:35 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2024-10-09 06:26:25 +0200 | <jackdk> | I was writing a shell script to use with `git bisect run` today; I ended up completing the bisection before I got the script to work right. Task failed successfully. |
2024-10-09 06:31:32 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-09 06:36:45 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-10-09 06:38:07 +0200 | michalz | (~michalz@185.246.207.221) |
2024-10-09 06:41:06 +0200 | ephilalethes | (~noumenon@113.51-175-156.customer.lyse.net) (Quit: Leaving) |
2024-10-09 06:47:19 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-09 06:52:11 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
2024-10-09 06:53:28 +0200 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
2024-10-09 06:53:54 +0200 | jinsun | (~jinsun@user/jinsun) (Ping timeout: 260 seconds) |
2024-10-09 06:56:00 +0200 | youthlic | (~Thunderbi@user/youthlic) youthlic |
2024-10-09 06:57:57 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
2024-10-09 06:58:25 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) stiell |
2024-10-09 07:03:06 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-09 07:04:34 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
2024-10-09 07:07:45 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-10-09 07:07:49 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
2024-10-09 07:07:54 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
2024-10-09 07:08:00 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
2024-10-09 07:10:40 +0200 | causal | (~eric@50.35.88.207) (Quit: WeeChat 4.4.2) |
2024-10-09 07:18:52 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-09 07:23:42 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-09 07:28:28 +0200 | ghodawalaaman | (~thelounge@user/thelounge8234) (Quit: The Lounge - https://thelounge.chat) |
2024-10-09 07:30:12 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2024-10-09 07:34:41 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-09 07:39:44 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-09 07:46:34 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
2024-10-09 07:48:42 +0200 | CiaoSen | (~Jura@2a05:5800:2e5:2400:ca4b:d6ff:fec1:99da) CiaoSen |
2024-10-09 07:50:28 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-09 07:53:47 +0200 | jinsun | (~jinsun@user/jinsun) jinsun |
2024-10-09 07:55:30 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-09 07:55:59 +0200 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
2024-10-09 07:56:30 +0200 | gorignak | (~gorignak@user/gorignak) gorignak |
2024-10-09 08:00:58 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-09 08:06:06 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
2024-10-09 08:07:37 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2024-10-09 08:16:45 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-09 08:18:08 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-10-09 08:18:59 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) szkl |
2024-10-09 08:21:32 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-09 08:24:30 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
2024-10-09 08:32:33 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-09 08:33:16 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
2024-10-09 08:34:11 +0200 | euleritian | (~euleritia@dynamic-176-006-140-203.176.6.pool.telefonica.de) |
2024-10-09 08:36:03 +0200 | euleritian | (~euleritia@dynamic-176-006-140-203.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-10-09 08:36:42 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
2024-10-09 08:36:42 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-10-09 08:37:37 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-10-09 08:43:29 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
2024-10-09 08:48:20 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-09 08:48:20 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-10-09 08:48:30 +0200 | ubert | (~Thunderbi@178.165.187.120.wireless.dyn.drei.com) ubert |
2024-10-09 08:48:40 +0200 | euleritian | (~euleritia@77.22.252.56) |
2024-10-09 08:51:35 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:4243:aa4c:841:ab6d) |
2024-10-09 08:51:36 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
2024-10-09 08:52:20 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
2024-10-09 08:53:03 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-09 08:53:04 +0200 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 252 seconds) |
2024-10-09 08:53:39 +0200 | euleritian | (~euleritia@dynamic-176-006-140-203.176.6.pool.telefonica.de) |
2024-10-09 08:54:05 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2024-10-09 08:58:31 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-10-09 09:00:00 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
2024-10-09 09:00:36 +0200 | caconym | (~caconym@user/caconym) caconym |
2024-10-09 09:01:59 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-09 09:02:06 +0200 | arahael | (~arahael@user/arahael) (Remote host closed the connection) |
2024-10-09 09:07:00 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-09 09:09:00 +0200 | chele | (~chele@user/chele) chele |
2024-10-09 09:16:49 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-10-09 09:17:35 +0200 | codaraxis__ | (~codaraxis@user/codaraxis) (Read error: Connection reset by peer) |
2024-10-09 09:21:27 +0200 | codaraxis | (~codaraxis@user/codaraxis) Codaraxis |
2024-10-09 09:25:22 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb597c01f41ab12f33b9.dip0.t-ipconnect.de) acidjnk |
2024-10-09 09:31:15 +0200 | simendsjo | (~user@79.161.5.185) simendsjo |
2024-10-09 09:33:11 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
2024-10-09 09:37:17 +0200 | cfricke | (~cfricke@user/cfricke) cfricke |
2024-10-09 09:40:08 +0200 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Ping timeout: 244 seconds) |
2024-10-09 09:44:14 +0200 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
2024-10-09 09:46:29 +0200 | youthlic | (~Thunderbi@user/youthlic) youthlic |
2024-10-09 09:59:52 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2024-10-09 10:09:53 +0200 | rosco | (~rosco@175.136.22.30) rosco |
2024-10-09 10:21:14 +0200 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
2024-10-09 10:25:06 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
2024-10-09 10:25:09 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-10-09 10:27:07 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2024-10-09 10:27:15 +0200 | ash3en | (~Thunderbi@ip1f10cbd6.dynamic.kabel-deutschland.de) ash3en |
2024-10-09 10:28:26 +0200 | ash3en | (~Thunderbi@ip1f10cbd6.dynamic.kabel-deutschland.de) (Client Quit) |
2024-10-09 10:29:21 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
2024-10-09 10:36:38 +0200 | drdo | (~drdo@bl9-110-63.dsl.telepac.pt) (Ping timeout: 245 seconds) |
2024-10-09 10:36:39 +0200 | __monty__ | (~toonn@user/toonn) toonn |
2024-10-09 10:37:19 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
2024-10-09 10:39:00 +0200 | euleritian | (~euleritia@dynamic-176-006-140-203.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-10-09 10:39:23 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-10-09 10:43:48 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
2024-10-09 10:44:25 +0200 | euleritian | (~euleritia@dynamic-176-006-140-203.176.6.pool.telefonica.de) |
2024-10-09 10:48:14 +0200 | noctux | (~noctux@user/noctux) (Ping timeout: 272 seconds) |
2024-10-09 10:48:52 +0200 | noctux | (~noctux@user/noctux) noctux |
2024-10-09 10:54:51 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2024-10-09 11:12:04 +0200 | euleritian | (~euleritia@dynamic-176-006-140-203.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-10-09 11:12:22 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-10-09 11:13:33 +0200 | Guest98 | (~Guest98@2406:7400:bd:df2a:e59e:ee5c:235f:b905) |
2024-10-09 11:14:26 +0200 | coldmountain | (sid484352@id-484352.helmsley.irccloud.com) coldmountain |
2024-10-09 11:14:51 +0200 | Guest98 | (~Guest98@2406:7400:bd:df2a:e59e:ee5c:235f:b905) (Client Quit) |
2024-10-09 11:27:54 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
2024-10-09 11:28:34 +0200 | euleritian | (~euleritia@dynamic-176-006-140-203.176.6.pool.telefonica.de) |
2024-10-09 11:35:14 +0200 | gvg | (~dcd@user/gvg) (Ping timeout: 255 seconds) |
2024-10-09 11:48:05 +0200 | <kuribas> | I wish there was more data science on haskell. The time I spend debugging pandas issues with missing indices etc would not have been there with a typed dataframes. |
2024-10-09 11:49:00 +0200 | <kuribas> | We could easily port the polars dataframe library to haskell, with some typesafe wrapper on top. |
2024-10-09 11:49:07 +0200 | <kuribas> | Or even to idris2. |
2024-10-09 11:50:01 +0200 | <kuribas> | Of course the chance to get anyone on board with using idris or haskell in my company would be close to 0% |
2024-10-09 11:53:53 +0200 | famubu | (~julinuser@user/famubu) (Ping timeout: 248 seconds) |
2024-10-09 11:54:26 +0200 | famubu | (~julinuser@14.139.174.50) |
2024-10-09 11:56:32 +0200 | drdo | (~drdo@bl9-110-63.dsl.telepac.pt) drdo |
2024-10-09 11:57:11 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
2024-10-09 11:58:58 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
2024-10-09 11:58:58 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
2024-10-09 12:00:48 +0200 | <kuribas> | But I'd say for a long running service, haskell would be a better choice than Python. |
2024-10-09 12:07:21 +0200 | hseg | (~gesh@46.120.20.246) |
2024-10-09 12:08:07 +0200 | <tomsmeding> | kuribas: I am not at all familiar with that space, but given that there are (external) type checkers for python, would someone not have contrived some external typing annotations for pandas or something? |
2024-10-09 12:08:18 +0200 | <tomsmeding> | or is the type system not expressive enough for that |
2024-10-09 12:10:33 +0200 | CiaoSen | (~Jura@2a05:5800:2e5:2400:ca4b:d6ff:fec1:99da) (Ping timeout: 276 seconds) |
2024-10-09 12:13:45 +0200 | <kuribas> | tomsmeding: it's not expressive enough. There are actually type annotations for pandas. They often don't work well. |
2024-10-09 12:14:08 +0200 | <tomsmeding> | I see |
2024-10-09 12:14:11 +0200 | <kuribas> | And they cannot capture the fact "I have a column with name 'foobar' and type 'int'" |
2024-10-09 12:14:23 +0200 | <kuribas> | Which would be possible in haskell or idris. |
2024-10-09 12:14:32 +0200 | <tomsmeding> | I would categorise that under "not expressive enough" |
2024-10-09 12:14:48 +0200 | <tomsmeding> | but I guess it's also impossible to properly describe python's fancy s(p)licing syntac |
2024-10-09 12:14:51 +0200 | <tomsmeding> | *syntax |
2024-10-09 12:15:26 +0200 | <kuribas> | splicing is just a special dunder method I think. |
2024-10-09 12:15:36 +0200 | <tomsmeding> | ah |
2024-10-09 12:16:13 +0200 | <kuribas> | The syntax creates a splice object. So in the end it's just sugar. |
2024-10-09 12:16:29 +0200 | <kuribas> | And it's passed to __getitem__ |
2024-10-09 12:16:35 +0200 | <tomsmeding> | I see |
2024-10-09 12:18:25 +0200 | <kuribas> | The debugability of python is nice though, but very slow... |
2024-10-09 12:18:49 +0200 | <Rembane> | dir() <3 |
2024-10-09 12:41:51 +0200 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-10-09 12:43:57 +0200 | euleritian | (~euleritia@dynamic-176-006-140-203.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-10-09 12:44:20 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-10-09 12:44:32 +0200 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) |
2024-10-09 12:49:12 +0200 | simendsjo | (~user@79.161.5.185) (Remote host closed the connection) |
2024-10-09 12:57:23 +0200 | simendsjo | (~user@79.161.5.185) simendsjo |
2024-10-09 12:59:28 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
2024-10-09 12:59:43 +0200 | euleritian | (~euleritia@dynamic-176-006-140-203.176.6.pool.telefonica.de) |
2024-10-09 13:03:21 +0200 | foul_owl | (~kerry@185.219.141.162) (Ping timeout: 246 seconds) |
2024-10-09 13:04:40 +0200 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) (Read error: Connection reset by peer) |
2024-10-09 13:04:54 +0200 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) hsw |
2024-10-09 13:05:44 +0200 | xff0x | (~xff0x@2405:6580:b080:900:a344:9aaf:caa3:591c) |
2024-10-09 13:10:29 +0200 | euleritian | (~euleritia@dynamic-176-006-140-203.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-10-09 13:10:46 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-10-09 13:11:38 +0200 | arahael | (~arahael@user/arahael) arahael |
2024-10-09 13:14:52 +0200 | dolio | (~dolio@130.44.140.168) (Quit: ZNC 1.8.2 - https://znc.in) |
2024-10-09 13:15:58 +0200 | foul_owl | (~kerry@185.216.231.181) foul_owl |
2024-10-09 13:16:20 +0200 | dolio | (~dolio@130.44.140.168) dolio |
2024-10-09 13:17:06 +0200 | gvg | (~dcd@user/gvg) gvg |
2024-10-09 13:19:04 +0200 | dolio | (~dolio@130.44.140.168) (Client Quit) |
2024-10-09 13:20:37 +0200 | dolio | (~dolio@130.44.140.168) dolio |
2024-10-09 13:24:14 +0200 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
2024-10-09 13:24:45 +0200 | gorignak | (~gorignak@user/gorignak) gorignak |
2024-10-09 13:28:46 +0200 | CiaoSen | (~Jura@2a05:5800:2e5:2400:ca4b:d6ff:fec1:99da) CiaoSen |
2024-10-09 13:34:58 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
2024-10-09 13:35:30 +0200 | rvalue | (~rvalue@user/rvalue) rvalue |
2024-10-09 13:35:58 +0200 | rosco | (~rosco@175.136.22.30) (Quit: Lost terminal) |
2024-10-09 13:36:16 +0200 | comonad | (~comonad@p200300d02711e6001d93b8c5b2241d7f.dip0.t-ipconnect.de) (Quit: WeeChat 4.3.5) |
2024-10-09 13:37:25 +0200 | alexherbo2 | (~alexherbo@2a02-8440-330a-55b8-5144-54d3-aa36-e8c9.rev.sfr.net) alexherbo2 |
2024-10-09 13:42:42 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-10-09 13:43:08 +0200 | comonad | (~comonad@p200300d02711e6001d93b8c5b2241d7f.dip0.t-ipconnect.de) |
2024-10-09 13:48:49 +0200 | merijn | (~merijn@77.242.116.146) (Quit: leaving) |
2024-10-09 13:50:35 +0200 | comonad | (~comonad@p200300d02711e6001d93b8c5b2241d7f.dip0.t-ipconnect.de) (Quit: WeeChat 4.4.2) |
2024-10-09 13:50:49 +0200 | comonad | (~comonad@p200300d02711e6001d93b8c5b2241d7f.dip0.t-ipconnect.de) |
2024-10-09 13:51:11 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
2024-10-09 13:51:54 +0200 | lieuwex | (~lieuwex@D964662A.static.ziggozakelijk.nl) |
2024-10-09 13:52:33 +0200 | <lieuwex> | tomsmeding: hi |
2024-10-09 13:55:27 +0200 | <kuribas> | tomsmeding: Are you going to munihac? |
2024-10-09 13:56:04 +0200 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
2024-10-09 13:57:41 +0200 | <leah2> | i am :3 |
2024-10-09 13:58:39 +0200 | youthlic | (~Thunderbi@user/youthlic) youthlic |
2024-10-09 14:02:00 +0200 | <tomsmeding> | lieuwex: hi |
2024-10-09 14:02:07 +0200 | <tomsmeding> | I have a suspicion how you ended up here |
2024-10-09 14:02:11 +0200 | <lieuwex> | yes |
2024-10-09 14:02:12 +0200 | <tomsmeding> | kuribas: nope, sorry, but have fun! |
2024-10-09 14:02:14 +0200 | lieuwex | (~lieuwex@D964662A.static.ziggozakelijk.nl) (Quit: lieuwex) |
2024-10-09 14:02:17 +0200 | mari-estel | (~mari-este@2a02:3032:30b:ae0c:216:3eff:fe65:4eef) |
2024-10-09 14:07:59 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2024-10-09 14:10:04 +0200 | CiaoSen | (~Jura@2a05:5800:2e5:2400:ca4b:d6ff:fec1:99da) (Ping timeout: 260 seconds) |
2024-10-09 14:10:26 +0200 | <dminuoso> | 10:14:23 kuribas │ Which would be possible in haskell or idris. |
2024-10-09 14:10:28 +0200 | <dminuoso> | Hardly in Haskell. |
2024-10-09 14:11:22 +0200 | <dminuoso> | I mean yes, you can shoehorn anything in the type system. But you can also shoehorn runtime annotations into python and do type checking via symbolic execution. |
2024-10-09 14:13:50 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2024-10-09 14:13:52 +0200 | <dminuoso> | What I want is something like tags in go structs in Haskell, recoverable via generics or Data.Data.Data |
2024-10-09 14:14:09 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2024-10-09 14:14:46 +0200 | <dminuoso> | It beats having to either use type level tricks like in servant to attach actionable information to say handlers, or ramming it all into TH like in yesod. |
2024-10-09 14:15:27 +0200 | <dminuoso> | The more information you embed into Haskell types, the more akward diagnostics become and quirkier your interfaces get. |
2024-10-09 14:16:00 +0200 | alexherbo2 | (~alexherbo@2a02-8440-330a-55b8-5144-54d3-aa36-e8c9.rev.sfr.net) (Remote host closed the connection) |
2024-10-09 14:16:19 +0200 | alexherbo2 | (~alexherbo@2a02-8440-330a-55b8-5144-54d3-aa36-e8c9.rev.sfr.net) alexherbo2 |
2024-10-09 14:17:28 +0200 | billchenchina- | (~billchenc@103.152.35.21) billchenchina |
2024-10-09 14:18:55 +0200 | <hseg> | going through the botan devlog, I see reference to a crypto-schemes repo, but can't find it anywhere atm. Anyone know where it vanished off to? Also, I suppose the "cryptographic typeclasses" refered to are in the various Botan.*.Class modules? |
2024-10-09 14:26:15 +0200 | alexherbo2 | (~alexherbo@2a02-8440-330a-55b8-5144-54d3-aa36-e8c9.rev.sfr.net) (Remote host closed the connection) |
2024-10-09 14:26:35 +0200 | alexherbo2 | (~alexherbo@2a02-8440-330a-55b8-5144-54d3-aa36-e8c9.rev.sfr.net) alexherbo2 |
2024-10-09 14:27:32 +0200 | mari-estel | (~mari-este@2a02:3032:30b:ae0c:216:3eff:fe65:4eef) (Quit: errands) |
2024-10-09 14:32:03 +0200 | codaraxis | (~codaraxis@user/codaraxis) (Ping timeout: 244 seconds) |
2024-10-09 14:33:39 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
2024-10-09 14:36:28 +0200 | alexherbo2 | (~alexherbo@2a02-8440-330a-55b8-5144-54d3-aa36-e8c9.rev.sfr.net) (Remote host closed the connection) |
2024-10-09 14:37:11 +0200 | alexherbo2 | (~alexherbo@2a02-8440-330a-55b8-b599-5e37-bcaf-ea15.rev.sfr.net) alexherbo2 |
2024-10-09 14:41:05 +0200 | alexherbo2 | (~alexherbo@2a02-8440-330a-55b8-b599-5e37-bcaf-ea15.rev.sfr.net) (Remote host closed the connection) |
2024-10-09 14:41:33 +0200 | alexherbo2 | (~alexherbo@2a02-8440-330a-55b8-b033-f4f9-ddc1-450a.rev.sfr.net) alexherbo2 |
2024-10-09 14:44:44 +0200 | alexherbo2 | (~alexherbo@2a02-8440-330a-55b8-b033-f4f9-ddc1-450a.rev.sfr.net) (Remote host closed the connection) |
2024-10-09 14:45:25 +0200 | <kuribas> | dminuoso: I don't mean it's very ergonomic, but it's possible with type level lists. |
2024-10-09 14:46:22 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
2024-10-09 14:48:02 +0200 | <dminuoso> | And those type level lists will propagate through your entire code, or you have to erase them. |
2024-10-09 14:48:35 +0200 | <kuribas> | Yeah, but that's the idea. |
2024-10-09 14:48:50 +0200 | <dminuoso> | I'm slowly starting to wonder whether some of those "lets encode it into the type system for safety" is solving problems as an excuse to just explore some funky ideas, rather than it stemming from a series of production outages due to some impedance mismatching. |
2024-10-09 14:48:54 +0200 | <kuribas> | Or you have a constraint (HasColumn "foobar"). |
2024-10-09 14:49:17 +0200 | <kuribas> | Not production outages, just a lot of work debugging code. |
2024-10-09 14:49:27 +0200 | <dminuoso> | Like I said, I think if we were able to tag/add metadata to data types and constructors, I think that would be much more useful and easier to work with. |
2024-10-09 14:49:30 +0200 | <kuribas> | In an adhoc way I mean. |
2024-10-09 14:49:51 +0200 | <kuribas> | dminuoso: sure, but how is that different from a dependent type. |
2024-10-09 14:49:59 +0200 | <kuribas> | ? |
2024-10-09 14:50:22 +0200 | <dminuoso> | You dont need a dependent type system, which Haskell does not even have. |
2024-10-09 14:50:40 +0200 | <kuribas> | It emulates it. |
2024-10-09 14:50:48 +0200 | <kuribas> | Type level strings, lists, Nats... |
2024-10-09 14:51:02 +0200 | <dminuoso> | And yet people rather pick up Idris when they want dependent types. :-) |
2024-10-09 14:51:10 +0200 | <kuribas> | they should :) |
2024-10-09 14:51:19 +0200 | <kuribas> | It's so much more ergonomic on idris. |
2024-10-09 14:51:29 +0200 | <dminuoso> | Sure they should. This is not an argument about whether dependent types are good, but in Haskell they just overcomplicate interfaces. |
2024-10-09 14:51:39 +0200 | <dminuoso> | To the point where I think its very hard to justify it. |
2024-10-09 14:51:55 +0200 | <kuribas> | Well, one justification is the maturity of the compiler and the ecosystem. |
2024-10-09 14:52:06 +0200 | <kuribas> | It's much less of a risk in a production environment. |
2024-10-09 14:52:27 +0200 | <dminuoso> | All that perceived time saved in debugging, is wasted again troubleshooting illegible type errors, or fighting strange type mismatches because there's an extra type tag here and there. |
2024-10-09 14:52:49 +0200 | <dminuoso> | In Haskell anyway. |
2024-10-09 14:52:49 +0200 | <kuribas> | I am glad to take that trade-off. |
2024-10-09 14:53:01 +0200 | <kuribas> | But not everyone does, I know... |
2024-10-09 14:53:07 +0200 | <dminuoso> | You trade time spend in debugging.. for time spend in debugging. |
2024-10-09 14:53:08 +0200 | <dminuoso> | :-) |
2024-10-09 14:53:33 +0200 | <kuribas> | I am happier with a type error, that I can disentangle, that a big stacktrace, which may not even have the answer. |
2024-10-09 15:03:55 +0200 | weary-traveler | (~user@user/user363627) user363627 |
2024-10-09 15:03:59 +0200 | Digitteknohippie | (~user@user/digit) Digit |
2024-10-09 15:04:15 +0200 | Digit | (~user@user/digit) (Ping timeout: 265 seconds) |
2024-10-09 15:06:34 +0200 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
2024-10-09 15:07:05 +0200 | gorignak | (~gorignak@user/gorignak) gorignak |
2024-10-09 15:11:17 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
2024-10-09 15:13:13 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-10-09 15:17:04 +0200 | Digitteknohippie | Digit |
2024-10-09 15:19:58 +0200 | alexherbo2 | (~alexherbo@2a02-8440-330a-55b8-7487-6396-e5cd-7eb2.rev.sfr.net) alexherbo2 |
2024-10-09 15:24:45 +0200 | <kuribas> | And in idris you have nice ways to program with types, like typed holes. |
2024-10-09 15:29:56 +0200 | identity | (~identity@user/ZharMeny) identity |
2024-10-09 15:43:17 +0200 | alexherbo2 | (~alexherbo@2a02-8440-330a-55b8-7487-6396-e5cd-7eb2.rev.sfr.net) (Remote host closed the connection) |
2024-10-09 15:44:26 +0200 | alexherbo2 | (~alexherbo@2a02-8440-330a-55b8-7487-6396-e5cd-7eb2.rev.sfr.net) alexherbo2 |
2024-10-09 15:44:50 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
2024-10-09 15:45:27 +0200 | <kuribas> | complex types don't necessarily mean a lot of type level debugging IMO. |
2024-10-09 15:45:34 +0200 | petrichor | (~znc-user@user/petrichor) (Quit: ZNC 1.8.2 - https://znc.in) |
2024-10-09 15:45:41 +0200 | <kuribas> | But you don't want to have too much complexity in the types. |
2024-10-09 15:46:02 +0200 | euleritian | (~euleritia@dynamic-176-006-139-018.176.6.pool.telefonica.de) |
2024-10-09 15:46:52 +0200 | petrichor | (~znc-user@user/petrichor) petrichor |
2024-10-09 15:47:43 +0200 | alexherbo2 | (~alexherbo@2a02-8440-330a-55b8-7487-6396-e5cd-7eb2.rev.sfr.net) (Remote host closed the connection) |
2024-10-09 15:49:58 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
2024-10-09 15:54:20 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2024-10-09 16:04:20 +0200 | Batzy | (~quassel@user/batzy) Batzy |
2024-10-09 16:06:55 +0200 | codaraxis | (~codaraxis@user/codaraxis) Codaraxis |
2024-10-09 16:07:06 +0200 | Batzy_ | (~quassel@user/batzy) (Ping timeout: 246 seconds) |
2024-10-09 16:16:42 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |