View 2serv.py
#!/usr/bin/env python2 | |
import SimpleHTTPServer | |
import SocketServer | |
import logging | |
PORT = 8000 | |
class GetHandler(SimpleHTTPServer.SimpleHTTPRequestHandler): |
View 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 |
View 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} |
View 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 | |
|] |
View 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; |
View 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 |
View 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) |
View 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] [] | |
] |
View 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> | |
<!-- |
View 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(); |
NewerOlder