onlurking

AIML 2.0 Working Draft

Revision 1.0.2.22
March 9, 2014
Richard S. Wallace
ALICE A.I. Foundation
Contact: info@alicebot.org

cyberglot

2016 em retrospecto

2016 não foi um ano bom, em geral. Entretanto, esse foi um ano que eu considero especialmente bom na minha vida.

Tech

• 2015 foi um ano desastroso pra mim, comecei 2016 com aviso prévio na Podio, que tava demitindo em massa todo mundo do escritório de Copenhagen. Felizmente, já na primeira semana de Janeiro, consegui uma oferta da Opbeat - que é definitivamente o produto mais interessante que já trabalhei.
• Em Abril, larguei a Opbeat (como dev em tempo integral), para começar o doutorado em Ciência da Computação na Universidade de Roskilde. Algo que eu ensaiava fazer há muito tempo, que era me distanciar de JavaScript e desenvolvimento frontend para me dedicar à Programação Funcional e Teoria de Tipos, em um nível acadêmico.
• Aprendi Teoria de Tipos, inclusive a implementar checadores de tipos até System F. Sei como tipos dependentes e de refinamento funcionam, embora não tenha uma visão clara de como implementá-los (2017 spoiler). Também aprendi "tipos

haskellcamargo

package br.com.ngi.ginga.business.util.seq;

/**
 * Copyright (C) 2015 - NG Informática
 *
 * @author Marcelo Camargo
 * @since 08/12/2015
 */
public interface Function<Ret, Arg> {
    Ret call(Arg arg);

haskellcamargo

module Mortivacional where
import System.Console.ANSI

drawLine :: IO ()
drawLine = putStrLn $ replicate 23 '-'

turnRed :: IO ()
turnRed = setSGR [ SetConsoleIntensity BoldIntensity
                 , SetColor Foreground Vivid Red
                 ]

haskellcamargo

{-# LANGUAGE UnicodeSyntax #-}
module Proof where
import System.Console.ANSI
import Prelude.Unicode
import Control.Monad.Unicode

{-
  Calculations and mathematical proofs of circular computations.
  @author Marcelo Camargo
-}

robotlolita

You appear to be advocating a new:

• functional
• imperative
• object-oriented
• procedural
• stack-based
• "multi-paradigm"
• lazy
• eager
• statically-typed

bds

sass-convert -F scss -T sass application_styles.css.scss application_styles.css.sass

isaacs

// See comments below.

// This code sample and justification brought to you by
// Isaac Z. Schlueter, aka isaacs

// standard style
var a = "ape",
  b = "bat",
  c = "cat",
  d = "dog",