shadowfox

Besides emacs (mentioned in another comment), VSCode with a language plugin/server like [1] works reasonably well for OCaml.

[1] https://github.com/reasonml-editor/vscode-reasonml

There are a number of ports of GNU Make to Windows. MSYS2 [1], for examples, provides a reasonable development environment that includes Make.

If you just want a Make, there is [2] which can be installed separately and is part of the GNUWin32 collection.

[1] https://www.msys2.org/ [2] http://gnuwin32.sourceforge.net/packages/make.htm

> Yes, he merely gave us the greatest operating system of human history

While I like Linux, that may be overstating the case

> Banning snake oil is never a part of a free society

I mean, sure. But not every trader must therefore carry and sell snake oil. The same free society gives them that choice.

> Who is Amazon, or anyone, to tell someone that they can't explore every avenue, and read whatever they want to deal with that grief?

All they seem to be saying is that they won't be selling it to you? You are certainly free to explore every avenue on your own. But does everyone have to help you with that?

As it happens QT does support rich text inside labels. Basically it can interpret a subset of HTML markup to render complex labels. See [1]

[1] http://doc.qt.io/archives/qt-4.8/richtext-html-subset.html

I have used CIL [1] to generate C code before. Not exactly its main purpose, but it works nonetheless.

Essentially you generate a C-ast and then pretty print it. It has some limitations though.

[1] https://github.com/cil-project/cil

> I'd argue that the main actors (and others) have driven the web backwards, not forwards. They've done this by the push towards capturing consumers in a walled garden, the rejection of open standards, the embrace of DRM, the selling of user private data for profit, etc

That could well be. I just don't quite see what that has to do with moving Javascript forward.

Windows (at least NTFS) does allow you to delete files in use as long as it has been opened with a sharing mode of FILE_SHARE_DELETE. Unfortunately most regular programs don't do this.

An exception to this is memory mapped files as they are not allowed to be deleted that way. Executables are executed in Windows by memory-mapping them; so runnning programs are hard to delete.

> Why do people feel the need to dictate to others what they should do?

I rather see this as advocacy. If you strongly feel the need for change, you have to do that in addition to simply doing what they themselves can do.

People do it all the time. Take a look at open source advocacy for example.

> The US government can get into your home, do you refuse to live anywhere because of that?

Not the OP. That feels like hyperbole: there are actual legal restrictions on "getting in to your home". When uploading data to a 3rd party the protections are much more limited.

Or perhaps splay trees of boxes ..

> My only real problem with Cygwin is, that it misses a command-line package manager. If they could adopt pacman for package management like MSYS2 does

There is babun (https://babun.github.io/). It is essentially a wrapper around cygwin and comes with a package manager.

Msys2 [1], I have found, is a workable choice for this. It comes with a port of pacman and has a decent, but by no means comprehensive, set of packages.

[1] https://msys2.github.io/

> JAX-RS has a nice API without much boilerplate and it is more powerful than most "micro web frameworks".

This is true. But it is usually much more intimidating for people starting out though. What the micro-frameworks offer is a quick turnaround time.

In addition to all the other stuff, there is also MSYS2 [1] which includes pacman (the package manager from Arch ported over) and a decent sized package repository.

[1] https://msys2.github.io/

Not the OP. But personally, I have had much better experience with Perl and Python on Windows compared to NodeJS or Ruby.

And corresponding to autojump [1] there is Jump-Location [2]

[1] https://github.com/wting/autojump/wiki [2] https://github.com/tkellogg/Jump-Location

While quite true, that is a "business and policy decision" for the most part.

> I don't think he is expecting anything except for us to empathize

And this thread seems to have defied his expectations on that as well

If I remember right, TAPL (Types and Programming Languages by Benjamin Pierce) contains implementations for nearly everything that it talks about. So you can find another implementation of Hindley-Milner there.

I don't think it includes row typing though.

> The other stuff (bold, pictures) requires host support (more than regular powershell.exe provides).

PoshConsole made a nice stab at it. Sadly it is no longer developed, I think.

Simple unicode characters (the smilies etc as used in OP) does work in powershell ISE.

[1] https://poshconsole.codeplex.com/

Now I am curious as to whether there has been any work in quantifying (or at least studying) the impact of processes vs engineering (in the sense of design and development) on quality and long term maintenance of software.

My google-fu is clearly failing me.

> My startup is working on that problem by removing all of that additional logic from the hardware and instead having it managed at compile time.

Maybe a naive question. How do you foresee your approach with this succeeding given the failure of Itanium's similar approach?

> Anyone who thinks PowerShell is at all any good has, axiomatically, never seen any other shell besides cmd.exe before. You may think I'm exaggerating

Really. That feels like quite an uncharitable statement. The only reason someone could think something that you don't like is good because they just don't know any better?

> So you answer the question and determine the fence is there because of adverse possession. And then everyone else you present your findings to says, "that's not a good reason, so clearly you're not using Chesterton's fence and we shouldn't make any changes." See the issue?

I must confess that I don't. I guess this depends on why you are doing this: if your goal is to convince other people that you should remove the gate, you must accept that it is a possibility that other people may not find your argument convincing. That is their prerogative, right? If you need their permission to remove the gate, there is nothing you can really do without convincing them anyway.

If, however, you are doing this for your own benefit, it may help you understand the system and propose/tweak your own solution to the problem better.

Or maybe I don't understand what you are saying here.

The question then is: how do you find such books especially as a layman?

> I need things to be boiled down (I'm looking at you, New Yorker!)

Then perhaps New Yorker is not the sort of thing you should be reading?

I remember seeing this long back. Did he (or anyone else) make progress on this?

I thought the point of the article was that even if they didn't do anything to your content, they could still be collecting quite a bit of your information if everything you did was over HTTP and not HTTPS.

I did literally mean a decade for the compiler (so 2005). While it is not a full IDE by any means, VS Express did include the standard VS compiler. You could compile most standard C programs on windows with that. For some time prior to that you could get a compiler with the DDK as well (but I don't remember since when; it has been a long time). Of course express didn't pack some of the libraries that came with VS; you could get most of them via the SDK and DDK however.

In the 90s though, I used the non-free VS for the most part along with some Cygwin until Mingw's appearence in the late 90s.