skysight-inc/HackerNews huggingface dataset:
Because management is obviously always right... Also, all German car manufavturers are unionized, every single one of them. Just to pick one example were it works out rather well with an unionized and collectively bargained workforce.
Between Norse, Scandinavian, and Norwegian (all airlines) I guess I've gotten sufficiently used to assuming it'll be a company...
> Of course this would get upvoted on HN

I agree for less pessimistic reasons. The Hacker News crowd prefers intellectually stimulating conversation. Playing around with new ideas. Considering unexplored alternatives.

A huge pillar of this community is exploring ideas. Engaging in that doesn't mean that any of us think this could happen in the real world.
You should give star citizen a try. If you liked freelancer, it’s by the same guy!
What would it do differently?
> The Onion couldn't come up with this. It's so embarrassing. And yet, as I type this, dozens of people are taking this premise seriously and debating it on its merits. Humans really are doomed.

Personally, I find discussion about hypothetical, albeit completely impractical, ways we could avoid killing each other a much better use of time than a lot of other topics, like discussing ways we could kill each other more efficiently.
I can't see any indication that it's actually a web interface in Microsoft's announcement.

Looking at the Microsoft Store entry (https://apps.microsoft.com/detail/outlook-for-windows/9NRX63...) I don't really see any indication of it being a web app either.

Maybe they're hiding their web app Electron/Tauri style, but I would certainly expect it to be local-only based on the way it's advertised and designed.
Bitcoin as a currency is DOA, agreed. But as a technology, it still needs to prove itself. It’s unfortunate the coin’s value is being used as play tokens to pilfer money from naive ‘investors’ but that’s to be expected when greed and naivety meet. There is value in Bitcoin’s potential, it’s greed that creates the ridiculous volatility.
> If you investigate all banned weapons though, you'll find it's more to do with practicality+cost+optics than some high minded agreement.

The only "banned" weapons that aren't still being used routinely are nukes.

I don't think it makes sense to ban weapons of war. People don't go to war for fun; they fight out of desperation, whether it's a desperate struggle for national survival, or a desperate struggle for the political survival of some despot. If they can't buy precision glide-bombs and cruise missiles, they use barrel-bombs and gas. Rape as a weapon of war is banned as a warcrime, but it happens in every war, because killing seems to give men a stiffy.

Waging war on civilians is a warcrime, but all wars are fought against civilians; siege warfare is as old as warfare itself, and is the epitome of war against civilians. The same applies to carpet-bombing, and most kinds of economic sanctions. Armies don't usually go to war - countries go to war.

(The situation in Sudan looks anomalous to me; the warring parties seem to be two branches of the same military force, fighting over control over illegal mines).
You can't measure productivity; only rough proxies for it.

You'll get the proxy that you measure but often not the actual productivity that you were hoping for.
That is what usually dinged me on my speed, mistakes. I could hit easy 90+ but dings for mistakes it is more like 30-40.
Is it whistleblowing to hand out every Tesla Employee’s SSN and address?
Not sure there are hundreds, but just to add one example beyond “the five”: Proprioception [1]

[1] https://en.wikipedia.org/wiki/Proprioception
The hand-to-hand combat at the China-India LAC ([1]) features prominently in one of the plotlines of Neal Stephenson's "Termination Shock".

[1] https://en.wikipedia.org/wiki/Line_of_Actual_Control
> The way that I write static-typed code is by imagining how I would write dynamic code to solve the problem, and then additionally imagining what types and type constraints I need to add.

Is that not how everyone writes static typed code? You have a need for a variable holding some data, you think about the bounds of that data, you pick a type. What other way would you do it?

The problem with dynamic typing isn't in the first-write. It's all in your head then. It's in the 2 year later bugfix, when you're looking at a function and wondering what kind of data is being passed into it. And then you find all the places that call that function and still can't work out what fields that object will have, or whether they're numbers or strings.
I was at Google from 2015-2023 and not really. Even large acquisitions like Apigee, Looker and Fitbit were multi-year "integrations" fraught with all sorts of pain & suffering. Smaller acquisitions like Stratozone, Orbitera, AppSheet, etc all follow the Socratic path: acquire, rewrite, halfassedly integrate, create confusion and anxiety.
I also write docs because I forget, but I only write them for myself, a kind of rubber ducking. I don't share them because there's a high level of effort requires to make the docs great and I use Obsidian, so my docs are interlinked notes rather than 1 nice doc. That and also the low view counters in most of the Confluence docs are discouraging.
I wonder if this related to the Edge feature of "freezing" tabs, since New Outlook is clearly an Electron-like contraption, but I think they're supposed to use the Edge Web Views instead of shipping their own electron runtime.

At least it doesn't crash. At one point, it used to just die on me. They've also fixed the window decorations and ramdom icons in the left toolbar, which used to become weird on mouse over.

There's also something else odd going on with the app. When I start it from the start menu, there's a very long lag between my pushing enter and the start menu going away. This happens every time I start outlook after a fresh boot, but doesn't happen with other shitty apps, like New Teams. For those, it disappears right away, even though the app doesn't start up instantly. It doesn't matter the order in which I start them, nor if I only start Outlook after the machine has been running for a while.
It shows how much more energy hungry gaseous diffusion was compared to the current approach, which uses centrifuges.
Microsoft lays hands on login data: Beware of the new Outlook
The free new Outlook replaces Mail in Windows, and later also the classic Outlook. It sends secret credentials to Microsoft servers.
Not the place for deep cuts sadly
procmacros are loaded as dylibs, so dynamic linking is necessary.
if you want a bootstrap procedure take a look at what guix does, they go through mrustc.
Wouldn't this be true of any compiler? Do other compilers have optimizations that avoid excess disk usage when on a slow file system?
30% of internet content, not data center usage. Serving content is relatively light on compute.
I think you skipped the original post and went straight to the point you disagree (with no coherent point) without even understanding the discussion.
To some extent, we do. Quincy, Washington is one of the most popular data center locations in the U.S. The general vicinity of Motreal, Quebec (in Canada) is also pretty popular.

Neither is Iceland, but both have relatively low temperatures and cheap hydroelectric power.
While you're waiting for official support in the language, just properly document functions with @spec and change them to @spec! after adding TypeCheck to your project and viola, you get powerful type checking at runtime with almost no performance impact. The error messages it produces are so beautiful.

https://github.com/Qqwy/elixir-type_check
FreeBSD 14.0 has reached – RELEASE
My argument is, if we wave a magic wand and suddenly all transactions are now in Bitcoin (or Ethereum or whatever) instead of dollars, without changing our culture, rights, and everything else, why would we not end up in the current system of guardrails, block lists, proscribed organizations and individuals?

Without a legal right to private digital transactions why would the mass adoption of Bitcoin make that a reality and the system not just be rebuilt in a few years? And if we had a legal right to private digital transactions, why would Bitcoin even be used for everyday transactions if dollars are good enough?
The architect's rendering looks like something from Cities Skylines :)
Types are context.
My main personal takeaway from this and so many other articles like it is that I need to get my data out of Google ASAP.
I recently left Sveriges Ingenjörer. I don’t agree that strong unions is only a good thing. I hope Tesla will prevail, or leave Sweden so the union bigwigs (and Swedes in general) get something to think about.
We might eventually see these data centers in space, for 24/7 solar power.

Cooling could be an issue.
I felt my comment was so dripping with sarcasm nobody would miss it. SummonPoettering??? Yet like a moth to a flame you missed the point and jumped right into the reasons x11 sucks
I will let someone else speak of MS widgets. I am running a bolted-down Win10Pro with ClassicShell and don't use them.

I do use them though on my Android phone (widgets that is) and even if some are marked as 4x1 (for e.g. the Spotify one) once can make it 5x0.5 on Nova Launcher's 'desktop' without losing the buttons.
Most game developers aren't Epic.

It's Steam or bust for the vast majority.
are we? from what I've seen this is mostly talk, the statistics suggest that while globalization isn't growing as much as it was previously, it's more like it's leveled off rather than actually decreasing.
SAAB is an important aerspace company, from fighters to avionics and electronics. Pretty good place for avionics people actually.
It's already implemented this way:

https://melatonin.dev/blog/implementing-marios-stack-blur-15...
Sounds like a slippery slope. First we replace guns and bullets with bows and arrows, then somebody will want to replace bows and arrows with slings and rocks.

https://history.stackexchange.com/questions/72713/why-were-s...
I'm assuming they'd be picking the right altitude to mitigate that, no?
Just launched and somehow the "featured on Hacker News" logo is already there? Why add some bullshit like that, particularly when you're making a submission to HN and you should be well aware that people are going to call that out. Case in point, I just did.
Some do think so, and have data to back it up.

https://archive.is/XrYck

Anecdotally to me USA even looks like it's collapsing every time I visit it. In the larger cities there are homeless everywere, and often literally next to luxury yachts and limousines. A lot of the infrastructure seems like it's literally gonna collapse, and lots of it really does. It's quite a cyberpunk vibe when compared to e.g. the nordic countries.

Of course there are similar problems in many european countries too. Especially England is quite bad w.r.t homelesness and infrastructure. But England is in many ways culturally closer to USA than most europe.
Ok, grandma, let's get you to bed.
I believe you, but that sounds made up.
What use case for FB relies on this feature?
I guess we could put a data center in space, powered by solar. But that sounds silly.
> making and using bows is trivial

The using part seems like it requires a level of skill that might take longer to acquire than skill at hitting a close target with an automatic gun.
It seems like a missing part of this was lack of ad safety council on Tumblrs part. Reddit has been getting away with it for over a decade (NSFW content I mean) without losing advertisers. I see a ton of mainstream ads on Reddit (I use their official app, for better or worse)

I don't think its simply the existence of NSFW content that makes advertisers wary. I think its lack of guarantees w/r/t placement
> When you refactor, make a change, or try to add new functionality, and end up fighting the type checker. That's friction to change you are experiencing and that experience is optional.

I'm not sure exactly what you're saying. If your language is strongly typed, you'll get type errors no matter what. The only difference is whether the type errors happen at compile time or run time. Let's take a hypothetical example:

Let's say I have a programming language called Foo. There are two ways to run programs written in Foo, using the interpreters A and B. A and B are identical, except for that fact that on startup, A will check that the given program is well-typed (static type checking), while B defers such checks to runtime (dynamic type checking).

Given a well-typed program X, I can run X with A or B without ever encountering a type error. Now, I make some changes, like you suggest, and I attempt to run it again. If the resulting code is not well-typed, I will immediately know when trying to run it with A, but with B I have to be lucky enough to hit the specific case that isn't well-typed.

If I understand you correctly, you're saying that you can easily make changes in a dynamic language without _ever_ causing run-time type errors. If that's the case, you would have _exactly_ the same experience whether you ran your code using A or B.
Impractical ideas can be entertaining, even useful, thought exercises. Valid ideas and discussions can occur, even if the starting point is out of reach.
I found the tooling to be quite nice. In my opinion, it’s better or equivalent to most popular languages (python, ruby). It’s definitely not full-on bumper rails/training wheels like a Microsoft IDE, but it’s obvious they’ve invested heavily in tooling early on.
> - I can’t log in without a Microsoft account

I don't know if there's something special about the Surface for this but during a regular Windows installation, if there is no Internet connection it offers you the option to create a local-only account.

Not that this excuses the incredibly dark pattern.
As someone who's first job was also for a mature ~20 person start up, I firmly believe those companies are the best to work for as a junior. You will have experienced colleagues who can teach you while also getting to make a significant impact. It's the best.
I don't know why political entities are brought into these conversations other than for some sense of high-horsedness or a figurative pissing contest.

GPDR is good. So is CCPA, COPRA, etc. Meanwhile, both the EU and the US have plenty of predatory legislation that allows companies to do all kinds of fucked up things.
China faced a significant deficit in fundamental science infrastructure and knowledge during the transition from the Qing dynasty to modern times. Couple that with Africa-tier GDP and some truly horrendous setbacks (civil war, cultural revolution) they had no choice but to absorb knowledge from foreign nations (legally and illegally - copy, steal, learn) if they wanted any chance of competing with them.

They've made a lot of progress but still lag behind in these fundamental areas, for example bulk, precise fabrication of exotic materials for more complex items (jet engines). There is an enormous gap between having the specifics of the design and implementing it effectively when it comes to advanced fabs. There is a bit of 'arcane magic' to it unfortunately.

>I do not believe that sabotaging the Chinese companies that were on the brink to take most of the market share from US companies like Qualcomm and Micron has been the right strategy for counteracting the Chinese threat.

I knew a lawyer in DC who was part of a defense team for a US aerospace company accused of assisting China with their missile and space program. Among the things he learned were: 1) China is working pretty hard on improving its technology without necessarily relying on tech transfers (although they still at the time required certain Western machining tools), 2) sincerely concerned US members of Congress have no understanding of the technologies involved so they messed it all up and 3) there are many who are not so sincere and are just grandstanding and most importantly 4) it's never going to be a matter of stopping China's progress, just a matter of saying a couple of years ahead of them (ie. does it matter if they have 7nm chips when we have been using them for a decade already?)
That's fine but as long as it is connected to a network you cannot prove a system to be log-free.

