苍天一笑 笑不老
豪情却会了
对月饮 一杯寂寥
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 theencodemethod from thestringobject, but it is simply syntactic sugar for the function callencode(s,3)wheresbecomes the first argument. Similarly,c.intconverts a character to an integer by callingint(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.printlnfor 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.
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
"What led us here? You did. You vile blasphemies.
Machines... thinking... breeding... you were to bear us a new, promised land.
But when you arrived at that distant world... you knew that in time, we would bring ruin to it as well.
As we had to Earth..."
We can imagine that A.I. would be better at parenting than the vast majority of humans. Parental pathologies and neglect are the inheritances that impoverishes everyone across all levels of the economic strata. By being freed from them, children would receive the attention that they deserve, and can grow up to be well adjusted and functioning. And by intervening early, this will have a larger effect over entire life times. This, I believe, will do more to narrow inequalities - of uplifting entire generations - than most other uses of A.I..
"... having control of what that matter looks like - that was offered by this deep understanding... was what was eventually needed to harness this enormous magic that was hugely beyond the reach of any individual or even large collection of human beings."
i was laying in bed last night scrolling through tiktok and kept hearing this song every three seconds so i went downstairs and whispered it to my piano so here we are
♬ original sound - marianne
And so they’ve pretty much given up on trying to sway the Chinese public to the “Light Side of the Force”, and have chosen instead to poison the well - by depicting the Chinese people as wholly alien, fanatical, weird, irredeemable, and inhuman.
In other words, "hate the Chinese government, and the Chinese people too".
The next time the U.S. talks about human rights, it should clarify that those rights do not apply to women.
The coming war will be more tragic and bloody. There will be no mercy and no reinforcements. For everything we can only depend on ourselves, our own strength, our own preparation, our own will, and our own ability to prevail in all out conflict. There is no retreat.
"将到来的战争将会更加惨烈,也会更加血腥,不会有仁慈,也不会有援军,一切都只能靠我们自己,靠我们自己的力量,自己的备战,自己的意志,自己的拼杀,没有退路可言。"
... the United States that[sic] has created during the Cold War a formidable machinery of open and concealed propaganda. That machinery cannot be easily turned off. It cannot produce narratives that do not agree with the dominant one because no one would believe them or buy such books. There is an almost daily and active rewriting of history...
The inside story of the Pfizer vaccine: ‘a once-in-an-epoch windfall’
"you could have it ranging up to $1,000 a dose"
"There’s a significant opportunity for those margins to improve"
"we saved the world"
"to say that they are wielding their power fairly, openly, with a sense of compassion, is manifestly untrue.”
“I think it’s immoral for anybody to profiteer to the extent that has happened out of a serious crisis for humanity as a whole.”
This big brown bear always greets you with open arms. Cuddly like no other and with a lovely giant stomach where you can feel safe resting - in other words, a real softy.
"To place our faith in a desperate, hopeless attempt to save everyone...and to see it amount to naught in the end.
What else could we do but offer up that tiny remainder in a final, futile effort? Even knowing, deep down, it was worth but a few moments more..."
China Bans For-Profit School Tutoring in Sweeping Overhaul
The out-of-school education industry has been “severely hijacked by capital,” according to a separate article posted on the site of the Ministry of Education. “That broke the nature of education as welfare.”
The great and terrible scientific and technological inventions we associate with the present are almost all more than half a century old... During that axial age, humanity dreamed of ecumenopolises, of heavy industry and its by-products removed off-planet, of giant cylindrical worlds in orbit, of towers stretching into the heavens, of Dyson swarms of man-made infrastructure harvesting the full power of the Sun, of a Kardeshev II civilisation capable of re-engineering the solar system. These dreams already seem absurd.
"I was born healthy in the arms of a dying civilisation, and throughout my existence, I have had the feeling of surviving... while so many things around me were falling apart; like characters in a film who are crossing streets where all the walls are crumbling, and who come out somehow unscathed, shaking the dust off their clothes, while behind them the entire city is no more than a pile of rubble."
"The staff at Magdalene's promise treatments for the deleterious effects of the High Wilderness: loneliness, desperation, folly, regret, love."