Skip to content

Instantly share code, notes, and snippets.

Avatar

michaelt michaelt

View GitHub Profile
@michaelt
michaelt / latex.template
Created Jun 9, 2011
Simple Pandoc default.latex with comments
View latex.template
%!TEX TS-program = xelatex
\documentclass[12pt]{scrartcl}
% The declaration of the document class:
% The second line here, i.e.
% \documentclass[12pt]{scrartcl}
% is a standard LaTeX document class declaration:
% we say what kind of document we are making in curly brackets,
% and specify any options in square brackets.
View mask.md

Masks Could Help Stop Coronavirus. So Why Are They Still Controversial?

Confusing government advice at the start of the pandemic and cultural misgivings may have limited acceptance

Medical experts say even handmade or cheap surgical masks can block droplets emitted by speaking, coughing and sneezing, making it harder for the virus to spread.

Bojan Pancevski in Berlin
Jason Douglas in London
June 29, 2020 3:54 am ET

@michaelt
michaelt / examples.hs
Last active Dec 24, 2019
simple shell-like programs using Data.ByteString.Streaming, following the io-streams tutorial
View examples.hs
-- These examples are based on the tutorial module in the io-streams package
{-#LANGUAGE OverloadedStrings #-}
import Streaming
import Streaming.Prelude (yield, next, each, for, with, subst)
import qualified Streaming.Prelude as S
import qualified Data.ByteString.Char8 as B
import Data.ByteString.Streaming (ByteString)
import qualified Data.ByteString.Streaming.Char8 as Q
import System.IO (withFile, IOMode(..))
View gist:a9c25170640df075a77c82fd5da7ca43
# The Polemics About the Historicity of Jesus Christ in the Religious Studies of the Soviet Period
A. ANDREEV
*Abstract*
The article discusses the history of the controversy regarding the historicity of Jesus Christ in the academic literature of the Soviet period. It summarizes the position of the classics of Marxism-Leninism on the issue, which for many decades served for scientists as «starting point» in their studies. The article outlines the main work of Soviet religious scholars, historians and philologists, engaged in the research of the New Testament. It presents the basic arguments for and against a real earthly existence of Jesus Christ. It identifies the major milestones in the development of this issue throughout the Soviet period: the period from 20’s, which is characterized by the dominance of the ideas of the so-called «Mythological school» and tough anti-religious propaganda; the period from the late 50’s to early 80’s, when the mythological nature of Jesus was questioned; and the third peri
@michaelt
michaelt / IxFunctor.hs
Created Oct 23, 2016
little 'indexed' library
View IxFunctor.hs
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE Trustworthy #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE DeriveDataTypeable #-}
{-# LANGUAGE DefaultSignatures #-}
View lines_url.hs
module Main where
import Prelude hiding (lines)
import Lens.Family
import Pipes
import Pipes.Group
import Pipes.HTTP
import Pipes.Text
import Pipes.Text.Encoding
import Pipes.Text.IO (toHandle,stdout)
@michaelt
michaelt / streams.hs
Created Oct 8, 2016
little streaming library
View streams.hs
{-#LANGUAGE BangPatterns #-}
import GHC.Magic
import Data.IORef
import Control.Monad
import Control.Monad.Trans
data Stream a m r = Yield a (Stream a m r) | Done r | Delay (() -> m (Stream a m r))
instance Functor m => Functor (Stream a m) where
fmap f (Done r) = Done (f r)
@michaelt
michaelt / latex.template
Created Jun 9, 2011
Simple Pandoc latex.template with comments
View latex.template
%!TEX TS-program = xelatex
\documentclass[12pt]{scrartcl}
% This ^^^ is a standard LaTeX document class declaration
% (the previous line is a pseudo-comment, declaring that we will
% use the special XeTeX machinery for its more extensive font list
% and its use of unicode.)
% If you made this line more akin to the one in the default
% latex.template file, say:
% \documentclass$if(fontsize)$[$fontsize$]$endif${scrartcl}
@michaelt
michaelt / RedBlackTree.hs
Created May 11, 2012 — forked from rampion/RedBlackTree.hs
red-black trees in haskell, using GADTs and Zippers (and DataKinds)
View RedBlackTree.hs
{-# LANGUAGE GADTs #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE StandaloneDeriving #-}
{-# LANGUAGE DataKinds#-}
{-# LANGUAGE KindSignatures#-}
module RedBlackTree where
data Nat = Zero | Succ Nat deriving (Eq, Ord, Show)
type One = Succ Zero
@michaelt
michaelt / httpstream.hs
Last active Sep 28, 2017
A trivial get request which yields a 'byte stream' for manipulation. Here we number the verses of a bible from Project Gutenberg...
View httpstream.hs
{-#LANGUAGE OverloadedStrings #-}
import Streaming
import Streaming.Prelude (each, next, yield)
import qualified Data.ByteString.Streaming.Char8 as Q
import qualified Data.ByteString.Char8 as B
import qualified Streaming.Prelude as S
import qualified Control.Foldl as L
import Data.ByteString.Streaming.HTTP -- git clone https://github.com/michaelt/streaming-http
-- cabal install ./streaming-http
infixl 5 >>>; (>>>) = flip (.)
You can’t perform that action at this time.