Skip to content

Instantly share code, notes, and snippets.

View apanda's full-sized avatar

Aurojit Panda apanda

109 followers · 2 following
View GitHub Profile
@apanda
apanda / config.toml
Created December 30, 2024 18:28
## where to store your database, default is your system data directory
## mac: ~/Library/Application Support/com.elliehuxtable.atuin/history.db
## linux: ~/.local/share/atuin/history.db
# db_path = "~/.history.db"
## where to store your encryption key, default is your system data directory
# key_path = "~/.key"
## where to store your auth session token, default is your system data directory
# session_path = "~/.key"
@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
@apanda
apanda / test2.c
Created January 8, 2021 20:56
#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 {
@apanda
apanda / gist:a07bf5e1eac4aaaaeaf8
Last active October 27, 2015 21:18
ivy
#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) = {
@apanda
apanda / e2.py
Created July 26, 2015 08:29
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
@apanda
apanda / test.cs
Created July 26, 2015 08:14
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]
@apanda
apanda / gist:2de6fcca82a1cde53117
Created July 10, 2015 02:46
Verifying I am +apanda on my passcard. https://onename.com/apanda
@apanda
apanda / Haskell
Created March 31, 2014 06:36 — forked from bitemyapp/gist:8739525
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!)
@apanda
apanda / keybase.md
Created March 26, 2014 20:18

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: