frosty

--# Main
-- based on untextured raycaster example: http://lodev.org/cgtutor/raycasting.html

MAPWIDTH = 24
MAPHEIGHT = 24

worldMap = {
  {1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1},
  {1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},
  {1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},

quchen

13:15 <xQuasar>      | HASKELL IS FOR FUCKIN FAGGOTS. YOU'RE ALL A BUNCH OF 
                     | FUCKIN PUSSIES
13:15 <xQuasar>      | JAVASCRIPT FOR LIFE FAGS
13:16 <luite>        | hello
13:16 <ChongLi>      | somebody has a mental illness!
13:16 <merijn>       | Wow...I suddenly see the error of my ways and feel 
                     | compelled to write Node.js!
13:16 <genisage>     | hi
13:16 <luite>        | you might be pleased to learn that you can compile 
                     | haskell to javascript now

AndrasKovacs

{-# LANGUAGE 
    LambdaCase, GADTs, TypeOperators, TypeFamilies, DataKinds #-}

data Type = TInt | TBool | Type :=> Type

-- Needs GHC >= 7.8
type family Interp (t :: Type) where
    Interp TInt      = Int
    Interp TBool     = Bool 
    Interp (a :=> b) = Interp a -> Interp b

AndrasKovacs

open import Data.List
open import Data.Nat
open import Relation.Binary.PropositionalEquality
open import Function
open import Data.Product
open import Data.Sum

data _▶_≡_ {A : Set}(x : A) : List A → List A → Set where
  here  : ∀ {xs} → x ▶ xs ≡ (x ∷ xs)

maxivak

Importing/Indexing database (MySQL or SQL Server) in Solr using Data Import Handler

Install Solr

download and install Solr from http://lucene.apache.org/solr/.

you can access Solr admin from your browser: http://localhost:8983/solr/

use the port number used in installation.

back2dos

package ;

#if macro
import haxe.macro.Context.*;
using haxe.macro.Tools;
#end

class ClassList {
  static var NAME = 'ClassList';//must be the fully qualified name of this class
  macro static function build() {

iamstoick

/**
 * Crawl the sitemap.xml for 301 redirections and 404 errors.
 * Source: http://edmondscommerce.github.io/php/crawl-an-xml-sitemap-quality-check-301-and-404.html
 *
 * To use this script you need to allocate a huge amount of time to maximum_execution_time to 
 * avoid Fatal error: Maximum execution time...I suggest to run this script on terminal.
 * Ex: $ php test-xml.php > ~/Desktop/sitemap-curl-result.txt
 *
 * For 3000 links the average time the script consumed is around 45 minutes to 1 hour.
 */

ghl3

We couldn’t find that file to show.

mowings

Use ffmpeg to stream video from a dahua 4300s to a file or files

You can use ffmpeg to directly pull frames off of a dahua 4300s at full resolution. May be a good alternative to pricey dvrs which likely cannot record at full resolution, may not work with the camera, or are prohibitevly expensive

Simple Stream to file

Simple stream to file. Full resolution

ffmpeg -loglevel debug -rtsp_transport tcp -i "rtsp://admin:[email protected]:554/live" \

-c copy -map 0 foo.mp4

chrisdone

module Printf

%default total

-- Formatting AST.
data Format
  = FInt Format
  | FString Format
  | FOther Char Format
  | FEnd