Skip to content

Instantly share code, notes, and snippets.

@simkimsia
simkimsia / collaborative-inbox-gsuite-steps.md
Last active Feb 3, 2021
how to have collaborative inbox using gsuite
View collaborative-inbox-gsuite-steps.md
@simkimsia
simkimsia / _base.html
Last active Jan 8, 2021 — forked from adamchainz/_base.html
Django HTMX CSRF setup for htmx 1.1.0 and django 3.1
View _base.html
{% load static %}
<!DOCTYPE html>
<html>
<head>
<meta charset="utf-8">
<meta name="viewport" content="width=device-width, initial-scale=1, shrink-to-fit=no">
{% block meta_tags %}
<meta name="csrf-token" content="{{ csrf_token }}">
{% endblock %}
@simkimsia
simkimsia / browser_history.md
Created Oct 24, 2020 — forked from dropmeaword/browser_history.md
Playing around with Chrome's history
View browser_history.md

Browser histories

Unless you are using Safari on OSX, most browsers will have some kind of free plugin that you can use to export the browser's history. So that's probably the easiest way. The harder way, which seems to be what Safari wants is a bit more hacky but it will also work for other browsers. Turns out that most of them, including Safari, have their history saved in some kind of sqlite database file somewhere in your home directory.

The OSX Finder cheats a little bit and doesn't show us all the files that actually exist on our drive. It tries to protect us from ourselves by hiding some system and application-specific files. You can work around this by either using the terminal (my preferred method) or by using the Cmd+Shft+G in Finder.

Finder

Once you locate the file containing the browser's history, copy it to make a backup just in case we screw up.

View 2ndtry.py
@KeyTransform.register_lookup
class KeyTransformIsInteger(KeyTransformTextLookupMixin, Lookup):
lookup_name = "is_int"
def as_sql(self, compiler, connection):
import ipdb
ipdb.set_trace()
lhs, lhs_params = self.process_lhs(compiler, connection)
rhs, rhs_params = self.process_rhs(compiler, connection)
@simkimsia
simkimsia / annotate.php
Created Jun 22, 2012
annotate english or chinese text on image
View annotate.php
<?php
header('Content-Type: text/html; charset=utf-8');
mb_internal_encoding('utf-8');
function wordWrapAnnotation(&$image, &$draw, $text, $maxWidth)
{
// separate the text by chinese characters or words or spaces
preg_match_all('/([\w]+)|(.)/u', $text, $matches);
// $words is array of Chinese characters, English Words or spaces
View whitehead_terms.md

whitehead's use

prehension

prehension = grasping

actual occasion

actual occasion =

substance-quality category

substance-quality category =

@simkimsia
simkimsia / installation-12-10-ubuntu.sh
Last active Feb 12, 2020
preparing a fresh 12.10 ubuntu server for cakephp 2.4
View installation-12-10-ubuntu.sh
#!/bin/bash
###
#
# forked from https://gist.github.com/1264701/08f93534ba177f173b9382b53c419cd0de5b07ea
# Copyright (c) 2011 Cake Development Corporation (http//cakedc.com)
#
# Ubuntu 12.10 based web server installation script
# Run this by executing the following from a fresh install of Ubuntu 12.10 server:
#
@simkimsia
simkimsia / formal-verification-bpmn-dmn.md
Last active Jan 22, 2020
Links to formal verification of BPMN / DMN
View formal-verification-bpmn-dmn.md

Useful links for Formal Verification of BPMN and DMN

The following papers are ordered by date of publication in descending order. If there should be a better way to organize, do advise.

Verification of BPMN Models

2020

Paper not available but can be requested

@simkimsia
simkimsia / encoders.py
Created Nov 3, 2019
For the long story read the tweet thread on pt 34 here https://twitter.com/KimStacks/status/1190943466492051457
View encoders.py
"""
Helper classes for parsers.
"""
import datetime
import decimal
import json # noqa
class FromValuesToDRFJSONEncoder(json.JSONEncoder):
"""
@simkimsia
simkimsia / gist:4442745
Created Jan 3, 2013
convenient bash script to install guest-additions for virtualbox vm. Run script in ubuntu guest OS. Not host.
View gist:4442745
#!/bin/bash
###
#
# Copyright (c) 2013 KimSia
#
# Ubuntu 12.10 based web server VirtualBox Guest Additions installation script on Guest Ubuntu
# Run this by executing the following from a fresh install of Ubuntu 12.10 server:
#
# bash -c "$(curl -fsSL https://raw.github.com/gist/4442745)"