Skip to content

Instantly share code, notes, and snippets.

michaelt michaelt

Block or report user

Report or block michaelt

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse
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 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 / examples.hs
Last active Apr 27, 2018
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(..))
@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 (.)
@michaelt
michaelt / hilo.hs
Created Oct 13, 2015
Hello world.
View hilo.hs
import Streaming
import qualified Streaming.Prelude as S
import Control.Monad
main = do
S.effects (hilo 30 )
putStrLn "Right, 30 is correct!"
hilo :: Int -> Stream (Of Int) IO ()
hilo n = void $ S.break (== n)
$ S.chain (\a -> when (a < n) $ putStrLn $ "Too small!")
You can’t perform that action at this time.