Skip to content

Instantly share code, notes, and snippets.

@apanda
apanda / arch-linux-install.md
Last active January 27, 2021 02:22 — forked from kylemanna/arch-linux-install.md
Minimal instructions for installing arch linux on an UEFI NVMe system with full system encryption using dm-crypt and luks
#include <stdio.h>
int main(int argc, char *argv[]) {
int c;
int curr_line_length;
while ((c = getc(stdin)) != EOF) {
if (c == '\n') {
printf("%d\n", curr_line_length);
curr_line_length = 0;
} else {
#lang ivy2
#Panda's synchronization protocol
# General modules & macros
#Functional dependencies
module lone(f) = {
axiom (f(X, Y1) & f(X, Y2)) -> Y1 = Y2
}
module injective(f) = {
In [35]: class NF(yaml.YAMLObject):
yaml_tag=u'tag:yaml.org,2002:nf'
def __init__(self):
pass
....:
In [36]: class Softnic(yaml.YAMLObject):
yaml_tag=u'tag:yaml.org,2002:softnic'
def __init__(self):
pass
using System;
using System.Collections.Generic;
using System.IO;
using System.Linq;
using System.Text;
using YamlDotNet.Serialization;
using YamlDotNet.Serialization.NamingConventions;
namespace YamlDotNet.Samples
{
@apanda
apanda / e2.yaml
Last active August 29, 2015 14:25
Requests:
- command: launch-softnic
argument:
Cores: [0]
AAA: B
- command: launch-nf
argument:
NFid: 1
Name: firewall
Arguments: [-e]
Verifying I am +apanda on my passcard. https://onename.com/apanda
I like Learn You a Haskell as a reference and cheat-sheet but I found it a little slow for learning Haskell.
Here's my recommended order for just learning Haskell:
http://yannesposito.com/Scratch/en/blog/Haskell-the-Hard-Way/ 80% completion here is fine if you feel your attention waning, the next thing will address hammering in things like functors and monads via typeclasses.
https://github.com/NICTA/course/ this will hammer in the lessons in a very direct form by forcing you to confront the challenges and lessons learned by the creators and community of Haskell itself. Doing the exercises here is critical for being fluent.
Real World Haskell is available online. (Thanks bos!)

Keybase proof

I hereby claim:

  • I am apanda on github.
  • I am apanda (https://keybase.io/apanda) on keybase.
  • I have a public key whose fingerprint is 1DA6 CE18 AB95 4F9C D547 1032 6A57 CDF1 969E 0262

To claim this, I am signing this object:

def foo(a,b,c,d,e,f,g,h):
pass
foo(1,
2,
3,
4,
5,
6,
7,