pykello

Video recordings: https://www.youtube.com/playlist?list=PLaSPkFE9cpGT_SuxamW9e...

(I am not affiliated with Keebo, although I had a recruiting meeting with them earlier this year)

FWIW, Keebo (https://keebo.ai/) tries to solve this problem & reduce your Snowflake bill by using Data Learning techniques. It can be configured to return exact results or approximate results.

Ex-Citus here. The open sourced shard rebalancer blocks writes to the shard being moved. Online rebalancer (closed source) uses logical replication and doesn't block writes to shards being moved, except for a brief period. Everything is the same except how shard moves are implemented.

Citus Data | Software Engineer | Waterloo, ON, Canada / San Francisco, US / Amsterdam, Netherlands | Full-Time Onsite | https://www.citusdata.com/jobs/

We're looking for software engineers on the database development team which is responsible for development of the Citus extension and related tools, and providing custom solutions for customers. Programming is done primarily in C, but without all the usual messiness thanks to Postgres' elegant internal APIs. We also build tools to help customers in whichever language is appropriate. If you're interested in working on distributed SQL, high availability, distributed transactions, seamless scale out, and other parts of a distributed database, and you're excited about working in a distributed organisations with engineers from companies like Amazon/Heroku/Google/Uber then Citus might be the place for you.

To see our other positions visit: https://www.citusdata.com/jobs/

Apply by sending your resume to hadi@citusdata.com or imagine@citusdata.com.

I think use-case for Google Cloud SQL, RDS, Heroku, etc is a bit different from Citus and other distributed databases. It seems that Cloud SQL has very limited scalibility (32 processors, 200GB of RAM), so it might not be very good at usecases that your working dataset is in order of terabytes or more. Citus on the other hand has horizontal scalability and you can add more CPU power and RAM by adding another machine to your machines.

If my data were at order of 10GBs, I would choose Cloud SQL, RDS, etc. At order of 100GBs, I would try both Cloud SQL, RDS, etc. and Citus, etc. to see which one fits my usecase. At order of terabytes, I would choose Citus or some other distributed database.

(I'm a former Citus employee and Current Googler in a non-Cloud SQL team)

(As someone who was pretty familiar with PgSQL internals)

1. I think from the 'storage' point of view, a column-store will use much less space than a collection of key/value PgSQL tables:

A) Each PgSQL table comes with several system columns, so each key/value pair will have the large overhead of (key-size + system column size), which will most likely be larger than the actual size of data. This will defeat one of the goals of columnar stores which is to load less data in-memory (to achieve less disk I/O, assuming more frequent columns will get eventually cached), unless you have so many columns and use only very few of them.

B) PostgreSQL doesn't compress each column. Column-stores usually use some kind of light-weight compression to use less disk. When I worked on cstore_fdw, this was one of the desirable features that attracted users.

2. I haven't done PostgreSQL benchmarking in last ~10 months, but unless selectivity of your query is high, fastest of joins won't be even close to a sequential table scan. If the selectivity is low and your query only needs to scan small sub-set of rows, then joins+indexes should be faster, but then again you have overhead of indexes.

One method I found useful in PostgreSQL is to create an index of columns of very frequent queries, and then tune the system to use index-only-scan for these queries.

A new edX course [1] was announced few days ago, which is created by SPb ITMO (which finished 7th this year).

[1] https://www.edx.org/course/how-win-coding-competitions-secre...

You are right. Thank you. Going to correct this.

Just to make sure, are you referring to bucket sort and similar algorithms or something else?

"foldl" works like aggregation in databases. When you say "fold func init values", the result is calculated as:

  result = init
  for value in values:
     result = func(result, value)
  return result

  result = []
  for (x1, h, x2) in bs:
     result = add_endpoints(result, (x1, h, x2))
  return result

  result = []
  for (x1, h, x2) in bs:
     result = result ++ [(x1, height x1), (x2, height x2)]
  return result

