文章16
标签10
分类5

rhx0820的LaTeX与Beamer实践(第二期)

一个用于编译LaTeX文档的小Makefile

# Makefile for XeLaTeX

# Set the name of your main LaTeX file (without the .tex extension)
MAIN_FILE = main-cn

# Set the name of the output PDF file
OUTPUT_FILE = ${MAIN_FILE}.pdf

# Set the XeLaTeX compiler command
XELATEX = xelatex
BIBTEX = bibtex
# Set any additional flags or options for the XeLaTeX compiler
XELATEX_FLAGS = -interaction=nonstopmode -f

# Default target
all: $(OUTPUT_FILE)

# Rule to compile the LaTeX document
$(OUTPUT_FILE): $(MAIN_FILE).tex
    echo "XeLaTeX Compiling"
    - $(XELATEX) $(XELATEX_FLAGS) $(MAIN_FILE).tex > /dev/null
    echo "Bibtex Compiling"
    $(BIBTEX) $(MAIN_FILE)
    echo "XeLaTeX Compiling"
    - $(XELATEX) $(XELATEX_FLAGS) $(MAIN_FILE).tex > /dev/null
    - $(XELATEX) $(XELATEX_FLAGS) $(MAIN_FILE).tex
# Clean up intermediate files
clean:
    rm -f $(OUTPUT_FILE) $(MAIN_FILE).aux $(MAIN_FILE).log $(MAIN_FILE).out $(MAIN_FILE).toc

一些小工具

生成LaTeX格式的表格
看到室友用的教材格式的模板

怎么在Linux下舒服地读Fortran代码

首先,如果是在用Windows的话,那么最方便的方式无疑是Visual Studio+Intel oneAPI,毕竟是地表最强IDE加上x86下最适合科学计算的运行环境,代码高亮,悬停应该都是支持的,也就没有任何必要折腾。那么假如说你并不想在Windows下运行你的计算负载,直接说结论,大概是CLion和VS Code用起来各有各的不舒服。社区维护的Kate的话,我用我真用,问就不推荐。

Visual Studio Code

总体来说体验尚可,得益于Code首创的LSP协议,搭配Modern Fortran插件,可以实现在大部分变量上悬停显示类型,注释等信息。

但是有一个很致命的缺点:

      IF(gamma_only) THEN
!$omp parallel do collapse(3) default(shared) firstprivate(npol,nrxxs,nkqs, &
!$omp                ibnd_buff_start,ibnd_buff_end) private(ir,ibnd,ikq,ipol)
        DO ikq=1,SIZE(locbuff,3) 
          DO ibnd=1, x_nbnd_occ 
            DO ir=1,nrxxs*npol
              locbuff(ir,ibnd,ikq)=0.0_DP
            ENDDO
          ENDDO
        ENDDO
      ENDIF

Code对于Fortran语言,判断如何折叠代码的方法竟然是靠检测缩进,横亘中间的OpenMP语句就会影响折叠;最难绷的是,如果这句话只是一般的注释的话,他也会影响。。。

这是一个Open的Issue

综合评价:🌝🌝🌝🌚🌚

Kate

Kate是KDE自带的一款代码编辑器(定位类似于Sublime?),支持LSP,且能够对Fortran的循环等语句正常识别进行折叠,虽然我怎么调他的配色都没让我的眼睛变舒服;本来不出意外的话我就会一直用下去了,可是一次更新之后Kate和Fortran Language Server(也就是LSP的Provider)交流不畅,过一小会儿就会闪退,等这个bug修好再说吧。

综合评价:暂缺

中场休息

VS的定位是IDE,Kate是Code Editor,Code越来越像二者之间,似乎可以放在坐标轴上。下半场比赛,我们挑选了几个选手:EclipseCLionSublime Text

Eclipse

Java界有较强历史地位的IDE,有面向Fortran和MPI的版本,但是已经过气(划去),好在没过气太久,2023-09是包含Fortran支持的最后一个版本。

打开之后发现Eclipse确实对Fortran有IDE原生级别的支持,Build Debug一应俱全,可是里面的parser不认识CUDA Fortran语句,在有CUDA代码(静态语法检查)的文件里面根本没法正常解析语法,也就没法跳转至定义;此外,Eclipse只能折叠Fortran Module和Subroutine,不能折叠循环和IF,对于读代码来说有点鸡肋了。

综合评价:🌝🌝🌝🌝🌚(无CUDA)🌝🌝🌚🌚🌚(有CUDA)

CLion

JetBrains家的IDE,支持Fortran靠的是插件。高校学生可以直接认证获得License。好像蛮多人喜欢用JetBrains全家桶的。

但是插件确实还是有点瑕疵,查找变量定义偶尔找不到,打算哪天写C++时候试着认真用用。

综合评价:🌝🌝🌝🌚🌚

Sublime Text

收费,简陋,不好看,支持LSP,和VS Code有相同的折叠问题。

综合评价:🌝🌝🌚🌚🌚

加时赛

