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!
benjaminl_ has joined #numbat
benjaminl has quit [Ping timeout: 268 seconds]
achin has quit [Server closed connection]
achin has joined #numbat
sharkdp has joined #numbat
<achin> a fun looking error reporting library https://github.com/zesterer/ariadne
_whitelogger has quit [Server closed connection]
_whitelogger has joined #numbat
sharkdp has quit [Remote host closed the connection]
sharkdp has joined #numbat
<sharkdp> Saw that as well. Do you think there are good reasons to consider a switch?
<achin> nope, just thought i'd share. could be interesting to use for new projects
sharkdp has quit [Remote host closed the connection]