Sunday, May 05, 2024
Saturday, March 30, 2024
Saturday, March 02, 2024
Sunday, February 25, 2024
Wednesday, February 14, 2024
Sunday, February 11, 2024
Saturday, February 10, 2024
2024
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 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.
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
Friday, December 29, 2023
Tuesday, December 26, 2023
Monday, December 25, 2023
Tuesday, November 21, 2023
Tuesday, October 03, 2023
Wednesday, September 13, 2023
Saturday, July 29, 2023
Thursday, July 27, 2023
Sunday, July 23, 2023
Sunday, May 21, 2023
Thursday, March 09, 2023
Sunday, February 26, 2023
Tuesday, February 07, 2023
Saturday, January 14, 2023
you knew that in time, we would bring ruin to it as well
"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..."
Saturday, December 31, 2022
A.I. parenting
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..
Friday, November 11, 2022
Friday, October 28, 2022
The End of Space-Time
"... 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."
Tuesday, September 06, 2022
Monday, August 22, 2022
Sunday, July 31, 2022
Friday, June 24, 2022
Saturday, June 04, 2022
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
Wednesday, June 01, 2022
Sunday, May 08, 2022
The Great Translation Movement
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".
Saturday, May 07, 2022
Tuesday, May 03, 2022
yeah, ok
The next time the U.S. talks about human rights, it should clarify that those rights do not apply to women.
Thursday, April 07, 2022
Thursday, March 17, 2022
we can only depend on ourselves, our own strength, our own preparation, our own will
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.
"将到来的战争将会更加惨烈,也会更加血腥,不会有仁慈,也不会有援军,一切都只能靠我们自己,靠我们自己的力量,自己的备战,自己的意志,自己的拼杀,没有退路可言。"
Monday, March 07, 2022
Saturday, January 22, 2022
Saturday, December 25, 2021
... 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...
Tuesday, November 30, 2021
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.”
Sunday, November 07, 2021
Skog
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.
Monday, September 20, 2021
Courage born of fear
"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..."
Monday, August 16, 2021
Sunday, July 25, 2021
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.”
Monday, July 19, 2021
Monday, June 07, 2021
Saturday, May 29, 2021
Thursday, April 22, 2021
Friday, February 26, 2021
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.
Sunday, January 31, 2021
Sunday, January 24, 2021
Thursday, December 31, 2020
Monday, November 30, 2020
Wednesday, October 21, 2020
Sunday, October 18, 2020
Saturday, September 05, 2020
Cosmic Clock
From brooding gulfs are we beheld
By that which bears no name
Its heralds are the stars it fells
The sky and Earth aflame
Corporeal laws are unwrit
As suns and love retreat
To cosmic madness laws submit
Though stalwart minds entreat
In luminous space blackened stars
They gaze, accuse, deny
Roiling, moaning, this realm of ours
In madness lost shall die
Carrion hordes trill their profane
Accord with eldritch plans
To cosmic forms from tangent planes
We end as we began
Thursday, July 23, 2020
Sunday, May 31, 2020
Sunday, May 24, 2020
Friday, May 22, 2020
The most working class way to go
Thursday, May 21, 2020
Mass murderer
Saturday, May 16, 2020
Saturday, April 18, 2020
Shipwrecked
"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."
Covid-19 in America
Monday, March 02, 2020
Friday, February 14, 2020
Wednesday, January 29, 2020
Quality of the 'Economist'
"It was always a dull stupid paper even when it was honest. But to read sophistical arguments in no better style than Wilson’s is a task I would not condemn a dog to."
Friday, January 24, 2020
Another age of ignorance
Tuesday, December 17, 2019
Sunday, November 17, 2019
Tuesday, October 15, 2019
The LRB at 40
Origins of the LRB: 0:00
Editing: 21:10
Form of the essay: 37:11
Escalators: 40:21
Proportion of female writers: 1:18:38
1:22:57
"I've observed it recently and I've observed it and I am observing it now myself I guess that the book reviews in the paper... very often don't address the books a great deal..."
Saturday, October 12, 2019
Sunday, October 06, 2019
Saturday, September 28, 2019
Sunday, September 22, 2019
Tuesday, August 27, 2019
Sunday, August 25, 2019
Wednesday, July 17, 2019
A singer's regrets
"One life," she says, eventually. "That's all we have."
Thursday, July 11, 2019
Tuesday, June 18, 2019
Sunday, June 16, 2019
Sunday, May 19, 2019
Friday, April 26, 2019
Monday, April 22, 2019
Saturday, April 13, 2019
Monday, March 04, 2019
Monday, February 25, 2019
Thursday, February 14, 2019
The Wandering Earth, movie
Yes, just as portrayed in the movie, human beings are capable of compassion, kindness, cooperation, and even self-sacrifice while working towards a common goal. But these are not revelations or keen observations of human nature.
Saturday, February 09, 2019
Thursday, February 07, 2019
Magdalene's
"The staff at Magdalene's promise treatments for the deleterious effects of the High Wilderness: loneliness, desperation, folly, regret, love."














