scottjad

Does JetBrains have an equivalent of Next Edit Suggestions (VSCode) / Edit Prediction (Zed) / "Tab, tab, tab" (Cursor)?

FYI I use firenvim daily and it can certainly change color scheme. Is it only when used with Jupyter that color scheme can't be changed?

Very nice. Two features I would like are tabs next to the "Today" tab that say "Yesterday" or maybe "48 Hours" and another that says "This week" or "Last week."

I often miss the news for a day (too busy) or a week (traveling/camping) and then want to catch up. Also sometimes I avoid the news for a day because I'm avoiding a sporting event spoiler. Most websites/newspapers are geared toward today and don't let you easily see what they looked like yesterday or a week ago. Even better would be allowing a time range and being able to see the top news during that time period.

Some basic filtering would be nice too. For example, I might want to see a politics-free feed, but right now that would require looking at three different categories. It would be nice if each category had a checkbox next to it, and clicking on the label selected the category and clicking on the checkbox deactivated it when no category is selected. Also it would be nice to be able to add search strings that would remove items, so I could add "Trump" to a list and not see any articles with that in the headline (or maybe in the summary). As it is now under Business I'd still get a lot of Trump-related news.

Also curious why you chose to have some feeds off by default.

Firefox on Android used to have text reflow, then they removed it. Then the crappy extensions were made. I used to use text reflow on Conkeror (Firefox based) on desktop, but a year or two after they disabled it on Android they removed it from Firefox. I agree, I also use Opera on Android, for this feature.

I don't think this is anything new.

The feature they got rid of was a single RSS feed for all your subscriptions.

They've had per channel RSS feeds and OPML export since they got rid of that, I believe.

Luke 21:4 All these people gave their gifts out of their wealth; but she out of her poverty put in all she had to live on.

If I hold an event in Chicago called "An evening for families," that doesn't mean my definition of family somehow includes living close to Chicago. Just that this event happens to be in Chicago, and this app happens to be for Windows/Mac because of implementation/demand/whatever reasons, not because of some definition about hackers.

Are there some tools that make it easy to make these filters? It would be nice to have something built-in (as a plugin?) to mpv or VLC.

I've created several filters for personal use with EDL. mplayer has a decent UI way of doing that while watching the film by pressing 'i' to start a cut and 'i' again to end the cut. It's nowhere near perfect though because you still have to edit the edl file to decide whether to cut video or mute audio.

One nice feature you could add to this editing UI would be to use the subtitle file to allow jumping to the locations of certain language in order to edit them (times in subtitles aren't enough to edit a single word).

Starcraft is a game that is played with mouse and keyboard (or game controller on console). I think in order to say an AI has beat a human, it should have to use the same interface that a human uses. That's part of the definition of the game.

In Go, anyone can place a stone as well as anyone else, it's deciding where to place a stone that's the game. In Starcraft, not everyone can control the interface to the game equally well. Playing Starcraft without using the same interface as humans is like playing baseball with something other than a baseball bat.

Also, I think it's unfortunate that they're choosing Starcraft 1: Brood War (presumably because of API reasons) instead of Starcraft 2, since there are many more top-level players playing sc2 right now to give it a run for its money, with an evolving meta that could more likely adapt and challenge the AI after it wins some matches. SC2 is where the tournaments and money is right now (compared to BW), hence the best players devoting the most time.