Viewing profile — krtab

Catala is not at all about "proving the law" formally (I'm not even sure what it would mean?). It's about having a formal language to translate law into that both matches the way l…

It's not even only a matter of tone, the content is just.. wrong and incoherent? > Each bird tracks about 6-7 neighbors. Not the closest by distance, but the closest by rank. Bird …

If you're interested in this topic, I very warmly recommend the book You're not a rock by Mark Freeman. There are also episodes of podcasts around with interesting interventions fr…

I have written down a similar derivation here if anyone is interested: https://ngr.yt/blog/kalman/

Sorry about that, I switched the link. Thanks.

I am of the opinion that async/await syntax for efficient embedded programming is one of the true revolutions of Rust -- and often overlooked. I gave a presentation about this very…

Cool use of tech! > I ended up writing a small JavaScript function to maximize font size: it makes the text invisible (via CSS visibility: hidden), tries displaying the text at a v…

A tangent reflection I had on learning and teaching programming: https://ngr.yt/blog/computer-as-she-is-spoke/

This is currently the only comment on the 1st post of the front page. Peak HN moment.