skysight-inc/HackerNews huggingface dataset:
>Satellites shine by reflecting the sun’s light. For this reason, they’re usually only visible during the beginning of night and as morning approaches, when the sun’s rays can still reach them high above Earth. But at latitudes such as 50 degrees north and south, locals will see satellites all night long near the summer solstice, and near sunrise and sunset on the equinoxes.

The sky will be clean during winter, once you get an hour away from sunset.
I'd say no. For thousands of years, we've been the colonisees, not the colonisers.
From my understanding, the Jewish diaspora in Christendom often became moneylenders due to various laws that a) prohibited Jews from owning property or businesses and b) laws that prohibited lending money at interest by Christians.

Then yeah, when someone fired up some anti-Semitic hyperbole, well, great way to get out of that debt you owed, right?

IIRC Edward I of England expelled the Jews primarily to confiscate their property after years of taxing them superhard, but it also gave the Crown ownership of debts owed to the Jews, so he was playing the populist hand, and getting funds at the same time.
Well, I've heard Palintir is no better than any other body-shop: hype-up their tech/senior engineering acumen, get the contract and throw anyone with a pulse at the project while using boring technology (SQL, spreadsheets).
> many corporations contribute to and support his foundation

But corporations would never ever fund the FSF.

Google is rewriting a whole OS to avoid having to give device drivers for android.

Companies prefer to spend millions of $ to avoid the GPL. They only like MIT-like licensed open source. They hate anything that can be used to give freedom to users.

Google has forbidden the use of AGPL software completely.

This means that having support from companies is incompatible with making libre software.
Again, why is it "incredibly" useful?
I'm sure someone will explain how "not" can mean "is" in software policy-ease but it is still disappointing to read "Data Not Collected" (on the iOS store) when, in actual fact, data is collected, and shared. https://www.stellarium-labs.com/privacy-policy-for-stellariu...
>Koch-funded propaganda

If you are not simultaneously against bezos-funded propaganda or zuck-funded propaganda (he still funds fwd.us whose main goal is to lower tech salaries by increasing immigration), you are a hypocrite.
Use swc to compile TypeScript. It doesn't typecheck (use tsc in your IDE for that) but the iteration speed is insane.
I think that was true years ago, but less so now. Google has clawed back a lot of the power and control they initially gave away in order to gain partners. Things like moving functionality into Google Play Services give them the ability to do things without making an agreement with partners, and tightening requirements for passing conformance testing means they get to dictate even more as to what being an "Android device" means.

Their Pixel line hasn't dominated the market by any means, but has also done well enough that they can at least claim to some extent that they don't "need" the other manufacturers. Of course they do, but they can use "whatever, we'll just make $COOL_THING a Pixel exclusive and leave you behind" a threat with teeth. They actually do sometimes make features Pixel exclusive (sometimes just for a limited time), and that seems to be working out ok for them.

Similarly, Apple made a lot of concessions to the wireless carriers back in the beginning, but I'd wager these days they've also clawed back most of that control. If Apple tells their customers, "we wanted to give you this cool new feature, but Verizon wouldn't let us", that will not go well for Verizon.

So I do agree that there's some compromise, and Google (and Apple) don't get to do literally anything they want, they are in a much better position to control their ecosystems and dictate terms than they were back when they started.
If you are lonely because you aren't going into an office every day, you have issues in your life.

> significant drop in weak bonds which significantly shrinks one’s social networks

The "social network" is overrated, one good friend that can take care of your dog and house while you are away on holiday is worth more than 1000 "connections".

> local economic shrinkage as support businesses close (janitors, lunch spots, suppliers, etc),

On the other hand it boosts economy elsewhere.

> a loss of general sense of belonging

You need to think hard what happens when you leave or they fire you, are you going to lose your sense of belonging? is your life just your work.

> loyalty to your employer

Be loyal to your spouse, not your employer, if you find a better place to work for, go for it, your employer will do the same with you within a millisecond.

> Humans need social support.

Yes, they do, but if your main supply is work colleagues, you are screwed.
> Async functions, now available in many languages, solves many of the issues RPC had in its childhood.

Like which problems?

Transparency? Nope; the caller still needs to set up where the remote function resides, which of the multiple remote functions with that name must be executed, etc.

Latency? It actually makes it harder - you now need separate plumbing so that calls which take more than $X minutes must be considered failure.

Reliability? Not this one either - the error returned by a function will still have to be handled separately from an error returned by the network.
In his defense, windows 10/11 it's a crap
I am extremely glad I live in a country in continental Europe where this shit is unconstitutional and will be stricken down by the courts immediately (as will be any sort of preferential treatment of any minority in hiring or admissions). Hope it stays that way.
In the US it's 2-5+ extra but depends a lot on the field.
I guess because history is full of this kinda stuff, sadly. In Croatian school system (unless you study history, I assume?) half the curriculum is world history and European history (with like... only a few hours of international History jammed together) and the other half is our country or local regional history that affect Croatia in some way.

