ced

To be clear, is this a description of your experience with Asahi Linux?

Not sure about Common Lisp, but Julia (which is a Lisp in all ways except surface syntax) definitely does.

Maybe I'll just show my algebraic ineptitude, but how do you know that g' restores "everything else"? I get that gg' = I, of course, but gT*g'? Rubik cube algebra isn't commutative, is it?

ced

4 年前議論

But whether all their basins are connected, or whether there are just multiple equivalent basins, is much less clear.

What do you mean by "connected"?

ced

4 年前議論

Whenever a cheaper Uber would come to my city, I'd drop them within a second.

Isn't the stickiness that drivers will only switch if customers use it, and customers will only switch if drivers use it?

ced

4 年前議論

As an aside, Julia's MacroTools.jl defines pre- and post- code walking in four lines:

    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?

ced

4 年前議論

> 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

ced

5 年前議論

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

ced

5 年前議論

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

ced

5 年前議論

"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

ced

5 年前議論

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...

ced

5 年前議論

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...

ced

5 年前議論

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?

ced

5 年前議論

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?

ced

5 年前議論

FWIW Wikipedia says:

> Prion replication is subject to epimutation and natural selection just as for other forms of replication, and their structure varies slightly between species.[19]

[19] is https://www.ncbi.nlm.nih.gov/pmc/articles/PMC2848070

ced

5 年前議論

We did it for production code installed at client sites, and it has been very easy for us. YMMV

ced

5 年前議論

Anticipating major industry collapse, the Carrier Alliances showed remarkable discipline in aligning supply with demand as early as February; removing trade capacity from the seas by halting vessels and shipments. By doing so, the erosion of ocean rates was kept to a minimum. Basing their reaction on potential worst case scenarios, shipping carriers artificially created under-capacity. This made available space come at a premium and therefore significantly raised the cost of container shipping, stabilizing revenues for carriers.

If I'm reading this right, container shipping is an oligopoly similar to OPEC and they all banded together to reduce supply enough to raise prices, while in a competitive environment prices would have gone down due to reduced demand?

ced

5 年前議論

What do you mean, "map values"? There is

    [sin(x) for x in vec]
    map(sin, vec)
    sin.(vec)

which are roughly equivalent? Is that what you're referring to?

ced

5 年前議論

https://ourworldindata.org/co2/country/china?country=~CHN

You can add US for comparison. China's emissions have been plateauing for the past 10 years, while the US is going down. Per-capita, China is still less than half of the US, so it'll take a long time before the US catches up, if ever.

ced

5 年前議論

I 100% believe that legacy finance is a massive hindrance to the sustainability of our species,

Could you please expand on that? Why?

投稿

Implementing functional languages: a tutorial [SPJ online book]

Illuminating the Future of Energy - David MacKay

Second-world child - Need Advice

The Logistic Map, Chaos and Bifurcation Diagrams

Marvin Minsky: Symbolic vs. Connectionist

Why Math is deeper than Sociology [quote]

コメント