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 |