anton0xf

import itertools


class Cons:
    def __init__(self, head, tail_fn):
        self.head = head
        self._tail_fn = tail_fn
        self._tail = None

    def tail(self):

anton0xf

#lang racket
(define (fib n)
  (if (< n 2) n
      (+ (fib (- n 1))
         (fib (- n 2)))))
(time (fib 35))
; cpu time: 5219 real time: 5138 gc time: 747
; => 9227465

(require memo)

anton0xf

import org.junit.jupiter.api.Assertions;
import org.junit.jupiter.api.Test;

import java.util.LinkedList;
import java.util.List;
import java.util.ListIterator;

public class InsertBeforeTest {
    private void insertBefore(int before, int val, ListIterator<Integer> iter) {
        while(iter.hasNext()) {

anton0xf

;; run it by command
;; $ emacs -Q --script test2.el

(setq line "asdf qwer")
(add-face-text-property 0 4 'a t line)
(add-face-text-property 0 5 'b t line)
(print line)
;; #("asdf qwer" 0 4 (face (a b)) 4 5 (face b))

(setq word (substring line 0 4))

anton0xf

;; run it by command
;; $ emacs -Q --script test-add-face-text-property.el
(setq line "asdf qwer")
(add-face-text-property 0 4 'a t line)
(add-face-text-property 0 4 'a t line)
(print line)
;; #("asdf qwer" 0 4 (face a))

(add-face-text-property 0 5 'b t line)
(add-face-text-property 0 5 'b t line)

anton0xf

(defun company--begin-new ()
  (let (prefix c)
    (cl-dolist (backend (if company-backend
                            ;; prefer manual override
                            (list company-backend)
                          company-backends))
      (setq prefix
            (if (or (symbolp backend)
                    (functionp backend))
                (when (company--maybe-init-backend backend)

anton0xf

extract bookmarks:

$ gio info -a "metadata::evince::bookmarks" coq-art.pdf \
    | sed -n '/metadata::/ s/^.*: //p' > coq-art.bookmarks

and restore its by:

gio set coq-art.pdf 'metadata::evince::bookmarks' "$(cat coq-art.bookmarks)"

anton0xf

import java.io.IOException;
import java.util.HashSet;
import java.util.List;
import java.util.Set;
import java.util.function.Function;
import java.util.stream.Collectors;

import com.fasterxml.jackson.databind.JsonNode;
import com.fasterxml.jackson.databind.ObjectMapper;

anton0xf

import java.util.ArrayList;
import java.util.List;
import java.util.concurrent.atomic.AtomicReference;

import org.junit.Test;
import org.slf4j.Logger;
import org.slf4j.LoggerFactory;

public class FibTest {

anton0xf

interface OffMap {

    long get();

    void close();

}

class Wrap implements OffMap {