Thoughts Pt. 2

‘24

May 8

• 但是的中文翻译将日语原文朝鮮翻译成韩国，确实是矫枉过正了。叫高丽都是可以原谅的，唯独叫个韩国确实是对不上号。

• 除非是对着英语原文译的，但是那也得翻成高丽，而不是韩国——而且如果确实是这样，剧里日本人的姓的字怎么写就成了问题。

May 10

May 17

(ql:quickload :with-c-syntax)
(named-readtables:in-readtable with-c-syntax:with-c-syntax-readtable)
#{
    int sum-of-a-list (list) {
    int list-length = length (list);
    int i, ret = 0;

    for (i = 0; i < list-length; ++i) {
        ret += nth (i, list);
    }

    return ret;
    }
}#

(sum-of-a-list '(1 2 3 4 5 6 7 8 9 10))

May 31

• 我觉得他的那段歌剧真的将本剧提升了一个档次

• 本作 CV 我都觉得很不错，大家都很会唱。譬如公主的声线就很可爱，大姐姐的感觉

• 就喜欢这种双方都不坦率ツンツン的关系

• Angle 虽然三句不离性且很喜欢调戏 Husker，但那是前者的面具，底下却是一个饱受性迫害、自甘堕落、拥有自我毁灭愿望的脆弱人格，这种反差正适合王道的救赎剧情

• 劝娼（鸭）从良确实是男（女）的本性

• 其中的歌剧旋律悦耳、台词有趣、翻译顺口，从来没有陷入到恁唱的境地

• 本剧的中文翻译翻得不错。特别是歌剧部分，达、雅还注重韵律——但没有信——为韵律牺牲了一点准确度，总体上可

Jun 7

Jun 10

• 很喜欢 ♥️

Jun 11

1

• 那真的很感谢他。我觉得很值。

• 给蘑菇印象最深刻的部分是歌剧，和 Alastor.

先週から気がつくとアラスターの事を考えているし、油断するとINSANEを口ずさんでいる（中略）１話の出だしからこってりなので「ちょっとついていけないかも……」と思うかもですが、Ｂパートのアダムのミュージカルパートでそんな気持ちはぶっ飛ぶ。あとは８話のラストまでノンストップって寸法。

• 现在是在和 fgo 联动上的最终关卡中作为配乐。

• 我虽不玩 fgo，但这首主题曲无论什么时候听都令人心潮澎湃。

• 写这些文字的时候恰好在听 Satie 的 Gymnopédies. 巧的是魔夜（还是月姬？） OST 中也有一首配乐改编自前者的第一部分 Lent et douloureux.

2

• 至少看起来不需要第三方软件了。或许可以和 Rectangle Pro 说拜拜？

macOS Sequoia Preview | Hacker News

Are there situations that make more sense to use a tiling manager like on larger (where all the tiles are usable) or smaller screens (where full expansion makes sense)?

https://news.ycombinator.com/item?id=40636854

• 除此之外还有一个新的密码管理器。应该能代替很早就有的 Keychain 了。就是不知道他和 BitWarden 相比实际的效果如何。

Jun 15

• 很少上虎穴会买这么多女性向的。上一次还是プロメア。

• 要メス堕ち了🥵🥵🤓

Jun 16

• 当然我没打算做技术性的讨论，关于这个应该去看 On Lisp 和 ANSI Common Lisp.

Dealing with faceless people promotes flaming and depersonalizing.

I would sometimes write a message, wait an hour and then take out some of my sarcasm before sending it off

I am sick to death of knee-jerk anti-LOOPism and I am beginning to irrationally regard it as a plot to disable me as a programmer by excommunicating my useful tools.

• 当然他所谓 knee-jerk anti-LOOPism 本质上也是基于他支持 LOOP 的立场所以讲出来的气话。

• 但假设他是 LOOP 的设计者之一，则对他来说这些针对 LOOP 的批评，确实给了他压力。

it seems to me that expressions like "knee-jerk anti-LOOPist" are highly unprofessional and have no place in this discussion. they only serve to divide people into two camps and do very little good. ... please, resist the urge to do name-calling. with the general level of passion individuals have on particular issues, we just can't afford to lose track of that we're working together, not against each other.

• name-calling——扣帽子确实是当前互联网最喜欢干的烂事。

There was a reason to be polite. We had a job to do.

Jun 17

• MLP (as in My Little Pony) 🤓

• MLP (as in Multilayer Perceptron) 💀💀

• ML (Metalanguage) 🥵🤗

• ML (Machine Learning) 😭🤢🤮

Jul 7

Jul 18

Jul 19

Jul 26

Aug 16

let rec fold_right (f: 'a -> 'b -> 'b) (l: 'a list) (init: 'b): 'b =
  match l with
  | [] -> init
  | a :: l -> f a (fold_right f l init)

let res = fold_right (-) [1;2;3;4] 10

def fold_right (f: α -> β -> β) (l: List α) (init : β): β :=
  match l with
  | [] => init
  | x :: xs => f x (fold_right f xs init)
  
#eval fold_right (α := Int) (β := Int) (· - ·) [1,2,3,4] 10

Aug 23

Aug 30

Sep 1

According to Frost, the main storyline after the resolution of Laura Palmer's murder was planned to be the second strongest element from the first season that audiences responded to: the relationship between Agent Cooper and Audrey Horne. Frost explained that Lara Flynn Boyle, who was romantically involved with Kyle MacLachlan at the time, had effectively vetoed the Audrey–Cooper relationship, forcing the writers to come up with alternative storylines to fill the gap.[79][80] Sherilyn Fenn corroborated this claim in a 2014 interview, stating: "[Boyle] was mad that my character was getting more attention, so then Kyle started saying that his character shouldn't be with my character because it doesn't look good, 'cause I'm too young... I was not happy about it. It was stupid."

Sep 12