Viewing profile — robert_g

Adding my own personal experience. At the end of last year I wanted to change jobs but I was paranoid about my raw algorithm knowledge. I've been a consultant for over 15 years. Th…

Earlier post about SeL4 verification: https://news.ycombinator.com/item?id=23464187 Also, my previous comment linking to how SeL4 performed the verification: https://news.ycombinat…

Just quickly thinking of where there might be a lot of images/documents modified quickly: web browser cache, photo management software, antivirus software. I think it'd be easier t…

> Conspiracy theory: This change is dictated by the Google AMP team that wants to take over the world without us knowing I was just about to write this but I don't necessarily thin…

seL4 hey used Haskell to create an model which was then their specification to help with the formal verification process [1][2]. [1] https://dl.acm.org/doi/pdf/10.1145/1159842.1159…

If you're thinking of learning CF, only do so with the understanding that it's now a niche product mostly used in government and large companies. Learn it either as a hobby or look…

There should also be an explicit call out to both tooling and community. Even if a programming language ticks all the other boxes, Without a sizable and stable community to constan…

The points under "Cultural improvements" can't be stressed enough: * When only one member of that team is remote, they often suffer a combination of isolation ... and organizationa…

I would speculate that for companies these two statements will be exclusive: • Company saves money by not having to hire Linux sysadmins • Company saves money by not having to pay …

I worked for a brand & marketing company for 15 years and I observed that most of my clients had pretty short memories when it came to how they felt about me. If the last few miles…

Dismissing a successful person but seeming "dumb" person is a benefit to them. Now, they can continue succeeding with less scrutiny. For a long time I thought many politicians were…

There's an open guide[1] that's pretty useful. Amazon also publishes (at least some) documentation on Github[2]. [1] https://github.com/open-guides/og-aws [2] https://github.com/aw…

This shouldn't matter but it appears spiral_coordinates() is generating in a clockwise rotation when the doc string states counter-clockwise.