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) |
2024-10-09 16:17:25 +0200 | simendsjo | (~user@79.161.5.185) (Ping timeout: 248 seconds) |
2024-10-09 16:18:50 +0200 | vektor | (~vektor@IP-149249145126.pools.medianet-world.de) |
2024-10-09 16:21:49 +0200 | <vektor> | What's the usual suspects for when equality fails, but the string repr of the two data points looks identical? I've checked that there should be no custom Show instance in play that hides information, and all aspects of the data should be displayable. |
2024-10-09 16:21:49 +0200 | <vektor> | In my concrete case, a quickcheck "===" fails, but the counterexample is a more complex version of "a /= a". |
2024-10-09 16:23:38 +0200 | <tomsmeding> | vektor: what types are involved? |
2024-10-09 16:23:53 +0200 | <Lears> | vektor: If there's a Float/Double in there, it could be a NaN. |
2024-10-09 16:25:39 +0200 | <vektor> | tomsmeding is "too many to count" a good answer? It's my DSL with lots of annotations, so it's a lot. Nothing crazy though. There's a optional field that contains a function here, which shouldn't be relevant in this case. |
2024-10-09 16:26:13 +0200 | <vektor> | Lears the datatype can contain floats, but there's no floats in this example that's failing on me here. |
2024-10-09 16:26:20 +0200 | <tomsmeding> | floating-point numbers are nr 1. candidate |
2024-10-09 16:26:22 +0200 | <tomsmeding> | oh |
2024-10-09 16:26:39 +0200 | <tomsmeding> | any Data.Semigroup(Arg)? :p |
2024-10-09 16:27:03 +0200 | <tomsmeding> | are all Eq instances auto-generated? |
2024-10-09 16:28:02 +0200 | <tomsmeding> | if the Show instances try to pretty-print stuff, perhaps you didn't properly print parentheses in all cases and there is some mismatch in association order? i.e. (a + b) + c /= a + (b + c) but maybe they pretty-print the same |
2024-10-09 16:29:24 +0200 | <vektor> | Custom Eq is a good shout, let me look. |
2024-10-09 16:29:25 +0200 | <vektor> | Data.Semigroup shouldn't be, but I'll check too. |
2024-10-09 16:29:25 +0200 | <vektor> | Shows are all custom derived, except the one that contains a function in a field, but as said that constructor shouldn't even be in play. |
2024-10-09 16:29:36 +0200 | <vektor> | * Shows are auto-derived except that one. |
2024-10-09 16:30:04 +0200 | <tomsmeding> | (`Arg` has an Eq instance that ignores some fields) |
2024-10-09 16:32:24 +0200 | <vektor> | Hmm, there's one custom Eq that looks very dodgy. |
2024-10-09 16:32:30 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
2024-10-09 16:33:13 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2024-10-09 16:33:14 +0200 | moe_ | (~moe@lewi-19-b2-v4wan-169604-cust1264.vm4.cable.virginm.net) |
2024-10-09 16:35:30 +0200 | <vektor> | I've removed that custom Eq for a derived one, any good advice on how to find where that Eq instance was used? I suspect there was a method to my previous madness in defining that custom Eq and I'd like to make sure. |
2024-10-09 16:37:36 +0200 | <vektor> | Removing the Eq altogether and checking all the places that break I suppose, right? |
2024-10-09 16:38:55 +0200 | <tomsmeding> | indeed :p |
2024-10-09 16:43:01 +0200 | hendi | (~hendi@2001:9e8:450c:3200:6391:9fa7:7b43:cd48) hendi |
2024-10-09 16:55:54 +0200 | euleritian | (~euleritia@dynamic-176-006-139-018.176.6.pool.telefonica.de) (Ping timeout: 276 seconds) |
2024-10-09 16:56:32 +0200 | euleritian | (~euleritia@dynamic-176-000-152-193.176.0.pool.telefonica.de) |
2024-10-09 17:00:23 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
2024-10-09 17:00:47 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) stiell |
2024-10-09 17:05:45 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-10-09 17:09:08 +0200 | moe_ | (~moe@lewi-19-b2-v4wan-169604-cust1264.vm4.cable.virginm.net) (Ping timeout: 245 seconds) |
2024-10-09 17:12:40 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.2.2) |
2024-10-09 17:13:11 +0200 | vektor | (~vektor@IP-149249145126.pools.medianet-world.de) (Quit: Client closed) |
2024-10-09 17:14:45 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 265 seconds) |
2024-10-09 17:17:55 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
2024-10-09 17:18:09 +0200 | hgolden__ | (~hgolden@146.70.173.37) hgolden |
2024-10-09 17:20:32 +0200 | hgolden_ | (~hgolden@169.150.203.10) (Ping timeout: 252 seconds) |
2024-10-09 17:26:12 +0200 | wanted | (~wanted@2.219.56.221) (Ping timeout: 246 seconds) |
2024-10-09 17:37:10 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-10-09 17:42:51 +0200 | wanted | (~wanted@2.219.56.221) |
2024-10-09 17:45:52 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
2024-10-09 17:50:45 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2024-10-09 17:55:44 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-10-09 17:57:40 +0200 | euleritian | (~euleritia@dynamic-176-000-152-193.176.0.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-10-09 17:57:57 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-10-09 18:05:03 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) LukeHoersten |
2024-10-09 18:05:48 +0200 | spew | (~spew@201.141.99.170) spew |
2024-10-09 18:07:48 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-10-09 18:08:21 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-10-09 18:21:01 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-10-09 18:23:59 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Quit: ERC (IRC client for Emacs 27.1)) |
2024-10-09 18:26:13 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2024-10-09 18:38:25 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Quit: ChaiTRex) |
2024-10-09 18:40:47 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2024-10-09 18:41:41 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
2024-10-09 18:51:11 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
2024-10-09 18:51:39 +0200 | CiaoSen | (~Jura@2a05:5800:2e5:2400:ca4b:d6ff:fec1:99da) CiaoSen |
2024-10-09 18:52:56 +0200 | codaraxis | (~codaraxis@user/codaraxis) (Ping timeout: 252 seconds) |
2024-10-09 18:53:57 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Ping timeout: 252 seconds) |
2024-10-09 18:54:11 +0200 | codaraxis | (~codaraxis@user/codaraxis) Codaraxis |
2024-10-09 18:55:16 +0200 | seydar | (~seydar@38-73-249-43.starry-inc.net) seydar |
2024-10-09 18:55:42 +0200 | <seydar> | i'm so sorry but i have a linear algebra question and i don't know who else to turn to |
2024-10-09 18:56:19 +0200 | <seydar> | i have two 2d points, a and b, and i'm trying to translate a third point, c, by magnitude m in the direction orthogonal to <a, b> |
2024-10-09 18:57:51 +0200 | <seydar> | is it just m * (a x b) * c ? am i just misusing my libraries? |
2024-10-09 18:58:12 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Quit: leaving) |
2024-10-09 18:58:19 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:4243:aa4c:841:ab6d) (Ping timeout: 264 seconds) |
2024-10-09 18:58:43 +0200 | <dolio> | That doesn't seem right. |
2024-10-09 18:58:57 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
2024-10-09 19:00:49 +0200 | <seydar> | turns out there's no cross product in R^2, which appears to be my first issue |
2024-10-09 19:03:47 +0200 | <ncf> | there's a ##math channel |
2024-10-09 19:04:19 +0200 | <ncf> | oh you're there already |
2024-10-09 19:04:38 +0200 | <seydar> | i panicked when i didn't get an immediate response, i'm sorry |
2024-10-09 19:04:44 +0200 | <seydar> | jumped here |
2024-10-09 19:08:28 +0200 | pavonia | (~user@user/siracusa) siracusa |
2024-10-09 19:14:09 +0200 | CiaoSen | (~Jura@2a05:5800:2e5:2400:ca4b:d6ff:fec1:99da) (Ping timeout: 260 seconds) |
2024-10-09 19:16:41 +0200 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
2024-10-09 19:17:13 +0200 | gorignak | (~gorignak@user/gorignak) gorignak |
2024-10-09 19:18:49 +0200 | alioguzhan | (~Thunderbi@78.173.89.238) (Remote host closed the connection) |
2024-10-09 19:19:38 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-10-09 19:29:08 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2024-10-09 19:32:32 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
2024-10-09 19:33:55 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-10-09 19:34:56 +0200 | <darkling> | Direction orthogonal to AB is (b2-a2, a1-b1), IIRC. Normalise that, and multiply by m. Add to c. |
2024-10-09 19:35:30 +0200 | <seydar> | why am i making this so hard |
2024-10-09 19:35:31 +0200 | <seydar> | thank you |
2024-10-09 19:38:53 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
2024-10-09 19:42:45 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb597c01f41ab12f33b9.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
2024-10-09 19:43:43 +0200 | alioguzhan | (~Thunderbi@78.173.89.238) |
2024-10-09 19:48:20 +0200 | mantraofpie | (~mantraofp@user/mantraofpie) mantraofpie |
2024-10-09 19:49:57 +0200 | CiaoSen | (~Jura@2a05:5800:2e5:2400:ca4b:d6ff:fec1:99da) CiaoSen |
2024-10-09 19:52:41 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
2024-10-09 19:54:47 +0200 | briandaed | (~root@185.234.210.211.r.toneticgroup.pl) |
2024-10-09 20:01:03 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:e3a4:78d2:48d1:1e0) |
2024-10-09 20:06:16 +0200 | sus0 | (zero@user/zeromomentum) (Quit: Ping timeout (120 seconds)) |
2024-10-09 20:06:28 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb59bd2c072e962d353d.dip0.t-ipconnect.de) acidjnk |
2024-10-09 20:06:30 +0200 | yahb2 | (~yahb2@user/tomsmeding/bot/yahb2) (Ping timeout: 246 seconds) |
2024-10-09 20:06:34 +0200 | op_4 | (~tslil@user/op-4/x-9116473) (Read error: Connection reset by peer) |
2024-10-09 20:06:48 +0200 | op_4 | (~tslil@user/op-4/x-9116473) op_4 |
2024-10-09 20:06:52 +0200 | sus0 | (zero@user/zeromomentum) zeromomentum |
2024-10-09 20:07:06 +0200 | TimWolla | (~timwolla@2a01:4f8:150:6153:beef::6667) (Quit: Bye) |
2024-10-09 20:07:47 +0200 | TimWolla | (~timwolla@2a01:4f8:150:6153:beef::6667) TimWolla |
2024-10-09 20:08:17 +0200 | nadja | (~dequbed@banana-new.kilobyte22.de) (Read error: Connection reset by peer) |
2024-10-09 20:08:33 +0200 | nadja | (~dequbed@banana-new.kilobyte22.de) dequbed |
2024-10-09 20:09:22 +0200 | hseg | (~gesh@46.120.20.246) (Ping timeout: 272 seconds) |
2024-10-09 20:12:13 +0200 | yahb2 | (~yahb2@user/tomsmeding/bot/yahb2) yahb2 |
2024-10-09 20:12:13 +0200 | ChanServ | +v yahb2 |
2024-10-09 20:12:51 +0200 | ubert | (~Thunderbi@178.165.187.120.wireless.dyn.drei.com) (Ping timeout: 252 seconds) |
2024-10-09 20:15:10 +0200 | <tomsmeding> | seydar: a way to remember darkling's formula is to recall that two vectors are orthogonal iff their inner product is zero |
2024-10-09 20:15:15 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
2024-10-09 20:16:05 +0200 | <tomsmeding> | the vector a -> b is (b1-a1, b2-a2); what has inner product zero with that? Well, exchange the two components (so that both products are equal) then negate one of the components (so that they cancel) |
2024-10-09 20:17:32 +0200 | <darkling> | I just worked out the first vector and multiplied by the matrix to rotate through 90° :) |
2024-10-09 20:17:44 +0200 | <Lears> | You can also embed R^2 in R^3 and project a cross product with a normal vector back into the plane. |
2024-10-09 20:18:03 +0200 | <tomsmeding> | incidentally, (a1, a2, 1) x (b1, b2, 1) = (a2-b2, b1-a1, _) |
2024-10-09 20:18:08 +0200 | <Lears> | That said, there are /two/ orthogonal directions. I hope they guess the right one! |
2024-10-09 20:18:25 +0200 | <tomsmeding> | (and indeed this yields the other, lol) |
2024-10-09 20:19:19 +0200 | <tomsmeding> | darkling: but then you actually have to _remember_ stuff! |
2024-10-09 20:19:31 +0200 | tomsmeding | would have to re-derive that matrix first |
2024-10-09 20:20:00 +0200 | <tomsmeding> | which is admittedly not terribly difficult, but solving the dot product is about the same amount of work :p |
2024-10-09 20:20:03 +0200 | <darkling> | That's one's simple enough, and I've done enough of them, I can remember it by now. :) |
2024-10-09 20:20:28 +0200 | billchenchina- | (~billchenc@103.152.35.21) (Remote host closed the connection) |
2024-10-09 20:20:52 +0200 | <tomsmeding> | {{0,1},{-1,0}} |
2024-10-09 20:20:57 +0200 | <tomsmeding> | right |