Viewing profile — codepie

TLA+ is mentioned a lot here and many people point out how it's practically infeasible to use it in real world systems. Just curious, is there any alternative to write specificatio…

I found this short paper really interesting to understand the fundamental limitations of distributed systems: Consistency Tradeoffs in Modern Distributed Database System Design htt…

This paper was published in PaPoC 2020, which was recently organized online. The rest of the papers, along with the talks are available here: https://papoc-workshop.github.io/2020/…

The rest of the material from the summer school is available here: https://sptdc.ru/schedule/

There's also an extension which overlay the alt tags over images: https://github.com/ageitgey/show-facebook-computer-vision-ta...

>Is there a proper book(s)/source(s) that I should follow? You may find these book useful: Competitive Programming 3 by Felix Halim and Steven Halim. Competitive Programmer’s Handb…

I have been using Zim[0] for quite few years now. With various plugins, it allows me to write LaTeX equations, formatted code, tables etc. Overall it has been really good, but I fe…

The former paper appeared in SIBVOIK 2017 ( http://www.sigbovik.org/ ), where you can find other such papers. My personal favorites are "On The Turing Completeness of PowerPoint" (…

Slightly OT, but I wanted to know if there's any group/forum where we can read and discuss papers regularly? I know the morning paper ( https://blog.acolyer.org/ ), but it is not s…

Obligatory XKCD for operating systems: https://xkcd.com/1508/

>First, I suppose I need to get to a point in my career and personal life where my finances are good enough that I don't have to decide where I spend my effort based on the income …

Firefox has a really good market in the mobile industry. I really wanted Firefox OS to catch up, but it didn't. I am still looking for privacy-focused OS alternative to Android, an…

The thread example given in article is only limited to a single writer and multiple readers. Things get interesting when you want to have lock free concurrency with multiple reader…

I tried gold, silver and bronze. It said incorrect. Then I tried gold, silver, bronze. It said correct.

As another user pointed out, why should be the chromatic polynomial of rectangle with deleted edge be: q^4 - 3q^3 + 2q^2 and not q * (q - 1)^3. A counter example: when q=2, we have…

It's true that these institutes haven't started something revolutionary, but there has been considerable amount of work in the right direction. I think there are multiple possible …

There's also Blogel [0] which is a distributed graph processing framework in C++ and it runs significantly faster than its counterpart in Java, Apache Giraph [1]. I have started wo…

No, it is ₹1500000 which is $22500 (yearly).

You can try competitive programming course by ITMO on edx ( https://www.edx.org/course/how-win-coding-competitions-secre... ). It's going to start on 17th October.

I recently met a professor, he said that most of his students are working in Deep Learning and he is finding it difficult to get people to work on other interesting problems. So th…