robert_g

8 ms·

1.
by robert_g 6y ago
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. The last company I worked at for a decade. I've deve
2.
by robert_g 6y ago
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.ycombinator.com/item?id=23475748 &g
3.
by robert_g 6y ago
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 to isolate applications and data like Cubes OS inst
4.
by robert_g 6y ago
> 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 think it's that far off. With signed exchanges, AM
5.
by robert_g 6y ago
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.1159850 [2] https://w
6.
by robert_g 6y ago
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 at the Lucee source for educational purposes. Eve
7.
by robert_g 6y ago
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 constantly push tooling languages will fade, not necessarily die. I
8.
by robert_g 6y ago
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 organizational burden ... And their approach to foster inc
9.
by robert_g 6y ago
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 for managed cloud products if they don't want to As a d
10.
by robert_g 6y ago
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 milestones were really great they quickly forgot an incident.
11.
by robert_g 6y ago
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 "dumb" based on their public comments,
12.
by robert_g 6y ago
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/awsdocs
13.
by robert_g 7y ago
This shouldn't matter but it appears spiral_coordinates() is generating in a clockwise rotation when the doc string states counter-clockwise.