杂七杂八-2205

windows系统实用工具:https://docs.microsoft.com/zh-cn/sysinternals/

少数派Torn计划:https://sspai.com/page/tron

发散: C-Lisp,C代码的等效LISP表达。 其他:类型绑定,参数绑定。jit_bind。

Racket Language: Rash, ProfessorJ(JAVA)

MIR-Blog page: https://developers.redhat.com/blog/2020/01/20/mir-a-lightweight-jit-compiler-project 编写 LISP -> MIR 实现 ?, 然后是 C to C-Lisp (基于LISP的C抽象语法树) 实现

libgccjit库似乎可以作为MIR的并行方案。另外还有和llvm的对比:https://www.zhihu.com/question/30005744

Linx嵌入式相关发行版:

  • Alpine Linux:https://zh.wikipedia.org/zh-tw/Alpine_Linux 。 轻量级Linux发行版。
  • Open Embedded: https://zh.m.wikipedia.org/zh/OpenEmbedded 。 嵌入式Linux发行版。
  • LEAF: Linux Embedded Application Framework
  • 其他:buildroot, OpenWRT,

知乎:用llvm开发编程语言的步骤是怎样的?https://www.zhihu.com/question/465770030/answer/2371486872 LLVM实现简单语言的官方指导 https://llvm.org/docs/tutorial/MyFirstLanguageFrontend/index.html

buildroot的一个简单教程,对目录使用有说明,并有一个添加自定义包的例子: https://www.cnblogs.com/fuzidage/p/12049442.html

buildroot官方训练教程

PC处理器接口:

  • Wiki汇总:https://zh.wikipedia.org/wiki/CPU%E6%8F%92%E5%BA%A7
  • Socket 5,Intel设计,75-133MHz,3.1-3.6V,320 Pin,ZIF,SPGA,https://zh.wikipedia.org/wiki/Socket_5
  • Socket 7,2.5-3.5V,321Pin

Java 10 JIT编译器Graal https://www.infoq.cn/article/java-10-jit-compiler-graal

Kaleidoscope: Implementing a Language with LLVM. https://llvm.org/docs/tutorial/index.html

BOLT,Binary Optimization and Layout Tool,facebook的二进制优化工具。 https://github.com/facebookincubator/BOLT

在线 Markdown 编辑器: https://github.com/nicejade/markdown-online-editor

基于Clang的二次开发,工具开发: 如何利用clang开发工具: https://luckyhu.top/coding/2016/08/24/%E5%A6%82%E4%BD%95%E5%88%A9%E7%94%A8clang%E5%BC%80%E5%8F%91%E5%B7%A5%E5%85%B7.html

Scalate,Scala Template Engine,Scala模板,https://scalate.github.io/scalate/documentation/index.html。 类似JSP,ERB的Scala模板库。

GraalVM相关:

  • https://www.graalvm.org/, 高性能JVM虚拟机,并且支持运行Python Ruby LLVM-bc。
  • GraalVM 中使用的 Truffle组件,是一款编程语言的实现框架,值得研究。
  • https://cloud.tencent.com/developer/article/1803664
  • https://www.zhihu.com/question/274042223
  • https://zhuanlan.zhihu.com/p/137836206

CI持续集成的一个典范:SystemD项目 https://github.com/systemd/systemd

建模技术

收集各种模型和建模技术

今天了解DBT(动态二进制翻译)MAMBO-x64 时了解到一些其他有趣的东西:

Rellume: Lifts x86-64 to LLVM IR 。 基于LLVM, x86-64指令翻译到LLVM IR。 也是DBT技术。 https://github.com/aengelke/rellume

Instrew:LLVM-based Dynamic Binary Instrumentation 。 https://github.com/aengelke/instrew

全志芯片工具sunxi: https://linux-sunxi.org/Main_Page

游戏开发库,a game programming library:https://liballeg.org/

Windows分屏工具介绍,其中MaxTo挺好用,另外有AquaSnap、DisplayFusion。 https://sspai.com/post/43187

截屏 录屏 软件 faststone,中国区官网: https://www.faststonecapture.cn/

Ext2文件系统的简单实现,而且有vfs的实现,https://github.com/Delta-in-hub/ext2s-fs

基于树莓派pico的PIO机制做的USB接口,支持host device模式,https://github.com/sekigon-gonnoc/Pico-PIO-USB

富士通A64FX处理器手册,包含很多微架构信息: https://github.com/fujitsu/A64FX

Kodi XBMC 开源多媒体中心,可以安装在win android linux raspberrypi 上面。官网可以下载android apk,可以尝试安装在电视上。

其他资源:

https://medium.com/@champ.yen/%E9%82%81%E5%90%91-arm-64bit-only-%E7%9A%84%E4%B8%96%E7%95%8C-4cdf9295d586

Paper for MAMBO-X64: https://www.research.manchester.ac.uk/portal/files/56078084/pldi_16.pdf , 已经下载。

你和你的研究: https://www.cs.virginia.edu/~robins/YouAndYourResearch.html ,看 《UNIX传奇:历史与回忆》时看到的。

Linux系统的打印服务器:CUPS, 可以支持win mac ios 网络打印机服务 https://www.cups.org/ 。

MRS,Machine Readable Spec, 机器可读文档。 blog:ARM发布机器可读文档 https://alastairreid.github.io/arm-v8_3/

立创EDA开源广场 https://oshwhub.com/ftwtwzy/snaillpi_copy,基于V3s开发mini card电脑,IO基本是我想要的,(固件SnailCard?克隆自SnaillPi)

个人知识管理:

  • Trilium,个人知识管理系统,项目 https://github.com/zadam/trilium, 中文介绍: https://sspai.com/post/59739
  • 语雀,yuque.com, 介绍: https://zhuanlan.zhihu.com/p/414643205
  • xnote, 国人开发的一个系统,项目 https://github.com/xupingmao/xnote