triallax changed the topic of #numbat to: The Official Numbat channel https://numbat.dev | This channel is publicly logged at https://libera.irclog.whitequark.org/numbat | Please read https://workaround.org/getting-help-on-irc/ if you're new to IRC!
Charbot9000 has quit [Remote host closed the connection]
Charbot9000 has joined #numbat
<achin> the irc bot now has basic support for runtime reloading of the numbat module (without having to restart the bot). this is implemented by compiling numbat to a wasm component and having wasmtime linked into the bot
sharkdp has joined #numbat
<sharkdp> achin: That is really cool
<sharkdp> Would be interested in the code for this. Haven't seen it on https://github.com/eminence/anna/ yet
triallax has quit [Remote host closed the connection]
triallax has joined #numbat
<achin> sharkdp: i just pushed a commit
<achin> the other half of this is a small crate that builds numbat as a wasm component. this code isn't on github, but you can see it here: https://gist.github.com/eminence/94ba269652ede82101ad7880d42e0834
sharkdp has quit [Remote host closed the connection]
sharkdp has joined #numbat
<sharkdp> thank you!
sharkdp has quit [Remote host closed the connection]