IRC channel logs


back to list of logs

<nalaginrut>morning guilers~
***michel_mno_afk is now known as michel_mno
<civodul>Hello Guilers!
<dsmith-work>Monday Greetings, Guilers
<davexunit>is there any built-in procedure for reading an unsigned integer from a bytevector starting at an arbitrary starting byte?
<sneek>davexunit, you have 3 messages.
<sneek>davexunit, zacts says: check the backlogs I left you a message about how to avoid an issue with J-Bob, the little prover assistant .scm code
<sneek>davexunit, zacts says: this would have been at around 03:20 AM Eastern Time in the USA
<sneek>davexunit, paroneayea says: article you might find interesting, for Sly reasons and etc
<davexunit>bytevector-uint-ref takes an 'index' argument, which is not an arbitrary byte index.
<davexunit>actually, seems I was wrong. :)
<davexunit>my code works. thanks rubber duck.
<nalaginrut>davexunit: oh nice~
***rlb` is now known as rlb
***dje is now known as xdje
***michel_mno is now known as michel_mno_afk