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…
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 > seL4 hey used…
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…
> 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…
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]…
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…
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,…
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…
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…
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…
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,…
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
This shouldn't matter but it appears spiral_coordinates() is generating in a clockwise rotation when the doc string states counter-clockwise.
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…
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 > seL4 hey used…
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…
> 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…
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]…
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…
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,…
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…
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…
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…
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,…
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
This shouldn't matter but it appears spiral_coordinates() is generating in a clockwise rotation when the doc string states counter-clockwise.