skysight-inc/HackerNews huggingface dataset:
The vast majority of people that design and write rigorously formal systems to express complex real world ideas and behaviours are programmers.

They are rigorous, not in the sense that anything is ever proven about their formal systems, but in the sense that they are interpreted rigorously as to their formal consequences by computers. This is really different to how I as a physicist might use equations to express ideas to other physicists, and if I can't exactly formalize what the equation means that isn't always relevant.

This is of course an unorthodox way to frame what programmers do, but I think it's relevant to your last comment. What is a good foundation for formal systems is an empirical question, and empirically, type theory is extremely important to programmers. Set theory not at all.
I was thinking distribution facilities.
Esports competitors can damage their wrists so badly they need surgery
One definition of decadence is "luxurious self indulgence." How much more self indulgent can you get than "I think I would like to do some lock down baking. I'm going to ask a couple of Egyptologists to source me ancient yeast cultures from museums and help me authentically recreate ancient Egyptian baking methods for funsies!"

It's basically insane. It's not like this was part of some lab project sponsored by government grants. But I heartily approve and I hope the world moves more in this direction.
Just google the article and click the link. It is not paywalled for visitors from Google
No that case was dropped [0]. The logic of that law is that you shouldn't be allowed to insult someone who does not have free speech himself, and so cannot defend himself. But it's pretty much a dead letter.

[0] https://nos.nl/artikel/2038180-fuck-de-koning-roeper-niet-la...
>EZBake ovens

Yeah, 'kids these days' just get nichrome wire instead of a good old light bulb. :)