The majority of systems I've worked on used a message queue of some kind for logging rather than a file on disk.

I suppose it could be useful to expedite downtime in the case that they are subpoenaed, but I doubt claiming to be diskless would prevent any subpoena.
The fact 5 commenters did not understand it shows how willingly people will put up with the limitations of their software and diss the software they don't like.

Surely the summoning of Leinart Poettering's spirit to find dead Pids in Waylands Hades was a dead giveaway
Oh yes, we all life to consume to fill the vast emptiness of our souls! /s Or not.
I agree but my coworkers don’t :)
I'd imagine the optics of this have changed with the recent focus on ocean surface temps. I would also bet the negative PR of pumping waste heat directly into cold climates would offset any savings.
> There's also a HN selection bias: a story about FAANG is a lot more likely to be upvoted than a story about some small startup.

And an HN selection bias in tone too: a story about how great it was to work at a FAANG is probably also not going to get many upvotes.
Less than 1% of people have more than $100,000 in cash in a single bank account.

The amount of those people that want to take all of their cash out - and not pop it in another bank (which includes buying something, assets, equities, etc) - is probably close to 0.

This is a non-issue for almost everyone.
Locality Sensitive Hashing and other sim-hash setups.
it was in waitlist mode which was on hacker news but now it's public :)
It seems you are not the type to run out and adopt the shiny new thing on day one. I commend you for this. You haven't bought a hydrogen car yet? That's ok.

