Kang-Li (Stephen) Cheng kanglicheng

Learn functional programming with the OCaml programming language

Registrations are open!

Functional programming is attracting interest from a broad range of developers because it allows to write expressive, concise and elegant programs.

The course "Introduction to Functional programming using the OCaml language" introduces gradually the central notions of functional programming, via a set of video courses that are complemented by a

https://www.youtube.com/watch?v=4n3l-ZcDJNY 2018 LLVM Developers’ Meeting: A. Dergachev “Faster, Stronger C++ Analysis with the Clang Static..”
https://www.youtube.com/watch?v=UcxF6CVueDM Clang Static Analysis - Gabor Horvath - Meeting C++ 2016
https://blog.rust-lang.org/2016/04/19/MIR.html rust blog on its MIR
https://rustc-dev-guide.rust-lang.org/mir/passes.html

Fast, greedy algorithm to find minimal paths from square $0$ to any square $n$ in the Infinite Sidewalk

Jane Street posted the Infinite Sidewalk problem:

Imagine standing on the first square of an infinite sidewalk labelled $1,1,2,2,3,3…$ Whenever you are on a square labelled $k$, you may jump $k$ squares in either direction to another square.

As shown in Proof: Every square in the Infinite Sidewalk is reachable, if we want to find a path from square $0$ to square $n$, we can work our ways "backwards" from square $n$ to square $n$ as detailed below.

First, let

$A(n) = \frac 2 3 (n-1)$

Sequence (from Jane Street Core)

Suppose you have a list.

let x = ["a"; "b"; "c"];;

Convert it to a sequence:

Option (from Jane Street Core)

Convert a value to an optional something:

let some_message = Option.some "goodbye";;

Suppose you have some data:

Dan Phiffer's Space/Time Exercise

This ended up taking a bit longer than I'd hoped. I started out by exploring the data using some JavaScript mapping libraries, but started to realize I was going to need something with a little more heft. I turned to Ruby, and decided the RGeo gem was the right thing for the job. It's been some time since I've used Ruby regularly, so there was some time spent reacquainting myself with some language stuff. And just getting up to speed with a library I had never used before.

At the core of the problem is this: how close is each address point to a street line? I looked up the math involved, and decided calculating things was going to be too much trouble. Then I discovered a very relevant message on the RGeo-users mailing list, and the rest of the solution was structuring the data properly.

I created a helper function point_line_dist(point, line) that returns the distance

A distributed, decentralized immutable block store for dune-cache

Objective

The aim of this project is to create a system to store data in the form of immutable, content addressable blocks that can be used as a backend for the dune-cache-daemon.

The envisioned characteristics are:

	from collections import deque

	board = [
	[ 57, 33, 132, 268, 492, 732 ],
	[ 81, 123, 240, 443, 353, 508 ],
	[ 186, 42, 195, 704, 452, 228 ],
	[ -7, 2, 357, 452, 317, 395 ],
	[ 5, 23, -4, 592, 445, 620 ],
	[ 0, 77, 32, 403, 337, 452 ],
	]

	function* myGenerator(n) {
	yield n - 1;
	yield n;
	yield n + 1;
	}

	// const g = myGenerator(5);
	// console.log(g.next());
	// console.log(g.next());
	// console.log(g.next());

	<html>
	<head>
	<meta charset="UTF-8">
	<meta name="viewport" content="width=device-width, initial-scale=1.0">
	<meta http-equiv="X-UA-Compatible" content="ie=edge">
	<title>To Do</title>
	<style>
	body {
	font-size: 1rem;
	font-family: -apple-system, BlinkMacSystemFont, 'Segoe UI', Roboto, Oxygen, Ubuntu, Cantarell, 'Open Sans', 'Helvetica Neue', sans-serif;