duangsuse::Echo

好耶！duangsuse 的第一个 Monad instance！

25 viewsduangsuse ¯\_(ツ)_/¯ | ∈ [E²PROM, 范畴论|单子], 15:33

26 viewsduangsuse ¯\_(ツ)_/¯ | ∈ [E²PROM, 范畴论|单子], edited 15:33

duangsuse::Echo

instance Monad (Reader t) where
  return :: a -> Reader t a
  return x = Reader (\_ -> x)

  (>>=) :: Reader t a -> (a -> Reader t b) -> Reader t b
  (Reader g) >>= f = Reader $ \x -> runReader (f (g x)) x

26 viewsduangsuse ¯\_(ツ)_/¯ | ∈ [E²PROM, 范畴论|单子], 15:33

duangsuse::Echo

#FP #CS #Haskell 然后这里有一些 Monad: newtype Identity a = Identity { runIdentity :: a } + Haskell 不会写 Monad 怎么编程？把 Haskell 写成 Scheme？有点困难啊，因为 Haskell 不像 Scheme 还是『有点节操』的函数式（只是组合函数而不是把一切都看成函数组合...） + 这是我从某范畴论教程上抄下来的（虽然完全是我默写下来的...） + 使用 newtype 而不是 data 是因为 Identity…

下面是 CPS Monad：

比如有一个 Operator

add :: Int -> Int -> Int

然后你定义一个

add2 :: Int -> Int

add2 x = add x 2 — x + 2

但是就不能进行其他的计算了（不允许嵌套的话），比如 (putStrLn . show) :: a -> IO () 当然在这里 a 是 (Num a) => Context 下

但是可以去 CPS, 假设就有一个 excited :: Int -> IO () 的东西

add2Cps x = excited (add x 2)
  where excited n = putStrLn . (++ "👓") . show

计算就可以在 excited 函数里继续（一言不合就 🐸...

这样的 add2Cps 就是

add2Cps :: Int -> (Int -> r) -> r

它把计算的结果传给另一个函数 (t -> r) 然后自己再返回

这样就是：

newtype Cont t r = Cont { runCont :: (t -> r) -> r }

然后可以把 excited 的 add2Cps 改成 Cont Monad 的形式

add2Cps :: Int -> Cont Int (IO ())
add2Cps x = return x +2

然后 instance Monad

instance Monad (Cont t) where
  return x = \_ -> Cont ($ x)

  (Cont c) >>= k = Cont $ \tr -> c $ \a -> runCont (k a) tr

使用 add2Cps 实际上就是

runCont (add2Cps 2) (putStrLn. show)
= runCont (

return 2 +2

) (putStrLn . show)
= runCont (

Cont ($ 4)

)

((putStrLn . show) :: Int -> IO ())

= Cont ($ 4) >>= (putStrLn . show)
= Cont $ \tr -> runCont (Cont ($ 4)) >>= (\a -> runCont (putStrLn . show a)) tr

27 viewsduangsuse ¯\_(ツ)_/¯ | ∈ [E²PROM, 范畴论|单子], 15:53

duangsuse::Echo

This media is not supported in your browser

VIEW IN TELEGRAM

26 viewsduangsuse ¯\_(ツ)_/¯ | ∈ [E²PROM, 范畴论|单子], 15:54

duangsuse::Echo

ST, Alternative, Free 都有点高级了，我还不会，算...

明天，我会讲一些关于 ES6 的事情，可能包括模板、async 函数、Generator 函数和 async 函数的关系（为啥 Generator 函数可以用来实现异步操作组合？）

应用层已经阻止不了 duangsuse 了（显然，我已经基本了解了所有 pattern，回调和事件监听（包括 Observable）、基于消息队列的发布订阅（Tk 的 bind/event_generate, Qt/GTK 的信号和插槽、.NET 的 Event）、Promise、 Async 函数

🌚

希望以后 duangsuse 能做到：不被应用层的人鄙视的程度。

这周的任务：

+ 默写 C# BitMap 反色算法
+ ES6 重写 sm.ms js 库（虽然原来也有用 ES6 特性）

30 viewsduangsuse ¯\_(ツ)_/¯ | ∈ [E²PROM, 范畴论|单子], 15:58

