krtab

5 ms·

1.
by krtab 6mo ago
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 law is usually written ("default log
2.
Bernie vs. Claude [video](youtube.com)
2 points by krtab 6mo ago|0 comments
3.
by krtab 6mo ago
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 number 1 through 7, sorted by proximity. I mean, it
4.
by krtab 1y ago
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 from him. The way I usually pitch the book is that M
5.
by krtab 2y ago
I have written down a similar derivation here if anyone is interested: https://ngr.yt/blog/kalman/
6.
by krtab 2y ago
Sorry about that, I switched the link. Thanks.
7.
by krtab 2y ago
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 idea at a recent Rust meetup in Paris. The slides are
8.
by krtab 2y ago
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 very large size, and then tries successively smaller font
9.
by krtab 2y ago
A tangent reflection I had on learning and teaching programming: https://ngr.yt/blog/computer-as-she-is-spoke/
10.
by krtab 3y ago
This is currently the only comment on the 1st post of the front page. Peak HN moment.
11.
Computer as She Is Spoke(ngr.yt)
2 points by krtab 3y ago|0 comments
12.
Dirdiff: Efficiently compute the differences between two directories(github.com)
2 points by krtab 4y ago|0 comments
13.
Let's Encrypt Wildcard Certificates Made Easy with Agnos(ocamlpro.com)
8 points by krtab 4y ago|0 comments