You haven't tried a cordless drill? Well, alright. You don't have to. You can survive without one. But rather than ask others what the big deal is at this point, why don't you just try one the next time you have to screw a picture to the wall. Borrow one if you don't want to commit to owning. Figure out for yourself whether having a charger and having to swap batteries is worth it. Maybe you'll decide it isn't. Maybe you'll be disgusted that you have to buy a new drill every 10 years while your 40 year old corded model still works fine.

But don't be too shocked if everybody else makes the leap. Sometimes the shiny new fad really is the future.

And you can still keep your corded drill around for those times when it really is the better tool for the job.
But a lot less gun violence. Which is actually the point.
You could not. There would be no place to get rid of the waste heat.
Maybe there is a god, Jezebel inspired man hating to an obnoxious level, my cousin killed himself over their height shaming stuff
Rocket Tough times for Astra and Virgin; SpaceX upgrading launch pad
Maybe Musk should buy Google and fire everyone.

Sounds super bloated.
I work in Fraud detection for a very large bank and deal with exactly that. Mind sharing which bank it is?
Simply jump into a Javascript runtime and run some functions from your runner! BTW your entire desktop is just an electron app rendering Wayland in WebGL.
I'm trying not to be mean, but this article is so naive and insular that it's almost like it was published on a solar powered website or something. Like bikes and cars, we have both bows and arrows and guns already. We use them according to our requirements and their performance characteristics. That pretty much means bows get used for fun and to get a few extra weeks of hunting season, and guns are used for everything else. We use bikes more because there are more cases when they are useful. It's not a philosophical question for anyone trying to choose the right tool for actual, real world job.
> Why should a union accept a company's terms at all?

