Skip to content

Instantly share code, notes, and snippets.

View itsfarseen's full-sized avatar

Farseen itsfarseen

64 followers · 114 following
View GitHub Profile
@itsfarseen
itsfarseen / keybase.md
Created July 19, 2022 16:39

Keybase proof

I hereby claim:

  • I am itsfarseen on github.
  • I am itsfarseen (https://keybase.io/itsfarseen) on keybase.
  • I have a public key ASDpgvIHNBYd4QJ6P1n2K16-O0XDOgY3JpE-E6GF78cqoQo

To claim this, I am signing this object:

@itsfarseen
itsfarseen / switch-monitor.py
Last active January 29, 2024 06:28
Switch Monitor
#!/bin/python3
import sys
import os
mode = sys.argv[1] if len(sys.argv) > 1 else None # internal/external
def main():
if mode == "internal":
dpi = 110
@itsfarseen
itsfarseen / dtdc-track.sh
Created November 10, 2021 06:04
#!/bin/sh
if [ -z "$1" ]; then
echo "Usage: $0 <tracking number>"
echo
exit -1
fi;
data=$(curl "https://tracking.dtdc.com/ctbs-tracking/customerInterface.tr?submitName=getLoadMovementDetails&cnNo=$1" -X POST)
echo $data | jq "[.[] | {Date: (.dateWithNoSuffix + \" \" + .time), Activity: .activityType, From: .origin, To: .dest}]"
@itsfarseen
itsfarseen / index.html
Created August 30, 2021 10:27
Example of BSNL doing MITM on customers. This is the output of `wget https://pdfkit.org/`
<meta name="viewport" content="width=device-width,initial-scale=1.0,maximum-scale=1.0"/><style>body{margin:0px;padding:0px;}iframe{width:100%;height:100%}</style><iframe src="http://182.79.218.34:8080/webadmin/deny/index.php?dpid=15&dpruleid=11&cat=107&ttl=0&groupname=-&policyname=-&username=%2d&userip=172.68.155.141&connectionip=127.0.0.1&nsphostname=Chennai-Policy10&protocol=policyprocessor&dplanguage=-&url=http%3a%2f%2f185%2e199%2e108%2e153%2f" width="100%" height="100%" frameborder=0></iframe>
@itsfarseen
itsfarseen / ts-esm.md
Last active August 8, 2021 16:11
TS+ESM. Fuck!

JS/TS Ecosystem Sucks at not breaking things.

Here's a list of things that I discovered.

  • Import extension

    When using Node with ESM, it requires .js extension on imports. Use node --experimental-specifier-resolution=node to revert back to old node behavior of not requiring an extension.

@itsfarseen
itsfarseen / redirect.html
Created April 5, 2021 08:50
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="UTF-8">
<meta http-equiv="X-UA-Compatible" content="IE=edge">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<title>Redirecting Ragam TreasureHunt</title>
<style>
</style>
@itsfarseen
itsfarseen / coq_prop_logic.md
Last active November 16, 2020 07:19
Doubts in Coq

Dear Sir,
I was revising the exercises in propositional logic and I was having some doubts.

  1. Working of destruct and case tactic on a Lemma.

    I understand destruct tactic works on hypothesis with /\, \/, and <-> operators in it.
    I have included a small code snippet that shows the basic usage of destruct in simple cases.

    Please click here to expand the code
@itsfarseen
itsfarseen / vignere.hs
Created November 10, 2020 12:08
#!/usr/bin/env stack
-- stack --resolver lts-16.16 script --package unordered-containers --ghc-options -Wall --ghc-options -fbreak-on-exception
{-# LANGUAGE MultiWayIf, LambdaCase #-}
module Main where
import Data.Char
import qualified Data.HashMap.Strict as HM
import Data.List (foldl')
@itsfarseen
itsfarseen / vignere.hs
Created November 10, 2020 12:08
#!/usr/bin/env stack
-- stack --resolver lts-16.16 script --package unordered-containers --ghc-options -Wall --ghc-options -fbreak-on-exception
{-# LANGUAGE MultiWayIf, LambdaCase #-}
module Main where
import Data.Char
import qualified Data.HashMap.Strict as HM
import Data.List (foldl')
@itsfarseen
itsfarseen / dl.py
Created October 1, 2020 10:46
Computational Geometry Downloader
import requests
from pprint import pprint
from subprocess import call
print("Getting latest lecture lists")
r = requests.get("https://docs.google.com/document/d/19aANt5jiIrCiSUnOvjRGpv3J1aY1l4ZSkWBPapeKSyo/export?format=txt")
lines = r.text.splitlines()
links = []