gist:3385336

% Для удобства вводим предикат "безумен", соответствующий отрицанию предиката "в своём уме"
% используем negation as failure
insane(X) :- \+ sane(X).


% Далее мы, по сути, почти дословно переписываем условия задачи -
% основную работу за нас будет делать логический движок Prolog.
% Используем такую формализацию: если X в своём уме, то то что
% X думает является истиной (фактом). У нас фигуранты думают
% исключительно о нормальности друг друга. :)

w495

%%
%%  @file lgps.erl  Генератор запоминающихся случайных
%%                  последовательностей символов, например, капчи или паролей
%%

-module(lgps).

-export([
    new/0,  %% Создает последовательность символов по умолчанию.
    new/1,  %% Создает последовательность символов, по описанию (см ниже).

jamiely

Intro

Recently, I had to implement an offline mapping solution for an iOS application. Here's a walkthrough of how to do it.

Summary

I generated a tile database using TileMill. I used the Route-Me iOS library which provides a map view that supports offline tile sources.

TileMill

stolen

-module(gs_up).
-export([init/1, handle_call/3, terminate/2]).

-record(state, {
    own_fields,
    field1,
    field2,
    field3
  }).

dmitriid

-spec lift(fun()) -> maybe(_, _).
%% @doc Lift F into maybe().
lift(F) ->
  try F() of
    ok                  -> {ok, ok};
    {ok, Res}           -> {ok, Res};
    error               -> {error, error};
    {error, Rsn}        -> {error, Rsn};
    Res                 -> {ok, Res}
  catch

NicolasT

> module Paxos.Basic where

> import Data.List (maximumBy)
> import Data.Maybe (catMaybes)

Phase 1a: Prepare
=================
A Proposer (the leader) creates a proposal identified with a number N. This
number must be greater than any previous proposal number used by this Proposer.
Then, it sends a Prepare message containing this proposal to a Quorum o

viktorklang

object NettyFutureBridge { 
  import scala.concurrent.{ Promise, Future }
  import scala.util.Try
  import java.util.concurrent.CancellationException 
  import org.jboss.netty.channel.{ Channel, ChannelFuture, ChannelFutureListener }

  def apply(nettyFuture: ChannelFuture): Future[Channel] = { 
    val p = Promise[Channel]() 
    nettyFuture.addListener(new ChannelFutureListener { 
      def operationComplete(future: ChannelFuture): Unit = p complete Try( 

dmitriid

[ категории новостей: [ события/конференции 
                      | библиотеки(аппликухи) 
                      | статьи о языке(общего характера)
                      ]
, проверка новостей перед отправкой: есть ли смысл вообще писать про этот проект
, коллективные переводы статей
, ссылки на материалы с прошедших событий/конференций
, теги к статьям/новостям (не только авторы)
, собирать и сохранять у себя презентации/видео/прочие ресурсы
, нормальная фильтрация потока с твиттера

maxlapshin

{module, mpegts_alloc}.  %% version = 0

{exports, [{module_info,0},{module_info,1},{new,1}]}.

{attributes, []}.

{labels, 7}.


{function, new, 1, 2}.

scy

Opening and closing an SSH tunnel in a shell script the smart way

I recently had the following problem:

• From an unattended shell script (called by Jenkins), run a command-line tool that accesses the MySQL database on another host.
• That tool doesn't know that the database is on another host, plus the MySQL port on that host is firewalled and not accessible from other machines.

We didn't want to open the MySQL port to the network, but it's possible to SSH from the Jenkins machine to the MySQL machine. So, basically you would do something like

ssh -L 3306:localhost:3306 remotehost