giuliohome

## 2serv.py
#!/usr/bin/env python2

import SimpleHTTPServer
import SocketServer
import logging

PORT = 8000

class GetHandler(SimpleHTTPServer.SimpleHTTPRequestHandler):

## AdventOfCodeDay3bis.fs
open System
open System.IO
open System.Diagnostics

// my first part was 3247
//Found min cross at steps 48054 X 4537 and Y 4955
//done in (101) ms !

type Point = {X:int; Y:int; Steps: int} with
    override this.ToString() = sprintf "(%d,%d,%d)" this.X this.Y this.Steps

## AdventOfCodeDay2bis.fs
open System
open System.IO

let readInts (path:string) : int [] =
    use sw = new StreamReader (path)
    sw.ReadToEnd().Split(",")
    |> Array.map Int32.Parse

type Status = {memory:int[]; position: int; finished: bool;}
type Cmd = {opcode: int; op1:int ; op2: int; dest:int}

## AdventOfCodeDay1bis.fs
open System
open System.IO

let readInts (path:string) =
    [|
    use sw = new StreamReader (path)
    while (not sw.EndOfStream) do
        yield sw.ReadLine() |> Int32.Parse
    |]

## PostSlack_BackGround.java
package org.new_year2018;

import android.os.AsyncTask;

import java.io.IOException;
import java.io.UnsupportedEncodingException;
import java.util.ArrayList;

import org.apache.http.NameValuePair;
import org.apache.http.client.ClientProtocolException;

## WebSharperLens2DB.fs
// online snippet: https://try.websharper.com/snippet/user3383/0000Oy
// gitter ref: https://gitter.im/intellifactory/websharper?at=5d650521f2821072aa20f412
// intellifactory blog: https://www.intellifactory.com/blog/5508/clear-and-simple-reactive-code-with-websharper-ui-s-v
namespace Samples

open WebSharper
open WebSharper.JavaScript
open WebSharper.UI
open WebSharper.UI.Html
open WebSharper.UI.Client

## CleanDatePicker.fs
// from IE datepicker to F#: you tried Globalization, ParseExact, etc...  without luck
// and this does the trick ;-)
let filterDate (str:string) : string =
    new string (str.ToCharArray()
    |> Array.filter(fun c -> int c < 128))
// used for example in
let dateFrom = DateTime.Parse(filterDate dateFromStr)

## OpenDetails.fs
let (|==>) (param_name, param_id) (safe_url:EndPoint) =
        let router = Router.Infer()
        let url = router.Link(safe_url)
        form [attr.target "_blank"; attr.action url; attr.id ("form" + param_id); attr.method "POST" ] [
            a [ on.click (fun el ev ->
                    let frm = JS.Document.GetElementById ("form" + param_id) |> As<HTMLFormElement>
                    frm.Submit()
                ) ] [text param_id]
            input [attr.``type`` "hidden"; attr.name param_name; attr.value param_id] []
        ]

## app_offline.htm
<!DOCTYPE html>
<html>
<head>
  <meta charset="UTF-8">
  <title>Offline</title>
</head>
<body style="margin:3em;font-family:sans-serif">
  <h2>Offline</h2>
  <p>This site is offline for maintenance.</p>
  <!--

## TimeIt.cs
//usage:
//TimeIt(() => Extract(sql_trades, "03_Trade_Valid_" + timestamp + ".csv"), "Trade Extract");
static bool Retry(int count, Action action, Action<int> startCallback, Func<Exception, int, bool> exceptionCallback)
{
    if (count <= 0) { return false; } else
    {
        try
        {
            startCallback(count);
            action();
	#!/usr/bin/env python2

	import SimpleHTTPServer
	import SocketServer
	import logging

	PORT = 8000

	class GetHandler(SimpleHTTPServer.SimpleHTTPRequestHandler):
	open System
	open System.IO
	open System.Diagnostics

	// my first part was 3247
	//Found min cross at steps 48054 X 4537 and Y 4955
	//done in (101) ms !

	type Point = {X:int; Y:int; Steps: int} with
	override this.ToString() = sprintf "(%d,%d,%d)" this.X this.Y this.Steps
	open System
	open System.IO

	let readInts (path:string) : int [] =
	use sw = new StreamReader (path)
	sw.ReadToEnd().Split(",")
	\|> Array.map Int32.Parse

	type Status = {memory:int[]; position: int; finished: bool;}
	type Cmd = {opcode: int; op1:int ; op2: int; dest:int}
	open System
	open System.IO

	let readInts (path:string) =
	[\|
	use sw = new StreamReader (path)
	while (not sw.EndOfStream) do
	yield sw.ReadLine() \|> Int32.Parse
	\|]
	package org.new_year2018;

	import android.os.AsyncTask;

	import java.io.IOException;
	import java.io.UnsupportedEncodingException;
	import java.util.ArrayList;

	import org.apache.http.NameValuePair;
	import org.apache.http.client.ClientProtocolException;
	// online snippet: https://try.websharper.com/snippet/user3383/0000Oy
	// gitter ref: https://gitter.im/intellifactory/websharper?at=5d650521f2821072aa20f412
	// intellifactory blog: https://www.intellifactory.com/blog/5508/clear-and-simple-reactive-code-with-websharper-ui-s-v
	namespace Samples

	open WebSharper
	open WebSharper.JavaScript
	open WebSharper.UI
	open WebSharper.UI.Html
	open WebSharper.UI.Client
	// from IE datepicker to F#: you tried Globalization, ParseExact, etc... without luck
	// and this does the trick ;-)
	let filterDate (str:string) : string =
	new string (str.ToCharArray()
	\|> Array.filter(fun c -> int c < 128))
	// used for example in
	let dateFrom = DateTime.Parse(filterDate dateFromStr)
	let (\|==>) (param_name, param_id) (safe_url:EndPoint) =
	let router = Router.Infer()
	let url = router.Link(safe_url)
	form [attr.target "_blank"; attr.action url; attr.id ("form" + param_id); attr.method "POST" ] [
	a [ on.click (fun el ev ->
	let frm = JS.Document.GetElementById ("form" + param_id) \|> As<HTMLFormElement>
	frm.Submit()
	) ] [text param_id]
	input [attr.``type`` "hidden"; attr.name param_name; attr.value param_id] []
	]
	<!DOCTYPE html>
	<html>
	<head>
	<meta charset="UTF-8">
	<title>Offline</title>
	</head>
	<body style="margin:3em;font-family:sans-serif">
	<h2>Offline</h2>
	<p>This site is offline for maintenance.</p>
	<!--
	//usage:
	//TimeIt(() => Extract(sql_trades, "03_Trade_Valid_" + timestamp + ".csv"), "Trade Extract");
	static bool Retry(int count, Action action, Action<int> startCallback, Func<Exception, int, bool> exceptionCallback)
	{
	if (count <= 0) { return false; } else
	{
	try
	{
	startCallback(count);
	action();