Tuesday, September 03, 2024

in a world of billions of living beings for whom those individual stories are surely no longer very significant

'I will call Yurick and DeLillo "epistemological" writers, in the sense that for both the central "problem" to be solved formally is this ineradicable tension between fragmented, private experience and the "scientific" explanation of the world. Both, in other words, eschew the facile and conventional ways of ignoring the problem and the tension: continuing to tell individual stories and destinies (boy meets girl, etc.) in a world of billions of living beings for whom those individual stories are surely no longer very significant; or illustratively and "sociologically" offering this or that individual destiny as though it could still "represent" or be "typical" or "characteristic" of social laws in general.'

- Fredric Jameson, "The Names, and Richard A (review)"

Sunday, September 01, 2024

大圣

 


Saturday, August 31, 2024

壁上观

雪浸染万千华光钟声塑佛龛
此去蒙尘饮乐宴
朱颜改怎不见窟画昔日璀璨
却醒来作壁上观


 

@white_rabbit_lovely 你还是和那时一样...笨啊... #黑神话悟空 #黑神 话#壁上观 #紫蛛儿#翻唱 ♬ nhạc nền - 呆小兔🎶🎤0326

 

Monday, August 26, 2024

Fainted

Tuesday, August 20, 2024

The Hour of the Star

" ... had been the only really beautiful thing in her life. Wiping away her own tears she tried to sing what she heard. But her voice was as crude and out of tune as she was. When she heard it she started to cry. It was the first time she'd ever cried, she didn't know she had so much water in her eyes. She cried, blew her nose no longer know what she was crying about. She wasn't crying because of the life she led: because, never having led any other, she'd accepted that with her that was just the way things were. But I also think she was crying because, through the music, she might have guessed there were other ways of feeling, there were more delicate existences and even a certain luxury of soul... The plunge into the vastness of the musical world that didn't need to be understood."

Sunday, August 18, 2024

NYC - Raining 2024.08.18

 
















"The second time they met a soft drizzle was falling that soaked them to the bone. Without even holding hands they walked in the rain that on M.'s face looked like flowing tears."

Friday, August 02, 2024

NYC - Raining 2024.08.02

 
















There are entire parts of your life that I don't know.

Wednesday, May 08, 2024

Echo Sax End

Sunday, May 05, 2024

Saturday, March 30, 2024

Saturday, March 02, 2024

一笑江湖



苍天一笑 笑不老

 豪情却会了

 对月饮 一杯寂寥

Wednesday, February 14, 2024

赐我

我好像独自站在那三尺红台


 

Sunday, February 11, 2024

星月落


 

思索着 与谁说
星月落 落入世间
使得花败人断肠
多执着 惊鸿怎让人遗忘

 

Saturday, February 10, 2024

2024

It's a new year. For parts of the world that are in conflict: we bear witness to your suffering, and carry your pain.

Thursday, January 18, 2024

Sunday, January 07, 2024

Sunday, December 31, 2023

Dot selection

 Koka is a function-oriented language where functions and data form the core of the language (in contrast to objects for example). In particular, the expression s.encode(3) does not select the encode method from the string object, but it is simply syntactic sugar for the function call encode(s,3) where s becomes the first argument. Similarly, c.int converts a character to an integer by calling int(c) (and both expressions are equivalent). The dot notation is intuïtive and quite convenient to chain multiple calls together, as in:

fun showit( s : string )
  s.encode(3).count.println

for example (where the body desugars as println(count(encode(s,3)))). An advantage of the dot notation as syntactic sugar for function calls is that it is easy to extend the ‘primitive’ methods of any data type: just write a new function that takes that type as its first argument. In most object-oriented languages one would need to add that method to the class definition itself which is not always possible if such class came as a library for example.

 The Koka Programming Language 

Minimal but General

Koka has a small core set of orthogonal, well-studied language features – but each of these is as general and composable as possible, such that we do not need further “special” extensions. Core features include first-class functions, a higher-rank impredicative polymorphic type- and effect system, algebraic data types, and effect handlers. 
Koka - A Functional Language with Effect Types and Handlers