kmicinski

use std::collections::{HashMap, HashSet};

type Clause = Vec<i32>;
type Clauses = HashSet<Clause>;
type Trail = Vec<TrailEntry>;
type Assignment = HashMap<i32, bool>;

#[derive(Debug, Clone)]
enum TrailEntry {
    Decision(i32),

starch0

#elixir #article #ongoing

Embarcando no Elixir, Mix e Ecto.

Escrevo este artigo supondo que você, leitor tem noções básicas de programação. Pretendo manter a leitura simples , mas se sua primeira linguagem de programação for Elixir, talvez fique confuso.

Elixir

Elixir é uma linguagem de programação funcional que roda em cima da máquina virtual do ERlang a BEAM.

rodrigues

defmodule TTTMap do
  def win?(%{s1: x, s2: x, s3: x}) when not is_nil(x), do: true
  def win?(%{s4: x, s5: x, s6: x}) when not is_nil(x), do: true
  def win?(%{s7: x, s8: x, s9: x}) when not is_nil(x), do: true
  def win?(%{s1: x, s4: x, s7: x}) when not is_nil(x), do: true
  def win?(%{s2: x, s5: x, s8: x}) when not is_nil(x), do: true
  def win?(%{s3: x, s6: x, s9: x}) when not is_nil(x), do: true
  def win?(%{s1: x, s5: x, s9: x}) when not is_nil(x), do: true
  def win?(%{s3: x, s5: x, s7: x}) when not is_nil(x), do: true
  def win?(_), do: false

willowiscool

AOC light theme

This is a light theme for advent of code. style.css contains the style. bookmarklet.html can be visited with rawgit (that's the direct link to bookmarklet.html) to find a bookmarklet that can be dragged to your bookmarks bar and then pressed to make the AOC webpage light.

evadne

defmodule Tree do
  def print(n) do
    for i <- 1 .. n do
      p(n - i, " ")
      p(i * 2 - 1, "*")
      w("\n")
    end
    p(n - 1, " ")
    w("|\n")
  end

mauricioaniche

# distr <- your data
# logscale <- T if you want it to be at log-scale
qp <- function(distr, logscale) {
  x <- c()
  y <- c()
  qt <- 0.01
  for(i in 1:99) {
    x <- append(x, qt)
    
    newY <- quantile(distr, c(qt))[1]

parmentf

Inspired by dannyfritz/commit-message-emoji

See also gitmoji.

Commit type	Emoji
Initial commit	🎉 :tada:
Version tag	🔖 :bookmark:
New feature	✨ :sparkles:
Bugfix	🐛 :bug:

fbarbirato

Discussão iniciada no grupo tdd-no-mundo-real

Pessoal, desculpe a resposta longa mas esse assunto é muito interessante. Quem hoje em dia, pode acompanhar uma discussão entre grandes pioneiros de sua área que com certeza entrarão para a história da Engenharia de Software nos séculos seguintes? Somos muito afortunados quanto a isso.

Tenho acompanhado essas discussões pelos blogs do DHH e do Uncle Bob.

Achei que deveriam ter incluído o Uncle Bob no hangout. Como disseram que fariam outros episódios, creio que ele deve participar no próximo.

Resumindo o que tirei das opiniões deles:

adolfont

(ns ke)

(defrecord AtomicFormula [name])

;; RUIM
(defmethod print-method AtomicFormula [o w]
  (print-simple
    (str (:name o))
   w
  )

adolfont

% Truth Assignments for Classical Propositional Logica
% Adolfo Neto @adolfont https://github.com/adolfont
% August 24th, 2011

:- dynamic v/1.

% Definitions:
%  P is the set of propositional atoms
%  Example: P = {p1, p2, p3, ... }