2024/10/09

2024-10-09 00:02:44 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-09 00:04:16 +0200Smiles(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 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-10-09 00:11:27 +0200arahael(~arahael@user/arahael) arahael
2024-10-09 00:11:57 +0200Sgeo(~Sgeo@user/sgeo) Sgeo
2024-10-09 00:12:31 +0200Angelz(Angelz@Angelz.oddprotocol.org)
2024-10-09 00:12:51 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-10-09 00:18:31 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-09 00:23:31 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds)
2024-10-09 00:23:41 +0200lbseale(~quassel@user/ep1ctetus) (Ping timeout: 244 seconds)
2024-10-09 00:29:15 +0200acidjnk(~acidjnk@p200300d6e72cfb34519e9ca14c5ce943.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2024-10-09 00:29:56 +0200mantraofpie(~mantraofp@user/mantraofpie) (Quit: Leaving)
2024-10-09 00:30:37 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik
2024-10-09 00:33:28 +0200thelounge6036(~thelounge@ip4d14fa4d.dynamic.kabel-deutschland.de)
2024-10-09 00:34:18 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-09 00:39:11 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-10-09 00:41:26 +0200Smiles(uid551636@id-551636.lymington.irccloud.com) Smiles
2024-10-09 00:46:05 +0200thelounge6036(~thelounge@ip4d14fa4d.dynamic.kabel-deutschland.de) (Quit: The Lounge - https://thelounge.chat)
2024-10-09 00:50:05 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-09 00:54:51 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-10-09 01:05:52 +0200lbseale(~quassel@user/ep1ctetus) ep1ctetus
2024-10-09 01:05:52 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-09 01:10:54 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-10-09 01:19:48 +0200rvalue(~rvalue@user/rvalue) (Read error: Connection reset by peer)
2024-10-09 01:20:22 +0200rvalue(~rvalue@user/rvalue) rvalue
2024-10-09 01:21:40 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-09 01:26:28 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-10-09 01:28:59 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2024-10-09 01:31:05 +0200weary-traveler(~user@user/user363627) user363627
2024-10-09 01:31:39 +0200athan(~athan@syn-098-153-145-140.biz.spectrum.com) (Quit: Konversation terminated!)
2024-10-09 01:37:27 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-09 01:42:56 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
2024-10-09 01:47:36 +0200youthlic(~Thunderbi@user/youthlic) youthlic
2024-10-09 01:52:52 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 252 seconds)
2024-10-09 01:53:14 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-09 01:54:37 +0200hgolden_(~hgolden@146.70.174.37) hgolden
2024-10-09 01:57:09 +0200hgolden__(~hgolden@23.162.40.28) (Ping timeout: 248 seconds)
2024-10-09 01:58:00 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-10-09 02:09:01 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-09 02:11:52 +0200regalk(~regalk@gateway/tor-sasl/regalk) regalk
2024-10-09 02:13:46 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-10-09 02:18:39 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2024-10-09 02:22:15 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-10-09 02:24:49 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-09 02:25:03 +0200xff0x(~xff0x@2405:6580:b080:900:da07:5be8:5f56:f410) (Ping timeout: 252 seconds)
2024-10-09 02:26:00 +0200johannes(~johannes@2600:1702:51fe:1500:3a2c:7d69:475c:ced9)
2024-10-09 02:28:47 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds)
2024-10-09 02:29:53 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-10-09 02:33:17 +0200codaraxis(~codaraxis@user/codaraxis) (Read error: Connection reset by peer)
2024-10-09 02:34:20 +0200johannes(~johannes@2600:1702:51fe:1500:3a2c:7d69:475c:ced9) (Leaving)
2024-10-09 02:34:25 +0200codaraxis(~codaraxis@user/codaraxis) Codaraxis
2024-10-09 02:35:16 +0200califax(~califax@user/califx) (Ping timeout: 260 seconds)
2024-10-09 02:35:45 +0200califax(~califax@user/califx) califx
2024-10-09 02:35:55 +0200codaraxis__(~codaraxis@user/codaraxis) Codaraxis
2024-10-09 02:37:37 +0200szkl(uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2024-10-09 02:38:14 +0200athan(~athan@syn-098-153-145-140.biz.spectrum.com) athan
2024-10-09 02:39:55 +0200codaraxis(~codaraxis@user/codaraxis) (Ping timeout: 265 seconds)
2024-10-09 02:40:35 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-09 02:40:55 +0200paddymahoney(~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (Ping timeout: 264 seconds)
2024-10-09 02:45:43 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-10-09 02:49:41 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-10-09 02:51:02 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2024-10-09 02:54:16 +0200Smiles(uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2024-10-09 02:56:23 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-09 03:01:20 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds)
2024-10-09 03:06:31 +0200codaraxis__(~codaraxis@user/codaraxis) (Remote host closed the connection)
2024-10-09 03:06:58 +0200codaraxis__(~codaraxis@user/codaraxis) Codaraxis
2024-10-09 03:09:45 +0200krei-se(~krei-se@p5085d9ca.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
2024-10-09 03:09:48 +0200krei-se-(~krei-se@p5085d46e.dip0.t-ipconnect.de) krei-se
2024-10-09 03:12:09 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-09 03:15:52 +0200AWizzArd(~code@gehrels.uberspace.de) (Changing host)
2024-10-09 03:15:52 +0200AWizzArd(~code@user/awizzard) AWizzard
2024-10-09 03:15:59 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2024-10-09 03:17:08 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-10-09 03:19:19 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection)
2024-10-09 03:20:38 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-10-09 03:23:03 +0200ephilalethes(~noumenon@113.51-175-156.customer.lyse.net) noumenon
2024-10-09 03:24:26 +0200troojg(~troojg@user/troojg) troojg
2024-10-09 03:24:27 +0200vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 252 seconds)
2024-10-09 03:25:21 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 276 seconds)
2024-10-09 03:27:57 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-09 03:31:04 +0200vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2024-10-09 03:32:51 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-10-09 03:37:51 +0200forell_(~forell@host-178-216-90-220.sta.tvknaszapraca.pl)
2024-10-09 03:39:51 +0200forell(~forell@user/forell) (Ping timeout: 265 seconds)
2024-10-09 03:40:52 +0200regalk(~regalk@gateway/tor-sasl/regalk) (Quit: WeeChat 4.4.2)
2024-10-09 03:42:08 +0200hgolden__(~hgolden@146.70.173.101) hgolden
2024-10-09 03:43:42 +0200weary-traveler(~user@user/user363627) user363627
2024-10-09 03:43:45 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-09 03:44:41 +0200hgolden_(~hgolden@146.70.174.37) (Ping timeout: 265 seconds)
2024-10-09 03:48:43 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-10-09 03:49:57 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-09 03:53:52 +0200athan(~athan@syn-098-153-145-140.biz.spectrum.com) (Quit: Konversation terminated!)
2024-10-09 03:55:19 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-10-09 04:05:08 +0200identity(~identity@user/ZharMeny) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.91))
2024-10-09 04:05:44 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-09 04:10:59 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-10-09 04:12:13 +0200LukeHoersten(~LukeHoers@user/lukehoersten) LukeHoersten
2024-10-09 04:12:34 +0200td_(~td@i5387092D.versanet.de) (Ping timeout: 252 seconds)
2024-10-09 04:14:24 +0200td_(~td@i5387093E.versanet.de)
2024-10-09 04:21:30 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-09 04:26:30 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-10-09 04:26:49 +0200spew(~spew@201.141.99.170) (Quit: spew)
2024-10-09 04:29:09 +0200philopso1(~caecilius@pool-71-183-97-38.nycmny.fios.verizon.net) (Ping timeout: 265 seconds)
2024-10-09 04:30:57 +0200machinedgod(~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 246 seconds)
2024-10-09 04:31:22 +0200flounders(~flounders@173.246.200.74) flounders
2024-10-09 04:37:18 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-09 04:38:08 +0200hgolden_(~hgolden@169.150.203.10) hgolden
2024-10-09 04:40:54 +0200hgolden__(~hgolden@146.70.173.101) (Ping timeout: 260 seconds)
2024-10-09 04:42:09 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-10-09 04:49:46 +0200jinsun(~jinsun@user/jinsun) (Ping timeout: 272 seconds)
2024-10-09 04:51:55 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-09 04:56:21 +0200vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 276 seconds)
2024-10-09 04:56:23 +0200machinedgod(~machinedg@d50-99-47-73.abhsia.telus.net) machinedgod
2024-10-09 04:56:55 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-10-09 04:57:51 +0200vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2024-10-09 04:59:02 +0200LukeHoersten(~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2024-10-09 05:07:41 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-09 05:10:51 +0200troojg(~troojg@user/troojg) (Remote host closed the connection)
2024-10-09 05:12:42 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-10-09 05:23:28 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-09 05:25:14 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Quit: ChaiTRex)
2024-10-09 05:29:34 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-10-09 05:35:52 +0200aforemny_(~aforemny@i59F4C6CF.versanet.de) aforemny
2024-10-09 05:36:09 +0200aforemny(~aforemny@2001:9e8:6cd9:9400:c5f2:6987:2beb:3640) (Ping timeout: 260 seconds)
2024-10-09 05:40:21 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-09 05:45:09 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-10-09 05:47:32 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds)
2024-10-09 05:48:46 +0200Lord_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 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-09 06:01:01 +0200jinsun(~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 +0200athan(~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 +0200merijn(~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 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-09 06:16:56 +0200machinedgod(~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 265 seconds)
2024-10-09 06:19:37 +0200chiselfuse(~chiselfus@user/chiselfuse) (Remote host closed the connection)
2024-10-09 06:19:37 +0200chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2024-10-09 06:19:57 +0200chexum(~quassel@gateway/tor-sasl/chexum) chexum
2024-10-09 06:20:19 +0200chiselfuse(~chiselfus@user/chiselfuse) chiselfuse
2024-10-09 06:20:32 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-10-09 06:21:35 +0200takuan(~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 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-09 06:36:45 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-10-09 06:38:07 +0200michalz(~michalz@185.246.207.221)
2024-10-09 06:41:06 +0200ephilalethes(~noumenon@113.51-175-156.customer.lyse.net) (Quit: Leaving)
2024-10-09 06:47:19 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-09 06:52:11 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds)
2024-10-09 06:53:28 +0200youthlic(~Thunderbi@user/youthlic) (Remote host closed the connection)
2024-10-09 06:53:54 +0200jinsun(~jinsun@user/jinsun) (Ping timeout: 260 seconds)
2024-10-09 06:56:00 +0200youthlic(~Thunderbi@user/youthlic) youthlic
2024-10-09 06:57:57 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
2024-10-09 06:58:25 +0200stiell(~stiell@gateway/tor-sasl/stiell) stiell
2024-10-09 07:03:06 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-09 07:04:34 +0200euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2024-10-09 07:07:45 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-10-09 07:07:49 +0200chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2024-10-09 07:07:54 +0200euphores(~SASL_euph@user/euphores) euphores
2024-10-09 07:08:00 +0200chexum(~quassel@gateway/tor-sasl/chexum) chexum
2024-10-09 07:10:40 +0200causal(~eric@50.35.88.207) (Quit: WeeChat 4.4.2)
2024-10-09 07:18:52 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-09 07:23:42 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-10-09 07:28:28 +0200ghodawalaaman(~thelounge@user/thelounge8234) (Quit: The Lounge - https://thelounge.chat)
2024-10-09 07:30:12 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2024-10-09 07:34:41 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-09 07:39:44 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-10-09 07:46:34 +0200JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2024-10-09 07:48:42 +0200CiaoSen(~Jura@2a05:5800:2e5:2400:ca4b:d6ff:fec1:99da) CiaoSen
2024-10-09 07:50:28 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-09 07:53:47 +0200jinsun(~jinsun@user/jinsun) jinsun
2024-10-09 07:55:30 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-10-09 07:55:59 +0200gorignak(~gorignak@user/gorignak) (Quit: quit)
2024-10-09 07:56:30 +0200gorignak(~gorignak@user/gorignak) gorignak
2024-10-09 08:00:58 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-09 08:06:06 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
2024-10-09 08:07:37 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2024-10-09 08:16:45 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-09 08:18:08 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-10-09 08:18:59 +0200szkl(uid110435@id-110435.uxbridge.irccloud.com) szkl
2024-10-09 08:21:32 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-10-09 08:24:30 +0200JuanDaugherty(~juan@user/JuanDaugherty) (Quit: JuanDaugherty)
2024-10-09 08:32:33 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-09 08:33:16 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds)
2024-10-09 08:34:11 +0200euleritian(~euleritia@dynamic-176-006-140-203.176.6.pool.telefonica.de)
2024-10-09 08:36:03 +0200euleritian(~euleritia@dynamic-176-006-140-203.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-10-09 08:36:42 +0200ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2024-10-09 08:36:42 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-10-09 08:37:37 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-10-09 08:43:29 +0200sord937(~sord937@gateway/tor-sasl/sord937) sord937
2024-10-09 08:48:20 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-09 08:48:20 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-10-09 08:48:30 +0200ubert(~Thunderbi@178.165.187.120.wireless.dyn.drei.com) ubert
2024-10-09 08:48:40 +0200euleritian(~euleritia@77.22.252.56)
2024-10-09 08:51:35 +0200alp_(~alp@2001:861:e3d6:8f80:4243:aa4c:841:ab6d)
2024-10-09 08:51:36 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac
2024-10-09 08:52:20 +0200vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 252 seconds)
2024-10-09 08:53:03 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-10-09 08:53:04 +0200euleritian(~euleritia@77.22.252.56) (Ping timeout: 252 seconds)
2024-10-09 08:53:39 +0200euleritian(~euleritia@dynamic-176-006-140-203.176.6.pool.telefonica.de)
2024-10-09 08:54:05 +0200vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2024-10-09 08:58:31 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-10-09 09:00:00 +0200caconym(~caconym@user/caconym) (Quit: bye)
2024-10-09 09:00:36 +0200caconym(~caconym@user/caconym) caconym
2024-10-09 09:01:59 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-10-09 09:02:06 +0200arahael(~arahael@user/arahael) (Remote host closed the connection)
2024-10-09 09:07:00 +0200merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-10-09 09:09:00 +0200chele(~chele@user/chele) chele
2024-10-09 09:16:49 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-10-09 09:17:35 +0200codaraxis__(~codaraxis@user/codaraxis) (Read error: Connection reset by peer)
2024-10-09 09:21:27 +0200codaraxis(~codaraxis@user/codaraxis) Codaraxis
2024-10-09 09:25:22 +0200acidjnk(~acidjnk@p200300d6e72cfb597c01f41ab12f33b9.dip0.t-ipconnect.de) acidjnk
2024-10-09 09:31:15 +0200simendsjo(~user@79.161.5.185) simendsjo
2024-10-09 09:33:11 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be)
2024-10-09 09:37:17 +0200cfricke(~cfricke@user/cfricke) cfricke
2024-10-09 09:40:08 +0200Natch(~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Ping timeout: 244 seconds)
2024-10-09 09:44:14 +0200youthlic(~Thunderbi@user/youthlic) (Remote host closed the connection)
2024-10-09 09:46:29 +0200youthlic(~Thunderbi@user/youthlic) youthlic
2024-10-09 09:59:52 +0200merijn(~merijn@77.242.116.146) merijn
2024-10-09 10:09:53 +0200rosco(~rosco@175.136.22.30) rosco
2024-10-09 10:21:14 +0200Natch(~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se)
2024-10-09 10:25:06 +0200vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 252 seconds)
2024-10-09 10:25:09 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-10-09 10:27:07 +0200vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2024-10-09 10:27:15 +0200ash3en(~Thunderbi@ip1f10cbd6.dynamic.kabel-deutschland.de) ash3en
2024-10-09 10:28:26 +0200ash3en(~Thunderbi@ip1f10cbd6.dynamic.kabel-deutschland.de) (Client Quit)
2024-10-09 10:29:21 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds)
2024-10-09 10:36:38 +0200drdo(~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 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2024-10-09 10:39:00 +0200euleritian(~euleritia@dynamic-176-006-140-203.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-10-09 10:39:23 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-10-09 10:43:48 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds)
2024-10-09 10:44:25 +0200euleritian(~euleritia@dynamic-176-006-140-203.176.6.pool.telefonica.de)
2024-10-09 10:48:14 +0200noctux(~noctux@user/noctux) (Ping timeout: 272 seconds)
2024-10-09 10:48:52 +0200noctux(~noctux@user/noctux) noctux
2024-10-09 10:54:51 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2024-10-09 11:12:04 +0200euleritian(~euleritia@dynamic-176-006-140-203.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-10-09 11:12:22 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-10-09 11:13:33 +0200Guest98(~Guest98@2406:7400:bd:df2a:e59e:ee5c:235f:b905)
2024-10-09 11:14:26 +0200coldmountain(sid484352@id-484352.helmsley.irccloud.com) coldmountain
2024-10-09 11:14:51 +0200Guest98(~Guest98@2406:7400:bd:df2a:e59e:ee5c:235f:b905) (Client Quit)
2024-10-09 11:27:54 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds)
2024-10-09 11:28:34 +0200euleritian(~euleritia@dynamic-176-006-140-203.176.6.pool.telefonica.de)
2024-10-09 11:35:14 +0200gvg(~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 +0200famubu(~julinuser@user/famubu) (Ping timeout: 248 seconds)
2024-10-09 11:54:26 +0200famubu(~julinuser@14.139.174.50)
2024-10-09 11:56:32 +0200drdo(~drdo@bl9-110-63.dsl.telepac.pt) drdo
2024-10-09 11:57:11 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2)
2024-10-09 11:58:58 +0200Smiles(uid551636@id-551636.lymington.irccloud.com) Smiles
2024-10-09 11:58:58 +0200xff0x(~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 +0200hseg(~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 +0200CiaoSen(~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 +0200CrunchyFlakes(~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-10-09 12:43:57 +0200euleritian(~euleritia@dynamic-176-006-140-203.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-10-09 12:44:20 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-10-09 12:44:32 +0200CrunchyFlakes(~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de)
2024-10-09 12:49:12 +0200simendsjo(~user@79.161.5.185) (Remote host closed the connection)
2024-10-09 12:57:23 +0200simendsjo(~user@79.161.5.185) simendsjo
2024-10-09 12:59:28 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds)
2024-10-09 12:59:43 +0200euleritian(~euleritia@dynamic-176-006-140-203.176.6.pool.telefonica.de)
2024-10-09 13:03:21 +0200foul_owl(~kerry@185.219.141.162) (Ping timeout: 246 seconds)
2024-10-09 13:04:40 +0200hsw(~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 +0200hsw(~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) hsw
2024-10-09 13:05:44 +0200xff0x(~xff0x@2405:6580:b080:900:a344:9aaf:caa3:591c)
2024-10-09 13:10:29 +0200euleritian(~euleritia@dynamic-176-006-140-203.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-10-09 13:10:46 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-10-09 13:11:38 +0200arahael(~arahael@user/arahael) arahael
2024-10-09 13:14:52 +0200dolio(~dolio@130.44.140.168) (Quit: ZNC 1.8.2 - https://znc.in)
2024-10-09 13:15:58 +0200foul_owl(~kerry@185.216.231.181) foul_owl
2024-10-09 13:16:20 +0200dolio(~dolio@130.44.140.168) dolio
2024-10-09 13:17:06 +0200gvg(~dcd@user/gvg) gvg
2024-10-09 13:19:04 +0200dolio(~dolio@130.44.140.168) (Client Quit)
2024-10-09 13:20:37 +0200dolio(~dolio@130.44.140.168) dolio
2024-10-09 13:24:14 +0200gorignak(~gorignak@user/gorignak) (Quit: quit)
2024-10-09 13:24:45 +0200gorignak(~gorignak@user/gorignak) gorignak
2024-10-09 13:28:46 +0200CiaoSen(~Jura@2a05:5800:2e5:2400:ca4b:d6ff:fec1:99da) CiaoSen
2024-10-09 13:34:58 +0200rvalue(~rvalue@user/rvalue) (Read error: Connection reset by peer)
2024-10-09 13:35:30 +0200rvalue(~rvalue@user/rvalue) rvalue
2024-10-09 13:35:58 +0200rosco(~rosco@175.136.22.30) (Quit: Lost terminal)
2024-10-09 13:36:16 +0200comonad(~comonad@p200300d02711e6001d93b8c5b2241d7f.dip0.t-ipconnect.de) (Quit: WeeChat 4.3.5)
2024-10-09 13:37:25 +0200alexherbo2(~alexherbo@2a02-8440-330a-55b8-5144-54d3-aa36-e8c9.rev.sfr.net) alexherbo2
2024-10-09 13:42:42 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-10-09 13:43:08 +0200comonad(~comonad@p200300d02711e6001d93b8c5b2241d7f.dip0.t-ipconnect.de)
2024-10-09 13:48:49 +0200merijn(~merijn@77.242.116.146) (Quit: leaving)
2024-10-09 13:50:35 +0200comonad(~comonad@p200300d02711e6001d93b8c5b2241d7f.dip0.t-ipconnect.de) (Quit: WeeChat 4.4.2)
2024-10-09 13:50:49 +0200comonad(~comonad@p200300d02711e6001d93b8c5b2241d7f.dip0.t-ipconnect.de)
2024-10-09 13:51:11 +0200Lord_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 +0200lieuwex(~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 +0200youthlic(~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 +0200youthlic(~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 +0200lieuwex(~lieuwex@D964662A.static.ziggozakelijk.nl) (Quit: lieuwex)
2024-10-09 14:02:17 +0200mari-estel(~mari-este@2a02:3032:30b:ae0c:216:3eff:fe65:4eef)
2024-10-09 14:07:59 +0200Smiles(uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2024-10-09 14:10:04 +0200CiaoSen(~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 +0200Lord_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 +0200ljdarj(~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 +0200alexherbo2(~alexherbo@2a02-8440-330a-55b8-5144-54d3-aa36-e8c9.rev.sfr.net) (Remote host closed the connection)
2024-10-09 14:16:19 +0200alexherbo2(~alexherbo@2a02-8440-330a-55b8-5144-54d3-aa36-e8c9.rev.sfr.net) alexherbo2
2024-10-09 14:17:28 +0200billchenchina-(~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 +0200alexherbo2(~alexherbo@2a02-8440-330a-55b8-5144-54d3-aa36-e8c9.rev.sfr.net) (Remote host closed the connection)
2024-10-09 14:26:35 +0200alexherbo2(~alexherbo@2a02-8440-330a-55b8-5144-54d3-aa36-e8c9.rev.sfr.net) alexherbo2
2024-10-09 14:27:32 +0200mari-estel(~mari-este@2a02:3032:30b:ae0c:216:3eff:fe65:4eef) (Quit: errands)
2024-10-09 14:32:03 +0200codaraxis(~codaraxis@user/codaraxis) (Ping timeout: 244 seconds)
2024-10-09 14:33:39 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac
2024-10-09 14:36:28 +0200alexherbo2(~alexherbo@2a02-8440-330a-55b8-5144-54d3-aa36-e8c9.rev.sfr.net) (Remote host closed the connection)
2024-10-09 14:37:11 +0200alexherbo2(~alexherbo@2a02-8440-330a-55b8-b599-5e37-bcaf-ea15.rev.sfr.net) alexherbo2
2024-10-09 14:41:05 +0200alexherbo2(~alexherbo@2a02-8440-330a-55b8-b599-5e37-bcaf-ea15.rev.sfr.net) (Remote host closed the connection)
2024-10-09 14:41:33 +0200alexherbo2(~alexherbo@2a02-8440-330a-55b8-b033-f4f9-ddc1-450a.rev.sfr.net) alexherbo2
2024-10-09 14:44:44 +0200alexherbo2(~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 +0200Smiles(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 +0200weary-traveler(~user@user/user363627) user363627
2024-10-09 15:03:59 +0200Digitteknohippie(~user@user/digit) Digit
2024-10-09 15:04:15 +0200Digit(~user@user/digit) (Ping timeout: 265 seconds)
2024-10-09 15:06:34 +0200gorignak(~gorignak@user/gorignak) (Quit: quit)
2024-10-09 15:07:05 +0200gorignak(~gorignak@user/gorignak) gorignak
2024-10-09 15:11:17 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds)
2024-10-09 15:13:13 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-10-09 15:17:04 +0200DigitteknohippieDigit
2024-10-09 15:19:58 +0200alexherbo2(~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 +0200identity(~identity@user/ZharMeny) identity
2024-10-09 15:43:17 +0200alexherbo2(~alexherbo@2a02-8440-330a-55b8-7487-6396-e5cd-7eb2.rev.sfr.net) (Remote host closed the connection)
2024-10-09 15:44:26 +0200alexherbo2(~alexherbo@2a02-8440-330a-55b8-7487-6396-e5cd-7eb2.rev.sfr.net) alexherbo2
2024-10-09 15:44:50 +0200euleritian(~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 +0200petrichor(~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 +0200euleritian(~euleritia@dynamic-176-006-139-018.176.6.pool.telefonica.de)
2024-10-09 15:46:52 +0200petrichor(~znc-user@user/petrichor) petrichor
2024-10-09 15:47:43 +0200alexherbo2(~alexherbo@2a02-8440-330a-55b8-7487-6396-e5cd-7eb2.rev.sfr.net) (Remote host closed the connection)
2024-10-09 15:49:58 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Excess Flood)
2024-10-09 15:54:20 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2024-10-09 16:04:20 +0200Batzy(~quassel@user/batzy) Batzy
2024-10-09 16:06:55 +0200codaraxis(~codaraxis@user/codaraxis) Codaraxis
2024-10-09 16:07:06 +0200Batzy_(~quassel@user/batzy) (Ping timeout: 246 seconds)
2024-10-09 16:16:42 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2)
2024-10-09 16:17:25 +0200simendsjo(~user@79.161.5.185) (Ping timeout: 248 seconds)
2024-10-09 16:18:50 +0200vektor(~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 +0200Lord_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 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2024-10-09 16:33:14 +0200moe_(~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 +0200hendi(~hendi@2001:9e8:450c:3200:6391:9fa7:7b43:cd48) hendi
2024-10-09 16:55:54 +0200euleritian(~euleritia@dynamic-176-006-139-018.176.6.pool.telefonica.de) (Ping timeout: 276 seconds)
2024-10-09 16:56:32 +0200euleritian(~euleritia@dynamic-176-000-152-193.176.0.pool.telefonica.de)
2024-10-09 17:00:23 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
2024-10-09 17:00:47 +0200stiell(~stiell@gateway/tor-sasl/stiell) stiell
2024-10-09 17:05:45 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-10-09 17:09:08 +0200moe_(~moe@lewi-19-b2-v4wan-169604-cust1264.vm4.cable.virginm.net) (Ping timeout: 245 seconds)
2024-10-09 17:12:40 +0200cfricke(~cfricke@user/cfricke) (Quit: WeeChat 4.2.2)
2024-10-09 17:13:11 +0200vektor(~vektor@IP-149249145126.pools.medianet-world.de) (Quit: Client closed)
2024-10-09 17:14:45 +0200vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 265 seconds)
2024-10-09 17:17:55 +0200chele(~chele@user/chele) (Remote host closed the connection)
2024-10-09 17:18:09 +0200hgolden__(~hgolden@146.70.173.37) hgolden
2024-10-09 17:20:32 +0200hgolden_(~hgolden@169.150.203.10) (Ping timeout: 252 seconds)
2024-10-09 17:26:12 +0200wanted(~wanted@2.219.56.221) (Ping timeout: 246 seconds)
2024-10-09 17:37:10 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-10-09 17:42:51 +0200wanted(~wanted@2.219.56.221)
2024-10-09 17:45:52 +0200Lord_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 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2024-10-09 17:55:44 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-10-09 17:57:40 +0200euleritian(~euleritia@dynamic-176-000-152-193.176.0.pool.telefonica.de) (Read error: Connection reset by peer)
2024-10-09 17:57:57 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-10-09 18:05:03 +0200LukeHoersten(~LukeHoers@user/lukehoersten) LukeHoersten
2024-10-09 18:05:48 +0200spew(~spew@201.141.99.170) spew
2024-10-09 18:07:48 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-10-09 18:08:21 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-10-09 18:21:01 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-10-09 18:23:59 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be) (Quit: ERC (IRC client for Emacs 27.1))
2024-10-09 18:26:13 +0200vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2024-10-09 18:38:25 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Quit: ChaiTRex)
2024-10-09 18:40:47 +0200LukeHoersten(~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2024-10-09 18:41:41 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net)
2024-10-09 18:51:11 +0200ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2024-10-09 18:51:39 +0200CiaoSen(~Jura@2a05:5800:2e5:2400:ca4b:d6ff:fec1:99da) CiaoSen
2024-10-09 18:52:56 +0200codaraxis(~codaraxis@user/codaraxis) (Ping timeout: 252 seconds)
2024-10-09 18:53:57 +0200athan(~athan@syn-098-153-145-140.biz.spectrum.com) (Ping timeout: 252 seconds)
2024-10-09 18:54:11 +0200codaraxis(~codaraxis@user/codaraxis) Codaraxis
2024-10-09 18:55:16 +0200seydar(~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 +0200vanishingideal(~vanishing@user/vanishingideal) (Quit: leaving)
2024-10-09 18:58:19 +0200alp_(~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 +0200wootehfoot(~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 +0200pavonia(~user@user/siracusa) siracusa
2024-10-09 19:14:09 +0200CiaoSen(~Jura@2a05:5800:2e5:2400:ca4b:d6ff:fec1:99da) (Ping timeout: 260 seconds)
2024-10-09 19:16:41 +0200gorignak(~gorignak@user/gorignak) (Quit: quit)
2024-10-09 19:17:13 +0200gorignak(~gorignak@user/gorignak) gorignak
2024-10-09 19:18:49 +0200alioguzhan(~Thunderbi@78.173.89.238) (Remote host closed the connection)
2024-10-09 19:19:38 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-10-09 19:29:08 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2024-10-09 19:32:32 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2024-10-09 19:33:55 +0200tromp(~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 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla
2024-10-09 19:42:45 +0200acidjnk(~acidjnk@p200300d6e72cfb597c01f41ab12f33b9.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2024-10-09 19:43:43 +0200alioguzhan(~Thunderbi@78.173.89.238)
2024-10-09 19:48:20 +0200mantraofpie(~mantraofp@user/mantraofpie) mantraofpie
2024-10-09 19:49:57 +0200CiaoSen(~Jura@2a05:5800:2e5:2400:ca4b:d6ff:fec1:99da) CiaoSen
2024-10-09 19:52:41 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds)
2024-10-09 19:54:47 +0200briandaed(~root@185.234.210.211.r.toneticgroup.pl)
2024-10-09 20:01:03 +0200alp_(~alp@2001:861:e3d6:8f80:e3a4:78d2:48d1:1e0)
2024-10-09 20:06:16 +0200sus0(zero@user/zeromomentum) (Quit: Ping timeout (120 seconds))
2024-10-09 20:06:28 +0200acidjnk(~acidjnk@p200300d6e72cfb59bd2c072e962d353d.dip0.t-ipconnect.de) acidjnk
2024-10-09 20:06:30 +0200yahb2(~yahb2@user/tomsmeding/bot/yahb2) (Ping timeout: 246 seconds)
2024-10-09 20:06:34 +0200op_4(~tslil@user/op-4/x-9116473) (Read error: Connection reset by peer)
2024-10-09 20:06:48 +0200op_4(~tslil@user/op-4/x-9116473) op_4
2024-10-09 20:06:52 +0200sus0(zero@user/zeromomentum) zeromomentum
2024-10-09 20:07:06 +0200TimWolla(~timwolla@2a01:4f8:150:6153:beef::6667) (Quit: Bye)
2024-10-09 20:07:47 +0200TimWolla(~timwolla@2a01:4f8:150:6153:beef::6667) TimWolla
2024-10-09 20:08:17 +0200nadja(~dequbed@banana-new.kilobyte22.de) (Read error: Connection reset by peer)
2024-10-09 20:08:33 +0200nadja(~dequbed@banana-new.kilobyte22.de) dequbed
2024-10-09 20:09:22 +0200hseg(~gesh@46.120.20.246) (Ping timeout: 272 seconds)
2024-10-09 20:12:13 +0200yahb2(~yahb2@user/tomsmeding/bot/yahb2) yahb2
2024-10-09 20:12:13 +0200ChanServ+v yahb2
2024-10-09 20:12:51 +0200ubert(~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 +0200lxsameer(~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 +0200tomsmedingwould 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 +0200billchenchina-(~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
2024-10-09 20:21:24 +0200 <dolio> Why (a1, a2, 1) etc.?
2024-10-09 20:21:33 +0200 <tomsmeding> that matrix is quite literally "swap the components and negate one of them" :p
2024-10-09 20:21:42 +0200 <darkling> (Or just visualise an angled vector, then its 90° rotation, and it's pretty obvious you swap the ordinates and negate one)
2024-10-09 20:22:36 +0200 <tomsmeding> dolio: visualise it in 3D with two points a and b that are a bit away from the origin, but fairly close together
2024-10-09 20:22:55 +0200 <tomsmeding> er, hm
2024-10-09 20:22:58 +0200 <Lears> Coming in late: "just multiply by i"
2024-10-09 20:23:07 +0200 <darkling> That works, too.
2024-10-09 20:23:17 +0200 <tomsmeding> dolio: I don't know, it works
2024-10-09 20:23:39 +0200 <dolio> I guess my question is: why 1?
2024-10-09 20:24:12 +0200 <tomsmeding> (because I recalled there was some trick kind of like this, and I forgot what the third component needed to be, put "1" there, it worked, and I posted)
2024-10-09 20:24:22 +0200 <dolio> Haha. Okay.
2024-10-09 20:24:34 +0200 <tomsmeding> it doesn't work with 0, in any case
2024-10-09 20:24:39 +0200 <dolio> Hmm.
2024-10-09 20:24:48 +0200 <dolio> Oh yeah, that'll be all z.
2024-10-09 20:24:52 +0200 <tomsmeding> yes
2024-10-09 20:26:07 +0200 <dolio> I guess you need to give them some z so that the result has some component in the x-y plane.
2024-10-09 20:26:26 +0200 <dolio> Probably doesn't matter how much.
2024-10-09 20:26:38 +0200 <tomsmeding> ah, that's correct
2024-10-09 20:26:52 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2024-10-09 20:27:23 +0200 <tomsmeding> (a1,a2,x) x (b1,b2,x) = (a2*x - b2*x, x*b1 - x*a1, a1*b2 - a2*b1)
2024-10-09 20:28:53 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2024-10-09 20:30:12 +0200 <tomsmeding> hm, not sure if that third component is useful in any way
2024-10-09 20:30:21 +0200 <dolio> Oh, and you need it to be the same z for both so that the component is orthogonal to the line between the two.
2024-10-09 20:30:35 +0200 <tomsmeding> it's the determinant of {{a1,a2},{b1,b2}}, but it's not the length of any of the relevant vectors
2024-10-09 20:31:02 +0200 <tomsmeding> dolio: I mean, that is correct because the algebra works out, but that's the part I don't have intuition for
2024-10-09 20:31:18 +0200 <tomsmeding> why does the projection into the plane end up orthogonal to the line segment you started with?
2024-10-09 20:33:15 +0200 <tomsmeding> my moving points around in space, mentally, and visualising what the normal of the (O, A, B) triangle does, I can see that it points in roughly the right direction to be orthogonal to AB, but I wouldn't be able to tell (without working out the algebra) whether that's exact
2024-10-09 20:33:29 +0200 <tomsmeding> *by moving points around
2024-10-09 20:33:31 +0200 <dolio> Because you're sort of rotating the plane of the x-y vectors to change the 3d orthogonal vector.
2024-10-09 20:33:50 +0200 <tomsmeding> I mean, yes
2024-10-09 20:34:27 +0200 <dolio> If you add the same z component to both, you're rotating it so that the projection bisects the angle between the original vectors.
2024-10-09 20:34:43 +0200 <tomsmeding> "the projection"?
2024-10-09 20:35:06 +0200 <dolio> Of the cross product.
2024-10-09 20:35:36 +0200 <tomsmeding> does it bisect anything?
2024-10-09 20:36:20 +0200 <tomsmeding> if I take A = (3, 3) and B = (7, 6), then the OAB triangle is slanted sideways quite a bit, and the cross product (the normal of that triangle) points away from the whole thing, to the side
2024-10-09 20:37:06 +0200hc_(~hc@mail.hce.li) hc
2024-10-09 20:37:13 +0200apache(apache2@anubis.0x90.dk) apache2
2024-10-09 20:37:30 +0200 <dolio> Hmm, oh yeah. Okay. I don't know why it works, then.
2024-10-09 20:37:39 +0200 <tomsmeding> perhaps B = (100, 99) works better :p
2024-10-09 20:38:42 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-10-09 20:39:08 +0200hc(~hc@mail.hce.li) (Ping timeout: 272 seconds)
2024-10-09 20:39:09 +0200TimWolla_(~timwolla@2a01:4f8:150:6153:beef::6667) TimWolla
2024-10-09 20:39:48 +0200 <dolio> I guess the answer is that however it rotates it is the correct way to rotate it, but I don't know exactly why.
2024-10-09 20:40:17 +0200 <tomsmeding> depending on who you ask, the "why" will be "look at the algebra, that's why"
2024-10-09 20:40:39 +0200 <tomsmeding> but usually there are deeper reasons for these things in linear algebra
2024-10-09 20:40:40 +0200bwe(~bwe@2a01:4f8:1c1c:4878::2) (Remote host closed the connection)
2024-10-09 20:40:49 +0200bwe(~bwe@2a01:4f8:1c1c:4878::2) bwe
2024-10-09 20:40:55 +0200 <tomsmeding> seydar: look what you've done
2024-10-09 20:41:25 +0200davl_(~davl@207.154.228.18) davl
2024-10-09 20:41:30 +0200 <dolio> Yeah, it's not a 'geometric reason.' I'm not very good at geometric stuff, though.
2024-10-09 20:41:42 +0200mewra(~aranea@wireguard/contributorcat/mira) (Ping timeout: 246 seconds)
2024-10-09 20:41:49 +0200TimWolla(~timwolla@2a01:4f8:150:6153:beef::6667) (Ping timeout: 252 seconds)
2024-10-09 20:41:49 +0200TimWolla_TimWolla
2024-10-09 20:41:54 +0200mewra(~aranea@wireguard/contributorcat/mira) aranea
2024-10-09 20:42:09 +0200apache2(apache2@anubis.0x90.dk) (Remote host closed the connection)
2024-10-09 20:42:09 +0200flocks(~flocks@134.122.90.60) (Ping timeout: 264 seconds)
2024-10-09 20:42:09 +0200YoungFrog(~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) (Ping timeout: 264 seconds)
2024-10-09 20:42:09 +0200davl(~davl@207.154.228.18) (Ping timeout: 264 seconds)
2024-10-09 20:42:28 +0200YoungFrog(~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) youngfrog
2024-10-09 20:42:30 +0200 <dolio> Obviously I was only visualizing the case where the vectors to A and B have equal length.
2024-10-09 20:42:39 +0200 <tomsmeding> I did the same thing :)
2024-10-09 20:42:43 +0200 <tomsmeding> then it's quite clear
2024-10-09 20:42:47 +0200 <dolio> Yeah.
2024-10-09 20:42:52 +0200flocks(~flocks@134.122.90.60) flocks
2024-10-09 20:42:56 +0200 <seydar> tomsmeding: this only further validates that i came to the right place
2024-10-09 20:42:59 +0200 <tomsmeding> then I realised my mistake and came the "er, hm"
2024-10-09 20:43:16 +0200 <tomsmeding> seydar: :D
2024-10-09 20:43:41 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-10-09 20:46:24 +0200machinedgod(~machinedg@d50-99-47-73.abhsia.telus.net) machinedgod
2024-10-09 20:47:59 +0200Smiles(uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2024-10-09 20:52:44 +0200seydar(~seydar@38-73-249-43.starry-inc.net) (Ping timeout: 260 seconds)
2024-10-09 20:53:44 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2024-10-09 20:54:00 +0200jinsun(~jinsun@user/jinsun) (Read error: Connection reset by peer)
2024-10-09 20:56:47 +0200drdo8(~drdo@bl9-110-63.dsl.telepac.pt) drdo
2024-10-09 20:58:21 +0200drdo(~drdo@bl9-110-63.dsl.telepac.pt) (Ping timeout: 276 seconds)
2024-10-09 20:58:21 +0200drdo8drdo
2024-10-09 21:00:05 +0200caconym(~caconym@user/caconym) (Quit: bye)
2024-10-09 21:00:25 +0200 <Lears> tomsmeding, dolio: Distributivity. (a1, a2, z) x (b1, b2, z) = ((a1, a2, 0) + (0, 0, z)) x ((b1, b2, 0) + (0, 0, z)) = ((a1, a2, 0) + (b1, b2, 0)) x (0, 0, z) + (0, 0, <junk>)
2024-10-09 21:00:41 +0200 <Lears> The projection should be orthogonal to a+b, not b-a?
2024-10-09 21:00:42 +0200caconym(~caconym@user/caconym) caconym
2024-10-09 21:01:46 +0200 <dolio> tomsmeding: Maybe this is a better thing to consider. Those vectors are what you get by going between your actual points and the point (0,0,-z). And that plane actually contains the line you care about.
2024-10-09 21:05:19 +0200 <tomsmeding> Lears: well, it's orthogonal to b-a. :P
2024-10-09 21:06:37 +0200 <tomsmeding> dolio: which "those vectors"? (a1,a2,z) and (b1,b2,z)?
2024-10-09 21:06:48 +0200 <dolio> Yeah.
2024-10-09 21:07:17 +0200 <tomsmeding> and "the plane" is the one generated by {(a1,a2,0), (b1,b2,0), (0,0,-z)}?
2024-10-09 21:07:24 +0200 <dolio> Yes.
2024-10-09 21:07:45 +0200 <tomsmeding> that's just the same plane as we've been looking at before ("the triangle OAB"), only shifted down by z :p
2024-10-09 21:07:55 +0200 <tomsmeding> the cross product is going to be _normal_ to that plane
2024-10-09 21:08:38 +0200 <tomsmeding> so I'm not sure about your "contains the line you care about"
2024-10-09 21:08:39 +0200AlexNoo_(~AlexNoo@178.34.163.165)
2024-10-09 21:09:08 +0200 <dolio> It's normal to a plane containing the line between the a and b points.
2024-10-09 21:09:25 +0200 <tomsmeding> yes ... oh
2024-10-09 21:09:30 +0200 <tomsmeding> well it always was
2024-10-09 21:09:40 +0200 <tomsmeding> okay fair
2024-10-09 21:10:09 +0200 <tomsmeding> the cross product is normal to the plane spun up by the triangle OAB, hence it is normal to all vectors in that plane, in particular B-A
2024-10-09 21:10:12 +0200 <tomsmeding> \qed?
2024-10-09 21:10:44 +0200 <dolio> Well, you need some fact about projections back to the x-y plane.
2024-10-09 21:10:48 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2024-10-09 21:11:06 +0200 <tomsmeding> when I did a bachelor in maths I had some fun with a fellow student and wrote a macro which, translated to English, would I guess be \maybeBoxy
2024-10-09 21:11:11 +0200 <tomsmeding> it was a \qed with a ? inside
2024-10-09 21:11:14 +0200AlexZenon(~alzenon@178.34.151.120) (Ping timeout: 260 seconds)
2024-10-09 21:11:32 +0200AlexNoo__(~AlexNoo@178.34.163.165)
2024-10-09 21:11:35 +0200 <tomsmeding> right
2024-10-09 21:12:16 +0200AlexNoo(~AlexNoo@178.34.151.120) (Ping timeout: 252 seconds)
2024-10-09 21:12:53 +0200 <tomsmeding> you can do that algebraically (the cross product is orthogonal to B-A, but the z-component of B-A is zero, hence it's orthogonal regardless of the z component of the cross product, hence also at zero, hence also when projected to the x-y plane)
2024-10-09 21:13:00 +0200 <tomsmeding> but that's cheating again
2024-10-09 21:13:14 +0200weary-traveler(~user@user/user363627) user363627
2024-10-09 21:13:30 +0200 <dolio> Yeah, I'm not sure how to see geometrically that the projection is still orthogonal.
2024-10-09 21:14:24 +0200AlexNoo_(~AlexNoo@178.34.163.165) (Ping timeout: 246 seconds)
2024-10-09 21:14:28 +0200 <tomsmeding> it is relevant that B-A lies in the x-y plane, because without that restriction, it's easy to think of two orthogonal vectors in R^3 that are not orthogonal after projection to the x-y plane
2024-10-09 21:15:22 +0200briandaed(~root@185.234.210.211.r.toneticgroup.pl) (Remote host closed the connection)
2024-10-09 21:15:34 +0200 <tomsmeding> ah: B-A lies in the x-y plane, so rotate and scale the whole system so that B-A is (1,0); then the (rotated) cross product is still orthogonal, so it's in the y-z plane
2024-10-09 21:16:06 +0200 <tomsmeding> it's not parallel to the z-axis because that would mean that OAB is parallel to the x-y plane, which it isn't, so it has a nonzero y component
2024-10-09 21:16:23 +0200 <tomsmeding> and angles in the projection are preserved by rotations around the z-axis and scalings
2024-10-09 21:16:36 +0200 <tomsmeding> that feels like an argument
2024-10-09 21:17:02 +0200 <tomsmeding> convoluted, though
2024-10-09 21:17:24 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-10-09 21:18:49 +0200 <tomsmeding> "so that B-A is (1,0)" -> "so that B-A is (1,0,0)"
2024-10-09 21:19:13 +0200 <tomsmeding> I guess the scaling is superfluous, but it helps intuition
2024-10-09 21:21:54 +0200AlexZenon(~alzenon@178.34.163.165)
2024-10-09 21:22:03 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-10-09 21:29:27 +0200CiaoSen(~Jura@2a05:5800:2e5:2400:ca4b:d6ff:fec1:99da) (Ping timeout: 246 seconds)
2024-10-09 21:33:02 +0200gorignak(~gorignak@user/gorignak) (Quit: quit)
2024-10-09 21:33:32 +0200gorignak(~gorignak@user/gorignak) gorignak
2024-10-09 21:37:09 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-10-09 21:47:08 +0200ash3en(~Thunderbi@ip1f10cbd6.dynamic.kabel-deutschland.de) ash3en
2024-10-09 21:53:25 +0200ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2024-10-09 21:57:25 +0200ash3en(~Thunderbi@ip1f10cbd6.dynamic.kabel-deutschland.de) (Quit: ash3en)
2024-10-09 21:57:30 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds)
2024-10-09 21:57:31 +0200ljdarj1ljdarj
2024-10-09 22:01:46 +0200AlexNoo__AlexNoo
2024-10-09 22:08:10 +0200seydar(~seydar@38-73-249-43.starry-inc.net) seydar
2024-10-09 22:10:58 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-10-09 22:19:15 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2024-10-09 22:20:28 +0200machinedgod(~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 272 seconds)
2024-10-09 22:27:52 +0200moe_(~moe@lewi-19-b2-v4wan-169604-cust1264.vm4.cable.virginm.net)
2024-10-09 22:30:24 +0200ubert(~Thunderbi@178.165.187.120.wireless.dyn.drei.com) ubert
2024-10-09 22:32:07 +0200moe_(~moe@lewi-19-b2-v4wan-169604-cust1264.vm4.cable.virginm.net) (Client Quit)
2024-10-09 22:38:53 +0200seydar(~seydar@38-73-249-43.starry-inc.net) (Quit: leaving)
2024-10-09 22:40:30 +0200lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 246 seconds)
2024-10-09 22:56:23 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-10-09 23:00:34 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-10-09 23:02:58 +0200ell(~ellie@user/ellie) ellie
2024-10-09 23:03:49 +0200ell3(~ellie@user/ellie) (Ping timeout: 260 seconds)
2024-10-09 23:05:17 +0200tom_(~tom@compara.offerte.fibra.casa)
2024-10-09 23:06:24 +0200ubert(~Thunderbi@178.165.187.120.wireless.dyn.drei.com) (Ping timeout: 246 seconds)
2024-10-09 23:07:42 +0200tom_(~tom@compara.offerte.fibra.casa) (Closing Window)
2024-10-09 23:07:44 +0200tom_(~tom@compara.offerte.fibra.casa)
2024-10-09 23:08:27 +0200tom_(~tom@compara.offerte.fibra.casa) (Remote host closed the connection)
2024-10-09 23:08:44 +0200michalz(~michalz@185.246.207.221) (Remote host closed the connection)
2024-10-09 23:31:41 +0200machinedgod(~machinedg@d50-99-47-73.abhsia.telus.net) machinedgod
2024-10-09 23:33:46 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2024-10-09 23:34:39 +0200jinsun(~jinsun@user/jinsun) jinsun
2024-10-09 23:35:56 +0200gmg(~user@user/gehmehgeh) gehmehgeh
2024-10-09 23:38:51 +0200gorignak(~gorignak@user/gorignak) (Quit: quit)
2024-10-09 23:39:22 +0200gorignak(~gorignak@user/gorignak) gorignak
2024-10-09 23:40:25 +0200weary-traveler(~user@user/user363627) user363627
2024-10-09 23:44:05 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-10-09 23:44:31 +0200ash3en(~Thunderbi@ip1f10cbd6.dynamic.kabel-deutschland.de) ash3en
2024-10-09 23:45:01 +0200ash3en(~Thunderbi@ip1f10cbd6.dynamic.kabel-deutschland.de) (Client Quit)
2024-10-09 23:50:05 +0200DetourNetworkUK(~DetourNet@user/DetourNetworkUK) DetourNetworkUK
2024-10-09 23:50:10 +0200DetourNetworkUK(~DetourNet@user/DetourNetworkUK) ()
2024-10-09 23:56:29 +0200gorignak(~gorignak@user/gorignak) (Quit: quit)
2024-10-09 23:57:00 +0200gorignak(~gorignak@user/gorignak) gorignak