Skip to content

Instantly share code, notes, and snippets.

simkimsia /
Last active Feb 3, 2021
how to have collaborative inbox using gsuite
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>
<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 /
Created Oct 24, 2020 — forked from dropmeaword/
Playing around with Chrome's history

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.


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

class KeyTransformIsInteger(KeyTransformTextLookupMixin, Lookup):
lookup_name = "is_int"
def as_sql(self, compiler, connection):
import ipdb
lhs, lhs_params = self.process_lhs(compiler, connection)
rhs, rhs_params = self.process_rhs(compiler, connection)

whitehead's use


prehension = grasping

actual occasion

actual occasion =

substance-quality category

substance-quality category =

simkimsia /
Last active Apr 26, 2021
Links to formal verification of BPMN / DMN

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


Paper not available but can be requested

simkimsia /
Created Nov 3, 2019
For the long story read the tweet thread on pt 34 here
Helper classes for parsers.
import datetime
import decimal
import json # noqa
class FromValuesToDRFJSONEncoder(json.JSONEncoder):
simkimsia /
Last active Jul 11, 2018
text diagram for git conflicts
   |            |            |
   |            |            |
   |            |            |
branch1         |         branch2
   |            |            |
View another_expected_config.js
// inspired by
// see for example
$(document).ready(function() {
$('#example').TableUp( {
"paging": true,
"rowsPerPageOptions": [2, 5, 10],
"rowsPerPage": 5,
"checkbox": true,
"search": true


How to get started

  1. start docker

  2. run this command in 1 terminal

docker run --rm -it \
           -p 2181:2181 -p 3030:3030 -p 8081:8081 \
           -p 8082:8082 -p 8083:8083 -p 9092:9092 \