Antonio De Lucreziis aziis98

Syncronization Primitives Equivalences

Pseudocode inspiration from: https://people.eecs.berkeley.edu/~kubitron/courses/cs162-F10/hand-outs/synch.html

Interfaces

ThreadQueue() {
    var queue: Queue<Thread>;

Tmux launcher

Launch commands in a new detached tmux session. This needs tmux and sqlite3 to be installed, see launch --help for usage.

Sqlite is used for storing the command history in ~/.cache/aziis98.scripts.launch/history.db that can be run with launch past <SESSION_NAME>.

Info

TARGET_FILE ~> https://gist.github.com/aziis98/5db2a8efb07c1fa666e740f8c0b72b6a

Symlink Manager

I tried to use a bare git repo to version my dotfiles and my config files but I ended not liking it very much (I don't like to mess so much with the git working directory).

This is my first try on a custom setup, the local copies of the "scripts" and "dotfiles" repositories can be stored wherever on the system and this two command automatically linkup all the files to their target location using a custom comment format in the script files.

dotfiles-link.sh

The following script automatically symlinks all scripts to the correct directories with a declaration like

My Scripts

Some of my scripts (bashrc, ...)

bashrc
...

Esercizio

Option<T> := None | Some T
List<T> := Nil | Append List<T> T
Tree<T> := Leaf T | Branch List<Tree<T>>

Si possono anche assumere funzioni comode come get :: (List<T>, Int) -> T

Random-Looking Text

Small snippet of JS to generate some random looking text instead of using lorem ipsum.

Usage

In HTML put some <span class="random-text"></span>

notifica-esami

Telgram

Crea un bot
Invia un messaggio al nuovo bot
Questo comando richiede gli ultimi messaggi da processare del Bot e permette di estrarre l'ID dell'utente.
```
curl -s https://api.telegram.org/bot$BOT_TOKEN/getUpdates | jq .result[].message.chat.id
```

If Donald Knuth had designed Wikipedia

forked from https://github.com/AndrewBelt/WiTeX, a bit less minimal to show also the language bar.

	const apiResponse1 = {
	post: "Questa è la domanda di questo thread",
	votes: 1,
	timestamp: "un po' di fantasia",
	children: [
	{
	content: "Questa è la prima riposta",
	votes: 1,
	timestamp: "un po' di fantasia",
	children: []

	const TICK = '`';

	const componentEmbedTemplate = ({ uid, code }) => `
	<div class="embed">
	<script id="embed-${uid}">
	(async function() {
	const $self = document.getElementById('embed-${uid}');
	const $embedContainer = document.createElement('div');
	$embedContainer.classList.add('container');
	const $shadow = $embedContainer.attachShadow({ mode: 'open' });