Karim DRIDI kdridi

🙃

Focusing

kdridi / gist:2236162

Created March 29, 2012 11:29

brew doctor

	Warning: Some directories in /usr/local/share/man aren't writable.
	This can happen if you "sudo make install" software that isn't managed
	by Homebrew. If a brew tries to add locale information to one of these
	directories, then the install will fail during the link step.
	You should probably `chown` them:

	/usr/local/share/man/de
	/usr/local/share/man/de/man1

	Warning: Some keg-only formula are linked into the Cellar.

kdridi / gist:3856107

Created October 9, 2012 01:48



	(** Login information for a database. database. Use [None] for default values *)
	type db = { dbhost : string option; (** database server host *)
	dbname : string option; (** database name *)
	dbport : int option; (** port *)
	dbpwd : string option; (** user password *)
	dbuser : string option; (** database user *)
	}

kdridi / gist:3871595

Created October 11, 2012 10:47

kdridi / gist:3880060

Created October 12, 2012 16:19

	max' = f
	where f x y = if x > y then x else y

kdridi / gist:3889873

Created October 14, 2012 21:29

	Resolving dependencies...
	[1 of 1] Compiling Main ( /var/folders/x6/hd161g356mbc8hmmzsj4xdy40000gn/T/haskelldb-hsql-0.10-49689/haskelldb-hsql-0.10/Setup.hs, /var/folders/x6/hd161g356mbc8hmmzsj4xdy40000gn/T/haskelldb-hsql-0.10-49689/haskelldb-hsql-0.10/dist/setup/Main.o )
	Linking /var/folders/x6/hd161g356mbc8hmmzsj4xdy40000gn/T/haskelldb-hsql-0.10-49689/haskelldb-hsql-0.10/dist/setup/setup ...
	Configuring haskelldb-hsql-0.10...
	Warning: No 'build-type' specified. If you do not need a custom Setup.hs or
	./configure script then use 'build-type: Simple'.
	Building haskelldb-hsql-0.10...
	Preprocessing library haskelldb-hsql-0.10...

	Database/HaskellDB/HSQL.hs:1:1:

kdridi / index.html

Created October 24, 2012 04:44 — forked from rfessler/index.html

A CodePen by rfessler.

	<!DOCTYPE html>
	<html >
	<head>
	<title>Display Data Using jQuery</title>

	<link rel="stylesheet" href="style.css" type="text/css" media="screen" charset="utf-8">0

	<script src="http://ajax.googleapis.com/ajax/libs/jquery/1.3.2/jquery.min.js" type="text/javascript" charset="utf-8"></script>
	<script src="application.js" type="text/javascript" charset="utf-8"></script>
	</head>

kdridi / gist:3960011

Created October 26, 2012 17:12

	class ApplicationController < ActionController::Base
	protect_from_forgery

	after_filter :set_access_control_headers

	def set_access_control_headers
	headers['Access-Control-Allow-Origin'] = '*'
	headers['Access-Control-Request-Method'] = '*'
	end
	end

kdridi / gist:5231661

Created March 24, 2013 12:13

I didn't get why getRSS returns an empty array

	{-# LANGUAGE Arrows, NoMonomorphismRestriction #-}

	module Main where

	import Text.XML.HXT.Core
	import Network.HTTP

	get x = getResponseBody =<< simpleHTTP (getRequest x)

	parseXML doc = readString

kdridi / App.js

Created November 2, 2016 00:46

	import React, { Component } from 'react';
	import Relay from 'react-relay';

	const Widget = ({ widget: { id, name } }) => <li>
	{name} !! (ID: {id})
	</li>;

	class WidgetList extends Component {
	render() {
	console.log('rendering WidgetList');

kdridi / App.01.js

Created November 2, 2016 21:16

	import React from 'react';
	import Relay from 'react-relay';

	class App extends React.Component {
	render() {
	return (
	<div>
	<h1>Widget list</h1>
	<ul>
	{this.props.viewer.widgets.edges.map(edge =>