suhr

Упражнения по формальным доказательствам

Нет времени объяснять, переходим сразу к делу.

Инструменты

Доказывать теоремы мы будем, используя интерактивные пруверы Isabelle или Lean 3. Примеры приводятся для каждого прувера, для решения задач же можно использовать любой из них.

bmaupin

See also:

• Free database hosting
• https://free-for.dev/#/?id=iaas
• https://free-for.dev/#/?id=paas

Service	Type	RAM	Storage	Limitations
👉 Adaptable	PaaS	256 MB	Non-persistent? (1 GB database storage available)
AWS EC2	IaaS	1 GB		⚠️ Only free for 1 year

kennethgeerts

Squashing commits on a feature branch

Suppose you did 3 commits on a feature branch called feature:

ae1a4a5 Foo
a5827db Bar
62d4c80 Baz

Make sure develop branch is up to date:

tkymx

std::vector<std::string> split(std::string text,std::string delim )
{
	int index = 0, current = 0;
	std::vector<std::string> strs;
	while ((index = text.find_first_of(delim, current)) != std::string::npos)
	{
		strs.push_back(text.substr(current, index - current));
		current = index + 1;
	}

yurydelendik

NOTE: the content is out-of-date. All development is moved to the https://github.com/yurydelendik/wasmception

Using WebAssembly in LLVM

Compiling

# locations, e.g.
export WORKDIR=~/llvmwasm; mkdir -p $WORKDIR
export INSTALLDIR=$WORKDIR

esimov

package main

import (
	"fmt"
	"time"
)

const LIM = 41
var facts [LIM]uint64

nisaacson

{
    "libs": [
        "browser",
        "underscore",
        "jquery"
            ],
        "plugins": {
          "node": {}
        }
}

fatih

// A very simple example about how to use concurrent-safe SETs (using string as keys) in GO
package main

import (
  "fmt"
	"sync"
)

type Set struct {
	m map[string]bool