Tonis tonis2

This project is a tiny compiler for a very simple language consisting of boolean expression.

The language has two constants: 1 for true and 0 for false, and 4 logic gates: ! (not), & (and), | (or), and ^ (xor).

It can also use parentheses to manage priorities.

Here is its grammar in BNF format:

expr ::= "0" | "1"

Programming as Theory Building

Peter Naur

Peter Naur's classic 1985 essay "Programming as Theory Building" argues that a program is not its source code. A program is a shared mental construct (he uses the word theory) that lives in the minds of the people who work on it. If you lose the people, you lose the program. The code is merely a written representation of the program, and it's lossy, so you can't reconstruct

Autoupdates for Electron App

This guide will show you how to prepare sample Electron application for publishing from scratch:

create a new app
build distos
publish release to GitHub
set up autoupdating

Your app's updates may be stored on GitHub repo's releases page. It is free and user-friendly.

	<!DOCTYPE html>
	<html lang="en">

	<head>
	<meta charset="UTF-8">
	<meta name="viewport" content="width=device-width, initial-scale=1.0">
	<title>My Angular from Scratch</title>
	<style>
	.my-component {
	font-family: Arial, sans-serif;

	import 'package:flutter/material.dart';

	extension BuildContextExtensions on BuildContext {
	ThemeData get theme => Theme.of(this);

	TextTheme get textTheme => theme.textTheme;

	ColorScheme get colorScheme => theme.colorScheme;

	DefaultTextStyle get defaultTextStyle => DefaultTextStyle.of(this);

	// How to build:
	// # compile the metal shaders
	// xcrun -sdk macosx metal -c shaders.metal -o shaders.air
	// xcrun -sdk macosx metallib shaders.air -o shaders.metallib
	// # compile the c file
	// clang app_metal.c -framework Cocoa -framework Metal -o metal_c.app
	//
	//
	// Draw a triangle using metal
	// Metal tutorial followed here: https://www.raywenderlich.com/7475-metal-tutorial-getting-started

	version: '3.2'

	services:
	agent:
	image: portainer/agent
	environment:
	# REQUIRED: Should be equal to the service name prefixed by "tasks." when
	# deployed inside an overlay network
	AGENT_CLUSTER_ADDR: tasks.agent
	# AGENT_PORT: 9001

	node_modules
	dist/
	yarn.lock
	wwwroot

	var str = 'class ಠ_ಠ extends Array {constructor(j = "a", ...c) {const q = (({u: e}) => {return { [`s${c}`]: Symbol(j) };})({});super(j, q, ...c);}}' +
	'new Promise((f) => {const a = function* (){return "\u{20BB7}".match(/./u)[0].length === 2 \|\| true;};for (let vre of a()) {' +
	'const [uw, as, he, re] = [new Set(), new WeakSet(), new Map(), new WeakMap()];break;}f(new Proxy({}, {get: (han, h) => h in han ? han[h] ' +
	': "42".repeat(0o10)}));}).then(bi => new ಠ_ಠ(bi.rd));';

	try {
	eval(str);
	} catch(e) {
	alert('Your browser does not support ES6!')
	}

	# Should work on all Debian based distros with systemd; tested on Ubuntu 16.04+.
	# This will by default install all plugins; you can customize this behavior on line 6. Selecting too many plugins can cause issues when downloading.
	# Run as root (or sudo before every line) please. Note this is not designed to be run automatically; I recommend executing this line by line.

	apt install curl
	curl https://getcaddy.com \| bash -s personal dns,docker,dyndns,hook.service,http.authz,http.awses,http.awslambda,http.cache,http.cgi,http.cors,http.datadog,http.expires,http.filemanager,http.filter,http.forwardproxy,http.geoip,http.git,http.gopkg,http.grpc,http.hugo,http.ipfilter,http.jekyll,http.jwt,http.locale,http.login,http.mailout,http.minify,http.nobots,http.prometheus,http.proxyprotocol,http.ratelimit,http.realip,http.reauth,http.restic,http.upload,http.webdav,net,tls.dns.auroradns,tls.dns.azure,tls.dns.cloudflare,tls.dns.cloudxns,tls.dns.digitalocean,tls.dns.dnsimple,tls.dns.dnsmadeeasy,tls.dns.dnspod,tls.dns.dyn,tls.