你们都打的挺难解难分的,那加时赛开始吧。

Code::Blocks

这货有原生的Fortran支持,但Code::Blocks用起来有点太古板了,折叠倒是支持,代码分析能力不怎么强,很多变量的定义都找不着,还会去非源代码的文件里面找变量。

Geany

名字第一眼看上去像是GTK项目衍生的东西,实际上确实用到了GTK,折叠没问题,找定义有点废。

怀念在Clangd+VS Code下面写C++的一天

封面引用自这里

大家(并没有)要的MyGO杂谈

MyGO在2023年的爆火并不是偶然的。
这里不得不再cue一下虹咲,虹动画一期,很大程度上承载了一个探索性任务,就是在LoveLive企划中,美少女+偶像动画还可以怎么做。在虹一期这个时间点,虹咲无疑很好的完成了这个任务。9+1个鲜亮的人物形象,温馨同好会内部的各种“关系性”,预见性的雪菜拆团跑路,乃至引爆战吧的步侑雪三角,步女士的惊天一夹。
虹咲仍然没有脱离LoveLive历代动画的核心,也即梦想热爱这些主题。几年之后的2023年,将梦想热爱视作展示角色和他们之间关系性负担的MyGO横空出世,标志着(不见得是首创,但算是集大成者,女女关系性宅独角兽老师和监督桑不是盖的)美少女+偶像动画走向了一个新时代。

rhx0820的LaTeX与Beamer实践——图片、分栏与配色

主要是一些备忘录性质的东西,方便以后查找。(为什么PKU Overleaf还没修好)

Emojis on $\LaTeX$

\usepackage{emoji}
\emoji{hot-face}

需要使用LuaLaTeX进行渲染,效果好但用时长

单Frame多页Beamer

\begin{frame}[allowframebreaks]{yourtitlehere}

强制换页使用\newpage
2024.2.19: 应为\framebreak, \newpage会破坏Beamer的格式。

插入视频

本来应该使用media9宏包的,但是宏包似乎调用flash老兄弟,老家伙离开我们好多年了,所以只能想bypass的方法。

\href{path/to/image}{\includegraphics[width=(yourfloatwidth)\textwidth]{path/to/video}}

自己手动创建缩略图,添加超链接,这样兼容性似乎也比media9好。

你说得对,但是Manga Time Kirara是一款由芳文社……

取了经典发色红蓝黄粉的一个低饱和度版本 #E55260 #A4C2F4 #F1D268 #FA9CB4,我们萌豚是这样的。

thwfhk/PKU-Beamer-Theme为例,Beamer文档的主题颜色是由beamercolorthemecustompku.sty定义的,可以在其中修改。

尝试使用配色器。以某一颜色PKU(#94070A)为主色,可以用配色器生成所需其他颜色的调色板。

to be continued

浅谈公共知识分子这一生态位

这篇文章无意讨论下列内容:

  • 这一生态位的观点和主张
  • 这个群体在社会中的价值
  • 我对这一群体(在现实维度上)的态度

什么是公共知识分子

公共知识分子(public intellectual)简称“公知”,一般语境下,指参与到政策、法制、社会等公共事务讨论中,且具有学术背景和专业素质的知识分子;有提出批评建议等行为。

(来源:知乎,应该复制自以往的百度百科

当代语境下,“公知”一词的语义和公共知识分子之间产生了很大的差别。这里还是谈传统意义上的公共知识分子。当代公共知识分子的代表人物,大约是饶毅。作为很多人心中的“无冕院士”,知识分子属性毋庸置疑;而他极其热衷与参与公共讨论,和亲兄弟饶海合著有微信公众号专栏“饶议科学”,对时事多有评价。

为什么会是公共“知识分子”

我觉得(数据删除)的文章的爆火跟文笔有关,这种叙事风格读起来缓缓有力🤣有一种身临其境的感觉,老师快继续更下去,追更了
(某科普博主第一次在公共平台上键政收到的评论

知识分子毕竟还是知识分子,在自己领域还是有一些独到之处,在其他领域也偶有触类旁通;而近40年以来的大的风气是,对科学、技术、知识有着近乎宗教般的狂热,乃至一些附属物(比如:鹅腿阿姨)也受到了追捧。

(一个完全基于刻板印象的冒犯性的说法:中年男性)玩 キーボード Politique 到底是为了什么

前天晚上写的短文一天浏览量就有五万(以前过千就很多了),这让我大受鼓舞,这里继续讨论这个问题,也许可以写多篇。

(上面那个科普博主的一篇知乎文章)

结论显而易见了,很大程度上是自我满足。一个可能的机制是,中国古代士大夫修齐治平,文以载道之风,仍然深深感染着一代代知识分子,并且被近代救亡图存的探索历程强化,并转变为更加具有现代性的模式;此外,社会议题与科学技术议题相比,天生更能广泛获得共鸣,收到社会各界的大量反馈,从内外两方面激发了积极性。

在此呼吁读者:キーボード Politique 会上瘾,可不能贪杯哦:)

">