| 03:07 | <TimothyGu> | Sometimes I think the algorithms for async iteration etc. need a machine-checked proof for consistency |
| 03:07 | <TimothyGu> | The human mind is yet too weak |
| 03:08 | <TimothyGu> | Or maybe just my mind |
| 03:11 | <TimothyGu> | That would sound like a cool intern project hmm |
| 05:04 | <annevk> | TimothyGu: thatād be cool for all algorithms š |
| 05:10 | <mitchell> | [ANN] Come use The Speakeasy Solution Stack Rust engine: Torchbear for fast, safe, simple, and completeĀ® scripting |
| 05:10 | <mitchell> | https://github.com/naturallymitchell/announcements/issues/1 |
| 14:20 | <ondras> | so, is there a way to find out whether a randomly encountered <script> is already loaded? even if its onload was alteady executed, i.e. i am visiting it post-load? |
| 14:20 | <ondras> | *already |