srinidhin

srinidhin on Hacker News

Re:Outlook is down, and so is Microsoft's status page on Friday November 13, 2026 @01:07AM (#50479017)

Also called meta-stable failures - https://muratbuffalo.blogspot.com/2023/09/metastable-failure...

Show HN: Scenario Tests for Distributed Systems

Posted by srinidhin on Saturday July 18, 2026 @12:37AM
from the show-hn dept.

https://www.srinidhin.com/blog/11.html

( Read More... | no comments | on HN )

Re:Ask HN: Who wants to be hired? (July 2025) on Tuesday July 01, 2025 @06:46PM (#44438636)

Location: Germany, EU

Remote: Yes, prefer on-site

Willing to relocate: Yes

Technologies: Automated reasoning (TLA+, formal methods); Core distributed systems (consensus protocols test - raft, distributed redis, blockchain consensus); Infrastructure Engineering

Resume: https://www.srinidhin.com/docs/Resume.pdf

Email: hello [at] srinidhin [dot] com

Completed my PhD (Automated techniques for testing distributed protocol implementations) recently and building a model checker - jmc.mpi-sws.org. Interested in anything software.