Logs on 2024-02-21 (liberachat/#haskell)
| 00:01:49 | → | nuh^ joins (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
| 00:05:59 | × | rvalue quits (~rvalue@user/rvalue) (Ping timeout: 264 seconds) |
| 00:06:19 | × | Vq quits (~vq@81-231-76-8-no600.tbcn.telia.com) (Ping timeout: 246 seconds) |
| 00:06:45 | × | segfaultfizzbuzz quits (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) (Ping timeout: 255 seconds) |
| 00:08:14 | <fen_> | i have serious ethical concerns about a light touch approach and do feel its important to be able to say that |
| 00:08:21 | → | Vq joins (~vq@81-231-76-8-no600.tbcn.telia.com) |
| 00:10:01 | <fen_> | also, no implicit params at classes does not preclude dictionary use, which allows even that instances can be strict |
| 00:10:33 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 00:10:37 | × | yoo quits (~yo0O0o@104.28.194.104) (Ping timeout: 264 seconds) |
| 00:11:43 | <fen_> | i cant imagine that its a case where its appearence in an instance would somehow lead to reevlauation by somehow sidestepping the strict reflection, by multiple construction of the reflecting object by function dereferencing |
| 00:12:29 | → | rvalue joins (~rvalue@user/rvalue) |
| 00:12:30 | <fen_> | comparing if the strict implicit dictionary appears in a datatype or in a class |
| 00:12:58 | × | Vq quits (~vq@81-231-76-8-no600.tbcn.telia.com) (Ping timeout: 246 seconds) |
| 00:13:24 | <fen_> | i hope it works btw, because the actual naming in the dictionary of the value is hidden in the outer datatype |
| 00:14:08 | → | Vq joins (~vq@81-231-76-8-no600.tbcn.telia.com) |
| 00:14:30 | <fen_> | otherwise it does seem useful to use the class mechanism to access a declaration of global availability |
| 00:15:37 | <fen_> | though it confronts the fact that the instance usage could lead to recomputation |
| 00:17:18 | <fen_> | i think i fail to be able to make strong theoretic guarantees with these dictionaries |
| 00:17:53 | <fen_> | and not to implement uniqueness scoping as desired |
| 00:19:01 | <fen_> | i cant map strictness at creation through to uniquness at all... |
| 00:20:44 | <fen_> | even if it tries to hijack the global uniqueness of an instance, if this contains a dictionary that can be multiply constructed but still strict, which does nothing to prevent the multiple construction |
| 00:20:58 | <fen_> | you want the strict reflection to be the only reflection |
| 00:21:12 | → | segfaultfizzbuzz joins (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) |
| 00:22:38 | <fen_> | do you think if an instance referenced something that is a strictly reflected dictionary eg defined at top level, that this would be enough to make it unique and global and strict |
| 00:22:45 | <fen_> | ? |
| 00:23:55 | <fen_> | seems like the top level nature of the functions that must be available during the definition at the instance, constrains the dictionary reference also to be top level |
| 00:24:08 | <fen_> | im not sure if the question remains as to its pottential reevaluation |
| 00:25:29 | <fen_> | or if because it occurs within an instance that we can be sure it only gets constructed the correct way through the strict constructor only once |
| 00:26:17 | <fen_> | i think there is no way of saying that it couldnt call it seveeral times, eg if it had a rangling second argument |
| 00:26:27 | <fen_> | ranging* |
| 00:27:20 | → | jmdaemon joins (~jmdaemon@user/jmdaemon) |
| 00:27:21 | <fen_> | datatypes were no good because there can be many of them constructed, even if they reference a dictionary which in some other way could be made unique |
| 00:28:18 | <fen_> | but classes seem no better, because the instances themselves seem to offer no guarantee against repeated construction of the supposedly unique strict reflection |
| 00:29:23 | <fen_> | basically both classes and datatypes can range in several arguments and trigger reevaluation of the unique dictionary |
| 00:30:22 | <monochrom> | OK I think we're done here. You have been offered a lot of options for moving your monologue to better places, and yet you still exhibit your entitlement attitude and re-instate it every time. |
| 00:30:30 | ChanServ | sets mode +o monochrom |
| 00:30:32 | monochrom | sets mode +b *!*@84.68.80.95 |
| 00:30:32 | fen_ | is kicked by monochrom (fen_) |
| 00:31:19 | <monochrom> | (It helps that I'm on the second glass of wine.) |
| 00:32:48 | monochrom | sets mode -o monochrom |
| 00:33:07 | <yushyin> | +1 wine |
| 00:38:26 | → | jargon joins (~jargon@157.sub-174-205-162.myvzw.com) |
| 00:57:23 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 00:58:26 | → | euleritian joins (~euleritia@dynamic-176-006-190-101.176.6.pool.telefonica.de) |
| 01:03:35 | × | pointlessslippe1 quits (~pointless@212.82.82.3) (Ping timeout: 264 seconds) |
| 01:10:22 | <probie> | I'm still not actually sure what the problem fen_ was trying to solve was |
| 01:10:42 | × | tabemann quits (~tabemann@2600:1700:7990:24e0:67b0:8842:12fe:e228) (Remote host closed the connection) |
| 01:11:01 | → | tabemann joins (~tabemann@2600:1700:7990:24e0:a91b:78d:f890:8e7c) |
| 01:11:20 | → | pointlessslippe1 joins (~pointless@212.82.82.3) |
| 01:12:56 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 01:16:55 | × | segfaultfizzbuzz quits (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) (Ping timeout: 256 seconds) |
| 01:18:02 | → | yoo joins (~yo0O0o@104.28.194.104) |
| 01:19:32 | → | segfaultfizzbuzz joins (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) |
| 01:20:27 | × | mud quits (~mud@user/kadoban) (Quit: quit) |
| 01:28:07 | → | kaskal- joins (~kaskal@2001:4bb8:2d2:2a03:3b9f:beb4:402d:c396) |
| 01:28:15 | × | kaskal quits (~kaskal@2001:4bb8:2c3:39c1:ff3f:d58:4fd9:e10c) (Ping timeout: 268 seconds) |
| 01:32:35 | <Axman6> | tomsmeding: is paste down at the moment? I can't load it |
| 01:32:46 | <geekosaur> | I think they're in bed by now |
| 01:33:06 | <geekosaur> | (shows away in my user list) |
| 01:33:40 | <c_wraith> | it does seem to not be responding, so.. yeah, find a different pastebin for the moment |
| 01:35:19 | → | tri joins (~tri@ool-18bc2e74.dyn.optonline.net) |
| 01:35:39 | <Axman6> | resorted to sending files in chat, probably for the best iwth $work stuff =) |
| 01:38:01 | × | dolio quits (~dolio@130.44.134.54) (Quit: ZNC 1.8.2 - https://znc.in) |
| 01:39:43 | puke | is now known as Guest9273 |
| 01:39:43 | → | pyooque joins (~puke@user/puke) |
| 01:39:43 | × | Guest9273 quits (~puke@user/puke) (Killed (copper.libera.chat (Nickname regained by services))) |
| 01:39:43 | pyooque | is now known as puke |
| 01:40:01 | × | tri quits (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 264 seconds) |
| 01:40:28 | × | yoo quits (~yo0O0o@104.28.194.104) (Ping timeout: 246 seconds) |
| 01:41:02 | × | puke quits (~puke@user/puke) (Max SendQ exceeded) |
| 01:41:06 | → | Square joins (~Square@user/square) |
| 01:41:30 | → | puke joins (~puke@user/puke) |
| 01:48:15 | → | dolio joins (~dolio@130.44.134.54) |
| 01:52:03 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 255 seconds) |
| 01:52:26 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 01:53:27 | → | machinedgod joins (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 01:59:58 | → | szkl joins (uid110435@id-110435.uxbridge.irccloud.com) |
| 02:02:37 | × | pointlessslippe1 quits (~pointless@212.82.82.3) (Ping timeout: 260 seconds) |
| 02:04:28 | × | Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 02:05:19 | <EvanR> | speaking of neural networks maybe fen was an AI trained on haskell stuff |
| 02:05:38 | <geekosaur> | fen predates LLMs |
| 02:05:54 | <geekosaur> | they got banned on freenode for this kind of behavior |
| 02:06:22 | × | otto_s quits (~user@p4ff27fbc.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 02:07:25 | × | xff0x quits (~xff0x@ai082039.d.east.v6connect.net) (Ping timeout: 268 seconds) |
| 02:08:04 | → | yoo joins (~yo0O0o@104.28.226.105) |
| 02:08:15 | → | otto_s joins (~user@p5b04434a.dip0.t-ipconnect.de) |
| 02:28:41 | × | yoo quits (~yo0O0o@104.28.226.105) (Ping timeout: 268 seconds) |
| 02:29:08 | → | yoo joins (~yo0O0o@104.28.226.104) |
| 02:30:44 | <haskellbridge> | <irregularsphere> fen's kind of like me to be honest, sometimes i monologue like that |
| 02:31:32 | <haskellbridge> | <irregularsphere> unfortunately irc can't delete messages so i can't keep my record clean here |
| 02:32:31 | <geekosaur> | 'sokay, I just almost did the same thing in -offtopic 🙂 |
| 02:33:32 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 02:34:09 | → | tri joins (~tri@ool-18bc2e74.dyn.optonline.net) |
| 02:51:05 | → | xff0x joins (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 02:55:31 | × | krei-se quits (~krei-se@p508747fd.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 02:55:31 | × | synchromesh quits (~synchrome@2407:7000:aa2d:4e00:9cf7:efcb:5efd:a99) (Read error: Connection reset by peer) |
| 02:56:29 | → | synchromesh joins (~synchrome@2407:7000:aa2d:4e00:9cf7:efcb:5efd:a99) |
| 02:56:43 | → | krei-se joins (~krei-se@p5085d2ec.dip0.t-ipconnect.de) |
| 03:04:27 | → | peterbecich joins (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 03:08:21 | × | masterbuilder quits (~quassel@user/masterbuilder) (Ping timeout: 272 seconds) |
| 03:08:30 | → | masterbuilder joins (~quassel@user/masterbuilder) |
| 03:12:22 | → | bilegeek joins (~bilegeek@2600:1008:b08d:b388:d7ce:bf13:369f:42d9) |
| 03:20:51 | → | sroso joins (~sroso@user/SrOso) |
| 03:22:11 | × | td_ quits (~td@i5387090B.versanet.de) (Ping timeout: 264 seconds) |
| 03:23:39 | → | td_ joins (~td@i53870902.versanet.de) |
| 03:27:54 | × | machinedgod quits (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 255 seconds) |
| 03:39:43 | × | yoo quits (~yo0O0o@104.28.226.104) (Ping timeout: 256 seconds) |
| 03:40:20 | → | yoo joins (~yo0O0o@104.28.226.108) |
| 03:40:44 | × | mulk quits (~mulk@pd95147b3.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 03:44:15 | → | hays joins (rootvegeta@fsf/member/hays) |
| 03:44:48 | → | yooo joins (~yo0O0o@104.28.226.104) |
| 03:45:02 | → | igemnace joins (~ian@user/igemnace) |
| 03:45:57 | × | yoo quits (~yo0O0o@104.28.226.108) (Ping timeout: 256 seconds) |
| 03:46:16 | → | mulk joins (~mulk@p5b2dc008.dip0.t-ipconnect.de) |
| 03:56:29 | × | segfaultfizzbuzz quits (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) (Quit: segfaultfizzbuzz) |
| 03:58:11 | × | waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 264 seconds) |
| 03:58:45 | × | yooo quits (~yo0O0o@104.28.226.104) (Changing host) |
| 03:58:45 | → | yooo joins (~yo0O0o@user/mobivme) |
| 04:12:44 | × | euleritian quits (~euleritia@dynamic-176-006-190-101.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 04:13:02 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 04:25:32 | × | szkl quits (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 04:37:05 | × | aforemny_ quits (~aforemny@2001:9e8:6cec:d900:9d72:673f:b1f3:dc04) (Ping timeout: 260 seconds) |
| 04:37:17 | → | aforemny joins (~aforemny@2001:9e8:6cd1:9700:269c:3e5b:c88d:39e2) |
| 04:37:24 | × | nuh^ quits (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 04:45:53 | × | thegeekinside quits (~thegeekin@189.217.83.221) (Read error: Connection reset by peer) |
| 04:46:11 | × | ski quits (~ski@ext-1-033.eduroam.chalmers.se) (Ping timeout: 252 seconds) |
| 04:46:46 | × | yooo quits (~yo0O0o@user/mobivme) (Remote host closed the connection) |
| 04:47:44 | × | jargon quits (~jargon@157.sub-174-205-162.myvzw.com) (Remote host closed the connection) |
| 04:50:03 | → | jargon joins (~jargon@157.sub-174-205-162.myvzw.com) |
| 04:57:15 | × | Luj quits (~Luj@2a01:e0a:5f9:9681:f767:82a3:7de:1864) (Quit: Ping timeout (120 seconds)) |
| 04:57:34 | → | Luj joins (~Luj@2a01:e0a:5f9:9681:535f:4048:fd0:e283) |
| 04:57:35 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 04:57:43 | → | euleritian joins (~euleritia@dynamic-176-006-190-101.176.6.pool.telefonica.de) |
| 04:58:05 | × | euleritian quits (~euleritia@dynamic-176-006-190-101.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 04:58:23 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 05:26:00 | × | ell quits (~ellie@user/ellie) (Quit: Leaving) |
| 05:26:36 | → | julie_pilgrim joins (~julie_pil@user/julie-pilgrim/x-1240752) |
| 05:32:37 | → | ski joins (~ski@ext-1-033.eduroam.chalmers.se) |
| 05:32:49 | × | _3xistence quits (~existence@176.254.244.83) (Ping timeout: 264 seconds) |
| 05:32:52 | → | rosco joins (~rosco@175.136.156.77) |
| 05:34:50 | → | raym joins (~ray@user/raym) |
| 05:34:58 | → | jjhoo joins (jahakala@user/jjhoo) |
| 05:36:04 | × | rosco quits (~rosco@175.136.156.77) (Read error: Connection reset by peer) |
| 05:36:28 | → | oneeyedalien joins (~oneeyedal@user/oneeyedalien) |
| 05:36:31 | × | julie_pilgrim quits (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection) |
| 05:37:32 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 05:39:58 | → | pavonia joins (~user@user/siracusa) |
| 05:56:55 | × | bilegeek quits (~bilegeek@2600:1008:b08d:b388:d7ce:bf13:369f:42d9) (Quit: Leaving) |
| 06:02:23 | × | tri quits (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
| 06:04:39 | → | exolight joins (~exolight@176.254.244.83) |
| 06:05:58 | → | _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 06:08:04 | → | michalz joins (~michalz@185.246.207.197) |
| 06:08:16 | × | michalz quits (~michalz@185.246.207.197) (Client Quit) |
| 06:11:06 | → | michalz joins (~michalz@185.246.207.215) |
| 06:11:26 | → | elbear joins (~lucian@188.24.178.66) |
| 06:17:42 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 06:23:27 | → | danza joins (~francesco@151.43.184.190) |
| 06:25:39 | × | bliminse quits (~bliminse@user/bliminse) (Quit: leaving) |
| 06:30:38 | → | thegeekinside joins (~thegeekin@189.217.83.221) |
| 06:32:39 | → | acidjnk joins (~acidjnk@p200300d6e737e789f1d9672538a89ef2.dip0.t-ipconnect.de) |
| 06:34:48 | → | bliminse joins (~bliminse@user/bliminse) |
| 06:36:54 | × | peterbecich quits (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 06:46:15 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 06:50:56 | × | raym quits (~ray@user/raym) (Quit: brb) |
| 06:55:55 | × | thegeekinside quits (~thegeekin@189.217.83.221) (Read error: Connection reset by peer) |
| 06:56:27 | → | jtza8 joins (~user@user/jtza8) |
| 06:58:39 | → | csn joins (~csn@115.96.217.73) |
| 06:59:08 | <csn> | hi how do it include hakyll library on path.. i am running windows 11 |
| 07:16:59 | → | Lycurgus joins (~georg@user/Lycurgus) |
| 07:18:03 | × | elbear quits (~lucian@188.24.178.66) (Quit: leaving) |
| 07:28:02 | → | Square3 joins (~Square4@user/square) |
| 07:30:33 | × | Square quits (~Square@user/square) (Ping timeout: 272 seconds) |
| 07:31:45 | <haskellbridge> | <sm> are you using stack ? |
| 07:32:24 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
| 07:33:25 | → | euleritian joins (~euleritia@dynamic-176-006-179-235.176.6.pool.telefonica.de) |
| 07:34:52 | × | euleritian quits (~euleritia@dynamic-176-006-179-235.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 07:35:09 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 07:38:18 | <haskellbridge> | <sm> I really, really wish I had not used spaces in account names |
| 07:38:25 | <haskellbridge> | <sm> oops |
| 07:45:18 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 07:47:01 | × | danza quits (~francesco@151.43.184.190) (Quit: Leaving) |
| 07:53:53 | <EvanR> | human civilization quantum leap 1, invent zero |
| 07:54:02 | <EvanR> | quantum leap 2, remove space |
| 07:54:08 | <EvanR> | and smart quotes |
| 07:54:45 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |
| 07:55:24 | → | euleritian joins (~euleritia@dynamic-176-006-179-235.176.6.pool.telefonica.de) |
| 07:59:06 | → | oneeyedalien_ joins (~oneeyedal@user/oneeyedalien) |
| 07:59:34 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 08:00:05 | → | CiaoSen joins (~Jura@2a05:5800:2c5:c300:e6b9:7aff:fe80:3d03) |
| 08:01:47 | × | oneeyedalien quits (~oneeyedal@user/oneeyedalien) (Ping timeout: 264 seconds) |
| 08:03:56 | × | sroso quits (~sroso@user/SrOso) (Read error: Connection reset by peer) |
| 08:08:08 | → | sroso joins (~sroso@user/SrOso) |
| 08:08:35 | × | sroso quits (~sroso@user/SrOso) (Max SendQ exceeded) |
| 08:14:25 | → | sroso joins (~sroso@user/SrOso) |
| 08:14:42 | <[exa]> | is it somehow possible to have more than 1 "section" in the toplevel haddock module documentation? I'm trying to paste it together somehow from the examples, but failing so far |
| 08:14:52 | × | sroso quits (~sroso@user/SrOso) (Max SendQ exceeded) |
| 08:14:56 | <[exa]> | (also I recall I saw it SOMEWHERE so I could copy, but no idea where it was) |
| 08:17:56 | <dminuoso> | [exa]: What does "section" mean to you, exactly? |
| 08:18:57 | → | fendor joins (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) |
| 08:20:40 | → | sroso joins (~sroso@user/SrOso) |
| 08:21:01 | <dminuoso> | [exa]: What you can do is use nested section headings to accomplish that effect. |
| 08:21:07 | × | sroso quits (~sroso@user/SrOso) (Max SendQ exceeded) |
| 08:21:13 | <dminuoso> | Look at https://github.com/well-typed/optics/blob/master/optics/src/Optics.hs https://hackage.haskell.org/package/optics-0.4.2.1/docs/Optics.html |
| 08:23:16 | <dminuoso> | Ah I guess you can also just use several sections like that, just put them into the export list at the beginning |
| 08:23:48 | → | pointlessslippe1 joins (~pointless@212.82.82.3) |
| 08:26:55 | → | sroso joins (~sroso@user/SrOso) |
| 08:27:02 | → | yoo joins (~yo0O0o@130.105.162.42) |
| 08:27:35 | → | coot joins (~coot@89-69-206-216.dynamic.chello.pl) |
| 08:28:56 | <[exa]> | oh yes that's it, thanks! I was trying to smash everything into one big docstring, obviously I need the $redirects |
| 08:29:42 | <dmj`> | c_wraith: ping |
| 08:34:00 | × | oneeyedalien_ quits (~oneeyedal@user/oneeyedalien) (Quit: Leaving) |
| 08:34:58 | → | csn_ joins (~csn@115.96.217.73) |
| 08:36:28 | → | kuribas joins (~user@2a02:1808:8a:e91f:e184:8a20:1122:74ac) |
| 08:37:52 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 08:38:24 | × | csn quits (~csn@115.96.217.73) (Ping timeout: 255 seconds) |
| 08:40:17 | <dmj`> | c_wraith: I think the static monomorphization approach removes the dictionary elaboration altogether |
| 08:40:31 | × | dcoutts quits (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 08:42:07 | × | euleritian quits (~euleritia@dynamic-176-006-179-235.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 08:42:32 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 08:47:02 | × | yoo quits (~yo0O0o@130.105.162.42) (Changing host) |
| 08:47:02 | → | yoo joins (~yo0O0o@user/mobivme) |
| 08:52:45 | → | danse-nr3 joins (~danse@151.43.184.190) |
| 08:53:49 | → | machinedgod joins (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 08:56:42 | × | kuribas quits (~user@2a02:1808:8a:e91f:e184:8a20:1122:74ac) (Remote host closed the connection) |
| 08:58:43 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 08:58:44 | → | chele joins (~chele@user/chele) |
| 08:59:01 | → | euleritian joins (~euleritia@dynamic-176-006-179-235.176.6.pool.telefonica.de) |
| 09:01:15 | → | csn__ joins (~csn@115.96.217.73) |
| 09:02:25 | × | sroso quits (~sroso@user/SrOso) (Read error: Connection reset by peer) |
| 09:04:17 | × | csn_ quits (~csn@115.96.217.73) (Ping timeout: 268 seconds) |
| 09:06:42 | → | sroso joins (~sroso@user/SrOso) |
| 09:07:48 | × | tzh quits (~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Quit: zzz) |
| 09:09:11 | × | synchromesh quits (~synchrome@2407:7000:aa2d:4e00:9cf7:efcb:5efd:a99) (Read error: Connection reset by peer) |
| 09:09:38 | × | ft quits (~ft@p508db2e6.dip0.t-ipconnect.de) (Quit: leaving) |
| 09:10:03 | × | danse-nr3 quits (~danse@151.43.184.190) (Read error: Connection reset by peer) |
| 09:10:14 | → | synchromesh joins (~synchrome@2407:7000:aa2d:4e00:9cf7:efcb:5efd:a99) |
| 09:12:40 | → | danse-nr3 joins (~danse@151.43.209.48) |
| 09:12:51 | → | csn_ joins (~csn@115.96.217.73) |
| 09:16:18 | × | csn__ quits (~csn@115.96.217.73) (Ping timeout: 268 seconds) |
| 09:24:05 | × | econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 09:26:33 | × | yoo quits (~yo0O0o@user/mobivme) (Ping timeout: 255 seconds) |
| 09:27:17 | → | mmhat joins (~mmh@p200300f1c70b44daee086bfffe095315.dip0.t-ipconnect.de) |
| 09:34:42 | → | kuribas joins (~user@2a02:1808:8a:e91f:a062:7ecd:d33:3185) |
| 09:35:45 | × | euleritian quits (~euleritia@dynamic-176-006-179-235.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 09:36:03 | → | euleritian joins (~euleritia@77.22.252.56) |
| 09:38:31 | → | csn__ joins (~csn@115.96.217.73) |
| 09:41:59 | × | csn_ quits (~csn@115.96.217.73) (Ping timeout: 264 seconds) |
| 09:46:58 | → | dcoutts joins (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 09:49:24 | <carbolymer> | is there any doc for -Wno-x-partial flag? |
| 09:50:55 | <carbolymer> | ah it's just warning about partial functions in ghc 9.8 |
| 09:50:59 | → | ell joins (~ellie@user/ellie) |
| 09:56:02 | → | yoo joins (~yo0O0o@130.105.162.42) |
| 10:02:00 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 10:06:48 | × | xff0x quits (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 256 seconds) |
| 10:15:50 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 10:16:23 | → | csn_ joins (~csn@115.96.217.73) |
| 10:16:53 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 10:17:00 | gehmehgeh | is now known as gmg |
| 10:18:53 | × | csn__ quits (~csn@115.96.217.73) (Ping timeout: 240 seconds) |
| 10:19:38 | → | oo_miguel joins (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) |
| 10:20:36 | → | img joins (~img@user/img) |
| 10:21:37 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 246 seconds) |
| 10:22:11 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 10:27:44 | → | szkl joins (uid110435@id-110435.uxbridge.irccloud.com) |
| 10:28:20 | → | csn__ joins (~csn@115.96.217.73) |
| 10:28:41 | → | benkard joins (~mulk@pd9514f6d.dip0.t-ipconnect.de) |
| 10:29:13 | × | mulk quits (~mulk@p5b2dc008.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 10:29:13 | benkard | is now known as mulk |
| 10:31:04 | × | csn_ quits (~csn@115.96.217.73) (Ping timeout: 246 seconds) |
| 10:32:15 | × | ski quits (~ski@ext-1-033.eduroam.chalmers.se) (Ping timeout: 255 seconds) |
| 10:33:08 | → | ski joins (~ski@ext-1-033.eduroam.chalmers.se) |
| 10:45:45 | × | yoo quits (~yo0O0o@130.105.162.42) (Ping timeout: 255 seconds) |
| 10:49:47 | → | rosco joins (~rosco@175.136.156.77) |
| 10:50:22 | × | sroso quits (~sroso@user/SrOso) (Quit: Leaving :)) |
| 10:50:49 | → | xff0x joins (~xff0x@ai082039.d.east.v6connect.net) |
| 10:54:08 | → | csn_ joins (~csn@115.96.217.73) |
| 10:56:37 | × | csn__ quits (~csn@115.96.217.73) (Ping timeout: 256 seconds) |
| 10:59:58 | → | a51 joins (a51@gateway/vpn/protonvpn/a51) |
| 11:03:32 | → | ubert joins (~Thunderbi@2a02:8109:ab8a:5a00:7702:da98:c9d3:8474) |
| 11:06:46 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 11:09:25 | × | Eoco_ quits (~ian@128.101.131.218) (Ping timeout: 264 seconds) |
| 11:16:26 | → | Eoco joins (~ian@128.101.131.218) |
| 11:21:18 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 255 seconds) |
| 11:27:30 | × | rosco quits (~rosco@175.136.156.77) (Quit: Lost terminal) |
| 11:30:58 | → | troydm joins (~troydm@user/troydm) |
| 11:41:41 | → | zetef joins (~quassel@2a02:2f00:5208:300:c040:6289:5a5f:2d91) |
| 11:49:14 | × | danse-nr3 quits (~danse@151.43.209.48) (Ping timeout: 268 seconds) |
| 11:50:20 | → | rosco joins (~rosco@175.136.156.77) |
| 11:52:55 | × | jargon quits (~jargon@157.sub-174-205-162.myvzw.com) (Remote host closed the connection) |
| 11:58:48 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 12:11:40 | × | CiaoSen quits (~Jura@2a05:5800:2c5:c300:e6b9:7aff:fe80:3d03) (Ping timeout: 260 seconds) |
| 12:12:47 | × | jespada quits (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Quit: Textual IRC Client: www.textualapp.com) |
| 12:15:16 | → | jespada joins (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 12:18:39 | × | zetef quits (~quassel@2a02:2f00:5208:300:c040:6289:5a5f:2d91) (Read error: Connection reset by peer) |
| 12:23:38 | → | ph88^ joins (~ph88@2a02:8109:9e26:c800:5d6d:c5dc:fbc4:3d94) |
| 12:48:47 | × | ph88 quits (~ph88@91.64.63.48) (Ping timeout: 260 seconds) |
| 12:52:57 | × | coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 12:55:32 | → | ph88 joins (~ph88@2a02:8109:9e26:c800:8ede:73b0:bb5c:daa3) |
| 12:58:50 | → | danse-nr3 joins (~danse@151.43.238.22) |
| 13:12:11 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 13:15:34 | → | CiaoSen joins (~Jura@2a05:5800:2c5:c300:e6b9:7aff:fe80:3d03) |
| 13:16:02 | × | euleritian quits (~euleritia@77.22.252.56) (Ping timeout: 252 seconds) |
| 13:18:44 | → | euleritian joins (~euleritia@dynamic-176-006-177-235.176.6.pool.telefonica.de) |
| 13:18:44 | × | synchromesh quits (~synchrome@2407:7000:aa2d:4e00:9cf7:efcb:5efd:a99) (Read error: Connection reset by peer) |
| 13:19:58 | → | synchromesh joins (~synchrome@2407:7000:aa2d:4e00:9cf7:efcb:5efd:a99) |
| 13:25:01 | → | TheCoffeMaker_ joins (~TheCoffeM@186.137.141.113) |
| 13:25:11 | × | TheCoffeMaker quits (~TheCoffeM@user/thecoffemaker) (Ping timeout: 264 seconds) |
| 13:26:55 | × | ph88^ quits (~ph88@2a02:8109:9e26:c800:5d6d:c5dc:fbc4:3d94) (Ping timeout: 256 seconds) |
| 13:29:57 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 13:30:32 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Ping timeout: 260 seconds) |
| 13:31:56 | × | TheCoffeMaker_ quits (~TheCoffeM@186.137.141.113) (Ping timeout: 260 seconds) |
| 13:32:48 | → | coot joins (~coot@89-69-206-216.dynamic.chello.pl) |
| 13:35:53 | × | dumptruckman quits (~dumptruck@23-239-13-136.ip.linodeusercontent.com) (Quit: ZNC - https://znc.in) |
| 13:38:26 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 13:43:06 | × | csn_ quits (~csn@115.96.217.73) (Read error: Connection reset by peer) |
| 13:44:31 | → | TheCoffeMaker joins (~TheCoffeM@user/thecoffemaker) |
| 13:44:37 | → | Achylles joins (~Achylles_@45.182.57.81) |
| 13:46:18 | → | dumptruckman joins (~dumptruck@69-164-220-160.ip.linodeusercontent.com) |
| 13:57:13 | × | euleritian quits (~euleritia@dynamic-176-006-177-235.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 14:00:02 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 14:03:05 | × | fendor quits (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) (Quit: Leaving) |
| 14:04:38 | × | rosco quits (~rosco@175.136.156.77) (Quit: Lost terminal) |
| 14:11:08 | → | jinsun_ joins (~jinsun@user/jinsun) |
| 14:11:08 | jinsun | is now known as Guest4095 |
| 14:11:09 | × | Guest4095 quits (~jinsun@user/jinsun) (Killed (iridium.libera.chat (Nickname regained by services))) |
| 14:11:09 | jinsun_ | is now known as jinsun |
| 14:13:14 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
| 14:13:39 | × | end quits (~end@user/end/x-0094621) (Ping timeout: 255 seconds) |
| 14:13:40 | × | Nikopol quits (nikopol@user/astrorigin) (Quit: Bye!) |
| 14:13:50 | → | Nikopol joins (nikopol@user/astrorigin) |
| 14:14:52 | × | mmhat quits (~mmh@p200300f1c70b44daee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 14:15:14 | → | mmhat joins (~mmh@p200300f1c70b449aee086bfffe095315.dip0.t-ipconnect.de) |
| 14:17:30 | → | euleritian joins (~euleritia@dynamic-176-006-177-235.176.6.pool.telefonica.de) |
| 14:18:37 | → | end joins (~end@user/end/x-0094621) |
| 14:19:11 | → | yoo joins (~yo0O0o@130.105.162.42) |
| 14:22:55 | → | thegeekinside joins (~thegeekin@189.217.83.221) |
| 14:31:55 | × | jtza8 quits (~user@user/jtza8) (Ping timeout: 260 seconds) |
| 14:32:53 | → | kuribas` joins (~user@2a02:1808:4:5142:d283:8f22:e8ed:88fa) |
| 14:34:49 | × | kuribas quits (~user@2a02:1808:8a:e91f:a062:7ecd:d33:3185) (Ping timeout: 255 seconds) |
| 14:38:48 | × | danse-nr3 quits (~danse@151.43.238.22) (Ping timeout: 256 seconds) |
| 14:38:59 | × | yoo quits (~yo0O0o@130.105.162.42) (Ping timeout: 264 seconds) |
| 14:40:55 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 14:51:12 | → | yoo joins (~yo0O0o@130.105.162.42) |
| 14:54:19 | × | euleritian quits (~euleritia@dynamic-176-006-177-235.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 14:54:37 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 15:05:36 | → | k3ut0i joins (~keutoi@223.230.94.191) |
| 15:09:22 | <k3ut0i> | I'm using IntMap to count frequency of elements in a list. foldl (\m x -> insertWith (const (1+)) x 1 m) empty |
| 15:09:30 | <k3ut0i> | Is there any way to speed this up? |
| 15:09:58 | × | yoo quits (~yo0O0o@130.105.162.42) (Ping timeout: 256 seconds) |
| 15:11:04 | <dminuoso> | k3ut0i: You likely want foldl' at minimum. |
| 15:11:54 | <dminuoso> | To cause maximum confusion, we gave you `foldl` but forgot to tell you should probably not use it (most of the time). |
| 15:12:43 | <kuribas`> | k3ut0i: by not using IntMap? |
| 15:13:36 | <kuribas`> | maybe "map length . group . sort" |
| 15:13:48 | <dminuoso> | kuribas`: Another thing you could do is have an `IntMap (STRef Int)` and just mutate references instead. |
| 15:13:52 | <dminuoso> | Sorry, I meant k3ut0i. |
| 15:13:58 | <kuribas`> | > map length . group . sort [5, 2, 6, 4] |
| 15:13:59 | <lambdabot> | error: |
| 15:13:59 | <lambdabot> | • Couldn't match expected type ‘a -> [a1]’ with actual type ‘[a0]’ |
| 15:13:59 | <lambdabot> | • Possible cause: ‘sort’ is applied to too many arguments |
| 15:14:18 | <kuribas`> | > map length $ group $ sort [5, 2, 6, 4, 5, 4, 4] |
| 15:14:20 | <lambdabot> | [1,3,2,1] |
| 15:15:14 | <int-e> | k3ut0i: if you use foldl' and Data.IntMap.Strict that should avoid any buildup of thunks. |
| 15:15:16 | <kuribas`> | > map (\l -> (head l, length l)) $ group $ sort [5, 2, 6, 4, 5, 4, 4] |
| 15:15:18 | <lambdabot> | [(2,1),(4,3),(5,2),(6,1)] |
| 15:15:34 | <dminuoso> | But yeah, foldl is one of the biggest warts we have. |
| 15:15:36 | → | cheater_ joins (~Username@user/cheater) |
| 15:17:01 | × | cheater quits (~Username@user/cheater) (Ping timeout: 246 seconds) |
| 15:17:01 | cheater_ | is now known as cheater |
| 15:17:03 | × | cheater quits (~Username@user/cheater) (Read error: Connection reset by peer) |
| 15:17:48 | → | cheater_ joins (~Username@user/cheater) |
| 15:17:48 | cheater_ | is now known as cheater |
| 15:18:20 | × | jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 260 seconds) |
| 15:18:25 | × | Tisoxin quits (~Ikosit@user/ikosit) (Quit: The Lounge - https://thelounge.chat) |
| 15:18:58 | <int-e> | I'd habitually go with M.fromListWith (+) [(x,1) | x <- xs] but foldl' version could be better. Hard to see because it's a matter of compiler optimization (fusion kicking in). |
| 15:18:59 | → | Tisoxin joins (~Ikosit@user/ikosit) |
| 15:19:35 | → | mjs2600_ joins (~mjs2600@c-174-169-225-239.hsd1.vt.comcast.net) |
| 15:20:12 | × | mjs2600 quits (~mjs2600@c-174-169-225-239.hsd1.vt.comcast.net) (Ping timeout: 260 seconds) |
| 15:21:36 | → | waleee joins (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 15:22:12 | <k3ut0i> | foldl' and IntMap.Strict still not fast enough, will IntMap (STRef Int) be faster? |
| 15:23:03 | <dminuoso> | k3ut0i: Note that it would also be IntMap.Strit for STRef |
| 15:23:17 | <dminuoso> | k3ut0i: What order of magnitude is that map going to be? |
| 15:23:51 | <k3ut0i> | 200_000 elements, each < 10^9 |
| 15:23:51 | <kuribas`> | dminuoso: "for list". |
| 15:24:07 | <kuribas`> | because foldl could be sensible for other structures. |
| 15:24:11 | <kuribas`> | Like a SnocList. |
| 15:24:54 | <dminuoso> | kuribas`: Hold on, what do you mean by "each < 10^9"? |
| 15:25:01 | <dminuoso> | Sorry k3ut0i again. |
| 15:25:06 | <kuribas`> | k3ut0i: How fast is it? Do you compile or just ghci? |
| 15:25:06 | <dminuoso> | Tab completion went wrong. |
| 15:25:10 | <kuribas`> | no worries |
| 15:25:25 | → | xtabentun joins (uid491929@id-491929.tinside.irccloud.com) |
| 15:25:47 | <kuribas`> | Also, due to lazyness, you may be also timing the generation of the numbers, not the actual counting. |
| 15:25:49 | <int-e> | I don't think IntMap (STRef Int) will be faster unless you have *many* duplicates. |
| 15:25:49 | <dminuoso> | k3ut0i: I would expect STRef to perform somewhat better because you will have less allocations in a tight loop going on. |
| 15:27:05 | <k3ut0i> | compiling... I'm doing a competition. It's timing out only when most of the numbers are different. So default insertions rather than updates. |
| 15:27:18 | <dminuoso> | k3ut0i: One optimization step that comes to mind is doing a sort of pre-sort step. |
| 15:27:25 | <dminuoso> | Not necessarily full sort. |
| 15:27:58 | <dminuoso> | k3ut0i: See https://hackage.haskell.org/package/containers-0.7/docs/Data-IntMap-Strict.html#v:insertWith performance notes |
| 15:28:06 | <int-e> | If you involve ST, mutable data structures become a serious option... https://hackage.haskell.org/package/hashtables has a few ST based ones (what package do people use for hashtables?) |
| 15:28:40 | <dminuoso> | unordered-containers is popular |
| 15:28:50 | <int-e> | If you do a full pre-sort then I'd expect group . sort to be better. |
| 15:29:15 | <int-e> | but unordered-containers is persistent |
| 15:29:35 | → | erisco_ joins (~erisco@d24-141-66-165.home.cgocable.net) |
| 15:29:41 | × | erisco quits (~erisco@d24-141-66-165.home.cgocable.net) (Ping timeout: 252 seconds) |
| 15:29:45 | erisco_ | is now known as erisco |
| 15:29:45 | <dminuoso> | Im starting to think that an IntMap is not going to give you good performance characteristics, because you are re-doing work on each insert. |
| 15:32:51 | <int-e> | I'd seriously consider stuffing the numbers into an unboxed vector, sorting that, and then collect the groups (which may or may not exist in the vector package) |
| 15:33:35 | <dminuoso> | Mmm yeah, thats not a bad idea. The biggest price point for this kind of algorithm in regular idiomatic haskell is going to be memory indirections |
| 15:33:49 | <dminuoso> | With an unboxed vector you can leverage locality of cache some |
| 15:38:15 | × | Square3 quits (~Square4@user/square) (Ping timeout: 255 seconds) |
| 15:39:11 | <dminuoso> | Honestly the more you approach this, the less haskelly this becomes. |
| 15:39:26 | <k3ut0i> | dminuoso: by "each < 10^9" I meant each integer is bound by 10^9. If it was around 10^5, I would've used a mutable array. |
| 15:39:36 | <dminuoso> | Once you're doing an unboxed vector, you might as well use a mutable inplace sort |
| 15:39:57 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds) |
| 15:40:25 | <dminuoso> | And this eventually becomes a race for locality of reference and tight loops, your code will start looking more and more like C/Rust/whatever. |
| 15:41:49 | → | euleritian joins (~euleritia@dynamic-176-006-177-235.176.6.pool.telefonica.de) |
| 15:45:27 | × | euleritian quits (~euleritia@dynamic-176-006-177-235.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 15:46:42 | <dminuoso> | k3ut0i: So for maximum speed you could implement https://ieeexplore.ieee.org/document/8213187 using https://hackage.haskell.org/package/ghc-prim-0.11.0/docs/GHC-Prim.html#g:42 |
| 15:47:17 | <dminuoso> | Then just do that SIMD powered quicksort on a ByteArray#, and then write a tight loop counting consecutive elements on that. |
| 15:47:25 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 15:47:43 | <dminuoso> | (Needs LLVM available, of course) |
| 15:56:23 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 15:56:52 | <kuribas`> | k3ut0i: most of the leetcode style problems only require you to have the right complexity. |
| 15:57:19 | <kuribas`> | k3ut0i: Maybe this problem could be done in O(n)? |
| 15:58:12 | <kuribas`> | For example with dynamic programming? |
| 15:58:15 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 260 seconds) |
| 15:59:55 | × | notzmv quits (~daniel@user/notzmv) (Ping timeout: 256 seconds) |
| 16:00:58 | → | euleritian joins (~euleritia@dynamic-176-006-177-235.176.6.pool.telefonica.de) |
| 16:01:32 | <k3ut0i> | If h is the intmap, the answer is exactly: h 1 * h 2 + sum (map (\x -> x * (x - 1)/2) (elems h)) |
| 16:02:54 | <kuribas`> | So you only need to know the two most frequent elements? |
| 16:02:58 | <k3ut0i> | So only if we can create h in O(n) |
| 16:03:12 | <kuribas`> | That can be done in O(n) |
| 16:03:59 | <kuribas`> | ah no, you need all frequencies... |
| 16:04:02 | <int-e> | that is... number of equal pairs when treating 1 and 2 as equal? |
| 16:04:36 | <int-e> | (I'm trying to understand the h 1 * h 2 part) |
| 16:04:45 | <k3ut0i> | (h 1) is the frequency of 1 |
| 16:05:25 | <k3ut0i> | for all frequencies f, sum f*(f-1)/2. then sum (frequency of 1)*(frequency of 2) |
| 16:07:03 | <int-e> | so you also count pairs of 1s and 2s in either order, so effectively you're treating 1 and 2 as equal. |
| 16:08:07 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 16:10:22 | → | danse-nr3 joins (~danse@151.47.247.148) |
| 16:11:40 | <kuribas`> | Anyway, an unboxed vector would be an order of magnitude faster than an IntMap. |
| 16:14:09 | <k3ut0i> | I cant use additional packages :( |
| 16:14:25 | × | Ram-Z quits (~Ram-Z@li1814-254.members.linode.com) (Ping timeout: 246 seconds) |
| 16:14:32 | <kuribas`> | vector is not included? |
| 16:14:58 | → | Ram-Z joins (~Ram-Z@li1814-254.members.linode.com) |
| 16:15:17 | phaazon | is now known as hadronized |
| 16:15:18 | <k3ut0i> | I don't think so. haskell has been pretty good for CP, but I always get stuck when it comes to hashing things. |
| 16:15:26 | <EvanR> | copy and paste all the code from vector into your code xD |
| 16:15:32 | <EvanR> | look ma, no additional packages |
| 16:16:16 | <kuribas`> | I mean, Vector is pretty standard haskell. Python comes with everything and the kitchen sink included, it's silly to not allow Vector. |
| 16:16:43 | <EvanR> | is this challenge like, do numeric python without numpy |
| 16:16:50 | <int-e> | kuribas`: how else do you make Haskell look bad ;-) |
| 16:18:28 | <int-e> | k3ut0i: out of curiosity, what ghc version are they using? |
| 16:18:36 | <int-e> | . o O ( 6.8.3 ) |
| 16:18:52 | <k3ut0i> | 8.10.1 |
| 16:19:30 | <int-e> | yeah, not super ancient but old enough to suggest that they don't care |
| 16:19:30 | × | a51 quits (a51@gateway/vpn/protonvpn/a51) (Quit: WeeChat 4.2.1) |
| 16:20:29 | <EvanR> | if you have a sparse array of size 10^9 you could implement it using an anonymous mmap and rely on the OS to not actually allocated the vast gaps between entries |
| 16:20:39 | <EvanR> | maybe |
| 16:21:36 | <int-e> | I was wondering how the sparse array trick would perform here. But you'd have *two* arrays of size 10^9. |
| 16:21:38 | <k3ut0i> | yeah, the number of entries is 2*10^5. |
| 16:22:19 | <int-e> | So any hope of locality would be lost. |
| 16:23:43 | × | gaze__ quits (sid387101@helmsley.irccloud.com) (Ping timeout: 256 seconds) |
| 16:24:57 | <kuribas`> | 200000 is not that much |
| 16:26:17 | <kuribas`> | "maximum $ sort $ take 200000 $ cycle [3, 9, 3, 5, 1]" takes a fraction of a second, in GHCI, not even compiled. |
| 16:27:12 | → | gaze__ joins (sid387101@id-387101.helmsley.irccloud.com) |
| 16:27:15 | <kuribas`> | The whole thing should run in a few milliseconds. |
| 16:29:57 | × | euleritian quits (~euleritia@dynamic-176-006-177-235.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 16:30:14 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 16:34:15 | → | tzh joins (~tzh@c-73-164-206-160.hsd1.or.comcast.net) |
| 16:35:48 | × | hololeap quits (~quassel@user/hololeap) (Ping timeout: 260 seconds) |
| 16:36:23 | × | euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 16:36:29 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.1.1) |
| 16:42:56 | <k3ut0i> | both IntMap and group . sort are working for smaller numbers. Keeping the number of elements at 200_000, when elements are at 10^3 and even 10^5 range, the time is < 1s. But at 10^9 range, I'm getting around 1.4secs. So I just need to shave off a little. |
| 16:48:40 | → | ph88^ joins (~ph88@2a02:8109:9e26:c800:ebb2:8a16:2d0a:f29) |
| 16:49:36 | <ph88^> | i have a stack.yaml pointing to LTS 14.27 when i type stack path i see it pointing to the ghcup 9.6.4 compiler. How can i get it to switch to the right compiler version ? |
| 16:50:05 | <haskellbridge> | <maerwald> do you have system-ghc enabled? |
| 16:50:13 | × | igemnace quits (~ian@user/igemnace) (Quit: WeeChat 4.2.1) |
| 16:50:49 | <ph88^> | not sure, it's my first time using ghcup |
| 16:51:26 | → | euphores joins (~SASL_euph@user/euphores) |
| 16:52:30 | × | waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 255 seconds) |
| 16:55:22 | × | Achylles quits (~Achylles_@45.182.57.81) (Remote host closed the connection) |
| 16:55:26 | <ph88^> | @maerwald i set system-ghc false and install-ghc also false as per https://www.haskell.org/ghcup/guide/#stack-integration |
| 16:55:26 | <lambdabot> | Unknown command, try @list |
| 16:55:30 | <ph88^> | maerwald i set system-ghc false and install-ghc also false as per https://www.haskell.org/ghcup/guide/#stack-integration |
| 16:57:54 | × | CiaoSen quits (~Jura@2a05:5800:2c5:c300:e6b9:7aff:fe80:3d03) (Ping timeout: 255 seconds) |
| 17:01:16 | → | a51 joins (a51@gateway/vpn/protonvpn/a51) |
| 17:04:15 | × | ubert quits (~Thunderbi@2a02:8109:ab8a:5a00:7702:da98:c9d3:8474) (Remote host closed the connection) |
| 17:05:35 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 17:07:20 | → | raym joins (~ray@user/raym) |
| 17:08:05 | <ph88^> | when i use the --compiler flag it works, but with stack.yaml it doesn't pick up the right compiler version :( |
| 17:10:16 | <ph88^> | also using the wrong package set 22.11 instead of specified 14.27 ... seems that stack and stack.yaml is completely broken |
| 17:12:18 | → | econo_ joins (uid147250@id-147250.tinside.irccloud.com) |
| 17:13:32 | × | a51 quits (a51@gateway/vpn/protonvpn/a51) (Quit: WeeChat 4.2.1) |
| 17:17:07 | × | machinedgod quits (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 17:17:42 | → | a51 joins (a51@gateway/vpn/protonvpn/a51) |
| 17:17:59 | → | dom0 joins (~u0_a202@47.60.32.187) |
| 17:18:27 | × | michalz quits (~michalz@185.246.207.215) (Quit: ZNC 1.8.2 - https://znc.in) |
| 17:22:31 | → | billchenchina joins (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) |
| 17:22:40 | × | dom0 quits (~u0_a202@47.60.32.187) (Quit: WeeChat 4.2.1) |
| 17:26:12 | × | erisco quits (~erisco@d24-141-66-165.home.cgocable.net) (Ping timeout: 260 seconds) |
| 17:26:35 | → | erisco joins (~erisco@d24-141-66-165.home.cgocable.net) |
| 17:29:42 | × | kuribas` quits (~user@2a02:1808:4:5142:d283:8f22:e8ed:88fa) (Remote host closed the connection) |
| 17:31:01 | × | erisco quits (~erisco@d24-141-66-165.home.cgocable.net) (Ping timeout: 256 seconds) |
| 17:31:20 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 17:36:15 | → | erisco joins (~erisco@d24-141-66-165.home.cgocable.net) |
| 17:42:16 | <haskellbridge> | <sm> @where paste the full `stack path` output if you like ? |
| 17:43:55 | × | a51 quits (a51@gateway/vpn/protonvpn/a51) (Quit: WeeChat 4.2.1) |
| 17:44:28 | <sm> | @where paste |
| 17:44:29 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
| 17:59:34 | → | mud joins (~mud@user/kadoban) |
| 18:03:46 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 18:04:58 | × | billchenchina quits (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Quit: Leaving) |
| 18:05:23 | → | vissa joins (~vissa@37.214.75.124) |
| 18:05:27 | → | Square joins (~Square@user/square) |
| 18:07:34 | <vissa> | yo |
| 18:07:38 | <ph88^> | @sm, https://github.com/commercialhaskell/stack/issues/6490 |
| 18:07:38 | <lambdabot> | Source not found. Whoa. |
| 18:07:40 | <ph88^> | sm, https://github.com/commercialhaskell/stack/issues/6490 |
| 18:07:44 | <ph88^> | yo vissa |
| 18:07:56 | <vissa> | so um |
| 18:07:58 | <vissa> | [Running] runghc "d:\Projects\Coding\Haskell\HelloWorld\hello.hs" |
| 18:07:58 | <vissa> | Hello, Worldskell |
| 18:07:59 | <vissa> | [Done] exited with code=0 in 5.942 seconds |
| 18:08:19 | <vissa> | 6 seconds to interpret? did i install something wrong? lol |
| 18:08:42 | <ph88^> | it's compiled right, try with ghci to interpret |
| 18:08:56 | <ph88^> | also check compiler flags use -O0 for fasted compilation |
| 18:09:04 | <ph88^> | fastest * |
| 18:09:05 | × | euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 18:09:11 | → | cheater_ joins (~Username@user/cheater) |
| 18:09:34 | × | danse-nr3 quits (~danse@151.47.247.148) (Ping timeout: 246 seconds) |
| 18:09:45 | → | michalz joins (~michalz@185.246.207.221) |
| 18:09:45 | <geekosaur> | runghc is interpreted |
| 18:10:10 | <haskellbridge> | <Jade> doesn't runghc just invoke ghci under the hood |
| 18:10:11 | <geekosaur> | and the intepreter is not at all optimized in any sense |
| 18:10:18 | <geekosaur> | essentially yes |
| 18:10:20 | → | notzmv joins (~daniel@user/notzmv) |
| 18:10:47 | → | euphores joins (~SASL_euph@user/euphores) |
| 18:13:25 | × | cheater quits (~Username@user/cheater) (Ping timeout: 268 seconds) |
| 18:13:27 | cheater_ | is now known as cheater |
| 18:14:51 | <vissa> | ah i see |
| 18:15:11 | <vissa> | ghci> :script hello.hs |
| 18:15:12 | <vissa> | ghci> main |
| 18:15:12 | <vissa> | Hello, Worldskell |
| 18:15:13 | <vissa> | ^ this was almost instantaneous |
| 18:15:19 | × | michalz quits (~michalz@185.246.207.221) (Quit: ZNC 1.8.2 - https://znc.in) |
| 18:15:43 | <mauke> | also, windows is just slow at spawning programs |
| 18:15:45 | × | Square quits (~Square@user/square) (Ping timeout: 255 seconds) |
| 18:16:02 | <vissa> | gotchu |
| 18:20:26 | × | vissa quits (~vissa@37.214.75.124) (Quit: Connection closed) |
| 18:26:17 | × | euphores quits (~SASL_euph@user/euphores) (Read error: Connection reset by peer) |
| 18:31:11 | × | rvalue quits (~rvalue@user/rvalue) (Ping timeout: 264 seconds) |
| 18:31:15 | <sm> | ph88^ it seems odd alright. Perhaps add some debug logging to ~/.stack/hooks/ghc-install.sh ? |
| 18:31:36 | <ph88^> | sm, what kind of debug logging ? |
| 18:32:01 | <sm> | printing some of those vars to see what it's doing |
| 18:32:37 | <sm> | or set -eux, maybe |
| 18:34:56 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 18:35:07 | → | hololeap joins (~quassel@user/hololeap) |
| 18:35:35 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 18:35:45 | → | euphores joins (~SASL_euph@user/euphores) |
| 18:36:17 | <sm> | aside: did you ever successfully build this with ghc 8.6.5 ? eg with cabal ? |
| 18:36:34 | <ph88^> | sm, ghc_path: parameter not set |
| 18:36:48 | <ph88^> | sm no this is the first time i will try to build it |
| 18:37:16 | <sm> | for the second issue, some bug witih 8.6.5 is very possible |
| 18:37:27 | → | alexherbo2 joins (~alexherbo@2a02-8440-3340-eded-49c3-0dbb-2c98-8f25.rev.sfr.net) |
| 18:37:28 | <sm> | you could try with cabal to see |
| 18:37:40 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 18:37:47 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
| 18:38:08 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 18:38:39 | <ph88^> | sm that about ghc_path i put the echo in the wrong place so ignore that ^^ |
| 18:38:58 | → | rvalue joins (~rvalue@user/rvalue) |
| 18:40:42 | <ph88^> | sm, with cabal it works it seems (although different source for tree-sitter package) |
| 18:40:57 | × | dcoutts quits (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 255 seconds) |
| 18:42:47 | → | dcoutts joins (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 18:44:44 | <sm> | what's $HOOK_GHC_VERSION in ghc-install.sh ? |
| 18:45:12 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 18:50:25 | → | cheater_ joins (~Username@user/cheater) |
| 18:52:15 | <ph88^> | sm, 8.6.5 |
| 18:52:34 | <sm> | and this output ?: ghcup whereis --directory ghc 8.6.5 || ghcup run --ghc 8.6.5 --install |
| 18:52:58 | <ph88^> | ghcup whereis --directory ghc 8.6.5 /home/flip111/.ghcup/ghc/8.6.5/bin |
| 18:54:27 | × | cheater quits (~Username@user/cheater) (Ping timeout: 255 seconds) |
| 18:54:31 | cheater_ | is now known as cheater |
| 18:54:53 | <sm> | a mystery! maybe strace can show what other config/cache files it's looking at |
| 18:57:20 | <sm> | or an older/newer stack version behaves differently |
| 18:57:56 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 19:02:36 | × | euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 19:05:00 | <ph88^> | sm i changed the formatting of the cabal file, recompiled and it went to the right compiler, then i put the cabal file back how it was and still the problem of wrong compiler version was resolved |
| 19:06:06 | <sm> | huh.. do you have a package.yaml file ? |
| 19:08:21 | → | julie_pilgrim joins (~julie_pil@user/julie-pilgrim/x-1240752) |
| 19:08:28 | <ph88^> | no only cabal file |
| 19:09:10 | <sm> | weird.. well glad you got it worked around |
| 19:10:09 | → | misterfish joins (~misterfis@84.53.85.146) |
| 19:18:05 | <ph88^> | it's still borked in another directory. I will compile stack itself with a few debug statements |
| 19:20:16 | <sm> | The gods approve! You feel stronger! |
| 19:20:47 | <sm> | latest stack version I guess |
| 19:22:36 | → | euphores joins (~SASL_euph@user/euphores) |
| 19:24:56 | → | cheater_ joins (~Username@user/cheater) |
| 19:25:25 | × | alexherbo2 quits (~alexherbo@2a02-8440-3340-eded-49c3-0dbb-2c98-8f25.rev.sfr.net) (Remote host closed the connection) |
| 19:26:55 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 19:29:16 | × | cheater quits (~Username@user/cheater) (Ping timeout: 268 seconds) |
| 19:29:22 | cheater_ | is now known as cheater |
| 19:31:37 | × | misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 264 seconds) |
| 19:33:13 | → | cheater_ joins (~Username@user/cheater) |
| 19:35:49 | × | cheater quits (~Username@user/cheater) (Ping timeout: 256 seconds) |
| 19:35:59 | cheater_ | is now known as cheater |
| 19:36:06 | × | TimWolla quits (~timwolla@2a01:4f8:150:6153:beef::6667) (Quit: Bye) |
| 19:40:47 | × | dcoutts quits (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 256 seconds) |
| 19:41:32 | → | TimWolla joins (~timwolla@2a01:4f8:150:6153:beef::6667) |
| 19:45:41 | × | zer0bitz quits (~zer0bitz@user/zer0bitz) (Ping timeout: 240 seconds) |
| 19:47:38 | → | apricot joins (uid581388@id-581388.ilkley.irccloud.com) |
| 19:48:47 | <apricot> | hello |
| 19:48:54 | <geekosaur> | hi |
| 19:49:22 | <apricot> | how is it going geekosaur? |
| 19:49:24 | × | todi quits (~todi@p4fd1a2f5.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 19:50:17 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 19:50:17 | <apricot> | i came here to ask how you guys would solve this problem #1 of project euler: "Find the sum of all the multiples of 3 or 5 below 1000 |
| 19:50:35 | <apricot> | this is what i did but i am interested to see other approaches https://paste.rs/VhADH |
| 19:51:36 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 19:52:24 | <mauke> | p x = x `rem` 3 == 0 || x `rem` 5 == 0 |
| 19:53:29 | × | hgolden quits (~hgolden@2603-8000-9d00-3ed1-2678-8497-aa5c-7fa9.res6.spectrum.com) (Remote host closed the connection) |
| 19:53:32 | × | julie_pilgrim quits (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection) |
| 19:53:47 | <monochrom> | That's (sum of multiples of 3 below 1000) + (sum of multiples of 5 below 1000) - (sum of multiples of 15 below 1000) |
| 19:54:11 | → | julie_pilgrim joins (~julie_pil@user/julie-pilgrim/x-1240752) |
| 19:54:21 | × | julie_pilgrim quits (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection) |
| 19:54:43 | <mauke> | ah, the slow approach |
| 19:54:50 | <monochrom> | Multiples of 3 below 1000 are 0, 3, 9, ..., 999. I.e., 3*0, 3*1, ... ,3*333. |
| 19:55:08 | <monochrom> | You know how to do "sum of 1 to 333". Just multiply that by 3. |
| 19:55:15 | <monochrom> | Similarly of "5" and "15". |
| 19:55:22 | <mauke> | > 3 * sum [1 .. 333] |
| 19:55:24 | <lambdabot> | 166833 |
| 19:55:46 | <int-e> | > let f d = (999 - 999 `mod` d)*(1 + 999 `div` d) in (f 3 + f 5 - f 15) `div` 2 |
| 19:55:47 | <lambdabot> | 233168 |
| 19:55:53 | → | hgolden joins (~hgolden@2603-8000-9d00-3ed1-2678-8497-aa5c-7fa9.res6.spectrum.com) |
| 19:56:35 | <monochrom> | ans = 3 * s 333 + 5 * s 199 - 15 * s 66 where s n = div (n*(n+1)) 2 |
| 19:56:47 | → | peterbecich joins (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 19:57:31 | <monochrom> | This takes only O(1) time. |
| 19:57:53 | <int-e> | meaningless big O notation, yay |
| 19:57:58 | <c_wraith> | it only takes O(1) time anyway, since the bounds are fixed... |
| 19:58:05 | <c_wraith> | there is no n to scale with! |
| 19:58:13 | <monochrom> | Well yeah we need to up the game. |
| 19:58:16 | <mauke> | the constants are better in apricot's solution |
| 19:58:24 | <mauke> | because you don't have to use algebra first |
| 19:58:28 | <monochrom> | Find the sum of all even primes below 10^100. |
| 19:58:32 | → | a51 joins (a51@gateway/vpn/protonvpn/a51) |
| 19:58:48 | <c_wraith> | then your solution isn't O(1) either, because multiplication isn't |
| 19:58:53 | <int-e> | monochrom: 0 :-P |
| 19:58:57 | <mauke> | 2 |
| 19:59:04 | <int-e> | -2 + 2 = 0 |
| 19:59:16 | <mauke> | negaprimes? that's not legal |
| 19:59:17 | <monochrom> | :( :) |
| 19:59:36 | <apricot> | haha |
| 19:59:40 | <mauke> | otherwise you can't uniquely factor anymore |
| 19:59:52 | <int-e> | mauke: you still can, up to units |
| 20:00:05 | <int-e> | which is how you do it in rings (cf. unique factoring domains) |
| 20:00:12 | <monochrom> | Ring theory settles for what int-e said about units. |
| 20:00:21 | <mauke> | > sum [n | n <- [1 .. 10^100], n == 2] |
| 20:00:28 | <lambdabot> | mueval-core: Time limit exceeded |
| 20:01:11 | <monochrom> | I just want to demonstrate concretely that Project Euler is where you hone number theory not programming. |
| 20:02:06 | <mauke> | speak for yourself |
| 20:02:17 | <mauke> | project euler is where I practice brute force solutions |
| 20:02:28 | <apricot> | ah cool to know |
| 20:02:34 | <apricot> | i just found out about it and about haskell too |
| 20:02:57 | <monochrom> | In later questions, most brute force solutions will time out. |
| 20:03:02 | <int-e> | mauke: but a lot of the problems require theory and brute force to be solved in reasonable time without massive parallelization |
| 20:03:23 | <int-e> | this won't be evident in the first 100 or so |
| 20:03:27 | <mauke> | >:) |
| 20:03:54 | <monochrom> | I would prefer it if they started with s/1000/10^1000/ for example. |
| 20:03:57 | <mauke> | it's a good opportunity to learn about persistent state and resumable computations |
| 20:04:01 | × | k3ut0i quits (~keutoi@223.230.94.191) (Ping timeout: 256 seconds) |
| 20:04:08 | <monochrom> | ugh haha |
| 20:04:19 | <int-e> | ...right |
| 20:04:22 | <apricot> | well i think for me one is enough for today ;) goodnight guys |
| 20:05:51 | <int-e> | mauke: maybe you could apply that expertise to find an MD5 collision that breaks Data.Typeable (the standard techniques don't apply because it's hashing highly constrained data, UTF-32 strings with identifier legal characters), so it would have to be a generic attack with ~2^64 hashes. |
| 20:06:02 | <monochrom> | I seriously think on April 1st we should hack the PE website and post my even prime problem and watch the script kiddies of the world burn. |
| 20:06:45 | <int-e> | monochrom: we already have bitcoin for that though |
| 20:06:49 | <mauke> | 10^1000 is what I call Big Data |
| 20:06:50 | <monochrom> | Because they would seriously try to find all primes below 10^100 and they would actually hope that "gcc -O10" would have a chance. |
| 20:06:57 | <int-e> | monochrom: and LLMs |
| 20:07:02 | <monochrom> | haha OK |
| 20:08:36 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 20:09:26 | → | misterfish joins (~misterfis@84.53.85.146) |
| 20:10:04 | × | peterbecich quits (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
| 20:15:21 | → | cheater_ joins (~Username@user/cheater) |
| 20:16:37 | × | cheater quits (~Username@user/cheater) (Ping timeout: 256 seconds) |
| 20:16:46 | cheater_ | is now known as cheater |
| 20:24:10 | → | dcoutts joins (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 20:27:09 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 20:30:11 | × | mud quits (~mud@user/kadoban) (Ping timeout: 272 seconds) |
| 20:30:33 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 20:31:18 | → | euleritian joins (~euleritia@77.22.252.56) |
| 20:37:37 | × | misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 264 seconds) |
| 20:40:57 | → | ft joins (~ft@p508db2e6.dip0.t-ipconnect.de) |
| 20:41:11 | × | Natch quits (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Remote host closed the connection) |
| 20:45:32 | × | mmhat quits (~mmh@p200300f1c70b449aee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 4.2.1) |
| 20:46:10 | → | Natch joins (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
| 20:58:44 | → | zer0bitz joins (~zer0bitz@user/zer0bitz) |
| 21:03:57 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 21:07:47 | × | _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 21:10:54 | × | cheater quits (~Username@user/cheater) (Read error: Connection reset by peer) |
| 21:11:26 | → | cheater joins (~Username@user/cheater) |
| 21:14:32 | × | xtabentun quits (uid491929@id-491929.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 21:18:26 | → | cheater_ joins (~Username@user/cheater) |
| 21:22:37 | × | cheater quits (~Username@user/cheater) (Ping timeout: 264 seconds) |
| 21:22:42 | cheater_ | is now known as cheater |
| 21:31:11 | × | euleritian quits (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
| 21:31:52 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 21:38:08 | × | synchromesh quits (~synchrome@2407:7000:aa2d:4e00:9cf7:efcb:5efd:a99) (Read error: Connection reset by peer) |
| 21:39:01 | → | synchromesh joins (~synchrome@2407:7000:aa2d:4e00:9cf7:efcb:5efd:a99) |
| 21:40:27 | × | lambdabot quits (~lambdabot@haskell/bot/lambdabot) (Remote host closed the connection) |
| 21:40:54 | → | lambdabot joins (~lambdabot@silicon.int-e.eu) |
| 21:40:54 | × | lambdabot quits (~lambdabot@silicon.int-e.eu) (Changing host) |
| 21:40:54 | → | lambdabot joins (~lambdabot@haskell/bot/lambdabot) |
| 21:40:54 | ChanServ | sets mode +v lambdabot |
| 21:42:37 | × | int-e quits (~noone@int-e.eu) (Remote host closed the connection) |
| 21:43:26 | → | int-e joins (~noone@int-e.eu) |
| 21:44:20 | × | turlando quits (~turlando@user/turlando) (Remote host closed the connection) |
| 21:45:36 | → | turlando joins (~turlando@user/turlando) |
| 21:48:56 | → | michalz joins (~michalz@185.246.207.222) |
| 21:49:36 | → | peterbecich joins (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 21:52:49 | → | Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 21:53:04 | → | jmorris joins (uid604645@id-604645.hampstead.irccloud.com) |
| 22:00:13 | × | peterbecich quits (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds) |
| 22:06:50 | → | waleee joins (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 22:07:33 | × | michalz quits (~michalz@185.246.207.222) (Quit: ZNC 1.8.2 - https://znc.in) |
| 22:10:32 | × | hgolden quits (~hgolden@2603-8000-9d00-3ed1-2678-8497-aa5c-7fa9.res6.spectrum.com) (Remote host closed the connection) |
| 22:13:02 | → | hgolden joins (~hgolden@2603-8000-9d00-3ed1-2678-8497-aa5c-7fa9.res6.spectrum.com) |
| 22:14:27 | → | cheater_ joins (~Username@user/cheater) |
| 22:16:33 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 22:16:40 | × | apricot quits (uid581388@id-581388.ilkley.irccloud.com) (Quit: Connection closed for inactivity) |
| 22:18:51 | × | cheater quits (~Username@user/cheater) (Ping timeout: 268 seconds) |
| 22:18:54 | cheater_ | is now known as cheater |
| 22:27:15 | → | sroso joins (~sroso@user/SrOso) |
| 22:33:24 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 22:39:20 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 22:42:02 | → | cheater_ joins (~Username@user/cheater) |
| 22:46:12 | × | cheater quits (~Username@user/cheater) (Ping timeout: 255 seconds) |
| 22:46:12 | × | acidjnk quits (~acidjnk@p200300d6e737e789f1d9672538a89ef2.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 22:46:18 | cheater_ | is now known as cheater |
| 22:47:29 | × | natechan quits (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 22:59:49 | × | coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 23:04:18 | → | mud joins (~mud@user/kadoban) |
| 23:04:22 | → | todi joins (~todi@p4fd1a2f5.dip0.t-ipconnect.de) |
| 23:06:04 | × | mulk quits (~mulk@pd9514f6d.dip0.t-ipconnect.de) (Quit: ZNC - http://znc.in) |
| 23:06:56 | → | mulk joins (~mulk@pd9514f6d.dip0.t-ipconnect.de) |
| 23:07:50 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 23:26:57 | → | acidjnk joins (~acidjnk@p200300d6e737e731796c591da436d74b.dip0.t-ipconnect.de) |
| 23:35:04 | × | ACuriousMoose quits (~ACuriousM@142.166.18.53) (Quit: The Lounge - https://thelounge.chat) |
| 23:58:28 | → | cheater_ joins (~Username@user/cheater) |
All times are in UTC on 2024-02-21.