Viewing profile — edgarbob

Are there any good starting places for learning the necessary type theory to understand this stuff? I really like the idea of extensible row types, but struggle with trying to unde…

We keep hearing that 5G isn't dangerous, but it looks like there is science showing 3G-5G is bad for our health: https://www.ncbi.nlm.nih.gov/pubmed/31514029 https://www.ncbi.nlm.n…

This looks pretty cool. It's nice to have an open source Rust game. Getting started developing a game in Rust is a bit rough, so having a reference like this is very helpful.

This is one of those things that will make Rust "feel" much more pleasant to work with. More ergonomic, I guess. It often feels like you're fighting with the Rust compiler, and I t…

Previous discussion: https://news.ycombinator.com/item?id=15921692

Yes, this seems to be the right behavior for case-insensitive things like DNS names as well. If a user inputs one, preserve the case when you store it, but do case-insensitive comp…

This is really cool. It's surprisingly hard to find good examples of how to implement type inference.

Does anyone know of a similar tool for XML? In particular, it would be cool to have a useful way to run xpath, and maybe xquery, from the command line. The tools I've found have un…

Hopefully Rust's approach to zero-overhead abstractions will alleviate a lot of the problems you run into in C++.