technic

#pragma once

#include <filesystem>
#include <fstream>
#include <giomm/desktopappinfo.h>
#include <glibmm/keyfile.h>
#include <fmt/core.h>
#include <spdlog/spdlog.h>
#include "util/string.hpp"
#include "util/format.hpp"

technic

#include <variant>
#include <type_traits>
#include <iostream>
#include <string>

template<class... Ts> struct overloaded : Ts... { using Ts::operator()...; };
template<class... Ts> overloaded(Ts...) -> overloaded<Ts...>;

template<typename T> 
struct wrapper {

technic

module Main
import Data.Vect

||| View for splitting a vector in half, non-recursively
public export
data Split : Vect n a -> Type where
    SplitNil : Split []
    SplitOne : Split [x]
    ||| two non-empty parts
    SplitPair : {n : Nat} -> {m : Nat} ->

technic

# -*- text -*-

# file default.ui
# This file is part of LyX, the document processor.
# Licence details can be found in the file COPYING.

# author John Levon

# Full author contact details are available in file CREDITS.

technic

# doit completion

function WriteLog([string] $Message) {
    $timestamp = Get-Date -Format HH:mm:ss
    "[$timestamp] $Message" | Out-File -Append "${env:Home}\tablog.txt"
}

Register-ArgumentCompleter -CommandName doit -Native -ScriptBlock {
    param(
        [String] $wordToComplete, 

technic

The old winpty has a bug, when running terminal in VS Code: after executing MinGW command escape sequencies are broken.

We can disable those by modifying theme file in a following way

    if ($env:ConEmuANSI -eq "ON") {
        $prompt += Set-CursorForRightBlockWrite -textLength ($timestamp.Length + 1)
        $prompt += Write-Prompt $timeStamp -ForegroundColor $sl.Colors.PromptForegroundColor    
 }

technic

#include <iostream>
#include <limits>
#include <type_traits>

/**
 * @brief Keep list of types provided by variadic template arguments.
 * Provide constexpr function to get index of specific type in the list.
 */

template <typename... Ts> class TypeList {

technic

from ipywidgets import interact

def interact_delayed(**kwargs):
    def decorator(f):
        obj = interact(f, **kwargs)
        for child in obj.widget.children:
            if hasattr(child, 'continuous_update'):
                child.continuous_update = False
        return obj
    return decorator

technic

{%- extends 'slides_reveal.tpl' -%}


{% block input_group -%}
<div class="input_wrapper">
    {{ super() }}
</div>
{% endblock input_group %}

technic

#!/usr/bin/env python

import sys
import os
import time
import logging
import argparse
import subprocess
import threading
import webbrowser