iso-8859-1

In Python and JavaScript it is also asserting the type of the thing being compared, which, I argue is better code style. It is a mess having to think about all those things being truish.

What do you mean? Whitespace does mean something in Haskell, see http://echo.rsmw.net/n00bfaq.html .

See also https://www.hedgewars.org/

An similar open source native application for Linux/FreeBSD/iOS/Mac/Windows.

nah, you only learnt how to use them ;)

But what does strings have to do with it? Why can't those expressions be plain Perl, maybe with some overloaded operators?

For example,

    import week, custom, si, type from stdlib.units
    weight = 10 * si.kg
    speed = 2.5 * (custom("furlong", type.LENGTH) / week)

since php6 was never released, it cannot be a failure.

There is still Trinity [0]. I think it will be very hard for them to switch to client-side decorations, even if they wanted ;)

[0]: https://en.wikipedia.org/wiki/Trinity_Desktop_Environment

how do you know the dependency bound is too tight?

You can use GitHub's automatic generation of archives even for specific git commits.

There is no version 4.0.0a of Electrum, it has not been released, it is misleading to refer to it.

"Linear type systems are the internal language of closed symmetric monoidal categories, much in the same way that simply typed lambda calculus is the language of Cartesian closed categories. More precisely, one may construct functors between the category of linear type systems and the category of closed symmetric monoidal categories." (Wikipedia)

So now the only question is where closed symmetric monoidal categories are applicable :P

I didn't know USPS had such high requirements. Where can I learn more about this?

I remember the EUMETSAT Meteosat Second Generation control panels also showing some teal on my visit in '06. I took this photo: https://upload.wikimedia.org/wikipedia/commons/9/91/EUMETSAT...

I don't think they'd replace it with no good reason, so since the MSG program is still running, these computers probably also are.

True. But what are we to do? How is a casual reader supposed to know who counts as a dismissable permabear? This is just a link to a Wikipedia article, it would be odd to downvote it just because it talks about the top, it is hardly even an implication.

is the demo still available for download somewhere? the FTP link on that page is broken.

It's interesting that you bring up the emperor's clothes, because shaming people for showing their body is not something that people make convincing arguments for. Observe how countries with advanced civil rights such as Germany have more nudist beaches.

Privacy is a human right, but I think it is a step too far once you ridicule people just because they don't value it as much as you do. There is nothing wrong with being "ridiculous". Who are you to judge who counts as a fool?

Port numbers do not resolve. And your 'thing' is ambiguous.

So it probably means that a "dynamically" typed system is used. Is there a database where if you INSERT the string 'TRUE' you get an actual boolean stored? IIRC MySQL used to not actually coerce types into the type the column is declared as.

So is this cross-platform? How does it compare to http://hackage.haskell.org/package/brick ?

The project this was made for (FloppyEmu) is awesome: https://www.bigmessowires.com/floppy-emu/

Depends what you mean by "type". A type in e.g. Haskell specifies whether there are side effects.

> any ideas about how to fix it?

Mobilizon supports federation.

https://joinmobilizon.org/en/

It doesn't do scoping, so not really the same.

Why learn Lean as written in the book when there is no way of knowing how much of it will be obsolete in Lean 4, which is being developed in private?

I downvoted you because it is a superficial knee-jerk judgement.

Yes: https://github.com/WICG/native-file-system

If you consider the amount of money they are burning in comparison to 5 years ago, are the results really that impressing? See https://en.wikipedia.org/wiki/Wikipedia:Wikipedia_Signpost/2...

I couldn't parse:

> it’s a just so story commingling

Explanations:

In science and philosophy, a just-so story is an unverifiable narrative explanation for a cultural practice, a biological trait, or behavior of humans or other animals. The pejorative nature of the expression is an implicit criticism that reminds the hearer of the essentially fictional and unprovable nature of such an explanation.

com·min·gle: mix; blend

That discussion doesn't contain any high quality posts, why not link the actual article?

http://hal2020.com/2013/02/14/winfs-integratedunified-storag...

Declarative layouting is in fashion, which works well with scene graphs.

GUI frameworks have usually been tied to inheritance-based object oriented systems.