Weekly for 2016/09/14

[ComMouse]

2016/09/14, 第十一循环第一次, 总第五十期 -> @swaylq

投稿:

• [x] @at15
• [ ] @swaylq
• [ ] @arrowrowe
• [ ] @ComMouse
• [ ] @LukeXuan
• [ ] @gaocegege
• [ ] @JasonQSY
• [x] @sxjscience

[at15]

• https://coq.inria.fr/

a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

[at15]

• https://www.surveygizmo.com/ the survey software service that my current school (UCSC) is using. cc @ComMouse @arrowrowe

[at15]

• https://mhacks.org/ cc @LukeXuan

MHacks is run by a group of dedicated and passionate young people, most of whom are students at the University of Michigan.

[at15]

• https://github.com/tgalopin/SimHashPhp cc @ComMouse

SimHashPHP is a PHP library that port the SimHash algorithm in PHP. This algorithm, created by Moses Charikar, provides an efficient way to compute a similarity index between two texts. It is used by Google internally to detect dupplicate content.

现在的小朋友一看到 google 就星星眼 w @sxjscience

[sxjscience]

@at15 ☆ω☆

[at15]

• https://conemu.github.io/ cc @kdplus

[gaocegege]

https://github.com/facebook/mention-bot Automatically mention potential reviewers on pull requests.

好厉害

[at15]

@arrowrowe @ComMouse have a try on weekly?

[at15]

• https://github.com/gztchan/awesome-design cc @scottsun94

[sxjscience]

http://svail.github.io/rnn_perf/ & http://svail.github.io/diff_graphs/ These two blogs may useful for those who are interested in RNN.

[at15]

• https://www.packtpub.com/mapt

Mapt is the only platform that helps you to quantify, manage, and develop your professional development skill set

saw it from google play music ads

[at15]

• https://github.com/consolidation-org/Robo Modern and simple PHP task runner inspired by Gulp and Rake aimed to automate common tasks cc @ComMouse

[at15]

• https://github.com/thejameskyle/the-super-tiny-compiler cc @mrmiywj @gaocegege @mingo-x

[at15]

• https://github.com/lerna/lerna A tool for managing JavaScript projects with multiple packages cc @arrowrowe

[at15]

• https://ngrok.com/ Secure tunnels to localhost its server is not open source though ....

[at15]

• https://www.eventbrite.com/ a ticket selling website cc @ComMouse

[at15]

• Promise is not resolved nor rejected a dumb bug when writing https://github.com/tongquhq/about

@gaocegege 感觉medium的编辑器还不错，虽然好像代码高亮有点搓，还得用快捷键.....

[at15]

• https://github.com/yahoo/pulsar distributed pub-sub messaging system cc @gaocegege

[at15]

• https://github.com/Coding/WebIDE-Frontend

[at15]

• https://github.com/asmblah/uniter PHP in the browser and Node.js cc @ComMouse amazing \w/

[at15]

• https://github.com/viebel/klipse A simple client-side code evaluator pluggable on any web page: clojure, ruby, javascript, python, scheme http://blog.klipse.tech/

[at15]

• http://platformio.org/ An open source ecosystem for IoT development Cross-platform build system. Continuous and IDE integration. Arduino and ARM mbed compatible

cc @arrowrowe @LukeXuan @gaocegege 记得好像有谁说过有个妹子要学 Arduino ... 还是我把男的记成了妹子....

[at15]

• https://github.com/warmheartli/MachineLearningCourse 机器学习精简入门教程

[at15]

• https://github.com/sdegutis/mjolnir Lightweight automation and productivity app for OS X
• https://github.com/hammerspoon Staggeringly powerful OS X desktop automation with Lua

cc @gaocegege @swaylq

why am I looking at this when I got no mac 😢

[at15]

• https://www.eff.org/ The Electronic Frontier Foundation is the leading nonprofit organization defending civil liberties in the digital world.

[at15]

• https://github.com/blog/2256-a-whole-new-github-universe-announcing-new-tools-forums-and-features now your repo has tab called projects
• https://help.github.com/articles/tracking-the-progress-of-your-work-with-projects/

cc @arrowrowe @ComMouse @gaocegege

[at15]

• https://github.com/ElemeFE/element eleme is using vue for its desktop UI. reminds me of the old project, hacking their client and printer driver ...... cc @arrowrowe

[at15]

• https://github.com/elendirx/web2web

[arrowrowe]

Please go to #105.

[arrowrowe]

@swaylq \w

[arrowrowe]

@swaylq \w

[at15]

@swaylq \w