duangsuse::Echo

#algorithm #cs #net #security 🌚 这... 他们也真是太有创意了，这都能想出来（其实也不意外，像这种增加服务资源消耗的破坏性攻击也是直觉所在了...） 🤔 HashMap 的最差时间复杂度，假设是扎堆的情况下可能是 O(n**2) ？看来还是我不了解这些算法.... 我一直以为最差大不了就是 O(n) 的，线性 Map 也就是这个复杂度： #Haskell 里，（List）Map 可以这么定义： data ListMap k a = ListMap [(k, a)]…

#Haskell duangsuse 日常 Haskell.... 🤔...

33 viewsduangsuse ¯\_(ツ)_/¯ | ∈ [E²PROM, 范畴论|单子], 15:59

duangsuse::Echo

#Docker:

想想了关键字...

MAINTAINER
FROM [AS ...]
ADD
ENV
WORKDIR
RUN
EXEC
CMD
COPY [—FROM ...]
ENTRYPOINT

28 viewsduangsuse ¯\_(ツ)_/¯ | ∈ [E²PROM, 范畴论|单子], edited 02:22

duangsuse::Echo

#archlinux #linux #sysadmin https://github.com/Trumeet/GPartArch

其实我不会 sed，不太会写 bash 脚本（当然如果我要重写，这里不需要我会写任何东西，因为都是 mkarchiso 项目提供的可能
我也没有用过 mkarchiso

我也不是很了解 Linux 的 isolinux, syslinux 引导加载机制，也不清楚 ramfs 和 initcpio 那些东西...

pacman 我用过，我曾经是 Archlinux 的用户，不过说到完全理解也未必，但基本的依赖关系、AUR、Package Group、Signature、Repository、Mirrors 什么的和 native 层动态链接什么的也都还清楚，不清楚也可以看 ArchWiki

不过说到定制版 LiveCD，我的确做过一个，并且在学校使用过，那时候是在一个老 x86 台式机上 Linux Mint + Remastersys 做的，当时加了不少软件，可惜当时我啥都不懂...

不过也很好用就是了

GitHub

Trumeet/GPartArch

An custom arch iso with GParted + Xorg to help you manage disk easily - Trumeet/GPartArch

27 viewsduangsuse ¯\_(ツ)_/¯ | ∈ [E²PROM, 范畴论|单子], edited 02:33

duangsuse::Echo

不管怎么样，看起来，对于一个 Unix 系系统管理员来说，维护自己的发行版可能是最大佬的程度了...

还得自己再去写类似 Pacman, Portage 这种工具... 还要管理自己的根目录架构和软件包结构... 还有系统的定制化，systemd、引导加载、发布 LiveCD iso...

22 viewsduangsuse ¯\_(ツ)_/¯ | ∈ [E²PROM, 范畴论|单子], edited 02:36

duangsuse::Echo

#sysadmin 🤔 那我先默写下这个

说起来，我写的第一个真正意义上的程序其实就是 Bash 写的...

do_install() { printf "Installing... \t"; apt install -y imagemagisk bc schedtools ccache }
check_do_install() {
  printf "Docker tag: " $DOCKER_TAG
  if [ $DOCKER_TAG = "extra-latest" ]
  then; do_install
  else; printf "Skipping...\n"; fi
}

main() {
  if [ $1 = "auto" ]
  then; check_do_install
  else; do_install
  fi
}

main $*

GitHub

Trumeet/AOSP-Build-Environment-Docker

A docker image to provide a systemless AOSP build environment - Trumeet/AOSP-Build-Environment-Docker

23 viewsduangsuse ¯\_(ツ)_/¯ | ∈ [E²PROM, 范畴论|单子], edited 02:45

duangsuse::Echo

#Android 希望入门了解 Android 的服务接口什么的架构呢，以后有希望的话，我要重写这些：

+ https://github.com/Trumeet/WorkMode
+ https://github.com/Trumeet/SysUIController/tree/master/app/src/main/java/moe/yuuta/sysuicontroller

虽然我平时作为后端也是会涉及到二进制流处理的... 但是看起来 AIDL 和 Paracelabel 也是值得学的，可是我之前是 Intents 都不是特别了解，现在知道了.,..