There was an article I read a while back (can't find it at the moment) that involved someone modifying a 'modern' EZ-Bake oven to be powered off a USB-C PD charger. The future we live in!
That the US was anti-Hitler at least at one point is proven by the fact that it was politically feasible to go to war against Germany when they weren't a direct threat across the pond.

If there is a suggestion that they were at some point pro-Hitler that needs to be supported by something. The alternative is otherwise the default assertion.
So you're saying we shouldn't entrust the future of life on earth to one idiot? I dunno about this guy.
Bought! Too cheap though...double, or even triple the price.
Non-paywall alternative coverage:
https://www.macrumors.com/2020/10/28/apple-stepping-up-effor...
That's exactly how China become an economical superpower, while at the same being environmentally irresponsible and lacking any semblance of human rights. People just wanted cheap stuff that gets the work done, rather than what's right.

By paying for any tool you are strengthening its position and philosophy, whether you care about it or not.
> several reliable, well-informed sources confirmed the idea that Hitler's anti-Semitism was not so genuine or violent as it sounded, and that he was merely using anti-Semitic propaganda as a bait to catch masses of followers

I wrote on this point:

https://news.ycombinator.com/item?id=24881824

Yes, Hitler Adolf was not a compulsive paranoiac, and been noted by contemporaries as a shrewd political strategist. He committed his crimes in cold blood, and sane mind.

But.... his anti-Semitism not being a product of a mental illness, or irrational hate doesn't make it less terrible. Were they rational from any viewpoint, serious, or not, it were these anti-Semitic policies which opened the road to the crime of genocide later in his reign.

This also doesn't absolve the habitual anti-Semitism practiced by virtually every other political establishment in Europe prior to WWII from sins, or make it less bad as genocidal anti-Semitism of the late third reich.

The persecution, whether is based on political rationale, or a maniacal tendency, is still persecution. I would say a crime like this becomes even more grave if it is done with some behind the curtain political rationale.
Hiten Shah on choosing the right value proposition
Delegating Work (2019)
Jon, shadow banned means you can only see yourself ( and us who have show dead on ).

Log out or take an incognito-window : you will find your comment missing.

If you want to correct this, contact HN ( see footer ).
Galileo’s famous gravity experiment holds up, even with individual atoms
The self-driving car is a red herring
https://www.quora.com/Was-Hitlers-Nazi-party-left-wing-or-ri...

https://www.washingtonpost.com/outlook/2020/02/05/right-need...
> True, but can you imagine the look on the
> president's face after he hacked someone's
> chest open to find out that was the code?

That's the combination on my luggage!
Or that long numbers, like Order Numbers or Customer Numbers should be considered floats.
Exactly, especially when developers having been crunching it for the past months, I do believe all the extra delay will be the best thing for their health. After all, kids can’t have their shiny toy with minor bugs. It would be even better if devs were not told about the extra delay, and only got the news through social media like it happened.
Record neutron numbers at Sandia Labs' Z machine fusion experiments
Unasked for baking advice:

When shaping the dough you need to fold it in a few times and put a lot of tension on the top side before letting it rest (upside down) for the final time

Right before putting it in the oven, it's important to cut it deeply and at an angle with a sharp blade (I use a razor blade)
> one mistake someone made that somehow makes it okay in our eyes that they have gone from having over a million dollars in inventory to couch surfing with friends and relatives

That's mischaracterizing my point. Should people feel consequences of their mistakes? Absolutely. Should people end up on the street for failing at business? Definitely not.

I think the standard consequence of total failure being "Now you have to look for a job while you're on unemployment" is good enough.

(Although it boggles me how someone with 1.5M in inventory didn't have enough savings to rent a room for a few months…)
I'm probably going to try this out for its websocket support. I use Postman, they've had a long-standing open issue to add it with no ETA/progress: https://github.com/postmanlabs/postman-app-support/issues/40.... Haven't used Insomnia but they don't mention websockets anywhere in their docs so I assume they don't support it either: https://support.insomnia.rest/search?collectionId=&query=web...
"Siri suggested websites" has been part of safari for a long time. I actually find them more useful than Google, since it is quick to suggest wikipedia articles, while Google prefers to show their own cards instead of linking to the wikipedia source of those cards.

Annoyingly, Siri often suggests a wikipedia article from en.m.wikipedia.org, but send me to a dk.m.wikipedia.org page where the article doesn't exists.

So the suggest is good, but at the same time kinda useless.
> A non-peer-reviewed study of more than 84,000 people
Good Morning Text Messages to Send to Your Girlfriend to Wake Up to Simile
that's why project Gemini was created: https://gemini.circumlunar.space/
Will uncompleted tasks move over to the next day?
Well, the President has men in his service who have killed people before and would not hesitate to do it again at the President's order, be the target innocent or not. So the President would never have to bloody his or her hands and the whole trick would only cost one more senseless death, among the millions to follow immediately after.

But I suppose it's an interesting reflection on the moral implications of granting one person enough power to destroy the entire world.

I'd rather wonder though - can anyone be said to hold such power legitimately, when they have only been given this power by a small minority of the entire population that is potentially affected by the decision (i.e. the US citizens, as opposed to the whole of humanity)?
Israel is not a conservative Muslim country.
"And thank you, Apple, for giving us a place to call home."

The underlying rendering tech is based on Apple frameworks so they are not "home". They are stuck. What a nice way of saying it.

Targetting a single platform and taking advantage of its features is totally fine for a small developer or niche app. It's a lot easier to get going, maintenance costs are lower.

However for a big app like Sketch cutting corners like that becomes a liability in the long term. Porting to another platform would mean rewriting the rendering layer or reimplementing the system frameworks to keep their designs work 1:1. It's now a huge strategic disadvantage.
So what? Subsidiaries of German company subsidiaries in the US still did business and even contributed to the US war effort. What else do you expect the US citizens working for them to have done?

In general in war time the property of nationals of the country you’re at war with, in your country, remains their property. It can be frozen or confiscated or commandeered, sure, according to local law but confiscation is not the normal expectation. In Germany after WW2 the property of US companies was returned to their control, and vice versa for the assets of German companies in the US.

You use the term profit, but we don’t even know if those subsidiaries even made a profit during the war. They may have come out of the war better off than they started I suppose in theory, but given the devastation of German industry during the war that seems unlikely. Do you have any evidence the value of those subsidiaries in Germany was higher at the end of the war than when it started?

Even if it was, what would you propose be done about it?
Happens to me all the time at the top of their search results page. Drives me nuts as it pops in right as I'm trying to click the top link, invariably leading me to the wrong place.
Yeah, no one said it was.
>Put on a grafana dashboard where he can track how
> many millions soldiers that would cost as well.

Kill civilians in a nuclear fireball order to protect soldiers from going to conventional battle?
AMP is bad. I’m not sure if AMP policed by the FTC is better.
There’s plenty of people who knows how to program. There are not as many who know how to program and have the patience, inclination, and social skills to figure out what the programs actually need to do.
SnapFeel – I builded a Short video website: The world is so cool
> For us, the ultimate benefit of being a native macOS app is that it puts the choice in your hands.

Except the choice of using another brand of computer.
> We can choose.

This is true, but not in the sense of the leading candidates in the US presidential elections - both of whom oppose universal health care (despite its wide public support).
Surrender of France: June 1940

Barbarossa (invasion of USSR): June 1941

Pearl Harbor: December 1941.

If the Nazis had somehow negotiated a successful end to hostilities with the UK between 1940 and 1941, they could have become a stable power holding much of central Europe. The problem they faced was lack of oil - there isn't much central Europe. That forced the push east into the oil fields of the caucasus. The Japanese invasions were similarly triggered by the need for oil that could not be embargoed from them.
After using it for a few weeks it feels like everyone else got package and config management kind of wrong.

Nix really shines when I’ve started to use nix-shell for different projects - can recommend!

Best way to describe it is that the os is no longer kind of a ”repl”.
Massively-Parallel Vector Graphics
Wish I could self-host Notion. A thing that's missing right now. But I'm OK knowing I can always export to Markdown and move to another tool
It's akin to paying decent money for a Lexus and then having the dealer ask you to buy a tank of petrol - it sullies the experience.

They could have at least included a 60 cent usb-a to usb-c dongle so you can charge with 99% of the existing power bricks out there.
So sometimes discs won't load or cartridges won't read in their console, or they're unhappy with condition - sometimes this is as simple as apologising and accepting a return, sometimes people aren't happy with that and just want to kick up a stink. More often than not, the people kicking up a stink return a perfectly working product, and they just wanted to make sure we'd accept it by them being as foul as possible.

Sometimes we'll get people just asking for more information on an item we sell.
Usually you can tell whether or not these people are actually interested in the product or not by how they ask the question. If they're asking about a specific detail (for example, if they're looking for a particular serial number range on a console), they'll usually follow up if you give them a positive response.
People asking less specific questions (such as asking for "more photos") are often just bored and have nothing better to do and will either disappear or ask more questions. You can waste literal hours serving these customers and in the process lose thousands of dollars worth of actual sales.

The worst group are just really badly socialised people - often people with serious mental health or drug-related issues. If you engage with them, they will demand massive amounts of your time and have absolutely zero concern for your feelings (let alone your business goals). If they feel you have slighted they, they will respond in the most foul and violent way possible.
Just today, my wife was publicly berated by an incel-type guy because she didn't respond to a message he had sent over a week ago. There are at least 2 other occasions I can think of in the last year where this happened.

I think the thing to remember is that the average HN reader (and, by extension, most people that the average HN reader knows) is educated, values their time, and is socialised well enough to the point that they can hold down a job and maintain basic interpersonal relationships. The type of person who contacts customer support for products that shouldn't really require support are absolutely not like this. Mostly it's just people that don't value their own time (or the time of others), but multiple times every week we'll come across people with _serious_ social issues (I don't mean socially awkward, I mean "unable to regulate emotion like a healthy adult") and no-one to talk to about it.
When I see a subroutine with a verb in its name I think of side-effects. In my book a pure function should be named after the result it returns, so in this case I would use the name `definition' instead of `find_definition' and `definition_url' instead of `build_url'. For predicates I try to avoid an "is" prefix when a simple adjective is sufficient.
> Amazon invest[s] hundreds of millions of dollars in XYZ

On the scale of Amazon, and over multiple years that's like saying "we make a modest investment in XYZ but no more than that".
See the book "IBM and the Holocaust: The Strategic Alliance between Nazi Germany and America's Most Powerful Corporation" [1]

[1] https://en.wikipedia.org/wiki/IBM_and_the_Holocaust
You've chosen to interpret a missing qualifier as "all" when the more likely response if you'd asked for a clarification would be "most". It was very clear what the point made was, and it was not that nobody born in SV ever becomes developers.
A large application has lots of implementation leak to the API, doesn't it?
Oh, right, sorry. Reached out to founder about the fact! Wish it was open-source
My four knobs go front to back. I don't know what order they're in - the glyphs are fairly readable to me. I've seen this arrangement plenty, it's not unique.
It goes the other way too.
They might have an imaging radar coming up. https://twitter.com/greentheonly/status/1319363515610812416
Show HN: Portabledevops – useful Windows remote network tools on 1 USB
I don’t think this is true at all. The most functional, side-effect-free functions are often just verbs (map, reduce, concat, etc).
I created a social network in 2000. You could friend people, send messages, posts, follow and so on. Unfortunately I didn't have money to expand the capacity and when I added crowdfunding feature, some people were threatening me with reporting it everywhere and sending me nasty messages. Unfortunately I didn't have strength to go through this and I closed it. At peak I had over 50000 active users, but I didn't know how to deal with all threats.
They push awards and coins heavily on the app. Like you get constant prompts to spend money on fake karma, digital coins and stuff
Nations yes, what does it say about corporations making claims?
They also popularized decaf https://www.atlasobscura.com/articles/decaf-coffee-nazi-part...
Perhaps those were added after they learnt their lesson.
This is spot on. My personal reference example is Amazon.

I'm consistenly amazed how the simple act of finding and buying a single product can become increasing unpleasant and difficult over time. Of course, I don't subscribe to Prime, have one-click purchasing activated, use their credit card, etc, etc. These completely artificial UX hurdles are just there to push further engagement with their ecosystem.

It's reached the point that even a monstrosity like Aliexpress feels like a clear, organised, efficient shopping experience by comparison.
>it's not free, because it bleeds. It bleeds into interactions where it's completely inappropriate.

But the million dollar question is how much it bleeds and whether that is worse than the trade-offs you get from telling people not to joke around. (obviously it's a scale not a binary choice)
Previous discussion about Postwoman (which is what now being renamed as Hoppscotch) - https://news.ycombinator.com/item?id=21607712
https://news.ycombinator.com/item?id=20817627
I was talking about mindshare.

If you look at https://en.wikipedia.org/wiki/List_of_Holocaust_films if we look at US

there are just a couple per decade when we reach late 70s early 80s when the pace picks up considerably.
> This essay could've been written in 2002...about Internet Explorer.

I've been reading a whitepaper from ~1997 on Microsoft's Distributed COM (DCOM) last night, and as I was reading it, I couldn't stop thinking: this is microservices. And it was really more than that - at least on the surface, this was microservices + orchestration + autoscaling + serverless, as well as, via Internet Explorer, component-based UIs with graceful degradation. That paper seems like a window to an alternate reality in which everything that's currently hot in tech has been done 20 years ago, except programming language-agnostic, using saner (i.e. binary) protocols, offline-first, and with advanced security built in from the start. I don't know why this is not our "real" reality, but I finally understand why MS was in a dominant position back then, and why IE was a hot thing.

EDIT: for the curious, the mentioned whitepaper is: https://www.softwaretoolbox.com/dcom/DCOM%20Technical%20Over....
Therapy patients blackmailed for cash after clinic data breach
> What would be a better option? A presidency like in the US?

If you want to have a purely ceremonial head of state, it could still be an elected elder statesman rather than an aristo "by god's grace" and "divine" right. I.e. the German/Austrian/Italian presidential model where the president exercises about as much real power as queen Liz (i.e. a once-a-year state of the union speech).

Or you go entirely without - since Liz refuses to use her corrective powers even in such blatant cases of procedural abuse like the proroguing of parliament, then the post is useless and the Prime Minister might as well be Head of State officially.
It is true, because I've seen it. Recent build, direct PC use. Windows is a patch over patch over patch.
As the guy who made it: Since yesterday it is. Not that it’s a particularly shiny piece of code to look at

https://github.com/pretzelhands/notebag
I agree, otherwise way more jobs would have huge compensation growth in the bay area alone if cost of living was enough to explain the income growth of engineers.

There is a reason why software is %20 of the economy and most economic growth in the USA now and why engineers are paid a lot and I believe they are correlated.
Hey @caymanjim, author here.

Your comment doesn't add any value to uncovering the root of the issue and just blaming the author without having the full picture.

> The author clearly wasn't using many security precautions prior to being compromised ...

Just because I don't mention the exact security precautions I use in the article, doesn't mean that I don't actually use them.

I spent 12+ years in tech. And started off my career by specialising in networks and security. And all my life I exhibited as much confidence as you are in your comment.

The moral of the story, is that if you are in tech, a security professional, or work in crypto - don't take for granted your security. No matter where you are in your career, what's your salary, or how many people report to you. Take time annually, bi-annually, or quarterly to review your online security. Especially if you've been on the internet since 90s. You might not even remember the websites you've sign up and emails you have.

> So, what does this say about Apple security?

If you can explain how Apple 2FA call was bypassed that you be helpful. What wasn't mentioned in the article is that I spoke with two Senior Advisors from Apple and they've haven't been taking this very seriously, to say the least. "Consider reinstalling the OS" and suggestions alike. It's an obvious next step to take, but it doesn't answer the question of how 2FA was breached. Reinstalling the OS or taking any other common measures in such sophisticated incidents don't prevent future incidents alike.
> So the President would never have to bloody his or her hands

You missed the point. The whole argument is that if POTUS had to kill someone, they wouldn’t make the decision to kill many others. “The winning move is not to play,” as Joshua said in War Games (1983). They wouldn’t actually put the president in the situation, it’s just a sanity check thought experiment. Nukes are expensive posturing- the big stick to hold as you speak softly.
Yep, most of what is said by "green" partisans is total bullshit because they don’t take into account the magnitude of things: they put emphasis on some kind of moral instead of backing claims with science. This is how you get people advocating changing a nuclear power plant with a bunch of wind turbines.

And honestly I’m tired to be asked to change lot of little things in my life when all of them cumulated won’t even account for the pollution generated by a random factory in a day.
Looks like it can't be downloaded except by family and friends of the developer?
As per FAQ [1]

>Are paywalls ok?

It's ok to post stories from sites with paywalls that have workarounds.

In comments, it's ok to ask how to read an article and to help other users do so. But please don't post complaints about paywalls. Those are off topic. More here.

[1] https://news.ycombinator.com/newsfaq.html