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