I think the 2nd solution should be easy to understand if you understand the 1st solution. Probably the only new thing is that I've sorted the buildings by height before passing them to "foldl".

In the 3rd solution, the following lines:

  skyline bs = (skyline (take n bs), 0) `merge` (skyline (drop n bs), 0)
                where n = (length bs) `div` 2

  first_half = first_n_elements(bs, length(bs) / 2)
  second_half = remove_first_n_elements(bs, length(bs) / 2)
  result = merge ((skyline(first_half), 0), (skyline(second_half), 0))

Then, in merge function:

  merge ([], _) (ys, _) = ys
  merge (xs, _) ([], _) = xs

Then the other cases:

  merge ((x, xh):xs, xh_p) ((y, yh):ys, yh_p)
    | x > y = merge ((y, yh):ys, yh_p) ((x, xh):xs, xh_p)
    | x == y = (x, max xh yh) : merge (xs, xh) (ys, yh)
    | max xh_p yh_p /= max xh yh_p = (x, max xh yh_p) : merge (xs, xh) ((y, yh):ys, yh_p)
    | otherwise = merge (xs, xh) ((y, yh):ys, yh_p)

Second case is probably easy to understand.

In third case, we know that x < y. Just before reaching x, skyline has height "max xh_p yh_p". When we reach x, height of skyline changes to "max xh yh_p". If these values are not equal, we have a height change. So we a construct a new list with head "(x, new height)" and the result of merging the rest of skylines.

If the height doesn't change, we just ignore the change at x and continue with the rest of skylines.

It took them cumulative practice of at least 19 years to reach there.

(One of them started practicing 10 years ago [1]. The two other are active at topcoder since 2010 [2] and 2011 [3]).

[1] http://en.wikipedia.org/wiki/Gennady_Korotkevich

[2] http://community.topcoder.com/tc?module=MemberProfile&cr=229...

[3] http://community.topcoder.com/tc?module=MemberProfile&cr=230...

Maybe searching about "The Young Coders" may help:

https://us.pycon.org/2014/events/letslearnpython/

http://therealkatie.net/blog/2015/feb/17/young-coders-why-tw...

http://pycon.blogspot.com.tr/2013/03/how-kids-stole-show-you...

Which proof assistants did you play with? Why are avoiding coq?

Reading this news while self-studying and enjoying the "Software Foundations" [1] course is so sweet.

[1] http://www.seas.upenn.edu/~cis500/current/index.html

I also found the following very useful:

* A Demonstration of Agda (https://www.youtube.com/watch?v=8WFMK0hv8bE)

* Agda Tutorial (http://people.inf.elte.hu/divip/AgdaTutorial/Index.html)

Maybe because they're known to be slow, specially bzip. http://catchchallenger.first-world.info//wiki/Quick_Benchmar...

Nope, they're two different systems with a similar name.

"able to identify NP problems" ? Most of the problems we face are NP. Maybe he was meaning NP-complete problems. See http://mathworld.wolfram.com/NP-Problem.html for the definition.

Page not found, please fix the URL.

The problem with tech entrepreneurship in Iran is that US sanctions disable iranians to have business with the rest of the world. Most of online payment methods are blocked in Iran, and I think most companies are not allowed to have business with Iranians.

Thanks for the idea, here it is: http://moshayedi.net/london2012/ranking-gdp.html

I tried using that page, but they were resisting about automated bots by giving "Forbidden Request" reponses. I'll try to find a better source though.

I didn't try to participate in olympiads, but I started participating in competitions when I was 20. I practiced for ACM ICPC for 3 years, which was arguably my most enjoyable days in my life.

I stopped participating in programming competitions when I was about 24. But now I am 27 and I have started doing them again. I am not as strong as I was (or even close to it), but I am aiming to become strong again. One of my goals is to qualify to the GCJ finals next year (this year I was in Round 3, but couldn't make it to finals).

Joy of solving problems is the greatest joy I've ever experienced.

Official website is: http://www.icpclive.com/