| 2024-03-13 00:00:50 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2024-03-13 00:07:28 +0100 | phma | (phma@2001:5b0:2143:a3e8:4abf:4a4a:8deb:49a3) (Read error: Connection reset by peer) |
| 2024-03-13 00:07:55 +0100 | phma | (~phma@2001:5b0:2143:a3e8:4abf:4a4a:8deb:49a3) |
| 2024-03-13 00:10:06 +0100 | <haskellbridge> | <sm> yeah, how about a layer above propellor ? |
| 2024-03-13 00:10:33 +0100 | <haskellbridge> | <sm> or would you rather have nix involved |
| 2024-03-13 00:11:38 +0100 | son0p | (~ff@152.203.102.157) |
| 2024-03-13 00:13:01 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-03-13 00:16:57 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e737e788d91e6e3566650313.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2024-03-13 00:33:27 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-03-13 00:47:24 +0100 | germ | (~quassel@user/mipsel3) (Ping timeout: 255 seconds) |
| 2024-03-13 00:49:50 +0100 | germ | (~quassel@50.39.179.7) |
| 2024-03-13 01:01:08 +0100 | germ | (~quassel@50.39.179.7) (Changing host) |
| 2024-03-13 01:01:08 +0100 | germ | (~quassel@user/mipsel3) |
| 2024-03-13 01:07:05 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) (Remote host closed the connection) |
| 2024-03-13 01:07:15 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) |
| 2024-03-13 01:08:39 +0100 | motherfsck | (~motherfsc@user/motherfsck) (Read error: Connection reset by peer) |
| 2024-03-13 01:10:22 +0100 | iteratee | (~kyle@162.218.222.207) (Remote host closed the connection) |
| 2024-03-13 01:13:57 +0100 | xff0x | (~xff0x@2405:6580:b080:900:d512:497a:e4c5:b6e5) (Ping timeout: 272 seconds) |
| 2024-03-13 01:14:07 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-03-13 01:15:18 +0100 | xff0x | (~xff0x@ai082039.d.east.v6connect.net) |
| 2024-03-13 01:16:49 +0100 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 246 seconds) |
| 2024-03-13 01:17:59 +0100 | infinity0 | (~infinity0@pwned.gg) |
| 2024-03-13 01:21:02 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-03-13 01:25:33 +0100 | motherfsck | (~motherfsc@user/motherfsck) |
| 2024-03-13 01:33:47 +0100 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
| 2024-03-13 01:57:40 +0100 | m5zs7k | (aquares@web10.mydevil.net) (Remote host closed the connection) |
| 2024-03-13 02:01:19 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 260 seconds) |
| 2024-03-13 02:01:26 +0100 | m5zs7k | (aquares@web10.mydevil.net) |
| 2024-03-13 02:02:10 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-03-13 02:03:54 +0100 | califax | (~califax@user/califx) |
| 2024-03-13 02:07:36 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2024-03-13 02:10:13 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-03-13 02:14:42 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 255 seconds) |
| 2024-03-13 02:22:09 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-03-13 02:22:45 +0100 | TimeLapse | (~TimeLapse@176.254.244.83) (Ping timeout: 256 seconds) |
| 2024-03-13 02:36:24 +0100 | cods | (~fred@tuxee.net) (Ping timeout: 256 seconds) |
| 2024-03-13 02:41:52 +0100 | rainbyte | (~rainbyte@186.22.19.215) (Ping timeout: 246 seconds) |
| 2024-03-13 02:45:04 +0100 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2024-03-13 02:46:29 +0100 | infinity0 | (~infinity0@pwned.gg) |
| 2024-03-13 02:48:11 +0100 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
| 2024-03-13 02:49:43 +0100 | Luj | (~Luj@2a01:e0a:5f9:9681:b583:792c:2154:7ca4) (Quit: Ping timeout (120 seconds)) |
| 2024-03-13 02:50:03 +0100 | Luj | (~Luj@2a01:e0a:5f9:9681:abb:b5ac:ee02:82e6) |
| 2024-03-13 02:50:18 +0100 | infinity0 | (~infinity0@pwned.gg) |
| 2024-03-13 02:50:51 +0100 | xff0x | (~xff0x@ai082039.d.east.v6connect.net) (Ping timeout: 272 seconds) |
| 2024-03-13 02:56:45 +0100 | pavonia | (~user@user/siracusa) |
| 2024-03-13 03:01:30 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 255 seconds) |
| 2024-03-13 03:03:08 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 2024-03-13 03:03:25 +0100 | pointlessslippe1 | (~pointless@212.82.82.3) (Ping timeout: 264 seconds) |
| 2024-03-13 03:03:29 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-03-13 03:04:31 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2024-03-13 03:08:13 +0100 | cods | (~fred@tuxee.net) |
| 2024-03-13 03:08:42 +0100 | rainbyte | (~rainbyte@186.22.19.215) |
| 2024-03-13 03:10:21 +0100 | igemnace | (~ian@user/igemnace) |
| 2024-03-13 03:10:26 +0100 | pointlessslippe1 | (~pointless@212.82.82.3) |
| 2024-03-13 03:19:38 +0100 | PoolloverNathan | (~u0_a408@108.145.176.193) (Quit: Lost terminal) |
| 2024-03-13 03:22:18 +0100 | rekahsoft | (~rekahsoft@70.51.99.248) |
| 2024-03-13 03:27:28 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-03-13 03:32:11 +0100 | rekahsoft | (~rekahsoft@70.51.99.248) (Remote host closed the connection) |
| 2024-03-13 03:32:38 +0100 | Pozyomka | (~pyon@user/pyon) (Quit: WeeChat 4.2.1) |
| 2024-03-13 03:32:44 +0100 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-03-13 03:33:42 +0100 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2024-03-13 03:34:49 +0100 | rekahsoft | (~rekahsoft@70.51.99.248) |
| 2024-03-13 03:35:09 +0100 | mei | (~mei@user/mei) |
| 2024-03-13 03:39:35 +0100 | otto_s | (~user@p5b044b17.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2024-03-13 03:41:05 +0100 | otto_s | (~user@p4ff27d8f.dip0.t-ipconnect.de) |
| 2024-03-13 03:41:33 +0100 | rekahsoft | (~rekahsoft@70.51.99.248) (Ping timeout: 255 seconds) |
| 2024-03-13 03:42:25 +0100 | igemnace | (~ian@user/igemnace) (Read error: Connection reset by peer) |
| 2024-03-13 03:44:49 +0100 | vnogueira | (~vnogueira@user/vnogueira) (Remote host closed the connection) |
| 2024-03-13 03:45:10 +0100 | vnogueira | (~vnogueira@user/vnogueira) |
| 2024-03-13 03:47:03 +0100 | vnogueira | (~vnogueira@user/vnogueira) (Remote host closed the connection) |
| 2024-03-13 03:47:11 +0100 | Pozyomka | (~pyon@user/pyon) |
| 2024-03-13 03:47:27 +0100 | vnogueira | (~vnogueira@user/vnogueira) |
| 2024-03-13 03:49:46 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-03-13 03:59:57 +0100 | igemnace | (~ian@user/igemnace) |
| 2024-03-13 04:00:33 +0100 | vnogueira | (~vnogueira@user/vnogueira) (Remote host closed the connection) |
| 2024-03-13 04:00:52 +0100 | vnogueira | (~vnogueira@user/vnogueira) |
| 2024-03-13 04:08:31 +0100 | germ | (~quassel@user/mipsel3) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2024-03-13 04:15:05 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-03-13 04:29:24 +0100 | germ | (~quassel@50.39.179.7) |
| 2024-03-13 04:31:02 +0100 | germ | (~quassel@50.39.179.7) (Client Quit) |
| 2024-03-13 04:31:42 +0100 | germ | (~quassel@50.39.179.7) |
| 2024-03-13 04:31:47 +0100 | germ | (~quassel@50.39.179.7) (Changing host) |
| 2024-03-13 04:31:47 +0100 | germ | (~quassel@user/mipsel3) |
| 2024-03-13 04:34:50 +0100 | germ | (~quassel@user/mipsel3) (Client Quit) |
| 2024-03-13 04:35:50 +0100 | germ | (~quassel@50.39.179.7) |
| 2024-03-13 04:36:15 +0100 | germ | (~quassel@50.39.179.7) (Changing host) |
| 2024-03-13 04:36:15 +0100 | germ | (~quassel@user/mipsel3) |
| 2024-03-13 04:40:37 +0100 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-03-13 04:43:03 +0100 | mei | (~mei@user/mei) |
| 2024-03-13 04:45:07 +0100 | PoolloverNathan | (~u0_a408@108.145.176.193) |
| 2024-03-13 04:45:47 +0100 | <PoolloverNathan> | how would I get a String (or ByteString, etc.) from a GHC.Types.Var.ID? |
| 2024-03-13 04:49:37 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 246 seconds) |
| 2024-03-13 04:53:37 +0100 | mikess | (~mikess@user/mikess) |
| 2024-03-13 04:54:59 +0100 | td_ | (~td@i5387092D.versanet.de) (Ping timeout: 272 seconds) |
| 2024-03-13 04:55:04 +0100 | <PoolloverNathan> | @djinn GHC.Types.Var.Id → String |
| 2024-03-13 04:55:04 +0100 | <lambdabot> | Cannot parse command |
| 2024-03-13 04:55:10 +0100 | <PoolloverNathan> | @djinn GHC.Types.Var.Id -> String |
| 2024-03-13 04:55:10 +0100 | <lambdabot> | Error: Undefined type GHC.Types.Var.Id |
| 2024-03-13 04:55:37 +0100 | <PoolloverNathan> | @djinn import GHC.Types.Var(Id); GHC.Types.Var.Id -> String |
| 2024-03-13 04:55:37 +0100 | <lambdabot> | Cannot parse command |
| 2024-03-13 04:56:03 +0100 | <PoolloverNathan> | @help djinn |
| 2024-03-13 04:56:03 +0100 | <lambdabot> | djinn <type>. |
| 2024-03-13 04:56:03 +0100 | <lambdabot> | Generates Haskell code from a type. |
| 2024-03-13 04:56:03 +0100 | <lambdabot> | https://github.com/augustss/djinn |
| 2024-03-13 04:56:40 +0100 | td_ | (~td@i5387093A.versanet.de) |
| 2024-03-13 05:03:55 +0100 | tv | (~tv@user/tv) (Ping timeout: 255 seconds) |
| 2024-03-13 05:04:28 +0100 | paddymahoney | (~paddymaho@cpe883d24bcf597-cmbc4dfb741f80.cpe.net.cable.rogers.com) (Read error: Connection reset by peer) |
| 2024-03-13 05:05:34 +0100 | paddymahoney | (~paddymaho@cpe883d24bcf597-cmbc4dfb741f80.cpe.net.cable.rogers.com) |
| 2024-03-13 05:06:13 +0100 | <c_wraith> | PoolloverNathan: probably using the Outputable class |
| 2024-03-13 05:06:19 +0100 | TimeLapse | (~TimeLapse@176.254.244.83) |
| 2024-03-13 05:06:38 +0100 | <c_wraith> | or possibly NamedThing. that type has a lot of instances. |
| 2024-03-13 05:09:19 +0100 | <PoolloverNathan> | oh, just realized Id is a type alias — thanks! |
| 2024-03-13 05:10:50 +0100 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
| 2024-03-13 05:10:55 +0100 | vnogueira | (~vnogueira@user/vnogueira) (Remote host closed the connection) |
| 2024-03-13 05:11:38 +0100 | vnogueira | (~vnogueira@user/vnogueira) |
| 2024-03-13 05:11:43 +0100 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) |
| 2024-03-13 05:13:36 +0100 | PoolloverNathan | (~u0_a408@108.145.176.193) () |
| 2024-03-13 05:17:07 +0100 | tv | (~tv@user/tv) |
| 2024-03-13 05:17:50 +0100 | Square2 | (~Square4@user/square) |
| 2024-03-13 05:18:54 +0100 | PoolloverNathan | (~u0_a408@pool-100-7-100-131.rcmdva.fios.verizon.net) |
| 2024-03-13 05:19:07 +0100 | <PoolloverNathan> | @djinn ByteString -> String |
| 2024-03-13 05:19:07 +0100 | <lambdabot> | Error: Undefined type ByteString |
| 2024-03-13 05:19:17 +0100 | <c_wraith> | djinn only knows a few tools |
| 2024-03-13 05:19:28 +0100 | <c_wraith> | The more polymorphic your type, the better it works. |
| 2024-03-13 05:19:37 +0100 | <PoolloverNathan> | oh |
| 2024-03-13 05:19:46 +0100 | <c_wraith> | @djinn (a -> b -> c) -> (a -> b) -> a -> c |
| 2024-03-13 05:19:46 +0100 | <lambdabot> | f a b c = a c (b c) |
| 2024-03-13 05:20:23 +0100 | aforemny_ | (~aforemny@2001:9e8:6cda:2b00:f36d:64a7:6ade:ce4c) |
| 2024-03-13 05:21:16 +0100 | aforemny | (~aforemny@2001:9e8:6cf5:5c00:49a:ce0c:787c:65b3) (Ping timeout: 260 seconds) |
| 2024-03-13 05:28:45 +0100 | mikess | (~mikess@user/mikess) (Quit: nyaa~) |
| 2024-03-13 05:30:49 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
| 2024-03-13 05:43:32 +0100 | biberu | (~biberu@user/biberu) |
| 2024-03-13 06:06:55 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
| 2024-03-13 06:13:39 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 255 seconds) |
| 2024-03-13 06:40:11 +0100 | elkcl | (~elkcl@broadband-178-140-136-65.ip.moscow.rt.ru) (Ping timeout: 264 seconds) |
| 2024-03-13 06:41:04 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-03-13 06:44:20 +0100 | trev | (~trev@user/trev) (Ping timeout: 260 seconds) |
| 2024-03-13 06:48:10 +0100 | elkcl | (~elkcl@broadband-178-140-136-65.ip.moscow.rt.ru) |
| 2024-03-13 06:51:42 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 260 seconds) |
| 2024-03-13 06:53:45 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-03-13 06:56:02 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2024-03-13 06:57:08 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-03-13 06:57:26 +0100 | jau | (~user@2a04:4540:7205:3500:bc6e:f625:8874:65d0) |
| 2024-03-13 06:59:25 +0100 | trev | (~trev@user/trev) |
| 2024-03-13 07:08:23 +0100 | michalz | (~michalz@185.246.207.203) |
| 2024-03-13 07:08:45 +0100 | dunj3_ | (~dunj3@kingdread.de) |
| 2024-03-13 07:09:17 +0100 | flocks_ | (~flocks@134.122.90.60) |
| 2024-03-13 07:09:18 +0100 | connrs_ | (~connrs@user/connrs) |
| 2024-03-13 07:09:44 +0100 | megaTherion_ | (~therion@unix.io) |
| 2024-03-13 07:09:45 +0100 | darksatanic | (~darkling@2001-ba8-1f1-f0e6-0-0-0-2.autov6rev.bitfolk.space) |
| 2024-03-13 07:09:51 +0100 | mesaoptimizer | (~mesaoptim@user/PapuaHardyNet) (Remote host closed the connection) |
| 2024-03-13 07:09:51 +0100 | dunj3 | (~dunj3@85.214.18.208) (Quit: ZNC 1.8.2+deb2+b1 - https://znc.in) |
| 2024-03-13 07:09:52 +0100 | connrs | (~connrs@user/connrs) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-03-13 07:09:52 +0100 | incertia | (~incertia@209.122.137.252) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-03-13 07:09:52 +0100 | flocks | (~flocks@134.122.90.60) (Quit: ZNC 1.8.2+deb2build5 - https://znc.in) |
| 2024-03-13 07:09:52 +0100 | hexeme | (~hexeme@user/hexeme) (Quit: co'o ro do) |
| 2024-03-13 07:09:52 +0100 | Buggys | (Buggys@shelltalk.net) (Ping timeout: 268 seconds) |
| 2024-03-13 07:09:52 +0100 | it__ | (~quassel@188.172.228.139) (Quit: No Ping reply in 180 seconds.) |
| 2024-03-13 07:09:52 +0100 | incertia_ | (~incertia@209.122.137.252) |
| 2024-03-13 07:09:56 +0100 | connrs_ | connrs |
| 2024-03-13 07:10:10 +0100 | Taneb | (~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0) (Ping timeout: 268 seconds) |
| 2024-03-13 07:10:10 +0100 | tnks | (sid412124@id-412124.helmsley.irccloud.com) (Ping timeout: 268 seconds) |
| 2024-03-13 07:10:10 +0100 | megaTherion | (~therion@unix.io) (Ping timeout: 268 seconds) |
| 2024-03-13 07:10:10 +0100 | shryke | (~shryke@2a00:4b00:13c:cc:b27b:25ff:fe18:efd) (Ping timeout: 268 seconds) |
| 2024-03-13 07:10:10 +0100 | Reinhilde | (~Ellenor@callbox.trd.is) (Ping timeout: 268 seconds) |
| 2024-03-13 07:10:10 +0100 | berberman | (~berberman@user/berberman) (Ping timeout: 268 seconds) |
| 2024-03-13 07:10:10 +0100 | PHO`_ | (~pho@2406:da14:856:600:e03a:2c8f:39c:7838) (Ping timeout: 268 seconds) |
| 2024-03-13 07:10:10 +0100 | T_S_____ | (sid501726@2a03:5180:f:5::7:a7de) (Ping timeout: 268 seconds) |
| 2024-03-13 07:10:10 +0100 | SethTisue | (sid14912@2a03:5180:f:3::3a40) (Ping timeout: 268 seconds) |
| 2024-03-13 07:10:11 +0100 | megaTherion_ | megaTherion |
| 2024-03-13 07:10:16 +0100 | incertia_ | incertia |
| 2024-03-13 07:10:25 +0100 | hexeme | (~hexeme@user/hexeme) |
| 2024-03-13 07:10:34 +0100 | berberman | (~berberman@user/berberman) |
| 2024-03-13 07:10:45 +0100 | it_ | (~quassel@v2202212189510211193.supersrv.de) |
| 2024-03-13 07:10:47 +0100 | duncan | (c6181279e3@user/duncan) (Ping timeout: 268 seconds) |
| 2024-03-13 07:10:47 +0100 | eugenrh_ | (~eugenrh@2a01:4f9:c011:265::1) (Ping timeout: 268 seconds) |
| 2024-03-13 07:10:47 +0100 | darkling | (~darkling@2001:ba8:1f1:f0e6::2) (Ping timeout: 268 seconds) |
| 2024-03-13 07:10:50 +0100 | Taneb | (~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0) |
| 2024-03-13 07:11:09 +0100 | Ellenor | (ellenor@callbox.trd.is) |
| 2024-03-13 07:11:51 +0100 | shryke | (~shryke@2a00:4b00:13c:cc:b27b:25ff:fe18:efd) |
| 2024-03-13 07:12:20 +0100 | eugenrh_ | (~eugenrh@2a01:4f9:c011:265::1) |
| 2024-03-13 07:12:46 +0100 | duncan | (c6181279e3@user/duncan) |
| 2024-03-13 07:13:03 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2024-03-13 07:16:38 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-03-13 07:16:57 +0100 | PHO`_ | (~pho@akari.cielonegro.org) |
| 2024-03-13 07:18:57 +0100 | zetef | (~quassel@95.77.17.251) |
| 2024-03-13 07:20:44 +0100 | Buggys | (Buggys@Buggy.shelltalk.net) |
| 2024-03-13 07:20:51 +0100 | zetef | (~quassel@95.77.17.251) (Remote host closed the connection) |
| 2024-03-13 07:21:56 +0100 | zetef | (~quassel@95.77.17.251) |
| 2024-03-13 07:24:13 +0100 | SethTisue | (sid14912@id-14912.ilkley.irccloud.com) |
| 2024-03-13 07:24:14 +0100 | T_S_____ | (sid501726@id-501726.uxbridge.irccloud.com) |
| 2024-03-13 07:24:17 +0100 | tnks | (sid412124@id-412124.helmsley.irccloud.com) |
| 2024-03-13 07:26:01 +0100 | zetef | (~quassel@95.77.17.251) (Client Quit) |
| 2024-03-13 07:26:43 +0100 | zetef | (~quassel@95.77.17.251) |
| 2024-03-13 07:35:09 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
| 2024-03-13 07:35:23 +0100 | Ellenor | Reinhilde |
| 2024-03-13 07:38:56 +0100 | euleritian | (~euleritia@dynamic-176-006-194-229.176.6.pool.telefonica.de) |
| 2024-03-13 07:40:49 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e737e7786152a423ebcbaf72.dip0.t-ipconnect.de) |
| 2024-03-13 07:44:49 +0100 | gorignak | (~gorignak@user/gorignak) (Ping timeout: 264 seconds) |
| 2024-03-13 07:53:13 +0100 | zetef | (~quassel@95.77.17.251) (Ping timeout: 264 seconds) |
| 2024-03-13 08:08:32 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-03-13 08:15:15 +0100 | bliminse | (~bliminse@user/bliminse) (Quit: leaving) |
| 2024-03-13 08:21:04 +0100 | bliminse | (~bliminse@user/bliminse) |
| 2024-03-13 08:21:56 +0100 | chele | (~chele@user/chele) |
| 2024-03-13 08:29:57 +0100 | euleritian | (~euleritia@dynamic-176-006-194-229.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-03-13 08:30:21 +0100 | euleritian | (~euleritia@77.22.252.56) |
| 2024-03-13 08:35:32 +0100 | <haskellbridge> | <irregularsphere> c_wraith: "the fact is, liking Haskell is not always a sufficient reason to use it." i guess they're better off using Haskell if they like Haskell anyway :) (since this _is_ Minecraft related, there's possibly no other way they'd stick to using Haskell) |
| 2024-03-13 08:36:50 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-03-13 08:42:03 +0100 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 268 seconds) |
| 2024-03-13 08:43:57 +0100 | euleritian | (~euleritia@dynamic-176-006-194-229.176.6.pool.telefonica.de) |
| 2024-03-13 08:44:04 +0100 | danza | (~francesco@151.19.240.229) |
| 2024-03-13 08:46:51 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-03-13 08:46:53 +0100 | zetef | (~quassel@95.77.17.251) |
| 2024-03-13 08:53:50 +0100 | euleritian | (~euleritia@dynamic-176-006-194-229.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-03-13 08:54:09 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-03-13 08:58:51 +0100 | Buggys | (Buggys@Buggy.shelltalk.net) (Ping timeout: 256 seconds) |
| 2024-03-13 09:06:38 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-03-13 09:09:42 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-03-13 09:10:25 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-13 09:11:16 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-03-13 09:12:55 +0100 | Buggys | (Buggys@Buggy.shelltalk.net) |
| 2024-03-13 09:13:39 +0100 | CiaoSen | (~Jura@2a05:5800:2a5:6a00:e6b9:7aff:fe80:3d03) |
| 2024-03-13 09:24:22 +0100 | chele | (~chele@user/chele) (Read error: Connection reset by peer) |
| 2024-03-13 09:24:43 +0100 | chele | (~chele@user/chele) |
| 2024-03-13 09:25:49 +0100 | notzmv | (~daniel@user/notzmv) (Ping timeout: 255 seconds) |
| 2024-03-13 09:28:38 +0100 | danza | (~francesco@151.19.240.229) (Read error: Connection reset by peer) |
| 2024-03-13 09:29:03 +0100 | danza | (~francesco@151.37.244.205) |
| 2024-03-13 09:39:59 +0100 | rosco | (~rosco@175.136.155.53) |
| 2024-03-13 09:45:06 +0100 | kuribas | (~user@2a02:1808:6:4a8b:c581:cfb2:3223:e978) |
| 2024-03-13 09:45:38 +0100 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-03-13 09:50:51 +0100 | kuribas | (~user@2a02:1808:6:4a8b:c581:cfb2:3223:e978) (Remote host closed the connection) |
| 2024-03-13 09:50:53 +0100 | misterfish | (~misterfis@84.53.85.146) |
| 2024-03-13 09:52:09 +0100 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-03-13 09:52:40 +0100 | danza | (~francesco@151.37.244.205) (Ping timeout: 268 seconds) |
| 2024-03-13 09:53:15 +0100 | Ashkan | (~Ashkan@147.161.173.72) |
| 2024-03-13 09:53:25 +0100 | darksatanic | darkling |
| 2024-03-13 09:54:35 +0100 | mei | (~mei@user/mei) |
| 2024-03-13 09:59:03 +0100 | <Ashkan> | Hi people. I'm trying to use `inline-c` and friends to *fix* a piece of code from a package (ImGui bindings). I got it to compile but when I run it, I see a `bus error` right at the spot where it was supposed to be fixed and nothing else. Not sure how to share the code here as it is not exactly an small piece of code. Here is the link to my repo |
| 2024-03-13 09:59:03 +0100 | <Ashkan> | https://github.com/ashkann/vulkan/blob/imgui/app/Ashkan2.hs#L31 |
| 2024-03-13 10:00:02 +0100 | pwntips | (~pwntips@user/pwntips) (Quit: pwntips) |
| 2024-03-13 10:00:09 +0100 | <Ashkan> | On a different note, what is the proper way to ask community to feedback (as in learn better ways to do things) on my project on github? Do I just post in on reddit and ask people to take a look? |
| 2024-03-13 10:00:25 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 246 seconds) |
| 2024-03-13 10:01:48 +0100 | pwntips | (~pwntips@user/pwntips) |
| 2024-03-13 10:04:49 +0100 | agrosant | (~agrosant@188.4.32.217.dsl.dyn.forthnet.gr) |
| 2024-03-13 10:06:55 +0100 | <c_wraith> | a bus error is often a non-aligned pointer access. |
| 2024-03-13 10:07:23 +0100 | <c_wraith> | And that definitely looks plausible for code using as many pointers as that code is. |
| 2024-03-13 10:07:34 +0100 | <c_wraith> | But tracking it down might be annoying. |
| 2024-03-13 10:07:58 +0100 | Silver_X | (~Silver_X@182.178.203.72) |
| 2024-03-13 10:08:11 +0100 | danse-nr3 | (~danse@151.37.244.205) |
| 2024-03-13 10:09:15 +0100 | Silver_X | (~Silver_X@182.178.203.72) (Remote host closed the connection) |
| 2024-03-13 10:10:11 +0100 | agrosant | (~agrosant@188.4.32.217.dsl.dyn.forthnet.gr) (Ping timeout: 264 seconds) |
| 2024-03-13 10:11:37 +0100 | remedan | (~remedan@ip-78-102-118-253.bb.vodafone.cz) (Ping timeout: 246 seconds) |
| 2024-03-13 10:11:46 +0100 | gmg | (~user@user/gehmehgeh) |
| 2024-03-13 10:20:16 +0100 | Ashkan | (~Ashkan@147.161.173.72) (Quit: Client closed) |
| 2024-03-13 10:21:25 +0100 | notzmv | (~daniel@user/notzmv) |
| 2024-03-13 10:21:37 +0100 | <dminuoso> | Getting feedback for non-trivial code sizes is hard to just ask for. |
| 2024-03-13 10:26:23 +0100 | mmhat | (~mmh@p200300f1c7199dceee086bfffe095315.dip0.t-ipconnect.de) |
| 2024-03-13 10:26:56 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-03-13 10:27:17 +0100 | <shryke> | tomsmeding: I tried that before, you can not convert that HANDLE into a haskell's Handle. |
| 2024-03-13 10:27:45 +0100 | gmg | (~user@user/gehmehgeh) |
| 2024-03-13 10:28:01 +0100 | <shryke> | The solution was to open 'openFile "\\\\.\\CONIN$" ReadWriteMode' |
| 2024-03-13 10:28:12 +0100 | zer0bitz_ | (~zer0bitz@user/zer0bitz) |
| 2024-03-13 10:28:48 +0100 | <shryke> | Asked in issues of Windows Terminal on github and got an answer within half an hour =) |
| 2024-03-13 10:29:36 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2024-03-13 10:30:38 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2024-03-13 10:31:41 +0100 | zer0bitz | (~zer0bitz@user/zer0bitz) (Ping timeout: 240 seconds) |
| 2024-03-13 10:32:52 +0100 | edwtjo | (~edwtjo@fsf/member/edwtjo) (Ping timeout: 255 seconds) |
| 2024-03-13 10:36:19 +0100 | edwtjo | (~edwtjo@fsf/member/edwtjo) |
| 2024-03-13 10:42:32 +0100 | mesaoptimizer | (~mesaoptim@user/PapuaHardyNet) |
| 2024-03-13 10:43:38 +0100 | danse-nr3 | (~danse@151.37.244.205) (Remote host closed the connection) |
| 2024-03-13 10:44:01 +0100 | danse-nr3 | (~danse@151.37.244.205) |
| 2024-03-13 10:46:33 +0100 | agrosant | (~agrosant@46.246.195.157.dsl.dyn.forthnet.gr) |
| 2024-03-13 10:46:46 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 2024-03-13 10:47:02 +0100 | euleritian | (~euleritia@77.22.252.56) |
| 2024-03-13 10:49:23 +0100 | ft | (~ft@p3e9bce6e.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-03-13 10:49:39 +0100 | <tomsmeding> | shryke: nice! |
| 2024-03-13 10:49:53 +0100 | <tomsmeding> | beautiful windows in that incantation :) |
| 2024-03-13 10:52:47 +0100 | agrosant | (~agrosant@46.246.195.157.dsl.dyn.forthnet.gr) (Ping timeout: 264 seconds) |
| 2024-03-13 10:53:15 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-03-13 10:58:37 +0100 | Buggys | (Buggys@Buggy.shelltalk.net) (Ping timeout: 264 seconds) |
| 2024-03-13 11:02:49 +0100 | PoolloverNathan | (~u0_a408@pool-100-7-100-131.rcmdva.fios.verizon.net) (Read error: Connection reset by peer) |
| 2024-03-13 11:05:27 +0100 | Buggys | (Buggys@shelltalk.net) |
| 2024-03-13 11:08:13 +0100 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 264 seconds) |
| 2024-03-13 11:09:10 +0100 | agrosant | (~agrosant@77.49.172.176.dsl.dyn.forthnet.gr) |
| 2024-03-13 11:09:25 +0100 | CiaoSen | (~Jura@2a05:5800:2a5:6a00:e6b9:7aff:fe80:3d03) (Ping timeout: 264 seconds) |
| 2024-03-13 11:12:32 +0100 | remedan | (~remedan@ip-78-102-118-253.bb.vodafone.cz) |
| 2024-03-13 11:12:45 +0100 | <Inst_> | i can't access wikipedia |
| 2024-03-13 11:12:46 +0100 | Inst_ | Inst |
| 2024-03-13 11:13:08 +0100 | <Inst> | are there any good introductions to data structures on their own? |
| 2024-03-13 11:13:25 +0100 | <Inst> | i know they're married to algorithms, but I'd rather learn DS on their own for a bit |
| 2024-03-13 11:13:37 +0100 | misterfish | (~misterfis@046044172198.static.ipv4.heldenvannu.net) |
| 2024-03-13 11:14:00 +0100 | <danse-nr3> | studying without wiki sounds challenging. Cannot you use a virtual private network? |
| 2024-03-13 11:14:22 +0100 | <darkling> | IMO, there's not much point in studying data structures on their own, without knowing how the data structure's used (the algorithms). |
| 2024-03-13 11:15:09 +0100 | <Inst> | haven't been able to set one uy, I can't access my e-mail without a VPN :( |
| 2024-03-13 11:15:18 +0100 | <Inst> | well, DS-centric DSA |
| 2024-03-13 11:16:26 +0100 | tomsmeding | . o O ( "DSA"? ) |
| 2024-03-13 11:19:05 +0100 | <Inst> | data structure and algorithms |
| 2024-03-13 11:19:16 +0100 | <Inst> | also, just curious, list append is O(m), right? |
| 2024-03-13 11:19:29 +0100 | <Inst> | but in conditions of laziness it's REALLY weird |
| 2024-03-13 11:19:32 +0100 | <tomsmeding> | in haskell it is |
| 2024-03-13 11:19:38 +0100 | <Inst> | for the left side |
| 2024-03-13 11:19:51 +0100 | <Inst> | it's basically the usual O(n) access * 2 |
| 2024-03-13 11:20:06 +0100 | <mauke> | https://de.wikipedia.org/wiki/Das_Schwarze_Auge |
| 2024-03-13 11:20:19 +0100 | <tomsmeding> | are you interested in data structures for haskell specifically, or in programming in general? |
| 2024-03-13 11:21:38 +0100 | <tomsmeding> | lol mauke I was thinking of the cryptographic algorithm |
| 2024-03-13 11:21:50 +0100 | <Inst> | in general |
| 2024-03-13 11:22:13 +0100 | <Inst> | i mean i have a copy of okasaki |
| 2024-03-13 11:22:23 +0100 | <darkling> | I suspect that most of the generally well-known books are oriented around non-functional data structures and algorithms, and either need significant modification for functional languages, or won't work at all. |
| 2024-03-13 11:26:20 +0100 | rosco | (~rosco@175.136.155.53) (Quit: Lost terminal) |
| 2024-03-13 11:27:21 +0100 | <tomsmeding> | Inst: can you view the internet archive (web.archive.org) |
| 2024-03-13 11:27:35 +0100 | <Inst> | ugh, best that i get my VPN working again |
| 2024-03-13 11:27:36 +0100 | <Inst> | :( |
| 2024-03-13 11:30:31 +0100 | <tomsmeding> | can somebody send you a copy of all the generated html :p |
| 2024-03-13 11:30:39 +0100 | <tomsmeding> | it seems a current archive is 116 GB |
| 2024-03-13 11:31:01 +0100 | <darkling> | Wikipedia by mail. :) |
| 2024-03-13 11:31:28 +0100 | <tomsmeding> | bit far for a pigeon |
| 2024-03-13 11:31:39 +0100 | <tomsmeding> | (this is a bit #offtopic, btw) |
| 2024-03-13 11:32:59 +0100 | agrosant | (~agrosant@77.49.172.176.dsl.dyn.forthnet.gr) (Ping timeout: 264 seconds) |
| 2024-03-13 11:33:21 +0100 | destituion | (~destituio@77.18.57.161.tmi.telenormobil.no) (Read error: Connection reset by peer) |
| 2024-03-13 11:33:41 +0100 | destituion | (~destituio@85.221.111.174) |
| 2024-03-13 11:36:34 +0100 | elkcl | (~elkcl@broadband-178-140-136-65.ip.moscow.rt.ru) (Ping timeout: 268 seconds) |
| 2024-03-13 11:37:41 +0100 | tomsmeding | was wondering why it's called "Wikimedia Enterprise" but unsurprisingly the intent of the dumps is "Enterprise-grade APIs for Search Engines, LLMs, Deep Learning & more" |
| 2024-03-13 11:37:46 +0100 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 264 seconds) |
| 2024-03-13 11:38:09 +0100 | <tomsmeding> | I guess this is one advantage of LLMs becoming popular, you get available dumps like these |
| 2024-03-13 11:38:22 +0100 | euleritian | (~euleritia@77.22.252.56) |
| 2024-03-13 11:42:17 +0100 | <danse-nr3> | oh nice |
| 2024-03-13 11:48:16 +0100 | agrosant | (~agrosant@62.1.113.81.dsl.dyn.forthnet.gr) |
| 2024-03-13 11:48:22 +0100 | michalz_ | (~michalz@185.246.207.221) |
| 2024-03-13 11:49:42 +0100 | stefan-_- | (~cri@42dots.de) (Ping timeout: 252 seconds) |
| 2024-03-13 11:49:42 +0100 | dostoyevsky2 | (~sck@user/dostoyevsky2) (Ping timeout: 252 seconds) |
| 2024-03-13 11:49:42 +0100 | malte | (~malte@mal.tc) (Ping timeout: 252 seconds) |
| 2024-03-13 11:49:42 +0100 | gdd | (~gdd@82-65-118-1.subs.proxad.net) (Ping timeout: 252 seconds) |
| 2024-03-13 11:49:42 +0100 | GoldsteinQ | (~goldstein@goldstein.rs) (Ping timeout: 252 seconds) |
| 2024-03-13 11:49:48 +0100 | stefan-_ | (~cri@42dots.de) |
| 2024-03-13 11:49:51 +0100 | michalz | (~michalz@185.246.207.203) (Ping timeout: 252 seconds) |
| 2024-03-13 11:49:51 +0100 | wz1000 | (~zubin@static.11.113.47.78.clients.your-server.de) (Ping timeout: 252 seconds) |
| 2024-03-13 11:50:10 +0100 | gdd | (~gdd@2001:bc8:38ee:100:c8c6:dfff:fe51:8c02) |
| 2024-03-13 11:51:08 +0100 | dostoyevsky2 | (~sck@user/dostoyevsky2) |
| 2024-03-13 11:51:25 +0100 | malte | (~malte@mal.tc) |
| 2024-03-13 11:51:57 +0100 | GoldsteinQ | (~goldstein@goldstein.rs) |
| 2024-03-13 11:52:02 +0100 | elkcl | (~elkcl@broadband-178-140-136-65.ip.moscow.rt.ru) |
| 2024-03-13 11:53:05 +0100 | thailigur | (~thailigur@151.240.244.21) |
| 2024-03-13 11:53:32 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 268 seconds) |
| 2024-03-13 11:58:34 +0100 | <duncan> | their mascot is a squirrel - nice of them to chose an invasive pest |
| 2024-03-13 11:59:27 +0100 | <tomsmeding> | but they're cute! |
| 2024-03-13 12:02:32 +0100 | wz1000 | (~zubin@static.11.113.47.78.clients.your-server.de) |
| 2024-03-13 12:05:09 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-03-13 12:06:30 +0100 | shryke | (~shryke@2a00:4b00:13c:cc:b27b:25ff:fe18:efd) (Quit: WeeChat 4.2.1) |
| 2024-03-13 12:06:50 +0100 | uriee | (~uriee@62.128.48.150) |
| 2024-03-13 12:07:47 +0100 | agrosant | (~agrosant@62.1.113.81.dsl.dyn.forthnet.gr) (Ping timeout: 264 seconds) |
| 2024-03-13 12:07:50 +0100 | xff0x | (~xff0x@2405:6580:b080:900:945c:21a9:ea7a:8cbc) |
| 2024-03-13 12:09:04 +0100 | uriee | (~uriee@62.128.48.150) (Quit: Client closed) |
| 2024-03-13 12:13:34 +0100 | misterfish | (~misterfis@046044172198.static.ipv4.heldenvannu.net) (Ping timeout: 268 seconds) |
| 2024-03-13 12:15:40 +0100 | rosco | (~rosco@175.136.155.53) |
| 2024-03-13 12:18:36 +0100 | CiaoSen | (~Jura@2a05:5800:2a5:6a00:e6b9:7aff:fe80:3d03) |
| 2024-03-13 12:18:56 +0100 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) (Quit: Leaving) |
| 2024-03-13 12:24:32 +0100 | agrosant | (~agrosant@62.1.178.53.dsl.dyn.forthnet.gr) |
| 2024-03-13 12:36:29 +0100 | misterfish | (~misterfis@84.53.85.146) |
| 2024-03-13 12:37:13 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 246 seconds) |
| 2024-03-13 12:43:17 +0100 | __monty__ | (~toonn@user/toonn) |
| 2024-03-13 12:59:17 +0100 | zetef | (~quassel@95.77.17.251) (Remote host closed the connection) |
| 2024-03-13 13:02:01 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 272 seconds) |
| 2024-03-13 13:04:20 +0100 | euleritian | (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
| 2024-03-13 13:05:00 +0100 | euleritian | (~euleritia@77.22.252.56) |
| 2024-03-13 13:09:00 +0100 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Quit: oo_miguel) |
| 2024-03-13 13:09:35 +0100 | danse-nr3 | (~danse@151.37.244.205) (Ping timeout: 264 seconds) |
| 2024-03-13 13:10:18 +0100 | mei | (~mei@user/mei) (Ping timeout: 268 seconds) |
| 2024-03-13 13:10:27 +0100 | <cheater> | Inst: archive.org should easily provide you with wikipedia |
| 2024-03-13 13:10:54 +0100 | <Inst> | archive.org is blocking Chinese connections, or is blocked by GFW |
| 2024-03-13 13:12:08 +0100 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) |
| 2024-03-13 13:13:19 +0100 | <cheater> | what about those |
| 2024-03-13 13:13:20 +0100 | <cheater> | https://webtopdf.com/ |
| 2024-03-13 13:13:27 +0100 | <cheater> | https://www.web2pdfconvert.com/ |
| 2024-03-13 13:13:31 +0100 | <cheater> | https://www.sejda.com/html-to-pdf |
| 2024-03-13 13:13:35 +0100 | <cheater> | https://pdfmyurl.com/ |
| 2024-03-13 13:13:47 +0100 | agrosant | (~agrosant@62.1.178.53.dsl.dyn.forthnet.gr) (Ping timeout: 264 seconds) |
| 2024-03-13 13:14:07 +0100 | <cheater> | https://cloudconvert.com/save-website-pdf |
| 2024-03-13 13:14:13 +0100 | <cheater> | https://www.sodapdf.com/html-to-pdf/ |
| 2024-03-13 13:14:18 +0100 | <cheater> | https://allinpdf.com/url-to-pdf |
| 2024-03-13 13:14:23 +0100 | <cheater> | https://www.visualpdf.com/website-to-pdf |
| 2024-03-13 13:15:03 +0100 | <cheater> | there's more |
| 2024-03-13 13:17:26 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-03-13 13:18:21 +0100 | rvalue | (~rvalue@user/rvalue) |
| 2024-03-13 13:18:33 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-03-13 13:19:47 +0100 | <Inst> | cool, webtopdf works |
| 2024-03-13 13:20:15 +0100 | <Inst> | daily reminder that the Great Firewall exists to stop the fake news faction from getting their fake news in China. :) |
| 2024-03-13 13:20:25 +0100 | <Inst> | i.e, anyone reasonably competent can scale GFW |
| 2024-03-13 13:20:47 +0100 | <Inst> | which is the entire point; contrapositive: "If you cannot scale the GFW, you are not reasonably competent" |
| 2024-03-13 13:21:23 +0100 | <tomsmeding> | there is a political conclusion about intent here |
| 2024-03-13 13:22:09 +0100 | <Inst> | thanks <3 |
| 2024-03-13 13:23:49 +0100 | danse-nr3 | (~danse@151.37.244.205) |
| 2024-03-13 13:24:09 +0100 | danse-nr3 | (~danse@151.37.244.205) (Remote host closed the connection) |
| 2024-03-13 13:24:32 +0100 | danse-nr3 | (~danse@151.37.244.205) |
| 2024-03-13 13:26:57 +0100 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:899c:a308:223c:36bd) |
| 2024-03-13 13:28:30 +0100 | agrosant | (~agrosant@77.49.170.56.dsl.dyn.forthnet.gr) |
| 2024-03-13 13:28:50 +0100 | danse-nr3 | (~danse@151.37.244.205) (Read error: Connection reset by peer) |
| 2024-03-13 13:29:02 +0100 | danse-nr3 | (~danse@151.47.248.160) |
| 2024-03-13 13:31:54 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-13 13:38:33 +0100 | thailigur | (~thailigur@151.240.244.21) (Quit: Client closed) |
| 2024-03-13 13:44:13 +0100 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 268 seconds) |
| 2024-03-13 13:44:54 +0100 | euleritian | (~euleritia@dynamic-176-006-192-077.176.6.pool.telefonica.de) |
| 2024-03-13 13:46:23 +0100 | komikat | (~akshitkr@218.185.248.66) (Read error: Connection reset by peer) |
| 2024-03-13 13:46:31 +0100 | mei | (~mei@user/mei) |
| 2024-03-13 13:47:08 +0100 | komikat | (~akshitkr@218.185.248.66) |
| 2024-03-13 13:47:20 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2024-03-13 13:51:45 +0100 | rosco | (~rosco@175.136.155.53) (Quit: Lost terminal) |
| 2024-03-13 13:52:06 +0100 | euleritian | (~euleritia@dynamic-176-006-192-077.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-03-13 13:52:29 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-03-13 13:55:28 +0100 | <tomsmeding> | how does one property-test an interpreter? |
| 2024-03-13 13:56:00 +0100 | <tomsmeding> | like, imagine tokeniser -> parser -> typechecker -> optimiser -> lower to IR -> another optimiser -> evaluator |
| 2024-03-13 13:56:38 +0100 | <tomsmeding> | I know how to property-check an optimiser, if you have a program generator, and if you can assume that the pipeline after that optimiser is already correct |
| 2024-03-13 13:57:08 +0100 | <tomsmeding> | but how do you test the rest, without writing dumb individual test cases where you have to check manually that the outputs are correct? |
| 2024-03-13 14:02:46 +0100 | <lortabac> | tomsmeding: for parsers maybe you can test the round-trip property? pretty-print AST -> parse -> check that it's the same AST |
| 2024-03-13 14:04:13 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Remote host closed the connection) |
| 2024-03-13 14:04:26 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2024-03-13 14:06:51 +0100 | <tomsmeding> | lortabac: right, if you have a pretty-printer that's a useful property |
| 2024-03-13 14:06:51 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-03-13 14:07:13 +0100 | euleritian | (~euleritia@77.22.252.56) |
| 2024-03-13 14:11:10 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-03-13 14:11:57 +0100 | <lortabac> | tomsmeding: for the evaluator, if you have a way to translate every expression to the corresponding Haskell one, you can check that the resulting values are the same |
| 2024-03-13 14:13:39 +0100 | <lortabac> | but this may require you to write a compiler, which means the test would be more complex and error-prone than the interpreter itself :D |
| 2024-03-13 14:13:49 +0100 | <tomsmeding> | right :p |
| 2024-03-13 14:14:02 +0100 | <tomsmeding> | well it depends on how difficult the translation is |
| 2024-03-13 14:14:21 +0100 | <tomsmeding> | but it very quickly becomes a case of "chance of a bug in the test is >= chance of a bug in the program" |
| 2024-03-13 14:16:01 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 264 seconds) |
| 2024-03-13 14:16:15 +0100 | <lortabac> | it depends on the language semantics |
| 2024-03-13 14:17:50 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 260 seconds) |
| 2024-03-13 14:19:26 +0100 | <lortabac> | also, this would be easier in languages with strong metaprogramming capabilities, like Scheme |
| 2024-03-13 14:21:41 +0100 | <tomsmeding> | why? |
| 2024-03-13 14:25:16 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-03-13 14:29:33 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 255 seconds) |
| 2024-03-13 14:39:41 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-03-13 14:43:36 +0100 | mmhat | (~mmh@p200300f1c7199dceee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2024-03-13 14:44:02 +0100 | mmhat | (~mmh@p200300f1c7199d34ee086bfffe095315.dip0.t-ipconnect.de) |
| 2024-03-13 14:45:14 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-03-13 14:47:03 +0100 | __monty__ | (~toonn@user/toonn) |
| 2024-03-13 14:47:34 +0100 | <lortabac> | tomsmeding: because in Scheme you can evaluate a value representing a Scheme expression at runtime |
| 2024-03-13 14:48:00 +0100 | <lortabac> | for example (eval '((lambda (x) x) 1)) |
| 2024-03-13 14:48:00 +0100 | <tomsmeding> | right, so you're saying "a language with eval()" :p |
| 2024-03-13 14:48:07 +0100 | <tomsmeding> | which includes python and javascript |
| 2024-03-13 14:48:26 +0100 | <lortabac> | well... Python and JS evaluating strings IIRC |
| 2024-03-13 14:48:36 +0100 | <tomsmeding> | oh, right |
| 2024-03-13 14:48:38 +0100 | <lortabac> | it's much more error-prone |
| 2024-03-13 14:49:23 +0100 | <lortabac> | I guess in Typed Racket you could even have a reasonably type-safe eval for your language |
| 2024-03-13 14:50:33 +0100 | <lortabac> | I mean you can at least restrict it syntactically |
| 2024-03-13 14:55:57 +0100 | <Athas> | Nothing prevents you from writing 'eval' in Haskell. |
| 2024-03-13 14:56:18 +0100 | <Athas> | Note that Scheme's 'eval' does not allow access to the enclosing lexical environment, just like a Haskell-interpreter-in-Haskell would not. |
| 2024-03-13 14:56:19 +0100 | <tomsmeding> | that is true, but that is reimplementing the thing you're trying to test (in my hypothetical) |
| 2024-03-13 14:56:22 +0100 | <tomsmeding> | which is questionably useful |
| 2024-03-13 14:56:40 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2024-03-13 14:56:45 +0100 | <opqdonut> | you could property-test an evaluator using mutations |
| 2024-03-13 14:57:12 +0100 | <opqdonut> | have syntactic transformations that give you more complex expressions with the same value |
| 2024-03-13 14:57:33 +0100 | <opqdonut> | not sure if that'd catch any valuable bugs, it depends on the mutations you come up with |
| 2024-03-13 14:59:21 +0100 | <opqdonut> | and if your evaluator has some nice guarantees you could check those properties hold when evaluating random programs |
| 2024-03-13 14:59:45 +0100 | danse-nr3 | (~danse@151.47.248.160) (Remote host closed the connection) |
| 2024-03-13 15:00:08 +0100 | danse-nr3 | (~danse@151.47.248.160) |
| 2024-03-13 15:01:26 +0100 | <opqdonut> | I was teaching an algorithms course BITD and that involved writing automated tests for the assignments. One assignment was evaluating arithmetic expressions. I wrote a generative test that tracked expressions and their values side-by-side. I mean if you know that eval(X)=A and eval(Y)=B then surely eval(X+Y)=A+B |
| 2024-03-13 15:01:37 +0100 | xff0x | (~xff0x@2405:6580:b080:900:945c:21a9:ea7a:8cbc) (Ping timeout: 268 seconds) |
| 2024-03-13 15:01:53 +0100 | <opqdonut> | that way my test didn't need to have a reference evaluator for the students to steal :P |
| 2024-03-13 15:02:10 +0100 | <opqdonut> | so that might be another approach that might work |
| 2024-03-13 15:02:58 +0100 | <tomsmeding> | doesn't that essentially still have an evaluator inside? |
| 2024-03-13 15:03:11 +0100 | xff0x | (~xff0x@ai082039.d.east.v6connect.net) |
| 2024-03-13 15:03:27 +0100 | <tomsmeding> | I guess you still have to do the step of writing it as a recursive function |
| 2024-03-13 15:08:29 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-13 15:20:33 +0100 | gorignak | (~gorignak@user/gorignak) |
| 2024-03-13 15:28:47 +0100 | sudden | (~cat@user/sudden) (Ping timeout: 264 seconds) |
| 2024-03-13 15:29:10 +0100 | sudden | (~cat@user/sudden) |
| 2024-03-13 15:29:24 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2024-03-13 15:29:35 +0100 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 272 seconds) |
| 2024-03-13 15:29:45 +0100 | euleritian | (~euleritia@dynamic-176-006-192-077.176.6.pool.telefonica.de) |
| 2024-03-13 15:29:59 +0100 | misterfish | (~misterfis@84.53.85.146) |
| 2024-03-13 15:30:35 +0100 | agrosant | (~agrosant@77.49.170.56.dsl.dyn.forthnet.gr) (Ping timeout: 264 seconds) |
| 2024-03-13 15:35:02 +0100 | <kaol> | A former coworker really liked error. I must have told him a dozen times to never use it and had him change it every time I saw it in code reviews. Yet one slipped past and unsurprisingly it needs fixing now. |
| 2024-03-13 15:36:29 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 240 seconds) |
| 2024-03-13 15:39:45 +0100 | gorignak | (~gorignak@user/gorignak) |
| 2024-03-13 15:40:26 +0100 | <ncf> | a real-life use case for "fix error"? |
| 2024-03-13 15:44:01 +0100 | danse-nr3 | (~danse@151.47.248.160) (Ping timeout: 256 seconds) |
| 2024-03-13 15:44:04 +0100 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-03-13 15:44:19 +0100 | <kaol> | > fix error |
| 2024-03-13 15:44:20 +0100 | <lambdabot> | "*Exception: *Exception: *Exception: *Exception: *Exception: *Exception: *Ex... |
| 2024-03-13 15:44:39 +0100 | <kaol> | Funny. |
| 2024-03-13 15:46:30 +0100 | mei | (~mei@user/mei) |
| 2024-03-13 15:51:16 +0100 | <__monty__> | Sounds like you should add a lint for it rather than try to manually keep track. |
| 2024-03-13 15:52:41 +0100 | <Athas> | kaol: what is the problem with 'error'? |
| 2024-03-13 15:52:53 +0100 | <Athas> | Did he use it too liberally? |
| 2024-03-13 15:55:40 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-03-13 15:56:36 +0100 | <kaol> | This particular use was in input parsing (in a not really essential part of it as well), making it reject everything of course. The default case was an error call. Like, use Maybe and Nothing. |
| 2024-03-13 16:01:23 +0100 | lortabac | (~lortabac@37.171.252.82) |
| 2024-03-13 16:03:39 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2024-03-13 16:07:55 +0100 | a51 | (a51@gateway/vpn/protonvpn/a51) (Quit: WeeChat 4.2.1) |
| 2024-03-13 16:12:16 +0100 | euleritian | (~euleritia@dynamic-176-006-192-077.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-03-13 16:12:34 +0100 | euleritian | (~euleritia@77.22.252.56) |
| 2024-03-13 16:16:51 +0100 | danse-nr3 | (~danse@151.47.248.160) |
| 2024-03-13 16:17:10 +0100 | <EvanR> | error is great to use where it will never be evaluated for reasons |
| 2024-03-13 16:17:28 +0100 | <EvanR> | though it would be nice if those reasons could be tracked somehow |
| 2024-03-13 16:22:52 +0100 | <kaol> | A case statement on a string taken from network input definitely wasn't one. |
| 2024-03-13 16:23:00 +0100 | <tomsmeding> | lol |
| 2024-03-13 16:28:41 +0100 | <Athas> | No, that's a bit excessive. |
| 2024-03-13 16:29:01 +0100 | <Athas> | I don't have a problem with using 'error' for "impossible" cases that are either impossible or impractical to track in the type system. |
| 2024-03-13 16:30:46 +0100 | <kaol> | I'm fine with partial functions if used responsibly. The alternative may sometimes get pretty cumbersome. Don't mind me, I was just venting while waiting for CI. |
| 2024-03-13 16:32:05 +0100 | <EvanR> | and I like how haskell can be proved illogical by the inevitable impossible error happen |
| 2024-03-13 16:32:38 +0100 | bpalmer | (~user@user/bpalmer) (ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.1)) |
| 2024-03-13 16:32:39 +0100 | <EvanR> | witnessing the illogic |
| 2024-03-13 16:32:46 +0100 | <Athas> | Incidentally, I found and fixed my <<loop>> issue on type class dictionaries. I am somewhat unnerved by the idea that such run-time errors are now possible. |
| 2024-03-13 16:33:30 +0100 | <danse-nr3> | "now"? Is this a new extension? |
| 2024-03-13 16:34:39 +0100 | <c_wraith> | I don't think it was possible before UndecidableSuperclasses |
| 2024-03-13 16:34:42 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-03-13 16:35:11 +0100 | <Athas> | I am using merely UndecidableInstances. |
| 2024-03-13 16:35:25 +0100 | <Athas> | It is possible that my superclasses are actually undecidable and GHC just doesn't notice. |
| 2024-03-13 16:35:46 +0100 | <Athas> | Well. Changed my code and now it doesn't happen anymore. |
| 2024-03-13 16:41:36 +0100 | <kaol> | Anyone know channable? I'm thinking of applying for a job there. |
| 2024-03-13 16:42:08 +0100 | <cheater> | kaol: are you going to move to their city? |
| 2024-03-13 16:42:40 +0100 | <kaol> | That's what they'd be expecting. I'm in Finland currently. |
| 2024-03-13 16:43:11 +0100 | <cheater> | i don't know them, but they've been around for a while, so that implies financial stability |
| 2024-03-13 16:44:17 +0100 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 268 seconds) |
| 2024-03-13 16:45:34 +0100 | euleritian | (~euleritia@dynamic-176-006-192-077.176.6.pool.telefonica.de) |
| 2024-03-13 16:46:06 +0100 | euleritian | (~euleritia@dynamic-176-006-192-077.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-03-13 16:46:25 +0100 | euleritian | (~euleritia@77.22.252.56) |
| 2024-03-13 16:48:07 +0100 | <danse-nr3> | with haskell being a niche language one would expect remote work to be more frequent, but given that there are so few jobs, companies do not care |
| 2024-03-13 16:49:34 +0100 | <cheater> | i disagree, there has been a big outcropping of haskell jobs recently. everyone's trying to hire |
| 2024-03-13 16:50:11 +0100 | <danse-nr3> | a /big/ outcropping even |
| 2024-03-13 16:50:51 +0100 | <lortabac> | my impression is that remote work only works when it's really in the company's culture |
| 2024-03-13 16:50:52 +0100 | iteratee | (~kyle@162.218.222.207) |
| 2024-03-13 16:51:30 +0100 | Inst_ | (~Inst@120.244.192.27) |
| 2024-03-13 16:52:07 +0100 | <kaol> | Corona gave a definite boost to remote opportunities. We need more pandemics. |
| 2024-03-13 16:52:35 +0100 | <cheater> | no, we do not. that's a stupid thought. a lot of people died who did not deserve to and even more had their health ruined. |
| 2024-03-13 16:52:47 +0100 | <danse-nr3> | nah the market was flooded with lameness |
| 2024-03-13 16:54:32 +0100 | Inst | (~Inst@120.244.192.27) (Ping timeout: 252 seconds) |
| 2024-03-13 16:55:19 +0100 | <kuribas> | where are all these haskell jobs then? |
| 2024-03-13 16:55:40 +0100 | <danse-nr3> | hey how did you miss the big outcropping |
| 2024-03-13 16:56:24 +0100 | <kaol> | Mine's winding down. Big corp bought us out and they have their boring software for what we have. |
| 2024-03-13 16:56:25 +0100 | <kuribas> | I don't want to work building surveillance robots for suppressing people, or creating blockchain scams, or gambling on money with highspeed trading. |
| 2024-03-13 16:56:29 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-13 16:57:11 +0100 | <kuribas> | Or insurances for rich people. |
| 2024-03-13 16:57:44 +0100 | <danse-nr3> | gosh i could afford being that picky only working with javascript |
| 2024-03-13 16:58:44 +0100 | <lortabac> | I'm lucky enough to work with a company that doesn't do any of those things |
| 2024-03-13 16:59:16 +0100 | <lortabac> | but when I think about the future, my next job may not be in Haskell |
| 2024-03-13 16:59:48 +0100 | <danse-nr3> | unfortunately it is not easy to imagine a career progression sticking with it |
| 2024-03-13 17:00:48 +0100 | <kuribas> | danse-nr3: what did you consider? |
| 2024-03-13 17:00:53 +0100 | Inst_ | Inst |
| 2024-03-13 17:00:56 +0100 | <kuribas> | plenty of Python, Java, .NET jobs... |
| 2024-03-13 17:00:58 +0100 | <Inst> | cheater: how has the situation improved? |
| 2024-03-13 17:01:07 +0100 | <cheater> | ? |
| 2024-03-13 17:01:37 +0100 | <Inst> | lots of jobs |
| 2024-03-13 17:01:51 +0100 | <danse-nr3> | kuribas, huh? Consired for what? lortabac mentioned other languages ... i will just stick with haskell and be a loser |
| 2024-03-13 17:02:01 +0100 | <danse-nr3> | *considered |
| 2024-03-13 17:02:45 +0100 | <Inst> | kuribas: how about trying to build a socialist scam trying to revolutionize work? |
| 2024-03-13 17:03:01 +0100 | <kuribas> | Inst: I don't know that one yet... |
| 2024-03-13 17:03:13 +0100 | <kuribas> | but "revolutionize work" sounds fishy |
| 2024-03-13 17:03:15 +0100 | <Inst> | have it in my head, need money to fund it first, will work on the latter later |
| 2024-03-13 17:03:18 +0100 | agrosant | (~agrosant@77.49.170.140.dsl.dyn.forthnet.gr) |
| 2024-03-13 17:03:47 +0100 | <kuribas> | Anything "Revolutionize X" will trigger an alarm bell in my head. |
| 2024-03-13 17:04:04 +0100 | <lortabac> | the right word is "disrupt" |
| 2024-03-13 17:04:17 +0100 | <Inst> | sorry, been hanging around with leftists too much lately |
| 2024-03-13 17:04:21 +0100 | <Inst> | oh, wait |
| 2024-03-13 17:04:22 +0100 | <Inst> | hahhaha |
| 2024-03-13 17:04:32 +0100 | <kuribas> | danse-nr3: It's not about being a loser. I'd rather use a crappy language doing a great job, than a great language doing a crappy job. |
| 2024-03-13 17:04:39 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-03-13 17:04:41 +0100 | <kuribas> | lortabac: +1 |
| 2024-03-13 17:05:13 +0100 | <Inst> | it's a scam because trying to hire poor Harbin Institute of Technology graduates for pennies on the dollar in the second poorest province of China and make them work 72 hours a week is part of the business plan |
| 2024-03-13 17:05:27 +0100 | <cheater> | Inst: it has improved by virtue of there being more jobs. |
| 2024-03-13 17:05:34 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2024-03-13 17:05:56 +0100 | <kuribas> | Inst: try india for poor workers that do poor work for poor money. |
| 2024-03-13 17:06:01 +0100 | lortabac | (~lortabac@37.171.252.82) (Quit: WeeChat 4.1.1) |
| 2024-03-13 17:07:14 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 260 seconds) |
| 2024-03-13 17:07:36 +0100 | <Inst> | kuribas: HIT is like top 9 in China iirc and probably ranks within top 250 globally |
| 2024-03-13 17:09:04 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-03-13 17:09:08 +0100 | <Inst> | ranked 26 globally by US News |
| 2024-03-13 17:09:11 +0100 | <Inst> | for computer science |
| 2024-03-13 17:10:18 +0100 | yin | (~yin@user/zero) |
| 2024-03-13 17:10:39 +0100 | <kaol> | Is there some obvious way I just missed to fmap just the head of a list, if it exists? map ... (take 1 xs) <> drop 1 xs works but I feel silly. |
| 2024-03-13 17:11:17 +0100 | <danse-nr3> | :t fmap |
| 2024-03-13 17:11:18 +0100 | <lambdabot> | Functor f => (a -> b) -> f a -> f b |
| 2024-03-13 17:11:23 +0100 | audaine | (~gentoo@2601:5cf:8000:7960:4be0:890f:3fe7:f011) (Remote host closed the connection) |
| 2024-03-13 17:11:31 +0100 | <Inst> | kaol: lens? |
| 2024-03-13 17:11:38 +0100 | <danse-nr3> | would not type check with an `a -> b` |
| 2024-03-13 17:12:13 +0100 | <Inst> | \\(a:xs) > f a : xs |
| 2024-03-13 17:12:15 +0100 | <Inst> | ? |
| 2024-03-13 17:12:17 +0100 | <Inst> | but that's partial |
| 2024-03-13 17:12:19 +0100 | <yin> | \x:xs -> f x : xs |
| 2024-03-13 17:12:30 +0100 | <kaol> | Right, it's an endofunctor (or it wouldn't work either). I guess I'll just suffer this code. |
| 2024-03-13 17:12:48 +0100 | <Inst> | case ls of; [] -> []; (a:xs) -> f a : xs |
| 2024-03-13 17:13:02 +0100 | <danse-nr3> | just roll out a simple function if that is a frequent usecase |
| 2024-03-13 17:13:12 +0100 | <Inst> | leeeeeeeens |
| 2024-03-13 17:13:15 +0100 | <Inst> | you know you want it ;) |
| 2024-03-13 17:13:46 +0100 | <danse-nr3> | and yes there is probably a lens to do that as well |
| 2024-03-13 17:14:23 +0100 | <kaol> | I looked and since it wasn't over _1 f xs I stopped looking more. |
| 2024-03-13 17:15:53 +0100 | <Inst> | _1 is for tuples iirc |
| 2024-03-13 17:16:25 +0100 | <Inst> | yeah, harbin is decent and a great deal |
| 2024-03-13 17:16:40 +0100 | <Inst> | of course i bet all their grads head south ASAP because Harbin is bloody freezing half the time |
| 2024-03-13 17:16:55 +0100 | <Inst> | iirc it was like 40 degrees minus celsius a couple of weeks ago |
| 2024-03-13 17:17:02 +0100 | <Inst> | and it's so economically depressed |
| 2024-03-13 17:17:29 +0100 | <Inst> | kuribas: I mean that implicitly they're not poor developers, just really out on their luck |
| 2024-03-13 17:19:05 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2024-03-13 17:20:49 +0100 | destituion | (~destituio@85.221.111.174) (Ping timeout: 264 seconds) |
| 2024-03-13 17:21:21 +0100 | <kuribas> | kaol: why is that silly? |
| 2024-03-13 17:22:28 +0100 | <kuribas> | kaol: because _1 does not represent the first element of a traversable. |
| 2024-03-13 17:22:36 +0100 | <kuribas> | "ix 1" maybe? |
| 2024-03-13 17:23:04 +0100 | <danse-nr3> | can we check lens types here? |
| 2024-03-13 17:23:07 +0100 | <danse-nr3> | :t ix 1 |
| 2024-03-13 17:23:08 +0100 | <lambdabot> | (Ixed m, Num (Index m), Applicative f) => (IxValue m -> f (IxValue m)) -> m -> f m |
| 2024-03-13 17:23:27 +0100 | mud | (~mud@user/kadoban) (Ping timeout: 260 seconds) |
| 2024-03-13 17:23:28 +0100 | <danse-nr3> | yes we can, but they are ... lens types XD |
| 2024-03-13 17:24:59 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2024-03-13 17:25:02 +0100 | <kaol> | The code is not silly. My feeling over it was. Like I was missing something. |
| 2024-03-13 17:25:53 +0100 | <kuribas> | In haskell, you are usually missing something. That's rarely a problem. |
| 2024-03-13 17:27:14 +0100 | <kaol> | Yes, and "that's funny" has led to many discoveries so far, personally. |
| 2024-03-13 17:27:38 +0100 | destituion | (~destituio@2a02:2121:655:c95b:d49b:80df:ffb0:81dd) |
| 2024-03-13 17:28:16 +0100 | <kuribas> | kaol: true, no objections there, but we should not consider "simple code" silly, just because there is a code golfed version for it, that uses "haskell magic". |
| 2024-03-13 17:28:30 +0100 | <ncf> | :t _head |
| 2024-03-13 17:28:31 +0100 | <lambdabot> | (Cons s s a a, Applicative f) => (a -> f a) -> s -> f s |
| 2024-03-13 17:28:37 +0100 | <ncf> | :t over _head |
| 2024-03-13 17:28:38 +0100 | <lambdabot> | Cons t t a a => (a -> a) -> t -> t |
| 2024-03-13 17:28:43 +0100 | <Inst> | ... |
| 2024-03-13 17:28:45 +0100 | <Inst> | wow |
| 2024-03-13 17:29:48 +0100 | danse-nr3 | (~danse@151.47.248.160) (Read error: Connection reset by peer) |
| 2024-03-13 17:29:55 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-03-13 17:30:09 +0100 | danse-nr3 | (~danse@151.43.250.222) |
| 2024-03-13 17:31:04 +0100 | <kaol> | > over _head succ [1..3] |
| 2024-03-13 17:31:06 +0100 | <lambdabot> | [2,2,3] |
| 2024-03-13 17:31:16 +0100 | <kaol> | Perfect. Thank you. |
| 2024-03-13 17:32:05 +0100 | <Inst> | > over _1 succ [1..3] |
| 2024-03-13 17:32:06 +0100 | <lambdabot> | error: |
| 2024-03-13 17:32:06 +0100 | <lambdabot> | • No instance for (Field1 [Integer] () b0 b0) |
| 2024-03-13 17:32:06 +0100 | <lambdabot> | arising from a use of ‘e_1113’ |
| 2024-03-13 17:32:45 +0100 | <danse-nr3> | was not you saying that is for tuples? |
| 2024-03-13 17:32:59 +0100 | agrosant | (~agrosant@77.49.170.140.dsl.dyn.forthnet.gr) (Ping timeout: 264 seconds) |
| 2024-03-13 17:33:04 +0100 | <danse-nr3> | > over (ix 1) succ [1..3] |
| 2024-03-13 17:33:05 +0100 | <lambdabot> | [1,3,3] |
| 2024-03-13 17:33:36 +0100 | <Inst> | > [1..3] & ix 1 %~ succ |
| 2024-03-13 17:33:38 +0100 | <lambdabot> | [1,3,3] |
| 2024-03-13 17:34:19 +0100 | <kaol> | This is for my personal project. Nobody's going to tell me no if I do stuff like ExceptT (->) on it. |
| 2024-03-13 17:35:13 +0100 | <danse-nr3> | sounds like resentment XD |
| 2024-03-13 17:35:29 +0100 | Inst_ | (~Inst@120.244.192.27) |
| 2024-03-13 17:37:55 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 260 seconds) |
| 2024-03-13 17:38:03 +0100 | a51 | (a51@gateway/vpn/protonvpn/a51) |
| 2024-03-13 17:38:33 +0100 | Inst | (~Inst@120.244.192.27) (Ping timeout: 268 seconds) |
| 2024-03-13 17:40:04 +0100 | yellllo | (~user@ip-037-201-154-121.um10.pools.vodafone-ip.de) |
| 2024-03-13 17:41:03 +0100 | zetef | (~quassel@95.77.17.251) |
| 2024-03-13 17:47:42 +0100 | <danse-nr3> | not sure what you meant by "doing a poor job with a great language" kuribas ... but i definitely had an hard time in the past trying to "do a great job with a poor language" |
| 2024-03-13 17:48:27 +0100 | yellllo | (~user@ip-037-201-154-121.um10.pools.vodafone-ip.de) (ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.2)) |
| 2024-03-13 17:49:27 +0100 | <Inst_> | [1..3] & ix 1 `over` succ ? |
| 2024-03-13 17:49:33 +0100 | CiaoSen | (~Jura@2a05:5800:2a5:6a00:e6b9:7aff:fe80:3d03) (Ping timeout: 272 seconds) |
| 2024-03-13 17:50:45 +0100 | <kuribas> | danse-nr3: true, but you can still do a good job with a poor language. You need good coworkers though. |
| 2024-03-13 17:51:22 +0100 | <kuribas> | If your coworkers insist on bad, or even "worst" practices, nothing can stop the technical debt train. |
| 2024-03-13 17:51:50 +0100 | <danse-nr3> | yeah and a lot of discipline, and at some point one starts wondering ... why not a better language? |
| 2024-03-13 17:52:04 +0100 | <kuribas> | > [1, 3..10] & ix 2 %~ succ |
| 2024-03-13 17:52:05 +0100 | <lambdabot> | [1,3,6,7,9] |
| 2024-03-13 17:52:07 +0100 | <EvanR> | you can write bad code in any language? |
| 2024-03-13 17:52:14 +0100 | tired | (~tired@user/tired) (Quit: /) |
| 2024-03-13 17:52:14 +0100 | <kuribas> | > [1, 3..10] & ix 3 %~ succ |
| 2024-03-13 17:52:15 +0100 | <lambdabot> | [1,3,5,8,9] |
| 2024-03-13 17:52:21 +0100 | <EvanR> | it's just harder to do it in haskell because it's harder to write any code? xD |
| 2024-03-13 17:52:28 +0100 | <danse-nr3> | XD |
| 2024-03-13 17:52:41 +0100 | <kuribas> | EvanR: exactly :) |
| 2024-03-13 17:52:44 +0100 | <Inst_> | what just happened? |
| 2024-03-13 17:53:09 +0100 | <Inst_> | oh |
| 2024-03-13 17:53:13 +0100 | <Inst_> | step of 2 |
| 2024-03-13 17:53:25 +0100 | komikat_ | (~akshitkr@218.185.248.66) |
| 2024-03-13 17:53:48 +0100 | tired | (~tired@user/tired) |
| 2024-03-13 17:53:50 +0100 | komikat | (~akshitkr@218.185.248.66) (Read error: Connection reset by peer) |
| 2024-03-13 17:54:28 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Quit: WeeChat 4.1.2) |
| 2024-03-13 17:54:31 +0100 | <geekosaur> | :t enumFromThenTo |
| 2024-03-13 17:54:32 +0100 | <lambdabot> | Enum a => a -> a -> a -> [a] |
| 2024-03-13 17:55:06 +0100 | <danse-nr3> | > enumFromThenTo 'a' 'c' 'b' |
| 2024-03-13 17:55:07 +0100 | <Inst_> | i know what it is, i just got confused, it's been a while |
| 2024-03-13 17:55:08 +0100 | <lambdabot> | "a" |
| 2024-03-13 17:55:40 +0100 | <yin> | > ['a','c'..'b'] |
| 2024-03-13 17:55:41 +0100 | <lambdabot> | "a" |
| 2024-03-13 17:56:08 +0100 | <danse-nr3> | oh thanks for the translation, was wondering about the funny function |
| 2024-03-13 17:56:26 +0100 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 268 seconds) |
| 2024-03-13 17:58:17 +0100 | euleritian | (~euleritia@dynamic-176-006-192-077.176.6.pool.telefonica.de) |
| 2024-03-13 17:58:44 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-03-13 17:59:20 +0100 | komikat_ | (~akshitkr@218.185.248.66) (Read error: Connection reset by peer) |
| 2024-03-13 18:00:35 +0100 | komikat | (~akshitkr@218.185.248.66) |
| 2024-03-13 18:01:19 +0100 | <tomsmeding> | kaol: I know some people who either work at channable or who know people who work at channable |
| 2024-03-13 18:01:30 +0100 | <tomsmeding> | comes with being in the programming languages group in utrecht :p |
| 2024-03-13 18:01:52 +0100 | <tomsmeding> | Athas: ooh did you find out what the <<loop>> issue was? |
| 2024-03-13 18:01:58 +0100 | <tomsmeding> | or did it magically go away and now you don't touch it |
| 2024-03-13 18:03:04 +0100 | <danse-nr3> | it sounded like it magically went away |
| 2024-03-13 18:03:07 +0100 | <danse-nr3> | i recall there was a company in the nederlands doing a lot of interesting haskell dev. Was called Silk i think, but i think they did not succeed... |
| 2024-03-13 18:04:51 +0100 | igemnace | (~ian@user/igemnace) (Quit: WeeChat 4.2.1) |
| 2024-03-13 18:06:09 +0100 | <tomsmeding> | @remember kuribas In haskell, you are usually missing something. That's rarely a problem. |
| 2024-03-13 18:06:10 +0100 | <lambdabot> | Done. |
| 2024-03-13 18:08:13 +0100 | <tomsmeding> | danse-nr3: from some searching it seems you're right on the name and on the fact that silk.co does not resolve anymore :p |
| 2024-03-13 18:08:41 +0100 | <danse-nr3> | what did you find? I could not find the org on github |
| 2024-03-13 18:09:09 +0100 | <danse-nr3> | they were doing something browser-heavy, gave me some hope for a while |
| 2024-03-13 18:09:29 +0100 | <tomsmeding> | https://duckduckgo.com/?q=silk+haskell+nl&t=newext&atb=v309-1&ia=web |
| 2024-03-13 18:10:12 +0100 | <danse-nr3> | oh right i forgot that <anything>+haskell is a likely hit |
| 2024-03-13 18:10:25 +0100 | <danse-nr3> | except for that town in the states |
| 2024-03-13 18:10:32 +0100 | <tomsmeding> | for some reason, at least with ddg, you need the "nl" as well |
| 2024-03-13 18:11:31 +0100 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) |
| 2024-03-13 18:11:46 +0100 | <tomsmeding> | kaol: they're housed in a nice old inner city building :p |
| 2024-03-13 18:11:48 +0100 | euphores | (~SASL_euph@user/euphores) |
| 2024-03-13 18:25:39 +0100 | tired | (~tired@user/tired) (Quit: /) |
| 2024-03-13 18:33:10 +0100 | <danse-nr3> | who mentioned the "big outcrop"? cheater i think. I have some spare time and was thinking about looking at some of those jobs, where can i find them? |
| 2024-03-13 18:34:51 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2024-03-13 18:35:02 +0100 | <cheater> | if you don't apply the second they're up, they're gone |
| 2024-03-13 18:35:25 +0100 | <danse-nr3> | XD |
| 2024-03-13 18:45:42 +0100 | misterfish | (~misterfis@84.53.85.146) |
| 2024-03-13 18:45:46 +0100 | tired | (~tired@user/tired) |
| 2024-03-13 18:48:14 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-03-13 18:48:30 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-03-13 18:52:55 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2024-03-13 18:53:50 +0100 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:899c:a308:223c:36bd) (Remote host closed the connection) |
| 2024-03-13 18:57:57 +0100 | zetef | (~quassel@95.77.17.251) (Ping timeout: 272 seconds) |
| 2024-03-13 19:01:28 +0100 | euleritian | (~euleritia@dynamic-176-006-192-077.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-03-13 19:02:14 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-03-13 19:04:19 +0100 | tired | (~tired@user/tired) (Quit: /) |
| 2024-03-13 19:04:55 +0100 | tired | (~tired@user/tired) |
| 2024-03-13 19:14:37 +0100 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-03-13 19:15:21 +0100 | mei | (~mei@user/mei) |
| 2024-03-13 19:15:27 +0100 | YuutaW | (~YuutaW@mail.yuuta.moe) (Ping timeout: 260 seconds) |
| 2024-03-13 19:16:07 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-13 19:17:30 +0100 | YuutaW | (~YuutaW@mail.yuuta.moe) |
| 2024-03-13 19:22:01 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2024-03-13 19:22:25 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2024-03-13 19:25:15 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2024-03-13 19:26:07 +0100 | euleritian | (~euleritia@dynamic-176-006-192-077.176.6.pool.telefonica.de) |
| 2024-03-13 19:27:23 +0100 | euleritian | (~euleritia@dynamic-176-006-192-077.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-03-13 19:27:39 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-03-13 19:33:44 +0100 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) |
| 2024-03-13 19:33:52 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2024-03-13 19:34:04 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-03-13 19:37:02 +0100 | tri25 | (~tri@4133220a.cst.lightpath.net) |
| 2024-03-13 19:37:34 +0100 | YuutaW | (~YuutaW@mail.yuuta.moe) (Ping timeout: 268 seconds) |
| 2024-03-13 19:37:58 +0100 | <tri25> | hi, i would like to map a function to both item in a tuple. How can i do it idiomatically? Obviously i could call map twice, but i feel like there is a better way |
| 2024-03-13 19:38:16 +0100 | YuutaW | (~YuutaW@mail.yuuta.moe) |
| 2024-03-13 19:38:17 +0100 | <ncf> | :t over each |
| 2024-03-13 19:38:17 +0100 | <lambdabot> | Each s t a b => (a -> b) -> s -> t |
| 2024-03-13 19:38:31 +0100 | <c_wraith> | ... I mean, if you want to depend on lens |
| 2024-03-13 19:38:42 +0100 | <tri25> | :t each |
| 2024-03-13 19:38:43 +0100 | <lambdabot> | (Each s t a b, Applicative f) => (a -> f b) -> s -> f t |
| 2024-03-13 19:39:09 +0100 | <c_wraith> | :t \f -> bimap f f |
| 2024-03-13 19:39:09 +0100 | <lambdabot> | Bifunctor p => (a -> d) -> p a a -> p d d |
| 2024-03-13 19:39:33 +0100 | danse-nr3 | (~danse@151.43.250.222) (Ping timeout: 252 seconds) |
| 2024-03-13 19:39:46 +0100 | <c_wraith> | > bimap show show (5, 7) |
| 2024-03-13 19:39:47 +0100 | <tri25> | :t over each |
| 2024-03-13 19:39:48 +0100 | <lambdabot> | ("5","7") |
| 2024-03-13 19:39:48 +0100 | <lambdabot> | Each s t a b => (a -> b) -> s -> t |
| 2024-03-13 19:40:09 +0100 | <tri25> | c_wraith: yes that's what im using now, bifunctor |
| 2024-03-13 19:40:21 +0100 | <c_wraith> | > join bimap show (5, 7) |
| 2024-03-13 19:40:22 +0100 | <lambdabot> | ("5","7") |
| 2024-03-13 19:40:27 +0100 | <c_wraith> | (that's not better. don't do that) |
| 2024-03-13 19:40:48 +0100 | <tri25> | c_wraith: i saw join came up when i searched this on google, is that the same join in Monad? |
| 2024-03-13 19:40:52 +0100 | <c_wraith> | yes |
| 2024-03-13 19:41:02 +0100 | <c_wraith> | :t join |
| 2024-03-13 19:41:03 +0100 | <lambdabot> | Monad m => m (m a) -> m a |
| 2024-03-13 19:41:31 +0100 | <tri25> | oh i thought join only flatten the monadic structure, im still confused how it can map 2 functions to 2 values in a tuple here |
| 2024-03-13 19:41:49 +0100 | <c_wraith> | if you use the ((->) b) instance of Monad, that becomes (b -> b -> a) -> (b -> a) |
| 2024-03-13 19:42:04 +0100 | <tri25> | ncf: im confused about the syntax over each, is that lens or something? |
| 2024-03-13 19:42:18 +0100 | agrosant | (~agrosant@188.4.34.1.dsl.dyn.forthnet.gr) |
| 2024-03-13 19:42:32 +0100 | <ncf> | the syntax is just function application, and yes those are from lens |
| 2024-03-13 19:43:18 +0100 | <ncf> | or microlens, if you want something lightweight |
| 2024-03-13 19:43:21 +0100 | <tri25> | c_wraith: so i think semantically that is good to read, as in join bimap show (5,7), I'd love to use that, but why you suggested not using it? |
| 2024-03-13 19:44:10 +0100 | <c_wraith> | because using any of the Functor/Applicative/Monad combinators explicitly with the function instance feels like obfuscation. |
| 2024-03-13 19:44:17 +0100 | <c_wraith> | Also, it isn't even saving you any tokens |
| 2024-03-13 19:44:27 +0100 | <c_wraith> | join bimap f is three tokens, just like bimap f f |
| 2024-03-13 19:45:00 +0100 | <tri25> | ok, i guess i will stick with bimap f f now. That's the most straight forward to me at the moment |
| 2024-03-13 19:45:06 +0100 | <tri25> | i will come back to over each again |
| 2024-03-13 19:45:26 +0100 | <ncf> | > over each show (5, 7) |
| 2024-03-13 19:45:27 +0100 | <lambdabot> | ("5","7") |
| 2024-03-13 19:45:40 +0100 | <ncf> | > over each show (5, 7, 11) |
| 2024-03-13 19:45:41 +0100 | <tri25> | i thought lens is getter and setter, but now it's used in a different context to map function totally throw me off guard, don't know how to wrap my head around it het |
| 2024-03-13 19:45:41 +0100 | <lambdabot> | ("5","7","11") |
| 2024-03-13 19:45:59 +0100 | <ncf> | this is using "each" as a setter with multiple targets |
| 2024-03-13 19:46:02 +0100 | <c_wraith> | each is a traversal, rather than a lens. |
| 2024-03-13 19:46:10 +0100 | <c_wraith> | which means it can have 0..n targets |
| 2024-03-13 19:46:30 +0100 | <tri25> | and actually im working on F#, get stuck, so need to reference the native way to do in Haskell to translate to F#, so i don't know immediately what over each in F# is |
| 2024-03-13 19:47:04 +0100 | <monochrom> | foo f (x, y) = (f x, f y) |
| 2024-03-13 19:47:23 +0100 | agrosant | (~agrosant@188.4.34.1.dsl.dyn.forthnet.gr) (Ping timeout: 264 seconds) |
| 2024-03-13 19:47:40 +0100 | <ncf> | does F# have lenses? |
| 2024-03-13 19:47:52 +0100 | <tri25> | ncf: yes, but i haven't read how to use it in F# yet |
| 2024-03-13 19:48:00 +0100 | <tri25> | so that's why i don't immediately know the equivalent in f# |
| 2024-03-13 19:48:04 +0100 | <c_wraith> | If it does, it's an awkward encoding. I mean, minecraft built lenses in java, so it's possible. |
| 2024-03-13 19:48:20 +0100 | <monochrom> | haha that's epic |
| 2024-03-13 19:48:34 +0100 | <tri25> | but there is bifunctor in F#, and i'd used c_wraith suggestion bifunctor f f before coming here to look for a better way |
| 2024-03-13 19:48:58 +0100 | <monochrom> | Yeah bifunctor works nicely. |
| 2024-03-13 19:49:37 +0100 | <tri25> | thank you everyone for your help |
| 2024-03-13 20:03:38 +0100 | agrosant | (~agrosant@188.4.55.11.dsl.dyn.forthnet.gr) |
| 2024-03-13 20:11:06 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 255 seconds) |
| 2024-03-13 20:12:25 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 264 seconds) |
| 2024-03-13 20:13:58 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2024-03-13 20:16:11 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-03-13 20:18:06 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2024-03-13 20:19:09 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-03-13 20:19:55 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 246 seconds) |
| 2024-03-13 20:22:52 +0100 | jargon | (~jargon@154.sub-174-205-226.myvzw.com) |
| 2024-03-13 20:25:37 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-03-13 20:26:13 +0100 | ss4 | (~wootehfoo@user/wootehfoot) |
| 2024-03-13 20:30:08 +0100 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-03-13 20:30:16 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-03-13 20:30:25 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 272 seconds) |
| 2024-03-13 20:32:34 +0100 | mei | (~mei@user/mei) |
| 2024-03-13 20:34:47 +0100 | agrosant | (~agrosant@188.4.55.11.dsl.dyn.forthnet.gr) (Ping timeout: 264 seconds) |
| 2024-03-13 20:54:35 +0100 | tri25 | (~tri@4133220a.cst.lightpath.net) (Ping timeout: 250 seconds) |
| 2024-03-13 20:55:02 +0100 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) |
| 2024-03-13 21:01:07 +0100 | mik3d | (~mik3d@pool-173-61-131-199.cmdnnj.fios.verizon.net) |
| 2024-03-13 21:03:06 +0100 | agrosant | (~agrosant@62.1.149.106.dsl.dyn.forthnet.gr) |
| 2024-03-13 21:07:38 +0100 | sp1ff | (~user@c-24-21-45-157.hsd1.wa.comcast.net) (Remote host closed the connection) |
| 2024-03-13 21:07:51 +0100 | sp1ff | (~user@c-24-21-45-157.hsd1.wa.comcast.net) |
| 2024-03-13 21:10:19 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Remote host closed the connection) |
| 2024-03-13 21:19:11 +0100 | agrosant | (~agrosant@62.1.149.106.dsl.dyn.forthnet.gr) (Ping timeout: 264 seconds) |
| 2024-03-13 21:21:11 +0100 | <lyxia> | I remember reading that for dynamic arrays, doubling is not as ideal as a smaller factor 3/2 to increase the size when it gets full. But I'm blanking on what keywords I can google to read more about it... |
| 2024-03-13 21:26:13 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2024-03-13 21:28:06 +0100 | <c_wraith> | I think phi is actually "optimal", if you ignore the fact that it's not an integer |
| 2024-03-13 21:29:36 +0100 | <c_wraith> | lyxia: https://ece.uwaterloo.ca/~dwharder/aads/Algorithms/Array_resizing/ seems like a decent starting point |
| 2024-03-13 21:29:43 +0100 | jau | (~user@2a04:4540:7205:3500:bc6e:f625:8874:65d0) (Quit: Leaving) |
| 2024-03-13 21:38:33 +0100 | <lyxia> | c_wraith: thx! |
| 2024-03-13 21:38:46 +0100 | ft | (~ft@p3e9bce6e.dip0.t-ipconnect.de) |
| 2024-03-13 21:39:43 +0100 | <ski> | i've used fibonacci |
| 2024-03-13 21:42:39 +0100 | <c_wraith> | so... rounding phi? :P |
| 2024-03-13 21:42:59 +0100 | <c_wraith> | edwardk had a blog post talking about the Lucas numbers, which are very closely related |
| 2024-03-13 21:43:15 +0100 | <c_wraith> | But they had some property or another that made them fit better |
| 2024-03-13 21:44:02 +0100 | mik3d | (~mik3d@pool-173-61-131-199.cmdnnj.fios.verizon.net) (Read error: Connection reset by peer) |
| 2024-03-13 21:49:28 +0100 | <EvanR> | an array with a fractional part of space, overlooked and underconsidered detail in this thread |
| 2024-03-13 21:50:05 +0100 | <geekosaur> | only if you can make money off of it 😛 |
| 2024-03-13 21:50:20 +0100 | <EvanR> | element types which don't support fractionation could be supported using probability |
| 2024-03-13 21:54:20 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) (Ping timeout: 260 seconds) |
| 2024-03-13 21:55:53 +0100 | yin | (~yin@user/zero) (Read error: Connection reset by peer) |
| 2024-03-13 21:58:11 +0100 | <tomsmeding> | > average number of empty entries in the array is ln(r)r/(r − 1) − 1 |
| 2024-03-13 21:58:21 +0100 | <tomsmeding> | surely that doesn't hold for all distributions of final lengths? |
| 2024-03-13 21:58:32 +0100 | <tomsmeding> | and they don't say what length distribution they assumed |
| 2024-03-13 21:58:48 +0100 | <tomsmeding> | dodgy |
| 2024-03-13 21:59:52 +0100 | <tomsmeding> | oh wait this is when continually pushing stuff |
| 2024-03-13 21:59:54 +0100 | <tomsmeding> | ignore me |
| 2024-03-13 22:00:04 +0100 | ss4 | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2024-03-13 22:00:13 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-03-13 22:00:21 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-03-13 22:00:53 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) |
| 2024-03-13 22:04:44 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 252 seconds) |
| 2024-03-13 22:14:49 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2024-03-13 22:15:40 +0100 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-03-13 22:18:06 +0100 | mei | (~mei@user/mei) |
| 2024-03-13 22:18:53 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-03-13 22:20:41 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 252 seconds) |
| 2024-03-13 22:31:39 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-03-13 22:36:03 +0100 | zetef | (~quassel@5.2.182.98) |
| 2024-03-13 22:53:09 +0100 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 252 seconds) |
| 2024-03-13 22:54:50 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-03-13 22:56:13 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 2024-03-13 22:56:55 +0100 | euleritian | (~euleritia@dynamic-176-006-177-080.176.6.pool.telefonica.de) |
| 2024-03-13 22:58:31 +0100 | son0p | (~ff@152.203.102.157) (Ping timeout: 260 seconds) |
| 2024-03-13 22:58:32 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Remote host closed the connection) |
| 2024-03-13 23:02:03 +0100 | son0p | (~ff@152.203.102.157) |
| 2024-03-13 23:03:46 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-03-13 23:05:35 +0100 | motherfsck | (~motherfsc@user/motherfsck) |
| 2024-03-13 23:09:30 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-13 23:10:47 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-03-13 23:13:08 +0100 | zetef | (~quassel@5.2.182.98) (Remote host closed the connection) |
| 2024-03-13 23:18:40 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-03-13 23:24:40 +0100 | michalz_ | (~michalz@185.246.207.221) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-03-13 23:25:07 +0100 | juri_ | (~juri@implicitcad.org) (Ping timeout: 268 seconds) |
| 2024-03-13 23:26:57 +0100 | agrosant | (~agrosant@46.246.189.224.dsl.dyn.forthnet.gr) |
| 2024-03-13 23:31:00 +0100 | a51 | (a51@gateway/vpn/protonvpn/a51) (Quit: WeeChat 4.2.1) |
| 2024-03-13 23:33:15 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-03-13 23:34:29 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-03-13 23:44:03 +0100 | <tomsmeding> | why are the "new" GHC.TypeLits singleton pattern synonyms not marked COMPLETE https://hackage.haskell.org/package/base-4.18.0.0/docs/GHC-TypeLits.html#v:SSymbol |
| 2024-03-13 23:44:11 +0100 | <tomsmeding> | now any pattern match on them will be incomplete |
| 2024-03-13 23:54:35 +0100 | agrosant | (~agrosant@46.246.189.224.dsl.dyn.forthnet.gr) (Ping timeout: 264 seconds) |
| 2024-03-13 23:57:14 +0100 | phma | (~phma@2001:5b0:2143:a3e8:4abf:4a4a:8deb:49a3) (Read error: Connection reset by peer) |
| 2024-03-13 23:57:58 +0100 | phma | (~phma@host-67-44-208-133.hnremote.net) |
| 2024-03-13 23:59:04 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |