一笑江湖

苍天一笑 笑不老

 豪情却会了

 对月饮 一杯寂寥

Nobody's Home

https://www.tiktok.com/t/ZPR3gmQcX/

https://www.tiktok.com/t/ZPR3gmmbH/

 

赐我

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

 

星月落

 

思索着 与谁说

星月落 落入世间

使得花败人断肠

多执着 惊鸿怎让人遗忘

 

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.

Python on LLVM

Warframe: The Duviri Paradox - Combat Music (Extended Mix)

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

New frontiers for safe and expressive programming languages

Against the Storm - OST

The Banished Vault - Menu

萬千花蕊慈母悲哀

So, get away

So, get away
Another way
to feel what you didn't want yourself to know

After rain

 

Exiles

 

The Banished Vault

Stars grow cold. 

Flee into the long night between suns.

Can You Hear The Music

It feels like I've forgotten something

America Has Dictated Its Economic Peace Terms to China