ced

    walk(x, inner, outer) = outer(x)
    walk(x::Expr, inner, outer) = outer(Expr(x.head, map(inner, x.args)...))

    postwalk(f, x) = walk(x, x -> postwalk(f, x), f)
    prewalk(f, x)  = walk(f(x), x -> prewalk(f, x), identity)

It's dead simple and obvious in retrospect, but I don't think I would have ever thought of that! I've always wondered if there's a lineage to this set of definitions. Does anyone know?

Comment · 4 years ago

> In 1973, professor Sir James Lighthill was asked by the UK Parliament to evaluate the state of AI research in the United Kingdom. His report, now called the Lighthill report, criticized the utter failure of AI to achieve its "grandiose objectives." He concluded that nothing being done in AI couldn't be done in other sciences. He specifically mentioned the problem of "combinatorial explosion" or "intractability", which implied that many of AI's most successful algorithms would grind to a halt on real world problems and were only suitable for solving "toy" versions.[15]

> The report led to the complete dismantling of AI research in England.[15] AI research continued in only a few universities (Edinburgh, Essex and Sussex).

https://en.wikipedia.org/wiki/AI_winter

Comment · 4 years ago

Were there lots of other children doing the same? Living in eastern Canada I've never really seen what you're describing.

Comment · 4 years ago

Are there bike paths, or does he ride on the road alongside cars?

Comment · 4 years ago

"Karl Marx was right, socialism works, it is just that he had the wrong species"

It seems that what Marx called socialism is basically communism.

By 1888, Marxists employed socialism in place of communism as the latter had come to be considered an old-fashioned synonym for socialism. It was not until after the Bolshevik Revolution that socialism was appropriated by Vladimir Lenin to mean a stage between capitalism and communism.

https://en.wikipedia.org/wiki/Socialism

Comment · 5 years ago

Is there any forecast of where the equilibrium happen? Say, if you're in a 1000-people closed society where cryptocurrency is the only thing used to buy stuff, what's the economic calculation for the long-term energy consumption? Seems like there should be papers about that...

Comment · 5 years ago

emacs chords always bothered me

I got carpal tunnels a few years back from emacs, which forced me to try https://ergoemacs.github.io/ . I like it a lot, it's more sensibly designed. I've found it a pain to install though...

Comment · 5 years ago

From the link:

The CEO sold his previous company's data before founding DDG. His previous company (Names DB) was a surveillance capitalist service designed to coerce naive users to submit sensitive information about their friends.

Is that a fair statement? Can someone provide more context?

Comment · 5 years ago

He admitted to murdering them. (Which is what a guilty plea fundamentally is.)

Isn't the accused sometimes advised to plead guilty (regardless of the truth of the matter) because he has little chance of winning a plea of innocence? Or is that just in fiction?