07:00 <tankf33der> Morning all

07:00 <tankf33der> https://rosettacode.org/wiki/Priority_queue

07:00 <tankf33der> Thinking about my version

07:03 <abu[m]> Good morning tankf33der!

07:04 <abu[m]> I would probably use 'enum' instead of 'idx' now. You have another idea?

07:33 <tankf33der> Yeah, idx looks strange here.

07:33 <tankf33der> I am thinking about use insert function on flat simple list

07:34 <tankf33der> i do understand how to INSERT in the middle in enum

08:33 <tankf33der> I meant i do Not understand how to insert

09:06 <abu[m]> I would say similar to 'idx'

09:06 <abu[m]> with a key with a middle value

10:52 <tankf33der> http://ix.io/4jLx

11:19 <abu[m]> Sorry, was on phone. Looks good I think!

11:21 <abu[m]> Instead of insert and for, perhaps 'seek' and 'append is easier?

11:22 <abu[m]> (let C ...) is not needed if you do (for (C . L) (val Q) ...

11:29 <abu[m]> Hmm, no, the 'let' is needed.

11:37 <tankf33der> yeah, tricky.

11:38 <abu[m]> ☺

20:14 <cess11> hey

20:15 <abu[m]> Hi cess11

20:15 <cess11> seems pentikeyboard broke with a recent update, it renders constantly

20:15 <cess11> android 10

20:16 <abu[m]> Oh! I released a fix cause it did not work on Android 13

20:16 <cess11> it opens when switching applications and sometimes stops opening when entering a text field

20:16 <abu[m]> I tested on Android 11

20:17 <abu[m]> Is it the release from 24th of December?

20:17 <abu[m]> I made another release today, because the back button did not close it

20:17 <cess11> i think so, been like this for a couple of days or so

20:18 <abu[m]> I *hate* Android

20:18 <abu[m]> It did not work on Android 13, pehaps a bug in Android 13

20:19 <cess11> also hate it but i'm addicted to termux and penti so no real alternative

20:19 <abu[m]> (at least the guys on #android-dev said so

20:20 <abu[m]> Can you wait a few days to see if today's release improves anything?

20:20 <cess11> but then i'll wait for today's update to roll out and see

20:20 <cess11> yeah sure

20:21 <abu[m]> Thanks for the info!

20:24 <cess11> took a while to realise it was penti itself and not discord or some other crapware that was causing the issues, it's been really, really solid for years

20:30 <abu[m]> I see

20:32 <abu[m]> If today's release also fails, I will build a version from the previous sources and make it available separately

20:38 <cess11> thanks, in that case that'd be sweet

20:54 <abu[m]> Oh, I can see that today's release is already in PlayStore

20:59 <abu[m]> I installed on my old Android 7 tablet. Works, but behaves strangely. I keeps popping up even if closed with F-Q

21:02 <cess11> sounds similar to the issue i'm having

21:02 <abu[m]> yeah

21:03 <abu[m]> "renders constantly" in a penetrant way

21:04 <abu[m]> The only way to get rid of it is F-Q, but at the next focus change it pops up again

21:05 <abu[m]> Strange. On Android 11 and 13 it works perfectly

21:09 <cess11> yep, that's it. also pops up when i open the camera without disabling screen lock

21:10 <cess11> interestingly the os actually tries to use the input from penti even if there's no text field so it renders a border around some button when i press space

21:11 <abu[m]> right