"Fart bird special" is pretty funny, and "staff farting only" might be my favorite. Other good ones: "BECAUSE THE FART NEEDS," "Juice Fart," "WHOLESALE FARTS"
I use a Moonlander keyboard: https://www.zsa.io/moonlander It's very easy to change the layout on these boards since you can do it directly from their website.
A highly customizable split keyboard seems like the perfect solution for one handed typing.
I have one too & really enjoyed playing around with the layout editor. It makes it really easy to try out a new layout and revert changes. Expensive, but you're getting a ton of unique features for a niche market.
My coworkers have also recommended superwhisper for speech to text
That's basically what an LSP is. It's true that it's built on top of the file system, and most IDE users will navigate using the folder hierarchy, but it still stores information about the name, type, and connectedness of the codebase, and allows querying. Your idea about arbitrary tags (feature, environment) would be useful but does not seem to be supported by the spec [^1] yet.
> proximity of this federal U.S. District Court to the defendant’s country of citizenship, Australia
This is a little disingenuous, and made me chuckle. It's faster and cheaper to get to Australia from the US mainland than it is from Saipan. Yes, it's physically closer as stated, but does not confer the claimed benefits.
That was my thought too. It's outside the mainland customs zone though which is full of fascist angry CBP agents at the ports of entry. Maybe CNMI immigration is easier? It's also faster/easier to escape maybe, although USVI is also outside mainland customs and easy to slip out of.
This is an amazing project and I'm glad it exists. My college capstone project was building a 3d scanner, and we were able to use POV-Ray to create a repeatable test environment for our algorithms. Wish I had an excuse to play around with it nowadays.
For anyone interested: the article mentions “How to Hide an Empire” by Daniel Immerwahr. It's a very well-written and well-researched book -- Immerwahr does a great job creating a narrative from all the historical events in the book. The reason I mention it here is because it goes into detail about Americans' reluctance to grant full citizenship to residents of its overseas territories.
Flight costs are a pain, and the flight durations are nothing to sneeze at either. I live out in Guam (my wife is stationed here with the Navy) and the two most common ways to get back to the mainland are via Tokyo (Narita) and Honolulu.
I would definitely encourage visiting if you have the means! I find there are two types of people here: those who feel limited by the island and its infrastructure (no Target, no Starbucks, etc.) and those who enjoy its incredible outdoor environment. Some of the best snorkeling and scuba diving in the world is right here, and as for hiking: we've been hiking very frequently for the two years since we arrived and haven't gotten bored yet. Depending on where you go on the island, the terrain and plant life looks very different.
No Target, but there's a very good Kmart! Plus, anyone with a military connection has access to the exchanges, which are effectively tax-free Targets.
Most of the domestic tourists I saw around Guam (I was stationed there for a stretch) were divers. I don't know that I'd recommend it for the average non-diving traveler over cheaper-to-get-to alternatives unless it's someone who's specifically looking for the remote character of Guam (and in that case, there are less developed islands that can be gotten to more cheaply).
I thought about retiring in Guam someday since Medicare would actually work there. But I can’t imagine it is much nicer than Bali or some parts of Thailand I’m also thinking about (if my health is good 20 years later), and it’s definitely more expensive than.
Thailand perhaps (although I'd note that political instability in Thailand is carefully done to avoid disturbing the tourism industry in anyway).
But it's been many years (25? If you count Timor crisis?) since any significant political disturbance in Bali/Indonesia and only 3 years since a coup attempt in Guam/USA.
I visited Thailand multiple times just after military coups, and the only thing I noticed was more things getting poached from my checked luggage. Oh, and sometimes the big shopping malls in Bangkok are closed.
Bali did have that bombing just after 9/11 a while back. Sort of ancient history anyways, but I've loved my trips there.
Is it really that different from Guam? It seems to have a similar hot and humid climate, they are both islands of similar size, Bali is just closer to the equator.
It may not be that different from Guam, but I was comparing it (I guess, without making that clear, my bad) to more temperate retirement areas, than Guam.
I'm sure it's based on preference and tolerance, but very hot humid heat just saps all the enjoyment of life out of me when I'm outside, unless I'm on a sailboat or in a pool with a cold drink in my hand.
My father was stationed in Guam for a couple of years during the Korean War but he was in the Navy. And then when I was getting mustered out of the Navy 40 years ago I landed on Guam briefly on a flight out of Kobe Japan, on my way to Hawaii
I get the feeling that Hawaii takes all the US tourism for tropical islands.
In a hypothetical scenario where Hawaii didn't exist maybe Guam would be more popular?
> those who feel limited by the island and its infrastructure (no Target, no Starbucks, etc.)
I hate those people. I live in a city of 1.5 million (there's everything here), and it's a constant background radiation talking point for a significant number of my highschool friends: how unfortunate they are that they don't live in the nearby city of 15 million. IME this constant moping has everything to do with the amount of social media one consumes daily.
> it's a constant background radiation talking point for a significant number of my highschool friends: how unfortunate they are that they don't live in the nearby city of 15 million. IME this constant moping has everything to do with the amount of social media one consumes daily.
Well, you've managed to one-up them in how tiresome and cliched your talking point is.
There is quite a bit of difference between the inconvenience of not having a Target that gets frequent shipments of a wide variety of goods which help ease daily life, and not having the amenities of a 15M person city versus a 1.5M person city.
My biggest pain point of remote island life is not having access to a variety of affordable dairy foods.
I understand. That's why I wrote "(there's everything here)". To clarify, I don't like those people because of their thankless and complaining attidude to the life.
I mean some like hyperdense megacities and everything that comes with it bleeding edge/underground scene for X, 24 hours life, close proximity to people. It's completely alien to me as well but why look down on people liking different things?
It's interesting. I live in London UK, which some might think of as a megacity - though when I look at the biggest cities in the orient (Singapore, Shenzhen etc) London feels like Hobbiton in comparison. I suppose what you're used to becomes your "zero line", and one inevitably assesses other places relative to that.
Guam’s population is 169 thousand, about 10% of the city where you live. It is an island 3,800 miles from Hawaii. I doubt that this situation is comparable to yours.
169.000 ? Funny, I live in a city of 15.000, not even in the city, and think its way too crowded. So much that i'm actually thinking of moving to a 100 ppl village, closest "city" 3000 ppl. Never even been in a starbucks, nor wanting to, I guess preferences differ. Remote work is a blessing.
That is a very important realization and self awareness, alaways :)
Fwiw I lived in 600k-2m cities most of my life. I now moved to a 50k city (for love :) ,but problem is it's a satellite city - a 50k city in rural Minnesota or Manitoba will be a local centre with many amenities and a certain vibe. A 50k city on the greater Toronto area is just a commute residential park.
Anyhoo, I always enjoy people complaining about city becoming bigger because... They themselves moved here! If you moved to that 100ppl place you would be the problem, the 101st person- while likely complaining about other people moving in and ruining it for everyone :). It's like when I'm stuck in traffic and people in the car with me get annoyed "where do all these people think they have to be on a Sunday morning???" - erm, just like us you mean? :)
I've visited Charleston and Huntington, WV. I went to all the 'hippy' spots (the only festival in the area, the farmer's market, bar with gigs, a museum on the outskirts). US 50k cities have less infrastructures and cultural events than 10k cities in my country to be honest, i can quite understand your peers (you also have really good small towns like Fayetteville, WV, if you like outdoorsy stuff and physical activities, but I guess when I was 15, kayaking and rock climbing would have gotten old quite fast).
Picking metro areas in a state that has suffered prolonged economic malaise is a bizarre way to make conclusions about the amenities of a typical U.S. midsized city.
Funny thing, I'm originally from Huntington, WV. My fiance has never been to WV, and we're thinking of skipping the trip to Huntington and just meeting my family in Fayetteville for a weekend trip.
It is an interesting idea to explore: Why do humans predominantly want to live in bigger and bigger groups. Sure, there are a few people that want to live out in the country, but cities are big because people want to be there. Humans like groups.
For the vast majority of city dwellers, they are there either because 1) they grew up there and that's where most of their social connections are, or 2) that's where the jobs are. The reason why cities even grew to the size in the first place is because of the economics of the Industrial Revolution - and, in some places like the USSR, deliberate policies to force the rural population into the cities to man all those factories. We don't actually know the real preferences until those factors are out of the equation.
And more bars, restaurants, theaters.
It isn't just economics that drive people to be together.
People also like to be together, and bigger groups allow more group activities.
Kind of both, in a feedback loop. Economics, jobs, and fun.
This article brought to mind a different but related scenario. I live on an island that was recently affected by a typhoon. Internet speeds are usually pretty good, but in the aftermath of the storm cable internet has been up-and-down depending on the day, and the cell towers are very spotty. I've found that most modern apps depend on a high-speed connection, and give a very poor experience otherwise. Of course this seems obvious in hindsight, but it's a different experience living through it.
It’s ironic that VS Code has become the premier Electron-based IDE, since Electron (originally called Atom Shell) came from the original Atom project.
I loved using Atom, and I like that there’s a community trying to keep it going. However, I think there’s value in trying to push the platform forward, too; maybe rethinking the extension model to maximize stability/performance would allow Pulsar to start stealing market share back from VS Code.
Ironic and fantastic. So many good ideas are born and die with short-lived projects because no one bothered to extract and polish them as standalone solutions while the project was still alive.
Atom will continue living through Electron (regardless of Pulsar)
Actually, it's not that ironic, considering that the first projects are usually not the one dominating a space later. The first ones are often still exploring the new space, and thus enabling later projects to learn from their failures and optimizing faster on this experience.
And AFAIK VS Code demonstrated this pretty well. Atom was all in on JavaScript (or CoffeeScript AFAIK) for gaining the benefits coming with it, leading to performance-penaltys and other problems. While VS Code was also heavily optimizing on performance, sidestepping JavaScript and minimizing the customizability for the sake of stability. Atom only later focused more on this, but was killed along the way when they started their research-project for better performance. But good enough, at least we got treesitter coming out of it, so it wasn't wasted at the end.
I work from home, in a home office with no sane way to route an Ethernet cable to, and I've been feeling the crunch during video calls. We have a wifi-enabled baby video monitor in a corner bedroom, and from my experience it's been proving "Rule 10: Your Wi-Fi network is only as fast as its slowest connected device" (see source [1]). My best-practice workflow has been to unplug the camera before an important video call.
It's worth trying a good powerline networking adapter if you haven't tried already! I've used a bunch of them and they are much much faster and more reliable than wifi.
That (realistically) requires you to have coax cabling in the walls already, or be willing to snake them through, right? Whereas powerline is where you're working already
"Surgery of the Fool" is my personal favorite.