codepie

8 ms·

1.
by codepie 5y ago
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 specifications which are more closer to common programming language
2.
by codepie 6y ago
I found this short paper really interesting to understand the fundamental limitations of distributed systems: Consistency Tradeoffs in Modern Distributed Database System Design http://www.cs.umd.edu/~abadi/papers&#x2F
3.
by codepie 6y ago
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/programme.html
4.
Principles and Practice of Consistency for Distributed Data – PaPoC 2020(papoc-workshop.github.io)
3 points by codepie 6y ago|0 comments
5.
by codepie 7y ago
The rest of the material from the summer school is available here: https://sptdc.ru/schedule/
6.
by codepie 7y ago
There's also an extension which overlay the alt tags over images: https://github.com/ageitgey/show-facebook-computer-vision-ta...
7.
by codepie 8y ago
>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 Handbook ( https://cses.fi/book/index
8.
by codepie 8y ago
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 feel the only thing missing is the support for mobile devices.
9.
by codepie 9y ago
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" ( https://www.youtube.com&
10.
by codepie 9y ago
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 so interactive, in the sense that yo
11.
by codepie 9y ago
Obligatory XKCD for operating systems: https://xkcd.com/1508/
12.
by codepie 9y ago
>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 it'll bring me. This. Waiting for the right mom
13.
by codepie 9y ago
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, any suggestions?
14.
by codepie 9y ago
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 readers and writers. One of the famous techniques is using softwar
15.
by codepie 9y ago
I tried gold, silver and bronze. It said incorrect. Then I tried gold, silver, bronze. It said correct.
16.
by codepie 9y ago
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 two ways to color the rectangle with a deleted edge. Am I
17.
by codepie 9y ago
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 reasons behind it: 1) Most of the undergraduate st
18.
by codepie 10y ago
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 wondering if the big data developers really care about th
19.
Show HN: Hide memes from Facebook(github.com)
3 points by codepie 10y ago|0 comments
20.
by codepie 10y ago
No, it is ₹1500000 which is $22500 (yearly).
21.
by codepie 10y ago
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.
22.
by codepie 10y ago
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 there is really a demand of students to work on other areas as
23.
by codepie 10y ago
Hadoop's source code has been on my reading list for a long time now. I have tried it before, but couldn't go through all the bits and pieces. Is there any strategy you should follow while reading any source code? Are there any co
24.
by codepie 10y ago
Since you mentioned page rank, you can also check out graph processing frameworks, eg Pregel/Giraph, which are designed specifically to run graph algorithms on big data.
25.
Text Summarization for Humans(explaintome.herokuapp.com)
5 points by codepie 10y ago|0 comments
26.
Realtime Data Processing at Facebook(research.facebook.com)
5 points by codepie 10y ago|1 comments
27.
by codepie 10y ago
Previous discussion: https://news.ycombinator.com/item?id=11796253
28.
Google's Progressive Web App Summit 2016(youtube.com)
3 points by codepie 10y ago|0 comments
29.
by codepie 10y ago
These courses will provide you a good theoretical background, which may not be enough to crack the interview problems. You might wanna look at some of the programming problems on Hackerrank, Codejam etc to bridge the gap between the theory
30.
by codepie 10y ago
You can download all the videos from here https://archive.org/details/MIT6.046JS15 . Available as torrent too.

More ›