Skip to content

Instantly share code, notes, and snippets.

View bollu's full-sized avatar

Siddharth bollu

700 followers · 125 following
View GitHub Profile
@bollu
bollu / graded1.hs
Created December 22, 2020 16:46 — forked from emilypi/graded1.hs
Graded semigroups/monoids/groups - two versions
{-# language FlexibleInstances #-}
{-# language DefaultSignatures #-}
{-# language RankNTypes #-}
{-# language MultiParamTypeClasses #-}
{-# language QuantifiedConstraints #-}
module Data.Group.Graded where
import Data.Functor.WithIndex
import Data.Group
import Data.Map (Map)
@bollu
bollu / flows-problems.txt
Created October 27, 2020 15:31 — forked from anurudhp/flows-problems.md
Collection of problems on flows
http://codeforces.com/problemset/problem/628/F
http://codeforces.com/gym/100729 : Problem F
http://codeforces.com/gym/100517 : Problem H
http://codeforces.com/gym/101128 : Problem F
http://codeforces.com/gym/100491 : Problem A
http://codeforces.com/gym/101175 : Problem D (WF)
http://codeforces.com/gym/101221 : Problem I (WF)
http://codeforces.com/gym/100800 : Problem A
http://codeforces.com/gym/101239 : Problem C (WF)
http://codeforces.com/gym/101208 : Problem C (WF)
@bollu
bollu / coro-cps.ll
Created June 15, 2019 13:13 — forked from GorNishanov/coro-cps.ll
; Emulating cps call using LLVM Coroutines
; RUN: opt coro-cps.ll -O2 -enable-coroutines -S
define void @f(i32 %arg) {
entry:
%bar.ret.addr = alloca i32
%id = call token @llvm.coro.id(i32 0, i8* null, i8* null, i8* null)
%size = call i32 @llvm.coro.size.i32()
%alloc = call i8* @malloc(i32 %size)
%hdl = call noalias i8* @llvm.coro.begin(token %id, i8* %alloc)
@bollu
bollu / proxy_switch.sh
Created December 13, 2015 10:04 — forked from jameswomack/proxy_switch.sh
Bash/ZSH for changing git/npm/global proxy info based on current Wifi SSID on Mac
alias airport="/System/Library/PrivateFrameworks/Apple80211.framework/Versions/Current/Resources/airport"
CURRENT_WIFI_SSID=$(eval airport -I | grep '^[[:space:]]*SSID' | sed -e 's/^.*SSID: //g')
proxy() {
export addy='http://www-west.sony.com:80'
git config --global http.proxy $addy
git config --global https.proxy $addy
npm config set http-proxy $addy
npm config set https-proxy $addy
@bollu
bollu / pytest.rs
Created June 13, 2014 20:46 — forked from mcpherrinm/pytest.rs
#[link(name="python2.7")]
extern {
fn Py_SetProgramName(name: *u8);
fn Py_Initialize();
fn PyRun_SimpleString(command: *u8);
fn Py_Finalize();
}
fn main() {
let args = std::os::args();
@bollu
bollu / gist:1bd9ac58f886c5efe865
Created June 13, 2014 20:34 — forked from mcpherrinm/gist:0116cef42d27583bdcde
mm@cereal:~/dytest$ rustc -C prefer-dynamic --crate-type=dylib fooz.rs
mm@cereal:~/dytest$ cat fooz.rs
#[no_mangle]
pub extern "C" fn foo(x: int) {
println!("Cowabunga, {}", x);
}
mm@cereal:~/dytest$ cat test.py
import ctypes
fooz = ctypes.CDLL("/home/mm/dytest/libfooz-afaf02c9-0.0.so")
@bollu
bollu / gists.rb
Created March 13, 2014 14:26 — forked from trevorturk/gists.rb
# gem install httparty
# ruby gists.rb
require 'httparty'
class Gists
include HTTParty
@username = 'x'
@password = 'x'
@bollu
bollu / arch-augment-vim-for-python.md
Created February 3, 2014 11:49 — forked from MicahElliott/arch-augment-vim-for-python.md

Steps to upgrade vim in arch linux for python runtime support

Python support is needed by vim in order to run things like Conque and Slimv. Arch keeps vim slim by only providing Python support in gvim. But you may prefer vim to gvim, so here's what's needed.

More ABS info.

# Install and run abs (sync)

sudo pacman -S abs