Skip to content

Instantly share code, notes, and snippets.

View pazthor's full-sized avatar
🎯
Focusing "el dominio"

Julio Cesar pazthor

🎯
Focusing "el dominio"
View GitHub Profile
@pazthor
pazthor / .gitignore
Created October 25, 2015 06:48 — forked from octocat/.gitignore
Some common .gitignore configurations
# Compiled source #
###################
*.com
*.class
*.dll
*.exe
*.o
*.so
# Packages #
@pazthor
pazthor / ContractKillerEspañol.md
Created June 16, 2016 21:00 — forked from josellausas/ContractKillerEspañol.md
Contract Killer en Español

Fecha: [fecha]

Entre nosotros [nuestra empresa] y ustedes [nombre del cliente]

Compromiso:

Nuestro compromiso es hacer siempre lo mejor para satisfacer las necesidades y cubrir las expectativas de nuestros clientes, y es importante que ambas partes tengamos las cosas claras y por escrito de manera que todos entendamos qué es qué, quién debe hacer qué, cuándo debe hacerlo, y qué va a pasar si algo no sale como se planeó. Este convenio es muy sencillo y no encontrarán en él complicados términos legales o largos párrafos difíciles de entender. Buscamos lo mejor para ambas partes, ahora y en el futuro.

Antecedentes:

@pazthor
pazthor / asSeenFrom.md
Created July 26, 2016 17:01 — forked from gkossakowski/asSeenFrom.md
Understand Scala's core typechecking rules

Scala's "type T in class C as seen from a prefix type S" with examples

Introduction

Recently, I found myself in need to precisely understand Scala's core typechecking rules. I was particulary interested in understanding rules responsible for typechecking signatures of members defined in classes (and all types derived from them). Scala Language Specification (SLS) contains definition of the rules but lacks any examples. The definition of the rules uses mutual recursion and nested switch-like constructs that make it hard to follow. I've written down examples together with explanation how specific set of rules (grouped thematically) is applied. These notes helped me gain confidence that I fully understand Scala's core typechecking algorithm.

As Seen From

Let's quote the Scala spec for As Seen From (ASF) rules numbered for an easier reference:

@pazthor
pazthor / deploy-static-site-heroku.md
Created August 9, 2016 05:54 — forked from wh1tney/deploy-static-site-heroku.md
How to deploy a static website to Heroku

Gist

This is a quick tutorial explaining how to get a static website hosted on Heroku.

Why do this?

Heroku hosts apps on the internet, not static websites. To get it to run your static portfolio, personal blog, etc., you need to trick Heroku into thinking your website is a PHP app. This 6-step tutorial will teach you how.

Basic Assumptions

##Reactive System Design Links

#Articles and Papers

@pazthor
pazthor / introrx.md
Created October 10, 2016 03:58 — forked from staltz/introrx.md
The introduction to Reactive Programming you've been missing
@pazthor
pazthor / .gitignore
Created October 29, 2016 03:18 — forked from kogakure/.gitignore
Git: .gitignore file for LaTeX projects
*.aux
*.glo
*.idx
*.log
*.toc
*.ist
*.acn
*.acr
*.alg
*.bbl
@pazthor
pazthor / gist:ffcdf91896c90574073b398324698d1f
Created November 7, 2016 16:33 — forked from jackrusher/gist:5139396
Hofstadter on Lisp: Atoms and Lists, re-printed in Metamagical Themas.

N.B. to run his examples in emacs, you'll want these aliases:

(defalias 'plus #'+)
(defalias 'quotient #'/)
(defalias 'times #'*)
(defalias 'difference #'-)

Lisp: Atoms and Lists

@pazthor
pazthor / carl_hewitt_actor_model.md
Created November 10, 2016 05:12 — forked from rbishop/carl_hewitt_actor_model.md
Notes from Carl Hewitt on the Actor Model

Carl Hewitt on Actors

Actor - Fundamental unit of computation, a computation model - not just a form of concurrency

An Actor has three essential elements:

  • 1 - Processing - you have to get something done
  • 2 - Storage - you have to be able to remember things
  • 3 - Communication
@pazthor
pazthor / linux_fun.md
Created January 12, 2017 22:26 — forked from marianposaceanu/linux_fun.md
How to have some fun using the terminal.

Linux fun-o-matic

How to have some fun using the terminal.

  1. Install cowsay [0] via : sudo apt-get install cowsay
  2. Install fortune [1] via : sudo apt-get install fortune
  3. Make sure you have Ruby installed via : ruby -v
  4. Install the lolcat [2] via : gem gem install lolcat
  5. Profit!