I can't fathom where'd they'd slot all the horrendous historical anecdotes amongst all the horrendous historical anecdotes Croatia has been a part of. There would need to be a lot more history.

Also, there was a period of "recent history" (but maybe that was in highschool) that was more political/nuanced from what I very vaguely remember
What do you mean by EU-Version? A EU spin-off, or competitor?
GP is a little confused.
The AWS console always redirects you to the the console hosted in the same region as the resources you're viewing.

But the initial login request to AWS goes via us-east-1 by default.

AWS has more recently published the list of login endpoints to use should us-east-1 be offline.
Unless the thing that makes the trees dance and shine rather than loom and glow ominously is the same thing that has the anti depressant effect.

I personally think pearl clutching about the idea someone might have fun whilst benefiting from medicine is stupid and there's no reason psychedelics should not be available to anyone who is screened for potential contraindications, but there's no reason to assert that all of the different effects are inexorably linked.
> there never was a good strategy for content

Which was ultimately a tech driven chicken and egg problem. I know someone who is the lead for a popular game. They said they'd need to drop DirectX and effectively port the game to Linux to get Stadia working, which wasn't worth it for the user base.
They do and unlike a browser you have no control over it
This is also such a great point. I've never considered Google's lazy attitude toward Android through the lens of why Android became a priority in the first place. That really does explain a lot.

And the rest of it: "Ok, we killed Microsoft here, now what?" "Eh... whatever."
> Sqlite is good, but a database is simply unnecessary in many cases, because filesystems are very optimized and perfectly useable for many cases. This encourages hacking and interoperation. I could comfortably browse through my bookmarks in a mature native file system explorer of my preference, instead of struggling with a tricky scrolling menu within a browser

SQLite is very good indeed. It's fast and offers a nice querying API. You can use SQLitebrowser if you want to browse this data outside the browser UI, and we could always have a FUSE filesystem for sqlite database if we really wanted to be able to browse this data with a file manager. Since SQLite is used everywhere, the effort would be shared. One of the many good things about SQLite is that it is (de-facto) standard, way more than regular configuration files.

> Systemd: Binary log files. I should be able to configure my system with `sed` and `awk` scripts that easily modify text configuration files.

Configuration files are still regular text files, and are way easier / simpler than before systemd / upstart. You are also a command away from having a text representation of the logs, and that's journalctl, which can be piped into the regular unix tools, so I have not found an actual situation where it matters.
My job over the past several years has been to work on IDE integrations for a language (Hack, Flow). Prior to that I worked on C#/VB "Roslyn" system at Microsoft, which is entirely about exposing the internals of the compiler to plugins.

Autocomplete isn't really helped by the AST. Here instead is how it works:

(1) Query the backend "at the specified line+col in the file, what context are we in?"

(2) The context might be a qualified identifier, e.g. "foo.|" or "foo.ba|" or "MyFoo::|", in which case the context will have to tell you the type of the thing to the left of the qualifier. You then make a second request to the backend to ask for a list of members of that type. (This requires you have some common language with the backend for referring to types).