So that people can get paid and produce goods and services for their society, obviously.

> If you're powerful enough to shut down a business, what's stopping you from getting whatever you want, regardless of whether it's reasonable?

Laws and contracts and as above the need for money and production, again, obviously.
I think it was funny, despite how much X11 has annoyed me over the years or how much I appreciate the correctness goals of both systemd and Wayland.
Why can this employee see other employee's SSN though?
While true, it wasn't the only protocol for doing that, just the one that won mostly due to OSF/Motif politics, when GNU/Linux came to be that was already pretty much settled.
> One thing I care about as a Swedish engineer is interesting work on the forefront of technology. Sadly that’s also been sacrificed in the Nordic model.

I am also a Swedish engineer and find that there are plenty of interesting and innovative companies to work for. As a software engineer it has typically been easy to find jobs that offer better compensation packages than what the union requires but I still see a union agreement as a positive thing if the company has it. To me it signals that they care about their employees. I also believe that the strong unions in Sweden have given us the (at least) five weeks of vacation, compared to the two in (the weakly unionized USA) and other quality of life and safety improvements.

> I see the holding back of ambitious, entrepreneurial people in order to preserve “social stability” as increasingly unethical.

This is quite an ignorant view. Social stability is the foundation for society, and society is the foundation for innovation. Who will build what you innovate? Who will buy it? Who will service it? Who will innovate based on your innovation? If you did an honest comparison of the innovative output of socially stable countries with those that are not socially stable you would change your mind.
By that logic I can just make a comment on any reputable website and say I have been "featured there".
Landmines are a great example of what would happen if you tried to get everyone to cooperate and go back to low-tech weapons—some countries would agree to do so, and others would laugh and invade them, guns blazing.
Godel's incompleteness theorem say that a system of sufficient complexity can not be bother complete and consistent [0]. Consistency ensures that statements can not be both true and false (under a given set of axioms). Completeness says that everything that can be written down can be proved either true or false (under a given set of axioms).

You must sacrifice one or the other. As we mostly care more about consistency (we don't want to make nonsense statements), completeness is sacrificed. Meaning, there will be things we can write down that we won't ever be able to prove true or false (relative to a set of axioms).

There are many other implications and subtleties, like potentially not being able to show a set of axioms is complete or consistent, potentially not being able to show the equivalence of axioms, not knowing whether adding an axiom is still consistent, etc.

Turing understood Godel's incompleteness theorem and applied it to computation. The computer science way of saying the above is that one can never make a program that can determine whether other programs halt or not (in finite time). Practically, this means that there will never be a compiler that will tell you whether you program has a bug. This is called the Halting Problem [1] and directly relates to Godel's incompleteness theorem as one can cast mathematics through the lens of computation and running Turing machines.

Presumably the "classification" here is some combination of whether models are equivalent or consistent and complete.

[0] https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_...

[1] https://en.wikipedia.org/wiki/Turing_machine