This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
;;; ljdump-async.el --- Dump LiveJournal posts and comments -*- lexical-binding: t; -*- | |
;; Copyright (C) 2021 Vladimir Ivanov | |
;; Author: Vladimir Ivanov <ivvl82@gmail.com> | |
;; Keywords: | |
;; This program is free software; you can redistribute it and/or modify | |
;; it under the terms of the GNU General Public License as published by | |
;; the Free Software Foundation, either version 3 of the License, or |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
;;; fetch-blog.el --- Fetch blog archive | |
;; Copyright (C) 2020 Vladimir Ivanov | |
;; Author: Vladimir Ivanov <ivvl82@gmail.com> | |
;; Keywords: | |
;;; Commentary: | |
;; |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
theory gcd | |
imports Main | |
begin | |
fun gcd :: "nat ⇒ nat ⇒ nat" where | |
"gcd a 0 = a" | | |
"gcd a b = gcd b (a mod b)" | |
lemma div_mod_eq: | |
fixes a b :: nat |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
theory | |
msort | |
imports | |
Main | |
Classes.Classes | |
begin | |
datatype 'a msort = Seg "'a × 'a" | Empty | Fail | |
instantiation msort :: (ord) monoid |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/usr/bin/env python3 | |
import os | |
import argparse | |
import random | |
import fitz | |
class Config: | |
def get_mark_range(self, y, mark): |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
--- backend/pdf/ev-poppler.cc 2010-09-27 19:54:34.000000000 +0300 | |
+++ backend/pdf/ev-poppler-patched.cc 2013-08-16 20:08:43.000000000 +0300 | |
@@ -342,6 +342,23 @@ | |
return label; | |
} | |
+/* For some reason, cairo doesn't put this in the public header. */ | |
+typedef enum _cairo_lcd_filter { | |
+ CAIRO_LCD_FILTER_DEFAULT, | |
+ CAIRO_LCD_FILTER_NONE, |