(3) Or, the context might be an unqualified identifier, e.g. "|" or "fo|". In this case you have to assemble a list of all possible identifiers in this position. (You might also want to assemble keywords here, but it's hardly necessary). This list will include all local variables; for this, you can use the AST so long as the semantics of your language aren't too tricky about what variables are in scope, or you might query the backend for them. The list will also include every single top-level symbol in your entire project. (Even in languages which require import or #include statements, you still want to list top-level identifiers that haven't yet been imported, because that's what a nice IDE experience is -- you help the user type this and then help them auto-insert the import).

This fact means that autocomplete has to be powered by the build system, has to know about all files in the project. Also, for large projects, there might be countless top-level identifiers across the project, maybe in the tens of thousands, so autocomplete needs some serious pre-compute assistance.

So how would one achieve any part of the above with an AST? The AST solely helps with part of the first step, allowing you to identify which AST node you're in. Then you still have to query the backend using the exact same API as above to learn the type of the qualifier to the left of the current AST node. Then you still have to query the backend to find all members of that type. And you still have to query the backend for its build-system knowledge of every type in the file.

In other words, the AST has barely helped you at all in your quest to implement autocomplete.
On Polinesia island, in the night it is incredible!
Give it a try if you can
Yes, OAuth-proxy, Nginx external auth, ...
It’s intentional, it’s a way to brag. They don’t need to at all. There’s a reason why nobody at other companies does that - people at other companies are normal and don’t think they’re gods gift to the world.
Agreed, this is the most plausible.
This:
"To be honest I would be relieved if they screwed up Gmail so badly that I had no choice but to switch"
I tend to agree, but historically what you're describing is a classic case of being an employee at a company.
Of course nobody could consider an IP address private information, similar to how a license plate can be read by everyone wherever you go.

But that doesn't mean it's not protected by privacy legislation. Your plate or IP isn't secret, but tracking everywhere it goes still impacts privacy.
i agree with broad theme. the people who work on games, are not really fan of big corps owning things. most game devs want their thing to be reflection of them and share the joy with people, rather than siloing it and milking people. that is my experience, personally.
Agree with the sibling: the first time I used Google, it felt like magic. I ended up not even caring about what I was searching for; I just started throwing queries at it and marveling at how great the results were.

Altavista was certainly better than what came before, but you had to get your query just right in order to find what you wanted. And if you couldn't find the right words for the query, you were sunk. With Google, you could get ok-ish results with a sub-standard query, and the ok-ish results would often help you figure out a better query.
Definition 2 specifies "in the workplace".

"workplace" is defined as "a place (such as a shop or factory) where work is done"[1].

"work" in the context of "workplace" is defined[2] as follows under definition 1:

---------------------

1a: to perform work or fulfill duties regularly for wages or salary

works in publishing

b: to perform or carry through a task requiring sustained effort or continuous repeated operations

worked all day over a hot stove

c: to exert oneself physically or mentally especially in sustained effort for a purpose or under compulsion or necessity

---------------------

Definition 1a is a direct reference to monetary payment for work rendered. Definition 1b describes the act of working itself. Definition 1c loosely refers to some sort of goal or need, which may or may not include money, as a motivator for working.

So in a very, very liberal context you can pedantically use "professional" in a non-monetary sense, but there are much more accurate ways to describe what you want to convey such that you wouldn't need to be liberal with your choice of words.

RMS isn't a professional, so he can't be demanded to act professionally.

[1]: https://www.merriam-webster.com/dictionary/workplace

[2]: https://www.merriam-webster.com/dictionary/work
If I were to rent a game for say 10 dollars play it and be done with it that would make me jump on it. Otherwise it doesn’t make sense
That would make sense if Stadia was targeted at casuals (high school students probably can't afford AAA).

However, the lack of subscriptions, separate purchase model, lack of discoverability (no search bar for years! from the Search company!) and porting model make it clear Stadia was very much not targeted at casuals.
I’m not saying it’s fair, but it’s pretty obvious why this is the case.

A 200lb man, who has the physical ability kill someone with their bare hands crying over an emotional vulnerability is scary. The issue isn’t “men aren’t allowed to have feelings”, but men are expected to have self-control over how they express themselves.
That sounds like a lot of work for what could be covered by self-destructing cookies, spoofing your user-agent, and in the worst case using Tor (which for me is a keyboard shortcut in Brave). I really don't think the extra hassle of VMs is worth it -- these are ad companies trying to fingerprint you, not state actors using zero-days on you.

Personally, I dream of a future where 90% of content is delivered over RSS or similar and the middle man (bloated web pages) are cut out entirely.
Sometimes the editor needs the AST, and LSP is general enough that language implementations can expose it. For example

https://clangd.llvm.org/extensions#ast
> If GPT-10 is just like GPT-3, no extra bells and whistles, just bigger, and able to read whole novels and watch whole movies and answer subtle and open-ended questions about characters and their conflicts and motivation, and tell us when to laugh, I promise to post a YouTube video admitting I was wrong.

-- Gary Marcus

https://garymarcus.substack.com/p/does-ai-really-need-a-para...

This isn't exactly what he described, but it'd make me pretty worried if I were him.
Oops, I missed Bratislava, it's indeed listed in the table on p. 13, https://safeguarddefenders.com/sites/default/files/pdf/110%2...
There's an argument to be made that they shouldn't actively make other things worse in the process of pursuing their own cause.

It's the difference between "we're not actively campaigning for improvements around climate change because that's not our thing" (morally neutral, probably) and "unlimited free intercontinental supersonic jet flights around the world for people who license their work under the GPL" (may encourage GPL usage but at a high cost in pollution).

(Controversial thread disclaimer: this is a counterargument solely to your comment, and not an expression of any particular opinion outside of what I explicitly wrote here.)
Would you have a reference to comparative studies re the “safety” of chlorophyll in contrast to some other energy transformers, say, mitochondria?
An email thread discussing work that will be done on GCC is "the workplace" in this sense. If we took a vote I'd guess at least 90% of English speaking adults would agree with me.

The way I used the words "behave professionally" is very common in American English. You could use this phrase to describe a student, a volunteer, or even a dog at a dog show.
I don't get the resistance to for profit software. My favorite editor is Rider. It's for profit, I pay for it and it's light years ahead of other options.

People worked hard to produce that product they should be free to profit from their labor.
Fair. My client is not a business tho, this is a B2C relationship. So it’s seems unlikely, tho not impossible that they would be using such tools.

The Gmail address in question is not linked to my LinkedIn profile.
Highschool students are a primary demographic for AAA.
Brent is very much still active. He is the Founder, Project Manager, Product Manager, Release Manager, and much more for NetNewsWire. He just doesn’t have enough spare time to code as much as he would like.
> How is the principle incorrect? It’s a truth like evolution. You can’t fix past discrimination without future discrimination, in most cases.

True like creationism more like.

Here's some other perspectives:

- Things in the past can't be fixed. We can't "fix" past discrimination any more than we can fix 9/11 or retroactively fix the holocaust.

- Are you trying to decrease discrimination or racially biased life outcomes? If you want less discrimination, adding more discrimination is obviously counterproductive. If what you want is more wealthy black people, why don't you say that?

- There's lots of ways to help people of color without discriminating against white people. Like introducing better social support for single parent families, reducing prison sentences for non-violent offenders, etc.

- Having discriminatory hiring quotas misunderstands how wealth creation works. Promoting people in companies based on skin tone or gender instead of their skills makes companies weaker, and in turn rusts the engine of capitalism. That makes everyone more poor.

- Discrimination like this causes new problems. For example, I know several female programmers who worry that they were only hired / promoted as "diversity candidates". That sucks. As a white dude, I know the only thing keeping me employed is my capacity to add value to the business. So in some ways I'm actively supported more because I'm white and male.

- The research shows that diversity of background makes teams stronger, and diversity of values makes teams weaker. Where is this nuance in the political conversation?

There's plenty more ways to think about this issue. Fixing past racism against black people with modern racism against white people is an obviously controversial policy. (This thread alone is proof enough). Shutting that conversation down is censorious and utterly unbecoming of the academy.
Uhhh, why would you do this? You can learn so much during a trip to solve some of the fundamental issues/trauma behind your depression.
But you can just slam memory management into your types if you know type theory (affine / linear types)
With certain problems what I do is to sketch a rough Merge Request and share that with others to confirm the general approach.

It works wonders, and discussing actual code makes it easier for most people than discussing abstract concepts.
I guess I'm too old for that. So don't take my pov too seriously.

Competitive gaming takes away all the fun.
I think the stress and frustration do not compensate the wins.

You play to relax but gets stress 90% of the time
You dedicate an absurd of time to it like in a sport, but it has no benefits to health.
You have a limited amount of time in your day to experience different things but then you get dragged to the same 3 button mashing over and over.

Obviously, it is not for me. So, again, don't take it seriously. Maybe someone can answer and give some good counter points that may convince me that it is worth it.
> A maintainer takes up explicit and implicit responsibilities to their users.

No, that's not how it works.

I'm free to publish something and completely ignore bugreports.

There is no such responsibility principle. Some people, out of goodness of their hearths, follow up on things. But they have no obligation to do so.
I agree, there's doesn't seem to be any reason why you can't use types to express something like contracts. I think the general name for these kinds of types is 'refinement types':

"a refinement type is a type endowed with a predicate which is assumed to hold for any element of the refined type. Refinement types can express preconditions when used as function arguments or postconditions when used as return types"

- https://en.wikipedia.org/wiki/Refinement_type

There's even some literature linking contracts and types directly:

"Traditional static type systems are effective for verifying basic interface specifications. Dynamically-checked contracts support more precise specifications, but these are not checked until run time, resulting in incomplete detection of defects. ... This paper explores the key ideas and implications of hybrid type checking, in the context of the λ-calculus extended with contract types, i.e., with dependent function types and with arbitrary refinements of base types."

- https://users.soe.ucsc.edu/~cormac/papers/toplas09.pdf
Don't worry, Marx is still fair game in Western academia! It has even become fashionable as of late to proclaim oneself a "socialist" (though generally some sort of "socialism with Scandinavian characteristics" is being implied).
This is relevant for trading and the reason why people adopt the 1% risk rule.
That's fine, but there seems to be explanations spread around that are not really established. Or said otherwise, chains of people who forgot how to say "we don't know".
It seems incredibly unlikely they would have found my personal email address somewhere else (this is non-dev, non-business, non-technical relationship. It’s B2C)

The Gmail angle seems the most likely, but I’m unsure how, or why.
"predicting the future was obvious in the past, but a lot harder in the present."

...really?
Aha. When looking at a spectrum recorded through the atmosphere, that's how it has to be reported (so that's my thinking, why I would say it like that).
> An honorary doctorate is still a doctorate, though.

A honorary doctorate is to a doctorate as a honorary citizenship is to a citizenship. It does not imply any rights or qualifications and trying to pass it of as the real deal may be (and in some places is quite explicitly) considered fraud.