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:
I hereby claim:
To claim this, I am signing this object:
| #!/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 |
| #!/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}]" |
| <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> |
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.
| <!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> |
Dear Sir,
I was revising the exercises in propositional logic and I was having some doubts.
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.
| #!/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') |
| #!/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') |
| 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 = [] |