web-stuff
web-stuff copied to clipboard
dyweb
Weekly for 2016/09/14
2016/09/14, 第十一循环第一次, 总第五十期 -> @swaylq
投稿:
- [x] @at15
- [ ] @swaylq
- [ ] @arrowrowe
- [ ] @ComMouse
- [ ] @LukeXuan
- [ ] @gaocegege
- [ ] @JasonQSY
- [x] @sxjscience
- 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.
- https://www.surveygizmo.com/ the survey ~~software~~ service that my current school (UCSC) is using. cc @ComMouse @arrowrowe
- 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.
- 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
https://github.com/facebook/mention-bot Automatically mention potential reviewers on pull requests.
好厉害
http://svail.github.io/rnn_perf/ & http://svail.github.io/diff_graphs/ These two blogs may useful for those who are interested in RNN.
- 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
- https://github.com/consolidation-org/Robo Modern and simple PHP task runner inspired by Gulp and Rake aimed to automate common tasks cc @ComMouse
- https://github.com/thejameskyle/the-super-tiny-compiler cc @mrmiywj @gaocegege @mingo-x
- https://github.com/lerna/lerna A tool for managing JavaScript projects with multiple packages cc @arrowrowe
- https://ngrok.com/ Secure tunnels to localhost its server is not open source though ....
- Promise is not resolved nor rejected a dumb bug when writing https://github.com/tongquhq/about
@gaocegege 感觉medium的编辑器还不错，虽然好像代码高亮有点搓，还得用快捷键.....
- https://github.com/yahoo/pulsar distributed pub-sub messaging system cc @gaocegege
- https://github.com/asmblah/uniter PHP in the browser and Node.js cc @ComMouse amazing \w/
- 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/
- 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 ... 还是我把男的记成了妹子....
- 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 😢
- https://www.eff.org/ The Electronic Frontier Foundation is the leading nonprofit organization defending civil liberties in the digital world.
- 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
- 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
