Ferdinando Santacroce jesuswasrasta

Prova Language Specification

Version 0.4 (draft). Status: design complete for a v1 compiler; open items listed in section 15. Changes from 0.1 are recorded in Appendix B, from 0.2 in Appendix C, and from 0.3 in Appendix D.

1. Purpose and founding principle

Prova is a programming language designed for code generation by large language models. Its founding principle:

A Prova program is a claim plus its evidence. The compiler rejects claims without evidence.

The brain does not like to work. It's a lot of work to have a true picture of the world live inside the brain. So the brain doesn't do that as much as you (it) thinks.

Some of the ways the brain avoids work may give help to people who show computers how to do the work computers do. Here are the ways I will talk about:

Have lots of little boxes of work. Each box looks for just one thing and knows how to do just one thing. It knows just enough to see the one thing and make the thing it knows how to do happen.
Many boxes are looking at the same time. The brain is always ready to do something else.
If two boxes both know the same thing or two, you can make another box to hold what's shared. But you only do that if it makes there be less work. Do that enough and you may get a true picture of part of the world. But most of the time you don't.

Selezionati

No-s

No mutable state
no loops (for, while)
no statements
no mouse
no primitives
no else (only guards)
no conditionals

Installing KDE on WSL2

Inspiration: https://www.most-useful.com/kde-plasma-on-wsl.html

Setup

Update WSL
- In windows command prompt run: wsl --update
Add systemd to ubuntu

In ubuntu prompt run: sudo nano /etc/wsl.conf

Advanced Distributed System Design Course - Udi Dahan

Notes by Craig Phillips

Fallacies of Distributed Computing

There are 11 fallacies of Distributed Computing:
1. The network is reliable
2. Latency isn’t a problem
3. Bandwidth isn’t a problem
4. The network is secure

The topology won’t change

Playing at a Distance

First of all, there are some great digital options for playing games. Some work well remotely, some support local play on one device. Some are free, some cost money. Rather than list/compare all the options, here are some to check out on your own:

[Tabletop Simulator][]
[Tabletopia][]
[Board Game Arena][]
[Yucata][]

No Printer Required

Using Git Commit Message Templates to Write Better Commit Messages

The always enthusiastic and knowledgeable mr. @jasaltvik shared with our team an article on writing (good) Git commit messages: How to Write a Git Commit Message. This excellent article explains why good Git commit messages are important, and explains what constitutes a good commit message. I wholeheartedly agree with what @cbeams writes in his article. (Have you read it yet? If not, go read it now. I'll wait.) It's sensible stuff. So I decided to start following the

 <#
 .SYNOPSIS
     Automatically add context menu entries for Jetbrains IDEs.
 .PARAMETER Name
     The name or names of the IDEs to add context menus for, use -List to see available IDEs.
 .PARAMETER BasePath
     The path to the Toolbox apps directory, defaults to "$env:LOCALAPPDATA\JetBrains\Toolbox\apps".
 .PARAMETER Global
     Install context menu entries in HKLM registry (machine wide), requires running as administrator.
 .PARAMETER Force

	@echo off

	SET PhpStormPath=C:\Program Files\JetBrains\PhpStorm 2020.3.3\bin\phpstorm64.exe

	echo Adding file entries
	@reg add "HKEY_CLASSES_ROOT\*\shell\PhpStorm" /t REG_SZ /v "" /d "Open in PhpStorm" /f
	@reg add "HKEY_CLASSES_ROOT\*\shell\PhpStorm" /t REG_EXPAND_SZ /v "Icon" /d "%PhpStormPath%,0" /f
	@reg add "HKEY_CLASSES_ROOT\*\shell\PhpStorm\command" /t REG_SZ /v "" /d "%PhpStormPath% \"%%1\"" /f

	echo Adding within a folder entries

	#!/bin/bash
	set -o pipefail
	set -s

	#####
	# This script will take a fresh KDE Neon install and make it suitable for getting stuff done.
	# It may not work against another Ubuntu Installation type.
	# Run it with: bash <(wget -qO- https://git.io/vSe77)
	#####