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
cat *.go | python3 -c "from sys import stdin;a=[c for c in stdin.read() if c.strip() != ''];b=[(a.count(c),c) for c in set(a)];b.sort();b.reverse();print('\n'.join(map(lambda x: '%d\t%s'%x,b)))" |
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
import matplotlib.pyplot as plt | |
plt.rc('text', usetex=True) | |
plt.rc('font',**{'family':'serif','serif':['Computer Modern Roman'],'size':14}) |
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
E = EllipticCurve_from_j(GF(127)(1728)) | |
g = E.plot(size=25,aspect_ratio=1) | |
g.save("./F_127 j_1728.svg") |
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
<html> | |
<head> | |
<script src="https://unpkg.com/hyperapp@0.12.0"></script> | |
</head> | |
<body> | |
<script src="main.js"></script> | |
</body> |
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
FROM sagemath/sagemath:8.0-2 | |
ARG SAGE_BRANCH=master | |
EXPOSE 8888 | |
RUN echo && \ | |
# update system | |
apt-get update && apt-get install -y && \ | |
# install some dependencies for gifs and animations | |
apt-get install -y imagemagick ffmpeg && \ | |
# install tex |
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
<!DOCTYPE html> | |
<head> | |
<script type="text/javascript"> | |
const grades = [ | |
"A+", | |
"A", | |
"A-", | |
"B+", | |
"B", |
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
<!DOCTYPE html> | |
<html> | |
<head> | |
<meta charset="UTF-8" /> | |
<meta name="viewport" content="width=device-width, initial-scale=1" /> | |
<title>Latex to Unicode</title> | |
<link | |
rel="stylesheet" | |
href="//fonts.googleapis.com/css?family=Roboto:300,300italic,700,700italic" | |
/> |
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
FROM debian:stretch | |
# setup: language and ensure that external fonts and doc folders exists | |
RUN export LANG=C.UTF-8 &&\ | |
mkdir -p /usr/share/fonts/external/ &&\ | |
mkdir /doc/ | |
# install utilities, texlive, ghostscript, and remove unused docs | |
RUN apt-get clean &&\ | |
apt-get update &&\ |
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
\documentclass[12pt]{letter} | |
\date{\today} | |
\signature{FROMWHO???} | |
\address{ | |
FROMWHERE??? \\ | |
{\tt CONTACTEMAIL???} | |
} |
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
\documentclass{article} | |
\usepackage{amsmath,amssymb,amsthm,amsfonts} | |
\usepackage{xcolor} | |
\newcommand{\public}[1]{\textcolor[rgb]{0.024,0.408,0.024}{#1}} | |
\newcommand{\private}[1]{\textcolor[rgb]{0.661,0.035,0.035}{#1}} | |
\newcommand{\FF}{\mathbb{F}} | |
\newcommand{\QQ}{\mathbb{Q}} | |
\newcommand{\ZZ}{\mathbb{Z}} |
OlderNewer