Skip to content

Instantly share code, notes, and snippets.

View tiziano88's full-sized avatar
馃悪

Tiziano Santoro tiziano88

馃悪
133 followers · 244 following
View GitHub Profile
@tiziano88
tiziano88 / docker.md
Last active October 5, 2022 14:57

from https://github.com/project-oak/oak/blob/cf3c3e05984c164c3a1b0588b7301331653950e4/scripts/common#L22-L26 :

# Do not modify manually. This value is automatically updated by ./scripts/docker_build .
readonly DOCKER_IMAGE_ID='sha256:215d9b11115a46f799341852ab6c43147f43414cb5e02be35d0abd63ed75cbb6'

# Do not modify manually. This value is automatically updated by ./scripts/docker_push .
readonly DOCKER_IMAGE_REPO_DIGEST='europe-west2-docker.pkg.dev/oak-ci/oak-development/oak-development@sha256:9e6f478527ad452a83ebfc56e3e0fe2550f164e43bb9810ab989bddf4923f163'
@tiziano88
tiziano88 / main.rs
Last active October 15, 2020 19:43
use actix_web::{web, App, HttpRequest, HttpServer, Responder};
async fn greet(req: HttpRequest) -> impl Responder {
let name = req.match_info().get("name").unwrap_or("World");
format!("Hello {}!", &name)
}
#[actix_web::main]
async fn main() -> std::io::Result<()> {
println!("Hello World server started");
@tiziano88
tiziano88 / enclave-diff.html
Created September 30, 2019 16:30
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="utf-8" />
<meta http-equiv="x-ua-compatible" content="IE=edge">
<meta name="referrer" content="no-referrer" />
<meta name="generator" content="diffoscope" />
<link rel="icon" type="image/png" href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAACAAAAAgCAYAAABzenr0AAAABHNCSVQICAgIfAhkiAAAAAlwSFlzAAADdgAAA3YBfdWCzAAAABl0RVh0U29mdHdhcmUAd3d3Lmlua3NjYXBlLm9yZ5vuPBoAAAM8SURBVFiF7dZdaJZlGAfw3/O+e9XNjy3XllZzWImBxIpifqTgsmUHBSIeBNFBdRh0UHQ0xGdb66CFBIERZEFRQRRUw0HkQkLMYQSBdpCFWdgSP6jpNn2393k68Nn2bj3vXtb6UOh/cl/39b/u67mem/913zf/4z9GUDw5xNI8n5WIzW9m/QF2YluJmI8203mALzEvLWAerRs4Pz6vSIkZSlsYk0/GkaB0zEgyDgWMlijyWsJuS2fkQwu8pqpMTA0ypeiShG71Bp0rU8Q+A47MWEDgvHZbZl/Av4SpIgxVYB3IqwZDmoUuYkzosDaNchpAoFqkSmgjGPWzLieF1k3JHVsjvCJQHBYaSy9g1E3m+QImQiK9SbNGqJDzuiDZ0lggQJCsyelDq8BB47sbCWTsnvhG3kqcLL833eqF4hk1EOoTOjZjnnaRdq2l6KtMAyl4/g23bKJrun+Mt9uOq7nvqOVbebWYy9Adc1fM/R/3CO780dONbIeFPHsPw+ULeM5ZHTbXHfUtXpxOZzgT5z02UGsZThRzF/ilht9G+fr4zfbfccIxXIa7uVTup69i7LJXaEEqF3on1d9ludB
@tiziano88
tiziano88 / keybase.md
Last active April 18, 2019 14:39

Keybase proof

I hereby claim:

  • I am tiziano88 on github.
  • I am tiziano88 (https://keybase.io/tiziano88) on keybase.
  • I have a public key ASAqp3VOsoe7iPpin6XijJhmGaNGEGtLexxvSDrKYCoiWwo

To claim this, I am signing this object:

@tiziano88
tiziano88 / HowToOTGFast.md
Last active March 27, 2017 23:03 — forked from gbaman/HowToOTGFast.md
Simple guide for setting up OTG modes on the Raspberry Pi Zero, the fast way!

Setting up Pi Zero OTG - The quick way (No USB keyboard, mouse, HDMI monitor needed)

More details - http://blog.gbaman.info/?p=791

For this method, alongside your Pi Zero, MicroUSB cable and MicroSD card, only an additional computer is required, which can be running Windows (with Bonjour, iTunes or Quicktime installed), Mac OS or Linux (with Avahi Daemon installed, for example Ubuntu has it built in).

  1. Flash Raspbian Jessie full or Raspbian Jessie Lite onto the SD card.
  2. Once Raspbian is flashed, open up the boot partition (in Windows Explorer, Finder etc) and add to the bottom of the config.txt file dtoverlay=dwc2 on a new line, then save the file.
  3. If using a recent release of Jessie (Dec 2016 onwards), then create a new file simply called ssh in the SD card as well. By default SSH is now disabled so this is required to enable it.
@tiziano88
tiziano88 / jsonDecoderError.elm
Last active July 1, 2016 22:06
module Main exposing (..)
import Html
import Json.Decode as JD exposing ((:=))
import Json.Encode as JE
main = Html.text <| toString <| JD.decodeString aDecoder "{}"
type A = A A
@tiziano88
tiziano88 / gist:0c400c9e892ad603faa7
Last active August 29, 2015 14:24
Rust HKT
// Option A.
trait Functor {
fn fmap(self: &Self<A>, Fn(A) -> B) -> Self<B>
}
// Option B.
trait Functor<A,B> {
fn fmap(&self, Fn(&A) -> &B) -> ???
}
@tiziano88
tiziano88 / log
Created February 16, 2015 23:21
Feb 12 11:11:45 VGN-FW56E kernel: [ 60.892082] Corrupted low memory at ffff88000000be38 (be38 phys) = b036000400000000
Feb 12 11:11:45 VGN-FW56E kernel: [ 60.892091] ------------[ cut here ]------------
Feb 12 11:11:45 VGN-FW56E kernel: [ 60.892099] WARNING: CPU: 1 PID: 126 at /build/buildd/linux-3.13.0/arch/x86/kernel/check.c:140 check_for_bios_corruption+0x10f/0x120()
Feb 12 11:11:45 VGN-FW56E kernel: [ 60.892100] Memory corruption detected in low memory
Feb 12 11:11:45 VGN-FW56E kernel: [ 60.892102] Modules linked in: ctr ccm bnep rfcomm arc4 iwldvm snd_hda_codec_hdmi snd_hda_codec_realtek snd_hda_intel mac80211 snd_hda_codec snd_hwdep hid_generic snd_pcm snd_page_alloc uvcvideo videobuf2_vmalloc snd_seq_midi snd_seq_midi_event videobuf2_memops snd_rawmidi videobuf2_core usbhid snd_seq hid iwlwifi videodev coretemp snd_seq_device snd_timer joydev serio_raw snd cfg80211 soundcore btusb sony_laptop r592 lpc_ich bluetooth memstick mac_hid video parport_pc ppdev lp parport psmouse firewire_ohci sdhci
@tiziano88
tiziano88 / gist:5166177
Last active December 14, 2015 23:29
Sane tmux session management for zsh with dynamic session name autocompletion.
function mux {
case "$1" in
"")
# If no args, list all the available "visible" sessions.
tmux ls | grep --color=never -C0 "^[^.]"
;;
*)
# "Hidden" sessions have a name starting with a '.'.
session_id=".$1.`date +%Y%m%d%H%M%S`"
# Try to create a hidden session and attach it to the specified one, killing it once finished.