2024-03-03 00:04:15 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 260 seconds) |
2024-03-03 00:04:54 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
2024-03-03 00:16:44 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
2024-03-03 00:20:23 +0100 | bilegeek | (~bilegeek@2600:1008:b06d:18b5:b337:e995:b2ae:876) |
2024-03-03 00:24:44 +0100 | difl^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Remote host closed the connection) |
2024-03-03 00:27:05 +0100 | falafel | (~falafel@2607:fb91:850:82c5:99d2:8c86:37c2:8611) |
2024-03-03 00:46:12 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
2024-03-03 00:46:40 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
2024-03-03 00:47:45 +0100 | glguy | (g@libera/staff/glguy) |
2024-03-03 00:50:13 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
2024-03-03 00:50:13 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-03-03 00:50:54 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-03-03 01:00:05 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e737e780858a034d0a54ff00.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
2024-03-03 01:11:16 +0100 | notzmv | (~daniel@user/notzmv) (Ping timeout: 255 seconds) |
2024-03-03 01:17:33 +0100 | falafel | (~falafel@2607:fb91:850:82c5:99d2:8c86:37c2:8611) (Ping timeout: 255 seconds) |
2024-03-03 01:49:48 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
2024-03-03 01:50:23 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
2024-03-03 01:55:53 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 268 seconds) |
2024-03-03 01:56:12 +0100 | mud | (~mud@user/kadoban) |
2024-03-03 02:02:32 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
2024-03-03 02:04:17 +0100 | califax | (~califax@user/califx) |
2024-03-03 02:05:10 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
2024-03-03 02:05:28 +0100 | califax | (~califax@user/califx) |
2024-03-03 02:09:15 +0100 | dtman34 | (~dtman34@2601:447:d001:ed50:6530:3738:8884:2f25) (Quit: ZNC 1.8.2+deb3.1 - https://znc.in) |
2024-03-03 02:09:36 +0100 | dtman34 | (~dtman34@2601:447:d001:ed50:6848:2021:a4eb:5671) |
2024-03-03 02:13:42 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
2024-03-03 02:16:28 +0100 | Inst | (~Inst@120.244.192.75) (Read error: Connection reset by peer) |
2024-03-03 02:18:48 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
2024-03-03 02:19:12 +0100 | califax | (~califax@user/califx) |
2024-03-03 02:26:01 +0100 | ystael | (~ystael@user/ystael) (Ping timeout: 256 seconds) |
2024-03-03 02:27:39 +0100 | bilegeek__ | (~bilegeek@2600:1008:b056:88ea:ad5b:f877:d940:d64a) |
2024-03-03 02:28:38 +0100 | __jmcantrell__ | (~weechat@user/jmcantrell) |
2024-03-03 02:28:43 +0100 | jmcantrell | Guest4304 |
2024-03-03 02:28:43 +0100 | Guest4304 | (644f1bed9a@user/jmcantrell) (Killed (tungsten.libera.chat (Nickname regained by services))) |
2024-03-03 02:28:43 +0100 | __jmcantrell__ | jmcantrell |
2024-03-03 02:28:51 +0100 | bilegeek | (~bilegeek@2600:1008:b06d:18b5:b337:e995:b2ae:876) (Ping timeout: 256 seconds) |
2024-03-03 02:28:52 +0100 | jmcantrell_ | (644f1bed9a@user/jmcantrell) |
2024-03-03 02:30:06 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Client Quit) |
2024-03-03 02:30:13 +0100 | jmcantrell_ | jmcantrell |
2024-03-03 02:30:33 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2024-03-03 02:34:31 +0100 | bilegeek__ | (~bilegeek@2600:1008:b056:88ea:ad5b:f877:d940:d64a) (Ping timeout: 260 seconds) |
2024-03-03 02:38:40 +0100 | vuk | (~vuk@cable-94-189-153-242.dynamic.sbb.rs) (Ping timeout: 246 seconds) |
2024-03-03 02:40:03 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-03-03 02:40:12 +0100 | euleritian | (~euleritia@dynamic-176-006-180-049.176.6.pool.telefonica.de) |
2024-03-03 02:40:33 +0100 | euleritian | (~euleritia@dynamic-176-006-180-049.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-03-03 02:40:50 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-03-03 02:48:02 +0100 | __jmcantrell__ | (~weechat@user/jmcantrell) |
2024-03-03 02:48:12 +0100 | bilegeek__ | (~bilegeek@2600:1008:b028:27aa:9625:12f3:770c:638) |
2024-03-03 02:48:13 +0100 | jmcantrell | Guest7754 |
2024-03-03 02:48:13 +0100 | Guest7754 | (644f1bed9a@user/jmcantrell) (Killed (silver.libera.chat (Nickname regained by services))) |
2024-03-03 02:48:13 +0100 | __jmcantrell__ | jmcantrell |
2024-03-03 02:48:23 +0100 | jmcantrell_ | (644f1bed9a@user/jmcantrell) |
2024-03-03 02:57:25 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) |
2024-03-03 02:57:35 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
2024-03-03 02:58:37 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds) |
2024-03-03 02:58:58 +0100 | Lord_of_Life_ | Lord_of_Life |
2024-03-03 03:10:09 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
2024-03-03 03:13:08 +0100 | harveypwca | (~harveypwc@2601:246:c200:2740:15b6:f225:14ff:9821) |
2024-03-03 03:15:07 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Quit: WeeChat 4.2.1) |
2024-03-03 03:20:43 +0100 | notzmv | (~daniel@user/notzmv) |
2024-03-03 03:48:15 +0100 | shapr | (~user@c-24-218-186-89.hsd1.ma.comcast.net) (Quit: snooze button) |
2024-03-03 03:51:16 +0100 | otto_s | (~user@p5b044715.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2024-03-03 03:52:45 +0100 | otto_s | (~user@p4ff27a8e.dip0.t-ipconnect.de) |
2024-03-03 03:54:05 +0100 | aforemny | (~aforemny@i59F516DA.versanet.de) (Ping timeout: 240 seconds) |
2024-03-03 03:54:38 +0100 | aforemny | (~aforemny@i59F516CF.versanet.de) |
2024-03-03 04:05:03 +0100 | op_4 | (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
2024-03-03 04:05:33 +0100 | op_4 | (~tslil@user/op-4/x-9116473) |
2024-03-03 04:09:25 +0100 | td_ | (~td@i5387092B.versanet.de) (Ping timeout: 264 seconds) |
2024-03-03 04:10:53 +0100 | td_ | (~td@i5387093F.versanet.de) |
2024-03-03 04:18:49 +0100 | jargon | (~jargon@208.sub-174-238-228.myvzw.com) (Remote host closed the connection) |
2024-03-03 04:29:26 +0100 | Square | (~Square@user/square) (Ping timeout: 268 seconds) |
2024-03-03 04:34:57 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
2024-03-03 04:35:24 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
2024-03-03 04:44:12 +0100 | terrorjack | (~terrorjac@2a01:4f8:c17:87f8::) (Quit: The Lounge - https://thelounge.chat) |
2024-03-03 04:46:07 +0100 | terrorjack | (~terrorjac@2a01:4f8:c17:87f8::) |
2024-03-03 04:52:22 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds) |
2024-03-03 05:11:52 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
2024-03-03 05:15:30 +0100 | xff0x | (~xff0x@ai082039.d.east.v6connect.net) (Ping timeout: 256 seconds) |
2024-03-03 05:18:35 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
2024-03-03 05:24:07 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
2024-03-03 05:31:04 +0100 | aforemny_ | (~aforemny@2001:9e8:6ceb:b600:1da1:3566:9a7d:5011) |
2024-03-03 05:32:16 +0100 | aforemny | (~aforemny@i59F516CF.versanet.de) (Ping timeout: 255 seconds) |
2024-03-03 05:38:48 +0100 | bilegeek__ | (~bilegeek@2600:1008:b028:27aa:9625:12f3:770c:638) (Quit: Leaving) |
2024-03-03 05:46:26 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
2024-03-03 06:12:22 +0100 | mud | (~mud@user/kadoban) (Quit: quit) |
2024-03-03 06:15:03 +0100 | rosco | (~rosco@yp-151-178.tm.net.my) |
2024-03-03 06:15:52 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
2024-03-03 06:22:38 +0100 | DaniRybe | (~DaniRybe@185.63.198.49) |
2024-03-03 06:26:38 +0100 | <DaniRybe> | Hello everyone, I wrote a CLI tool in haskell: https://github.com/DanRyba253/smh, could somebody who's an uploader on hackage endorse me, so I can upload it there? https://hackage.haskell.org/user/danirybe/endorse Thanks! |
2024-03-03 06:33:17 +0100 | rosco | (~rosco@yp-151-178.tm.net.my) (Read error: Connection reset by peer) |
2024-03-03 06:35:57 +0100 | rosco | (rosco@gateway/vpn/airvpn/rosco) |
2024-03-03 06:46:44 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-03-03 06:47:55 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit) |
2024-03-03 06:49:58 +0100 | xff0x | (~xff0x@om126166150142.28.openmobile.ne.jp) |
2024-03-03 06:50:11 +0100 | harveypwca | (~harveypwc@2601:246:c200:2740:15b6:f225:14ff:9821) (Quit: Leaving) |
2024-03-03 06:50:34 +0100 | igemnace | (~ian@user/igemnace) |
2024-03-03 07:09:47 +0100 | rosco | (rosco@gateway/vpn/airvpn/rosco) (Ping timeout: 252 seconds) |
2024-03-03 07:17:33 +0100 | DaniRybe | (~DaniRybe@185.63.198.49) (Quit: Client closed) |
2024-03-03 07:17:44 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
2024-03-03 07:18:02 +0100 | DaniRybe | (~DaniRybe@185.63.198.49) |
2024-03-03 07:23:33 +0100 | kenran | (~user@user/kenran) |
2024-03-03 07:26:08 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
2024-03-03 07:26:43 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
2024-03-03 07:27:27 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2024-03-03 07:27:47 +0100 | DaniRybe | (~DaniRybe@185.63.198.49) (Quit: Client closed) |
2024-03-03 07:31:28 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
2024-03-03 07:31:42 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
2024-03-03 07:32:42 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
2024-03-03 07:33:42 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
2024-03-03 07:36:55 +0100 | Enviosity | (~Enviosity@176.254.244.83) (Ping timeout: 260 seconds) |
2024-03-03 07:38:05 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 240 seconds) |
2024-03-03 07:47:49 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 264 seconds) |
2024-03-03 07:49:42 +0100 | versatile | (~versatile@176.254.244.83) |
2024-03-03 07:58:06 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
2024-03-03 08:02:48 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 268 seconds) |
2024-03-03 08:15:06 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-03-03 08:15:51 +0100 | Guest99 | (~textual@5.36.161.35) |
2024-03-03 08:28:24 +0100 | Guest99 | (~textual@5.36.161.35) (Quit: Textual IRC Client: www.textualapp.com) |
2024-03-03 08:30:55 +0100 | xff0x | (~xff0x@om126166150142.28.openmobile.ne.jp) (Read error: Connection reset by peer) |
2024-03-03 08:32:42 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
2024-03-03 08:38:16 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 268 seconds) |
2024-03-03 08:39:43 +0100 | destituion | (~destituio@2a02:2121:34a:61a6:52b6:3281:6a26:5f63) (Ping timeout: 272 seconds) |
2024-03-03 08:46:05 +0100 | euphores | (~SASL_euph@user/euphores) |
2024-03-03 08:52:28 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
2024-03-03 08:58:07 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 260 seconds) |
2024-03-03 09:00:07 +0100 | tt1231 | (~tt123@2603-6010-8700-4a81-219f-50d3-618a-a6ee.res6.spectrum.com) (Quit: The Lounge - https://thelounge.chat) |
2024-03-03 09:01:02 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 260 seconds) |
2024-03-03 09:02:03 +0100 | tt1231 | (~tt123@2603-6010-8700-4a81-219f-50d3-618a-a6ee.res6.spectrum.com) |
2024-03-03 09:18:43 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e737e780858a034d0a54ff00.dip0.t-ipconnect.de) |
2024-03-03 09:21:20 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-03-03 09:22:32 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
2024-03-03 09:27:37 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
2024-03-03 09:30:49 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
2024-03-03 09:31:05 +0100 | agander_m | (agander_m@gateway/vpn/protonvpn/aganderm/x-34304805) |
2024-03-03 09:36:07 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 256 seconds) |
2024-03-03 09:42:11 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-03-03 09:42:11 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-03-03 09:42:54 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-03-03 09:47:55 +0100 | agander_m | (agander_m@gateway/vpn/protonvpn/aganderm/x-34304805) (Remote host closed the connection) |
2024-03-03 09:58:06 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
2024-03-03 09:59:07 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 255 seconds) |
2024-03-03 09:59:57 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-03-03 10:04:54 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 268 seconds) |
2024-03-03 10:06:32 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-03-03 10:07:16 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-03-03 10:09:29 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
2024-03-03 10:14:11 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Ping timeout: 260 seconds) |
2024-03-03 10:14:19 +0100 | ht_ | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
2024-03-03 10:16:36 +0100 | ht_ | _ht |
2024-03-03 10:22:35 +0100 | gmg | (~user@user/gehmehgeh) |
2024-03-03 10:24:21 +0100 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) (Quit: zzz) |
2024-03-03 10:29:34 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-03-03 10:34:44 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
2024-03-03 10:40:22 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 268 seconds) |
2024-03-03 10:41:37 +0100 | misterfish | (~misterfis@84.53.85.146) |
2024-03-03 10:43:50 +0100 | xff0x | (~xff0x@2405:6580:b080:900:a7b7:6317:3de7:961a) |
2024-03-03 10:58:43 +0100 | raoul^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
2024-03-03 11:03:45 +0100 | rosco | (~rosco@175.136.155.53) |
2024-03-03 11:07:12 +0100 | vuk | (~vuk@cable-94-189-153-242.dynamic.sbb.rs) |
2024-03-03 11:07:41 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
2024-03-03 11:10:17 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
2024-03-03 11:24:36 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 255 seconds) |
2024-03-03 11:26:00 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-03-03 11:30:36 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-03-03 11:32:34 +0100 | dminuoso | (~dminuoso@user/dminuoso) (Quit: ZNC 1.8.2 - https://znc.in) |
2024-03-03 11:33:26 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
2024-03-03 11:34:01 +0100 | dminuoso | (~dminuoso@user/dminuoso) |
2024-03-03 11:34:06 +0100 | dminuoso | (~dminuoso@user/dminuoso) (Client Quit) |
2024-03-03 11:35:12 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
2024-03-03 11:35:46 +0100 | dminuoso | (~dminuoso@user/dminuoso) |
2024-03-03 11:37:40 +0100 | dminuoso | (~dminuoso@user/dminuoso) (Client Quit) |
2024-03-03 11:40:41 +0100 | internatetional | (~nate@2001:448a:20a3:c2e5:71b9:a710:2866:667f) |
2024-03-03 11:40:56 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
2024-03-03 12:00:58 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2024-03-03 12:01:45 +0100 | internatetional | (~nate@2001:448a:20a3:c2e5:71b9:a710:2866:667f) (Quit: WeeChat 4.2.1) |
2024-03-03 12:02:24 +0100 | remedan | (~remedan@ip-78-102-118-253.bb.vodafone.cz) (Ping timeout: 255 seconds) |
2024-03-03 12:07:00 +0100 | remedan | (~remedan@ip-78-102-118-253.bb.vodafone.cz) |
2024-03-03 12:13:37 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 264 seconds) |
2024-03-03 12:16:26 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
2024-03-03 12:16:30 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
2024-03-03 12:17:13 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) |
2024-03-03 12:19:20 +0100 | xff0x | (~xff0x@2405:6580:b080:900:a7b7:6317:3de7:961a) (Ping timeout: 268 seconds) |
2024-03-03 12:21:08 +0100 | xff0x | (~xff0x@ai082039.d.east.v6connect.net) |
2024-03-03 12:24:04 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
2024-03-03 12:24:51 +0100 | Miroboru | (~myrvoll@178-164-114.82.3p.ntebredband.no) (Quit: Lost terminal) |
2024-03-03 12:24:58 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) |
2024-03-03 12:27:29 +0100 | Inst | (~Inst@120.244.192.75) |
2024-03-03 12:28:01 +0100 | <Inst> | contra tapas, there is still like a 10-20% chance I could get the money I want, all depends on how much the local government hates me right now |
2024-03-03 12:28:14 +0100 | <Inst> | but for $10 million, do you think it's possible to redo GHC in Rust? |
2024-03-03 12:28:23 +0100 | <Inst> | Say, do GHC2023 extension support only |
2024-03-03 12:28:30 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) |
2024-03-03 12:28:42 +0100 | <Inst> | The key features would be: |
2024-03-03 12:29:25 +0100 | <Inst> | change the import system to be network based (i.e, not strict GHC2023 or Haskell2010), so it'd go download libraries or binaries from a centralized server |
2024-03-03 12:29:59 +0100 | <Inst> | allow uploading of functions etc and data dependencies to a centralized repo |
2024-03-03 12:30:17 +0100 | <Inst> | and the monetization mechanism would be via opt-in data collection |
2024-03-03 12:32:00 +0100 | <Inst> | or rather opt-out data collection |
2024-03-03 12:33:40 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 246 seconds) |
2024-03-03 12:35:49 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
2024-03-03 12:36:26 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) |
2024-03-03 12:39:09 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
2024-03-03 12:39:56 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) |
2024-03-03 12:41:34 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
2024-03-03 12:45:52 +0100 | <[exa]> | Inst: like, I assume that people capable of this kind of thing would just plain out refuse to do so, simply for the good manners |
2024-03-03 12:46:15 +0100 | <[exa]> | so you have $10M that you can throw to the community? :D |
2024-03-03 12:48:03 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
2024-03-03 12:48:16 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 256 seconds) |
2024-03-03 12:48:35 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) |
2024-03-03 12:50:06 +0100 | <haskellbridge> | <sm> Still, thought experiments are fun. DenoHs ? |
2024-03-03 12:51:27 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
2024-03-03 12:52:10 +0100 | <haskellbridge> | <sm> sounds like a mashup of Deno, Unison and Haskell. I'm not sure if rust would be all that useful. Haskell is more expressive, and you can do the fast bits in C (possibly generated from rust.. or from haskell..) |
2024-03-03 12:52:52 +0100 | <haskellbridge> | <sm> I don't think sticking with rust for the whole thing would be effective.. but what do I know |
2024-03-03 12:53:04 +0100 | <haskellbridge> | <sm> I don't think sticking with rust for the whole thing would be cost-effective.. but what do I know |
2024-03-03 12:55:38 +0100 | igemnace | (~ian@user/igemnace) (Read error: Connection reset by peer) |
2024-03-03 13:01:38 +0100 | mrmr155334 | (~mrmr@user/mrmr) (Quit: Bye, See ya later!) |
2024-03-03 13:06:12 +0100 | mrmr155334 | (~mrmr@user/mrmr) |
2024-03-03 13:07:21 +0100 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
2024-03-03 13:11:59 +0100 | img | (~img@user/img) |
2024-03-03 13:13:39 +0100 | igemnace | (~ian@user/igemnace) |
2024-03-03 13:19:29 +0100 | rosco | (~rosco@175.136.155.53) (Quit: Lost terminal) |
2024-03-03 13:19:29 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
2024-03-03 13:23:08 +0100 | random-jellyfish | (~developer@user/random-jellyfish) |
2024-03-03 13:24:22 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-03-03 13:27:54 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 255 seconds) |
2024-03-03 13:45:20 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
2024-03-03 13:49:59 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 256 seconds) |
2024-03-03 13:52:43 +0100 | misterfish | (~misterfis@84.53.85.146) |
2024-03-03 13:54:42 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
2024-03-03 13:59:07 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
2024-03-03 14:11:39 +0100 | destituion | (~destituio@2a02:2121:34a:61a6:52b6:3281:6a26:5f63) |
2024-03-03 14:12:09 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
2024-03-03 14:12:23 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
2024-03-03 14:20:04 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 256 seconds) |
2024-03-03 14:38:01 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
2024-03-03 14:38:24 +0100 | paddymahoney | (~paddymaho@cpe883d24bcf597-cmbc4dfb741f80.cpe.net.cable.rogers.com) (Read error: Connection reset by peer) |
2024-03-03 14:38:43 +0100 | paddymahoney | (~paddymaho@cpe883d24bcf597-cmbc4dfb741f80.cpe.net.cable.rogers.com) |
2024-03-03 14:44:38 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 252 seconds) |
2024-03-03 14:45:09 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
2024-03-03 14:45:56 +0100 | paddymahoney | (~paddymaho@cpe883d24bcf597-cmbc4dfb741f80.cpe.net.cable.rogers.com) (Read error: Connection reset by peer) |
2024-03-03 14:46:40 +0100 | paddymahoney | (~paddymaho@cpe883d24bcf597-cmbc4dfb741f80.cpe.net.cable.rogers.com) |
2024-03-03 14:48:31 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-03-03 14:50:07 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) |
2024-03-03 14:55:53 +0100 | target_i | (~target_i@user/target-i/x-6023099) |
2024-03-03 15:04:27 +0100 | rosco | (~rosco@175.136.155.53) |
2024-03-03 15:10:25 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
2024-03-03 15:14:04 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
2024-03-03 15:14:07 +0100 | Square | (~Square@user/square) |
2024-03-03 15:19:01 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 264 seconds) |
2024-03-03 15:26:57 +0100 | random-jellyfish | (~developer@user/random-jellyfish) (Ping timeout: 272 seconds) |
2024-03-03 15:28:33 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
2024-03-03 15:34:08 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 252 seconds) |
2024-03-03 15:39:56 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
2024-03-03 15:42:47 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
2024-03-03 15:45:09 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-03-03 15:45:35 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 264 seconds) |
2024-03-03 15:47:26 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-03-03 15:51:37 +0100 | <Inst> | ehhh, I mean locally, average dev salaries are around 20k USD, and many of them are fairly good |
2024-03-03 15:51:39 +0100 | <Inst> | might be up to 30k |
2024-03-03 15:51:55 +0100 | <Inst> | There's way more Rust talent than Haskell talent where I am right now |
2024-03-03 15:53:31 +0100 | AlexZenon | (~alzenon@5.139.232.115) (Ping timeout: 246 seconds) |
2024-03-03 15:54:34 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
2024-03-03 15:54:44 +0100 | <Inst> | Deno I haven't heard of |
2024-03-03 15:54:47 +0100 | euleritian | (~euleritia@dynamic-176-006-192-028.176.6.pool.telefonica.de) |
2024-03-03 15:56:42 +0100 | rscastilho2024 | (~rscastilh@179.221.142.47) |
2024-03-03 15:57:52 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
2024-03-03 15:59:02 +0100 | AlexZenon | (~alzenon@5.139.232.115) |
2024-03-03 16:01:55 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 246 seconds) |
2024-03-03 16:05:35 +0100 | <Inst> | Thanks for bringing up Deno |
2024-03-03 16:05:52 +0100 | <Inst> | It's interesting because it's an example of a real attempt to build a compiler-package manager in an existing language |
2024-03-03 16:09:38 +0100 | shapr | (~user@c-24-218-186-89.hsd1.ma.comcast.net) |
2024-03-03 16:24:19 +0100 | rscastilho2024 | (~rscastilh@179.221.142.47) (Ping timeout: 255 seconds) |
2024-03-03 16:25:34 +0100 | rscastilho2024 | (~rscastilh@179.221.142.47) |
2024-03-03 16:25:59 +0100 | rscastilho2024 | (~rscastilh@179.221.142.47) (Remote host closed the connection) |
2024-03-03 16:28:48 +0100 | shapr | (~user@c-24-218-186-89.hsd1.ma.comcast.net) (Quit: snooze) |
2024-03-03 16:31:07 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
2024-03-03 16:33:23 +0100 | rscastilho2024 | (rscastilho@179.221.142.47) |
2024-03-03 16:37:32 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 260 seconds) |
2024-03-03 16:41:22 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 264 seconds) |
2024-03-03 16:45:49 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
2024-03-03 16:48:48 +0100 | <dmj`> | [exa]: this is great, thanks for that link to the pedagogical outsidein(x) implementation |
2024-03-03 16:49:13 +0100 | rosco | (~rosco@175.136.155.53) (Quit: Lost terminal) |
2024-03-03 16:50:35 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 252 seconds) |
2024-03-03 16:50:49 +0100 | bontaq | (~user@ool-45779c03.dyn.optonline.net) |
2024-03-03 16:52:33 +0100 | <[exa]> | dmj`: like, hope it does something useful for you. I've had a really _tiny_ implementation somewhere from some of the students but I cannot find it |
2024-03-03 16:52:56 +0100 | <[exa]> | it did just MPTCs, was kinda good |
2024-03-03 16:55:41 +0100 | <[exa]> | Inst: re the monetization, where would the money actually come from? (as in, where do the ads show up?) |
2024-03-03 16:56:08 +0100 | <Inst> | from giving us usage rights and rights to sell your code to people wanting to run copilot etc |
2024-03-03 16:56:24 +0100 | <Inst> | not true FOSS, which is why it's not good manners |
2024-03-03 16:57:01 +0100 | <Inst> | a cousin of mine is actually a government propagandist |
2024-03-03 16:57:08 +0100 | <[exa]> | yeah I'm just wondering who'd pay for that. Somehow the internet business has converged to a state where if it doesn't show ads, it doesn't do money. |
2024-03-03 16:57:09 +0100 | <Inst> | hoping i can get funding and promotion from the relevant organs |
2024-03-03 16:57:37 +0100 | <Inst> | the idea is that the profit generator is the code you upload, as well as usage information, statistics, etc |
2024-03-03 16:57:47 +0100 | <Inst> | but strictly on an opt-out basis |
2024-03-03 16:58:11 +0100 | <[exa]> | doesn't sound very feasible to me tbh, but well good luck |
2024-03-03 16:58:25 +0100 | <Inst> | well i was planning to donate the money to haskell foundation |
2024-03-03 16:59:23 +0100 | <Inst> | it's just from whinging on Complaints and Grievances server (NeoHaskell), seemed more worthwhile to build a new compiler / package manager instead |
2024-03-03 16:59:36 +0100 | <Inst> | I think applying Deno to a pure FP language is a lot more promising |
2024-03-03 17:00:04 +0100 | <dmj`> | [exa]: I hope so too, the goal is a THIH implementation that uses the "french approach". THIH outlines entailment (via traversing super classes and/or instances), context reduction, and resolving ambiguities w/ defaults, trying to see how outsidein(x) handles that |
2024-03-03 17:01:34 +0100 | rscastilho2024 | (rscastilho@179.221.142.47) (Ping timeout: 256 seconds) |
2024-03-03 17:02:32 +0100 | <[exa]> | Inst: yeah a second compiler would be great |
2024-03-03 17:03:13 +0100 | <Inst> | the point about government propagandists is that they might want to fund it as a source of soft power |
2024-03-03 17:03:46 +0100 | <[exa]> | that's very soft tho. |
2024-03-03 17:03:52 +0100 | <Inst> | i.e, it's embarrassing for them that the software infrastructure underlying software development is Western |
2024-03-03 17:04:22 +0100 | <Inst> | GHC is technically an international project, but most of the names there are from Anglophone or European countries |
2024-03-03 17:04:32 +0100 | <Inst> | beggaring the Chinese gov for support is very faintly viable, and would at least be hilarious |
2024-03-03 17:04:54 +0100 | <[exa]> | well as I said, good luck. :] |
2024-03-03 17:05:52 +0100 | <Inst> | so, let's say I do end up with 10m to push around, in which case, you'll get a new Haskell compiler, that will be faster, and more production oriented than the current Haskell toolchain. The catch? It's Chinese. :3 |
2024-03-03 17:06:18 +0100 | <Inst> | probably won't happen, but thanks for the sarcastic support <3 |
2024-03-03 17:07:33 +0100 | <Inst> | Haskell, in theory, is an extremely good production language, the only problem is that there are no major backers willing to push it for general use. If certain unlikely events occur, there will be a major backer. :) |
2024-03-03 17:08:18 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
2024-03-03 17:11:25 +0100 | rscastilho2024 | (~rscastilh@179.221.142.47) |
2024-03-03 17:13:16 +0100 | <[exa]> | not sarcastic, I just don't see it really feasible. Seriously good luck with that. :) |
2024-03-03 17:14:51 +0100 | <Inst> | Also, btw |
2024-03-03 17:14:58 +0100 | <Inst> | Remember the Baby Rudin e-girl streamer I was talking about? |
2024-03-03 17:15:02 +0100 | <Inst> | She's streaming SICP now. |
2024-03-03 17:15:08 +0100 | <Inst> | Changed her name to MathAgape. |
2024-03-03 17:15:46 +0100 | <Inst> | Presuambly with the second word referencing the theological notion. |
2024-03-03 17:16:49 +0100 | <Inst> | https://search.bilibili.com/all?vt=82598951&keyword=mathagape&from_source=webtop_search&spm_id_fro… |
2024-03-03 17:16:57 +0100 | igemnace | (~ian@user/igemnace) (Quit: WeeChat 4.2.1) |
2024-03-03 17:18:48 +0100 | CiaoSen | (~Jura@2a05:5800:2ed:c200:e6b9:7aff:fe80:3d03) |
2024-03-03 17:19:03 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 272 seconds) |
2024-03-03 17:20:26 +0100 | <Inst> | also, lol, did she just change her name to Euler's number? ahahahahhaa |
2024-03-03 17:24:15 +0100 | <dmj`> | [exa]: if you do find your tiny implementation, do let me know :) |
2024-03-03 17:24:57 +0100 | <dmj`> | [exa]: I'm hoping the "wanted" and "given" portions will be unnecessary w/o rank n types and coercions |
2024-03-03 17:25:11 +0100 | <dmj`> | and let could stay generalized |
2024-03-03 17:26:23 +0100 | <[exa]> | dmj`: "somewhere deeeeeeeeeeeeep in the thesis repo" |
2024-03-03 17:27:20 +0100 | <[exa]> | anyway yeah someone should write THIH2 |
2024-03-03 17:31:29 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
2024-03-03 17:31:47 +0100 | <dmj`> | [exa]: there is duet, but it is basically THIH using Data.Map and mtl |
2024-03-03 17:32:55 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-03-03 17:34:28 +0100 | <[exa]> | yeah I meant precisely THIH in the solver style with minimal amount of coding specific to anything |
2024-03-03 17:36:46 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 246 seconds) |
2024-03-03 17:38:13 +0100 | rscastilho2024 | (~rscastilh@179.221.142.47) (Remote host closed the connection) |
2024-03-03 17:46:31 +0100 | <dmj`> | [exa]: yea that would be amazing. Here's purescripts entailment https://github.com/purescript/purescript/blob/master/src/Language/PureScript/TypeChecker/Entailmen… |
2024-03-03 17:47:22 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
2024-03-03 17:51:11 +0100 | gorignak | (~gorignak@user/gorignak) |
2024-03-03 17:53:46 +0100 | rscastilho2024 | (~rscastilh@179.221.142.47) |
2024-03-03 17:54:17 +0100 | kuribas | (~user@ptr-17d51epblbb7dqltqod.18120a2.ip6.access.telenet.be) |
2024-03-03 17:55:11 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) |
2024-03-03 17:57:17 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-03-03 18:00:35 +0100 | fmd | (~fmd@user/framend) |
2024-03-03 18:03:23 +0100 | shapr | (~user@c-24-218-186-89.hsd1.ma.comcast.net) |
2024-03-03 18:06:34 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
2024-03-03 18:09:53 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
2024-03-03 18:12:58 +0100 | rscastilho2024 | (~rscastilh@179.221.142.47) (Ping timeout: 256 seconds) |
2024-03-03 18:13:05 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 252 seconds) |
2024-03-03 18:14:00 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
2024-03-03 18:16:37 +0100 | notzmv | (~daniel@user/notzmv) (Ping timeout: 264 seconds) |
2024-03-03 18:17:39 +0100 | <monochrom> | (Belated) An import statement that auto-downloads is a meltdown waiting to happen. The javascript community experienced it just a couple of years ago. So no, I do not want this. |
2024-03-03 18:18:31 +0100 | <monochrom> | Someone pushed a commit that contained a bug. Then for a day most javascript websites broke. |
2024-03-03 18:19:18 +0100 | <monochrom> | (Also didn't help that the bug was actually trivial and could have been caught by static typing. But that's another debate. >:) ) |
2024-03-03 18:19:37 +0100 | kuribas | (~user@ptr-17d51epblbb7dqltqod.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
2024-03-03 18:21:00 +0100 | kenran | (~user@user/kenran) (Remote host closed the connection) |
2024-03-03 18:21:13 +0100 | rscastilho2024 | (~rscastilh@179.221.142.47) |
2024-03-03 18:22:37 +0100 | euleritian | (~euleritia@dynamic-176-006-192-028.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-03-03 18:22:55 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-03-03 18:27:53 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
2024-03-03 18:37:00 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 260 seconds) |
2024-03-03 18:40:12 +0100 | sprout_ | sprout |
2024-03-03 18:40:44 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
2024-03-03 18:40:53 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-03-03 18:45:06 +0100 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) |
2024-03-03 18:47:50 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 268 seconds) |
2024-03-03 18:51:02 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
2024-03-03 18:52:40 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
2024-03-03 18:52:44 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2024-03-03 18:54:04 +0100 | <[exa]> | monochrom: a glorious day |
2024-03-03 18:55:02 +0100 | <Franciman> | i mean, monochrom you can also specify version in your import... |
2024-03-03 18:55:45 +0100 | <Franciman> | if you always stick to latest, then you have the same problem when using classic package management |
2024-03-03 18:55:49 +0100 | <geekosaur> | but nobody does and it's too late when that happens |
2024-03-03 18:56:11 +0100 | <Franciman> | it's not a good idea |
2024-03-03 18:56:27 +0100 | <Franciman> | how do you know how the dependency is going to evolve? |
2024-03-03 19:00:50 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
2024-03-03 19:04:37 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 246 seconds) |
2024-03-03 19:11:51 +0100 | <monochrom> | You probably forgot that "classical package management but always latest" is still different from "auto deploy". |
2024-03-03 19:12:21 +0100 | <monochrom> | Especially because the classical way includes a firewall of regression testing before you lock it in and deploy. |
2024-03-03 19:15:44 +0100 | <monochrom> | The javascript meltdown day never happened to C, C++, Java, even Python and PHP, because of that. |
2024-03-03 19:17:19 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) |
2024-03-03 19:18:25 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
2024-03-03 19:19:17 +0100 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Ping timeout: 240 seconds) |
2024-03-03 19:22:11 +0100 | justache | (~justache@user/justache) (Ping timeout: 256 seconds) |
2024-03-03 19:22:33 +0100 | CiaoSen | (~Jura@2a05:5800:2ed:c200:e6b9:7aff:fe80:3d03) (Ping timeout: 272 seconds) |
2024-03-03 19:22:45 +0100 | justache | (~justache@user/justache) |
2024-03-03 19:23:40 +0100 | <Inst> | okay, obvious conclusion: import management is a pain in the ass no matter what |
2024-03-03 19:24:41 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
2024-03-03 19:24:41 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
2024-03-03 19:24:42 +0100 | <Inst> | curate: someone has to curate |
2024-03-03 19:24:49 +0100 | <Inst> | and people aren't going to be able to curate everything |
2024-03-03 19:25:27 +0100 | <monochrom> | I don't think there is much pain in most existing systems. |
2024-03-03 19:25:29 +0100 | <Inst> | "fixed" direct deploy, specifying version numbers for every file is a pain |
2024-03-03 19:25:43 +0100 | <Inst> | not every file, every freaking function |
2024-03-03 19:27:07 +0100 | <monochrom> | I have only used Haskell's cabal and a little bit of Python's pip or pipx. Neither was painful. |
2024-03-03 19:27:53 +0100 | ridcully | (~ridcully@p508ac420.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
2024-03-03 19:28:16 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
2024-03-03 19:28:39 +0100 | m1dnight | (~christoph@82.146.125.185) (Quit: WeeChat 4.2.1) |
2024-03-03 19:29:20 +0100 | m1dnight | (~christoph@82.146.125.185) |
2024-03-03 19:29:52 +0100 | ridcully | (~ridcully@p508ac420.dip0.t-ipconnect.de) |
2024-03-03 19:29:54 +0100 | <monochrom> | We also need to be more grateful that writing a line of "unordered-containers ^>= 4.5" is still much better than writing your own hash table from scratch. |
2024-03-03 19:29:59 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 260 seconds) |
2024-03-03 19:30:43 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
2024-03-03 19:31:03 +0100 | raoul^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Remote host closed the connection) |
2024-03-03 19:34:54 +0100 | <mauke> | ... which in turn is better than hcreate/hsearch/hdestroy |
2024-03-03 19:35:14 +0100 | <monochrom> | What are those? |
2024-03-03 19:35:31 +0100 | rscastilho2024 | (~rscastilh@179.221.142.47) (Remote host closed the connection) |
2024-03-03 19:37:37 +0100 | <monochrom> | OK fine I googled it. So, POSIX hash table API? |
2024-03-03 19:38:05 +0100 | <geekosaur> | so-called |
2024-03-03 19:38:07 +0100 | <mauke> | yes, but full of fun surprises |
2024-03-03 19:38:20 +0100 | <geekosaur> | they're almost worse than writing your own |
2024-03-03 19:38:28 +0100 | <mauke> | at least the linux documentation for hcreate no longer tells lies |
2024-03-03 19:38:47 +0100 | <mauke> | s/almost // :-) |
2024-03-03 19:39:25 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) |
2024-03-03 19:41:21 +0100 | m1dnight | (~christoph@82.146.125.185) (Quit: WeeChat 4.2.1) |
2024-03-03 19:42:02 +0100 | m1dnight | (~christoph@82.146.125.185) |
2024-03-03 19:43:54 +0100 | <monochrom> | OK, I had never heard of it, so I don't know the historically famous issues. The only two red flags I have are: 1. hsearch() plays triple role of {insert, lookup, delete} so it breaks the cohesion principle; 2. wait, so there is only one single global hash table?! |
2024-03-03 19:44:33 +0100 | <geekosaur> | that's 1990s C for you (it came from SVR3) |
2024-03-03 19:45:00 +0100 | rscastilho2024 | (~rscastilh@179.221.142.47) |
2024-03-03 19:45:53 +0100 | <mauke> | yes, except there is no delete |
2024-03-03 19:46:23 +0100 | <monochrom> | I imagine "insert but the value is NULL" could be construed as delete. |
2024-03-03 19:46:23 +0100 | <mauke> | and there are multiple single global hash tables (-> hdestroy) |
2024-03-03 19:46:37 +0100 | <monochrom> | :( hahaha OK |
2024-03-03 19:46:49 +0100 | <c_wraith> | :t M.alterF -- look, we have an insert/lookup/delete function at home! |
2024-03-03 19:46:50 +0100 | <lambdabot> | (Functor f, Ord k) => (Maybe a -> f (Maybe a)) -> k -> M.Map k a -> f (M.Map k a) |
2024-03-03 19:47:03 +0100 | <mauke> | also, max capacity is fixed at creation |
2024-03-03 19:47:16 +0100 | <monochrom> | OK right, if there is to be at most one table, hdestroy makes no sense. |
2024-03-03 19:47:49 +0100 | <EvanR> | one global hash table should be enough for anybody |
2024-03-03 19:47:59 +0100 | <mauke> | IIRC the linux man page used to say that the hcreate parameter was only an optimization hint and the table would resize itself automatically (it doesn't) |
2024-03-03 19:48:04 +0100 | <EvanR> | you can always namespace your keys for organization |
2024-03-03 19:49:07 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 260 seconds) |
2024-03-03 19:49:33 +0100 | <monochrom> | There is a difference between offering alterF in addition to {insert, lookup, delete} in case someone wants some optimization and offering only alterF and telling you to use it for {insert, lookup, delete}. |
2024-03-03 19:49:59 +0100 | <geekosaur> | also alterF is a relatively recent addition to the API |
2024-03-03 19:50:20 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-03-03 19:50:41 +0100 | <c_wraith> | Yeah, it was made at the request of lensfolk, to make at more efficient. (It's the same function with a different parameter order) |
2024-03-03 19:51:02 +0100 | <mauke> | also, "alter" is german for "old" and who are you calling an oldF...? |
2024-03-03 19:51:08 +0100 | <monochrom> | s/wants some optimization/wants some optimization for a niche problem where alterF is very appropriate/ |
2024-03-03 19:52:20 +0100 | <c_wraith> | mauke: myself. where's my back pain medicine? |
2024-03-03 19:52:27 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
2024-03-03 19:53:32 +0100 | ridcully | (~ridcully@p508ac420.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2024-03-03 19:54:09 +0100 | <mauke> | back pain just means "bake bread" if you translate wrong enough from german/french |
2024-03-03 19:54:53 +0100 | <monochrom> | OK, I guess I have done the logical equivalent of calling lens niche :) |
2024-03-03 19:55:54 +0100 | <geekosaur> | only the part of lens that uses alterF |
2024-03-03 19:57:07 +0100 | ridcully | (~ridcully@p508ac420.dip0.t-ipconnect.de) |
2024-03-03 19:57:40 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
2024-03-03 19:58:00 +0100 | <monochrom> | I have done broader than that. The whole spirit of lens is that one single operation unifies read-a-location and write-a-location, i.e., exactly what I said about hsearch(). |
2024-03-03 19:59:02 +0100 | <c_wraith> | and then generalizes it to "read and write 0..n locations" |
2024-03-03 19:59:06 +0100 | <monochrom> | Oooohhhhh SVR3 hash table used lens before it was cool >:) |
2024-03-03 19:59:45 +0100 | <monochrom> | I wonder if one day one single Kan extension unifies everything in lens. >:) |
2024-03-03 20:04:05 +0100 | misterfish | (~misterfis@84.53.85.146) |
2024-03-03 20:05:42 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
2024-03-03 20:05:55 +0100 | rscastilho2024 | (~rscastilh@179.221.142.47) (Ping timeout: 260 seconds) |
2024-03-03 20:06:12 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
2024-03-03 20:06:15 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 272 seconds) |
2024-03-03 20:08:39 +0100 | <monochrom> | Ooohhh "back pain" -> "bake bread"... So is it true that at the eve of the French Revolution, the queen did not say "cake", she was really saying "back pain"? |
2024-03-03 20:09:28 +0100 | rscastilho2024 | (~rscastilh@179.221.142.47) |
2024-03-03 20:10:16 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 256 seconds) |
2024-03-03 20:12:20 +0100 | michalz | (~michalz@185.246.207.221) |
2024-03-03 20:22:15 +0100 | rscastilho2024 | (~rscastilh@179.221.142.47) (Read error: Connection reset by peer) |
2024-03-03 20:22:28 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
2024-03-03 20:27:27 +0100 | notzmv | (~daniel@user/notzmv) |
2024-03-03 20:30:12 +0100 | <EvanR> | putting words into marie antionette's mouth is in very poor taste since she was decapitated |
2024-03-03 20:32:03 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
2024-03-03 20:32:42 +0100 | ddb1 | (ddb@tilde.club) (Quit: WeeChat 4.1.1) |
2024-03-03 20:33:23 +0100 | rscastilho2024 | (~rscastilh@179.221.142.47) |
2024-03-03 20:38:22 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 264 seconds) |
2024-03-03 21:00:50 +0100 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
2024-03-03 21:01:12 +0100 | glguy_ | (g@libera/staff/glguy) |
2024-03-03 21:01:23 +0100 | glguy | Guest5546 |
2024-03-03 21:01:23 +0100 | glguy_ | glguy |
2024-03-03 21:05:12 +0100 | Guest5546 | (g@libera/staff/glguy) (Ping timeout: 612 seconds) |
2024-03-03 21:07:05 +0100 | falafel | (~falafel@2607:fb91:850:82c5:c592:dbea:770b:778e) |
2024-03-03 21:10:13 +0100 | fmd | (~fmd@user/framend) (Quit: WeeChat 4.1.1) |
2024-03-03 21:10:31 +0100 | Guest21 | (~Guest21@177.53.247.189) |
2024-03-03 21:10:42 +0100 | <Inst> | monochrom: I guess it's more a question of scale |
2024-03-03 21:10:56 +0100 | <Inst> | I suppose what I'm really thinking of is a full ide, but... HLS is already good enough |
2024-03-03 21:11:03 +0100 | <Inst> | and it'd honestly be better to work on HLS |
2024-03-03 21:11:18 +0100 | Guest21 | (~Guest21@177.53.247.189) (Client Quit) |
2024-03-03 21:16:51 +0100 | rscastilho2024 | (~rscastilh@179.221.142.47) (Remote host closed the connection) |
2024-03-03 21:17:07 +0100 | rscastilho2024 | (~rscastilh@179.221.142.47) |
2024-03-03 21:17:31 +0100 | rscastilho2024 | (~rscastilh@179.221.142.47) (Remote host closed the connection) |
2024-03-03 21:17:39 +0100 | glguy | (g@libera/staff/glguy) (Read error: Connection reset by peer) |
2024-03-03 21:23:40 +0100 | glguy | (g@libera/staff/glguy) |
2024-03-03 21:28:29 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
2024-03-03 21:32:49 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 264 seconds) |
2024-03-03 21:33:12 +0100 | Sgeo | (~Sgeo@user/sgeo) |
2024-03-03 21:33:57 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
2024-03-03 21:38:22 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 264 seconds) |
2024-03-03 21:51:00 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-03-03 21:51:24 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
2024-03-03 21:55:46 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 246 seconds) |
2024-03-03 21:56:31 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-03-03 21:56:52 +0100 | yuuta | (~YuutaW@mail.yuuta.moe) (Ping timeout: 255 seconds) |
2024-03-03 21:57:43 +0100 | YuutaW | (~YuutaW@2404:f4c0:f9c3:502::100:17b7) |
2024-03-03 21:58:27 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 256 seconds) |
2024-03-03 22:11:55 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
2024-03-03 22:13:43 +0100 | jargon | (~jargon@208.sub-174-238-228.myvzw.com) |
2024-03-03 22:16:37 +0100 | sprout_ | (~quassel@2a02-a448-3a80-0-e0b8-68e-5e32-bc20.fixed6.kpn.net) |
2024-03-03 22:19:01 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) (Ping timeout: 264 seconds) |
2024-03-03 22:19:26 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
2024-03-03 22:20:08 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) |
2024-03-03 22:20:15 +0100 | YuutaW | (~YuutaW@2404:f4c0:f9c3:502::100:17b7) (Ping timeout: 255 seconds) |
2024-03-03 22:20:31 +0100 | sprout | (~quassel@2a02-a448-3a80-0-9498-953-ac6-54d2.fixed6.kpn.net) (Ping timeout: 272 seconds) |
2024-03-03 22:21:45 +0100 | YuutaW | (~YuutaW@mail.yuuta.moe) |
2024-03-03 22:22:31 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 255 seconds) |
2024-03-03 22:23:35 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
2024-03-03 22:27:29 +0100 | YuutaW | (~YuutaW@mail.yuuta.moe) (Ping timeout: 272 seconds) |
2024-03-03 22:27:52 +0100 | michalz | (~michalz@185.246.207.221) (Quit: ZNC 1.8.2 - https://znc.in) |
2024-03-03 22:28:26 +0100 | YuutaW | (~YuutaW@mail.yuuta.moe) |
2024-03-03 22:31:00 +0100 | jmcantrell | (~weechat@user/jmcantrell) |
2024-03-03 22:31:17 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 272 seconds) |
2024-03-03 22:33:58 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
2024-03-03 22:36:29 +0100 | mastarija | (~mastarija@141-136-168-207.dsl.iskon.hr) |
2024-03-03 22:36:47 +0100 | pavonia | (~user@user/siracusa) |
2024-03-03 22:38:13 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 264 seconds) |
2024-03-03 22:38:34 +0100 | <mastarija> | Is there a way to "massage" the HasField into creating an instance for any value that implements a certain class? I want to have the x, y and z fields for V1, V2, V3, V4 etc. from the linear package. |
2024-03-03 22:38:52 +0100 | <mastarija> | I was thinking something like this: instance R1 v => HasField "x" (v n) n where getField v = v ^. _x |
2024-03-03 22:40:24 +0100 | <geekosaur> | doesn't this have the same problem any "…that implements a class" has? (is instanced for everything, then the instance is checked at runtime) |
2024-03-03 22:40:25 +0100 | <mastarija> | Obviously, that won't work, since HasField has a fun dep where "x" and (v n) imply n |
2024-03-03 22:41:18 +0100 | <mastarija> | geekosaur not sure what you are implying. |
2024-03-03 22:42:15 +0100 | <mastarija> | I'm sure there are cases where what I've proposed would cause trouble, however, I don't think it would be a problem for vector stuff. |
2024-03-03 22:43:50 +0100 | <mastarija> | Although, if I have some record that has x field, and implements e.g. R1 then that record should already have the "x" field instance derived, so my general instance would collide with it. But can't we solve this with overlapping instances or something? |
2024-03-03 22:48:42 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
2024-03-03 22:51:30 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
2024-03-03 22:51:33 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
2024-03-03 22:55:06 +0100 | justache | (~justache@user/justache) (Quit: ZNC 1.8.2 - https://znc.in) |
2024-03-03 22:56:49 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 256 seconds) |
2024-03-03 22:57:45 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
2024-03-03 22:58:46 +0100 | Sgeo_ | (~Sgeo@user/sgeo) |
2024-03-03 22:58:46 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2024-03-03 22:59:59 +0100 | falafel | (~falafel@2607:fb91:850:82c5:c592:dbea:770b:778e) (Ping timeout: 260 seconds) |
2024-03-03 23:03:12 +0100 | justache | (~justache@user/justache) |
2024-03-03 23:06:32 +0100 | thegeekinside | (~thegeekin@189.217.83.221) |
2024-03-03 23:07:57 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
2024-03-03 23:11:59 +0100 | bontaq | (~user@ool-45779c03.dyn.optonline.net) (Ping timeout: 264 seconds) |
2024-03-03 23:19:31 +0100 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
2024-03-03 23:23:22 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 264 seconds) |
2024-03-03 23:25:07 +0100 | thegeekinside | (~thegeekin@189.217.83.221) (Remote host closed the connection) |
2024-03-03 23:28:29 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
2024-03-03 23:28:51 +0100 | zenstoic | (uid461840@id-461840.hampstead.irccloud.com) |
2024-03-03 23:30:42 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Quit: WeeChat 4.2.1) |
2024-03-03 23:34:17 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 268 seconds) |
2024-03-03 23:35:03 +0100 | jmcantrell | (~weechat@user/jmcantrell) |
2024-03-03 23:36:22 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-03-03 23:41:13 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Quit: WeeChat 4.2.1) |
2024-03-03 23:41:55 +0100 | jmcantrell | (~weechat@user/jmcantrell) |
2024-03-03 23:52:39 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
2024-03-03 23:57:30 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 256 seconds) |