#5 楼 @hooopo 感觉就是尽量不要用 underscore，尽量用'X-'，'X-HOOOPO-'，'HOOOPO-'开头就是了

http://wiki.nginx.org/HttpCoreModule#underscores_in_headers

#47 楼 @recurlamlisp 你看明白 minikanren 的实现了么？

#48 楼 @swachian 是 Erlang 像 Prolog 好不好...

#42 楼 @doitian 原生功能不算开挂吧

#40 楼 @recurlamlisp

#!/usr/bin/swipl -q -g main -f

:- use_module(library(clpfd)).
:- use_module(library(aggregate)).

coins([C50, C20, C10, C5, C1]) :-
    Vars = [C50, C20, C10, C5, C1],
    Vars ins 0 .. sup,
    50*C50 + 20*C20 + 10*C10 + 5*C5 + C1 #= 87,
    labeling([], Vars).

main :-
    aggregate_all(count, coins(_), Count),
    io:format("~w~n", [Count]),
    halt.

#38 楼 @recurlamlisp 你总得说一下题目是什么吧

#35 楼 @swachian 等你想明白为什么你的 Ruby 代码该怎么写的时候，我的 Prolog 都输入完毕了，而且仅凭目测就能知道对不对了...

#27 楼 @gihnius

#!/usr/bin/swipl -q -g main -f

:- use_module(library(simplex)).

coins -->
    constraint(integral(c(100))),
    constraint(integral(c(50))),
    constraint(integral(c(20))),
    constraint(integral(c(5))),
    constraint([c(100)] >= 0),
    constraint([c(50)] >= 0),
    constraint([c(20)] >= 0),
    constraint([c(5)] >= 0),
    constraint([c(100)] =< 1),
    constraint([c(50)] =< 1),
    constraint([c(20)] =< 3),
    constraint([c(5)] =< 1),
    constraint([100*c(100), 50*c(50), 20*c(20), 5*c(5)] = 160),
    minimize([c(100), c(50), c(20), c(5)]).

main :-
    gen_state(S0),
    coins(S0, S),
    variable_value(S, c(100), C100),
    variable_value(S, c(50),  C50),
    variable_value(S, c(20),  C20),
    variable_value(S, c(5),   C5),
    io:format("~w*100 ~w*50 ~w*20 ~w*5~n", [C100, C50, C20, C5]),
    halt.

#21 楼 @swachian

Prolog

#!/usr/bin/swipl -q -g main -f

:- use_module(library(simplex)).

coins -->
    constraint(integral(c(10))),
    constraint(integral(c(7))),
    constraint(integral(c(1))),
    constraint([c(10)] >= 0),
    constraint([c(7)] >= 0),
    constraint([c(1)] >= 0),
    constraint([10*c(10), 7*c(7), 1*c(1)] = 14),
    minimize([c(10), c(7), c(1)]).

main :-
    gen_state(S0),
    coins(S0, S),
    variable_value(S, c(10), C10),
    variable_value(S, c(7),  C7),
    variable_value(S, c(1),  C1),
    io:format("~w*10 ~w*7 ~w*1~n", [C10, C7, C1]),
    halt.

#19 楼 @doitian

Prolog 无压力

#!/usr/bin/swipl -q -g main -f

:- use_module(library(simplex)).

coins -->
    constraint(integral(c(50))),
    constraint(integral(c(30))),
    constraint(integral(c(1))),
    constraint([c(50)] >= 0),
    constraint([c(30)] >= 0),
    constraint([c(1)] >= 0),
    constraint([50*c(50), 30*c(30), 1*c(1)] = 60),
    minimize([c(50), c(30), c(1)]).

main :-
    gen_state(S0),
    coins(S0, S),
    variable_value(S, c(50), C50),
    variable_value(S, c(30), C30),
    variable_value(S, c(1),  C1),
    io:format("~w*50 ~w*30 ~w*1~n", [C50, C30, C1]),
    halt.

#11 楼 @luikore

必须 Prolog 啊，输入一遍题目就可以了

#!/usr/bin/swipl -q -g main -f

:- use_module(library(simplex)).

coins -->
    constraint(integral(c(50))),
    constraint(integral(c(20))),
    constraint(integral(c(10))),
    constraint(integral(c(5))),
    constraint(integral(c(1))),
    constraint([c(50)] >= 0),
    constraint([c(20)] >= 0),
    constraint([c(10)] >= 0),
    constraint([c(5)] >= 0),
    constraint([c(1)] >= 0),
    constraint([50*c(50), 20*c(20), 10*c(10), 5*c(5), 1*c(1)] = 87),
    minimize([c(50), c(20), c(10), c(5), c(1)]).

main :-
    gen_state(S0),
    coins(S0, S),
    variable_value(S, c(50), C50),
    variable_value(S, c(20), C20),
    variable_value(S, c(10), C10),
    variable_value(S, c(5),  C5),
    variable_value(S, c(1),  C1),
    io:format("~w*50 ~w*20 ~w*10 ~w*5 ~w*1~n", [C50, C20, C10, C5, C1]),
    halt.

cdecl to rescue

http://cdecl.org/

#23 楼 @linjunhalida

owk -> AWK

#8 楼 @sunfmin 广播明显不科学，人数一多，大脑很快都崩溃了，就好像一个聊天室里不能有太多人同时说话一样。

#6 楼 @sunfmin 赶紧购买脑电波输入设备

#11 楼 @luikore 都是 10G 的 Ethernet 惹的祸

#4 楼 @luikore 估计一半被内核的网络栈耗了，beam 的 RES 才 31G ...

#64 楼 @lgn21st 不知道公司名坑爹啊，我没搞错的话 glassdoor 上才 1 分...

#60 楼 @Peter #15 楼

这不是在 LinkedIn 上疯狂扫人的直布罗陀职位嘛

#58 楼 @Peter 我只是为了验证一下确实在 Gibraltar 而已，感觉面前建筑特征很明显，就去找找看了。

地点确定，已知 LinkedIn 上出现过，又有人名，应该能找出 公司名

对了不报公司名的招聘都是耍流氓 ..

#56 楼 @lgn21st 当 Google 推出上传街景返回经纬度的服务时请你不要惊讶

#51 楼 @Peter Gibraltar 这么小个地方，根据海上的情况直接排除东岸，左手是山右手是海，那就是由北向南，那排除最南面。离海很近，面前的那幢建筑很有特点，很长，而且屋顶中间是白色边上是别的颜色，还拐个弯的，和周围建筑也不是排得很紧密，基本锁定西北方向，中间也有一段建筑不是很密的地方，目测是个很大的船坞，排除。西北角放大，很明显了。验证，靠海这边，绿屋顶红屋顶白屋顶，没错就是那里了。

感觉不对，没猜错的话，某博彩公司打算开展东亚业务，但这公司在 glassdoor 上才 1 分 (当然也只有 1 次评分)，楼主就是东亚业务 Manager?

#36 楼 @hooopo Erlang 这么简单你竟然都没学会!!!

#33 楼 @fsword #34 楼 @jjym

那是因为你们没学 Erlang