Viewing profile — sacheendra

The authors point out that the PL community values formal methods and hard implementation, but not human factor studies and alternative programming approached like spreadsheets. I'…

No satellite was pointed at the path when MH370 was flying.

That's only for Gmail, outlook.com, and samsung browser. It is possible to argue that these are not gateways without mental gymnastics. It is fairly easy to migrate out of Gmail an…

Storage manufacturers now give the application more control over SSD FTL operations through ZNS. https://zonedstorage.io/docs/introduction/zns . Curious to see how it will be used

The project's other github repo is better to learn more about the project: https://github.com/xtofalex/naja The linked repo doesn't have an informative Readme. An example showing s…

It is not that surprising. Facebook is complex ecosystem, and therefore experiences lots of outages/problems. Looking at their status page ( https://developers.facebook.com/status/…

This I highly unlikely. Hyperscalers like AWS have custom power delivery, rack organization, redundant networking, etc. which make their instances reliable. Long running jobs often…

yes

It seems like they plan to do hardware-software co-design. Devices (servers, switches?) and firmware designed specifically for their software stack. A software stack (drivers, OS) …

That is not true. The synthesis and layout have to be done separately for the ASIC. That is a more time consuming process than writing verilog code.

< 1000 pounds for what is basically license for a livelihood seems cheap.