GitHub

Trumeet/WorkMode

[ROOT needed] Enjoy your work and disable disturbing apps - Trumeet/WorkMode

27 viewsduangsuse ¯\_(ツ)_/¯ | ∈ [E²PROM, 范畴论|单子], 02:51

duangsuse::Echo

#net #Haha #life 🌚 自建 METO DNS...

好吧... 是要你自己修改 hosts 解析哦...

curl 124.156.193.111 -H "Host: tld.meto"

27 viewsduangsuse ¯\_(ツ)_/¯ | ∈ [E²PROM, 范畴论|单子], edited 02:54

duangsuse::Echo

Forwarded from METO 的涂鸦板

⛰ 具有自主知识产权的 .meto 域名上线

目前还在筹集 (piàn) 资金 (qián)，开放了一个 demo 页以便公众进行体验（疯狂狗头

https://tld.i-meto.com/help.html
https://t.me/metooooo/1727

1 viewduangsuse ¯\_(ツ)_/¯ | ∈ [E²PROM, 范畴论|单子], 02:54

duangsuse::Echo

METO 的涂鸦板

⛰ 具有自主知识产权的 .meto 域名上线目前还在筹集 (piàn) 资金 (qián)，开放了一个 demo 页以便公众进行体验（疯狂狗头 https://tld.i-meto.com/help.html https://t.me/metooooo/1727

#html #frontend duangsuse 想顺便学习一下 HTML/CSS 🤔

<html>
<head>
  <meta charset="utf8" />
  <title>Title</title>
  <link rel="stylesheet" href="main.css" />
  <style src=""></style>
</head>
<body>
  <div class="container">
    <h1>Title 1</h1>
    <h1><pre>Code</pre></h1>
    <h2 class="green" onclick="document.location=....">» Enter «</h1>
    <a style="color: green" href="...">» Enter «</a>
  </div>
</body>
</html>

刚才居然连 charset 都忘记指定了...

然后 CSS：

selector {, selector} '{' { rules } '}'

其中使用了 .class CSS 类 selector 和 tagName selector, 以及 nesting selector

Rules 就是 rule 们

key: value ['!' important];

value 可能是 string 或者 enum 或者 array 或者 int 或者 percentage 或者 color 或者 dimen

使用了这些 CSS property:

width: percentage
height: percentage
padding: dimen
margin: dimen

这是盒模型布局基础，padding 和 margin 也可以加 '-' start | end | top | bottom

display: enum

在 body {...} 里取值 table，这是盒模型渲染模式

color: color

然后是 font 调整

font-weight: int
font-size: dimen
font-family: array

font-family 是正序排列可选的 fallback font name array

然后是 align

text-align: enum
vertical-align: enum

对齐

text-decoration: enum
white-space: enum

border

border-radius: dimen
background: drawable

看几个有意义的 rule

pre, code {
  border-radius: 15px;
  background: rgba(0,0,0, 0.05);
  color: #FFFFFFAF;
  padding: 15px;
  white-space: pre-wrap;
}

.content a { text-decoration: none; }

body { display: table; }
.container { display: table-cell; vertical-align: center; text-align: center; }
.content { display: inline-block; text-align: center; font-size: 18px; }

padding 就是 content 和 border 之间的距离，是 dimen。

MDN Web Docs

display - CSS | MDN

The display CSS property sets whether an element is treated as a block or inline box and the layout used for its children, such as flow layout, grid or flex.

32 viewsduangsuse ¯\_(ツ)_/¯ | ∈ [E²PROM, 范畴论|单子], edited 03:03

duangsuse::Echo

#Android 希望入门了解 Android 的服务接口什么的架构呢，以后有希望的话，我要重写这些： + https://github.com/Trumeet/WorkMode + https://github.com/Trumeet/SysUIController/tree/master/app/src/main/java/moe/yuuta/sysuicontroller 虽然我平时作为后端也是会涉及到二进制流处理的... 但是看起来 AIDL 和 Paracelabel 也是值得学的，可是我之前是…

不会用 AIDL 和 Paracelabel，不是很了解 Service、Provider、Intents、Permission 的说，不会 Android 的新 API 也没有用 Android 的 AsyncTask 抽象... 我得先重写了 moe.yuuta.workmode.async 压压惊...

https://github.com/Trumeet/WorkMode/blob/master/app/proguard-rules.pro#L6

这里让 Proguard 删掉了所有 checkXXXXIsNotNull 检查，我多少有点疑惑是不是真的没问题... 但想想如果不暴露 API 给 Java（比如 internal 的东西），其实纯 Kotlin + Android 的话本来就应该考虑到移除内部检查的？

... 不过也未必，要看情况吧... 虽然 Kotlin 自己就有 Any Any? 的空值类型系统，不清楚是不是真的有些内部的空值断言删掉这些或许会出问题，不过这样就等于把 Kotlin 打包成 Java 了

GitHub

Trumeet/WorkMode

[ROOT needed] Enjoy your work and disable disturbing apps - Trumeet/WorkMode

24 viewsduangsuse ¯\_(ツ)_/¯ | ∈ [E²PROM, 范畴论|单子], edited 03:35

duangsuse::Echo

https://github.com/Trumeet/WorkMode/blob/master/app/build.gradle#L39

Android 的 Gradle 插件我基本会用的，可是 Signing Config 我却不是很清楚...

一个签名 config 是这样的

signingConfigs {
  name {
    storeFile file
    storePassword pass
    keyAlias alias
    keyPassword pk
    v2SigningEnabled enabled
  }
}

想想也就是这样... 之前一直记不住的说，v2 Signing 的意思是之前 Android 的 v1 包 signature 有漏洞，后来更新了
Java 的 Keystore 就是这样的（jks）
一个 keyStore 里有很多 Key，store 本身要 pass 才能打开，每个 Key 又有自己的 password 才能用来签名什么的

GitHub

Trumeet/WorkMode

[ROOT needed] Enjoy your work and disable disturbing apps - Trumeet/WorkMode

24 viewsduangsuse ¯\_(ツ)_/¯ | ∈ [E²PROM, 范畴论|单子], 03:43

duangsuse::Echo

之前已经知道了 Android config 里面的 packageId (其实是 applicationId...), versionCode, versionName, minSdkVersion, targetSdkVersion, androidTestInstrumentationRunner, compileSdkVersion 什么的了，现在见到了 buildConfigField 也会用了，所以好多了...

之前不是很清楚 Java 的 Properties，然后看过了用法后清楚了（无论是 Loader 还是 ResourceBundle）...

然后 IO Stream 本来就是我之前学过的东西

Android lint 和 Gradle sourceSets 我之前都知道，compileOptions 是 Java 项目也会有的，有时候我显式指定

proguard 显然不是什么使用起来很困难的东西... 记住所谓的 pro 文件是 Proguard resp 自动响应命令行文件就好啦，然后 -ccasedoption C Cased options 指定一些 DSL 规则

关于混淆的就是 (methodId) -obfuscationdictionary (package) -packageobfuscationdictionary (class) -classobfuscationdictionary

23 viewsduangsuse ¯\_(ツ)_/¯ | ∈ [E²PROM, 范畴论|单子], edited 03:50

duangsuse::Echo

This media is not supported in your browser

VIEW IN TELEGRAM

22 viewsduangsuse ¯\_(ツ)_/¯ | ∈ [E²PROM, 范畴论|单子], 03:52

duangsuse::Echo

「今后也一定要努力地把所有 API 的用法背下来哦！」

21 viewsduangsuse ¯\_(ツ)_/¯ | ∈ [E²PROM, 范畴论|单子], 03:52

duangsuse::Echo

直到有一天，无论是所谓的简单还是复杂对我来说都再也不能花费我的大量精力来学习...

无论是所谓的后端还是前端工作都无法难住我了就好了呢。
异步、IPC、服务、数据库、用户界面、用户界面动画、计算机图形学、应用程序资源算什么....

好的程序员要有能力既做皇帝又做农民呢。

既要有能力彻底理解别人的抽象，又要能下到实地实现自己的算法，看起来才像是正常人呢。

22 viewsduangsuse ¯\_(ツ)_/¯ | ∈ [E²PROM, 范畴论|单子], edited 03:54

About

Blog

Apps

Platform