skysight-inc/HackerNews huggingface dataset:
Last time I filed one of those P1 tickets, it was assigned to someone immediately but we didn't get any useful help from the support people for 7 hours.

It took multiple escalations to people responsible for the specific service and the issue was entirely Google's service having an error. Meanwhile production was hard-down that whole time.
Static site generation is just a trendy reinvention of caching. Put a CDN in front of your site, or run one of the many wordpress cache plugins [1] and point your httpd at the cache directory instead of PHP.

[1] https://wordpress.org/plugins/static-html-output-plugin/
Fediverse?
Netlify does only has 500 build minutes a month. If you go over, you get charged. Although if your build takes 2 minutes, you can still deploy 250 times per month which is around 8 times a day.. so still very generous.

edit: I see somebody beat me to it :)
Play games with friends on video chat
I don't think the evidence is that that's the biggest issue in general, and certainly not in this case.
Cars are a commodity, the real money is in providing the finance for them.
I like the idea of looping in friends, I just wouldn't make the dollar payouts to them. I can imagine people enjoying sending money to their friends, partly for ironic comedic value (lol look how helpless I am, haha now we have a funny story of how I can't control myself and you're a terrible watchdog - maybe I'll even screenshot and post my failure so that our other friends can ironically enjoy this). For similar reasons, I also wouldn't pay my future self with the money. I can imagine people appreciating that as a way of forced saving, and you don't want them to appreciate the monetary loss at all. In fact, you want them to hate it - hence part of the punishment being a donation to a group that they don't like. The great thing about that is that the cost of the punishment could far exceed the monetary value of it - if you really hate a political party, the perceived cost could be 5x the dollars donated. Good luck with your program, and shoot me an email if you're interested in discussing further. My HN email address is in my profile.
Ask HN: Major Texts of Our Industry?
Hi !
I would like to create a list of the major texts in programming which influenced lots of people and were relevant back then, are relevant now and will be in the next 20 years.

It shouldn't be books as I see it but articles, short texts, essays(maybe books of articles, like "97 Things Every Programmer Should Know")

What I came up by now is this:
"Go To Statement considered harmful" - by E. W. Dijkstra
"Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs" - by J.Backus
"No Silver Bullet - Essence and Accident in Software Engineering" - by Frederick P. Brooks, Jr.
"Out of the Tar Pit" - by Ben Moseley and Peter Marks
"The roots of LISP" - by Paul Graham

Please, help me fill this list if you know any good articles like this(maybe from ACM or other magazine, maybe from some random blog)

I created a repo for this, feel free to make a pull request: https://github.com/reflechant/major_programming_articles
So you suggest taking power away from CEOs, putting into the hands of the government (effectively making it the CEO) which has police, military, and prisons? That is how you get a dictator.

Between CEOs and governments, which has a historically higher body count? Who's jailed more people for not agreeing with them?

You say the problem with democratic governments not working well is that it gets manipulated by rich guys.

What happens when big business and government are the same thing? That makes for even easier corruption.
blockchain?
I think team sports is a good analogy here. There's no people who are 10x stronger, or who can run 10x faster than their teammates, but there's certainly people who'd score 10x points in certain circumstances than anybody else, and that is what 10x programmer is about.
Norvig's work in those questions are more like the 100x developer category.
Yup, if you can post it, it will be greatly appreciated!
I honestly find it hard to configure i3, especially for brightness...
If I remember correctly, SpX is one of the few (only) who doesn't use explosives for their fairing separation or sat releases. Just some springs, because "they can be tested before the flight".
Here's an explanation from CloudFlare as to the root cause. [0]

> I am the engineering manager for the DDoS protection team and this morning at 11:06 UTC we tweaked a rule that affected one of our signals. The signal relates to the HTTP referer header, and we have a piece of code that looks at invalid referer headers. In this case we tweaked it to include not just "obvious garbage" but "anything that does not conform to the HTTP specification"... i.e. is the referer a URI? If not then it contributes to knowledge about bad traffic.

> So... why did this impact npmjs.org? It turns out that a lot of NPM traffic sends the referer as "install" which is invalid according to the HTTP specification. As NPM is also a heavily trafficked site this resulted in the DDoS systems picking this up and treating the traffic as a HTTP flood and determining that a rate-limit should be applied.

> When we noticed that NPM was seeing an increase in HTTP 429s (as seen on Twitter) we contacted NPM and started an internal investigation. As soon as we identified the root cause we reverted the change, which was at 13:00 UTC.

> We'll note that NPM and 1 other site use the referer for purposes outside the HTTP spec and we'll update our systems to ensure that this does not happen again. Additionally we'll improve our monitoring around changes of this nature so that we can discover impact sooner and roll back automatically.

[0] https://github.com/npm/cli/issues/836#issuecomment-587019096
The USA tried to give flawed nuclear bomb plans to Iran in a bid to slow down their nuclear weapons program, but it backfired and Iran was informed that the plan had purposeful flaws. It is debatable whether it wound up accelerating the Iranian nuclear program.

Also, the threat of the nuclear bomb is what finally led to the ceasefire in the Korean War. Both North Korea and the USA came in thinking they were the "victors" and that the other side needed to sue for peace. Truman didn't want to threaten the use of the nuclear bomb, having been the one to drop two on Japan. When Eisenhower assumed Presidency, he threatened the use of nuclear weapons, bullying North Korea in the process. Hence, the regime became obsessed with obtaining one so that it could never be bullied again. It viewed it as the prime ticket to true independence/security.

So the USA shot itself in the foot twice when it comes to "modern nations obsessed with nuclear weapons programs that are not friendly to the USA".
I've had mine serviced a couple times, and it's been an absolute pleasure compared to my Audi or Porsche.
The solution to this seems pretty straightforward: force social media companies to choose to identify as a "platform" or a "publisher", rather than a mix of the two that gets to claim the most convenient aspects of both.

If they choose "platform", then they can take no responsibility for content posted, but also allow all content, and only remove content when it is required of them by the legal system (when the content is illegal and has been reported as such)

If they choose "publisher" then they are free to censor, "deplatform", delete, or restrict posting of anything they wish, but if someone posts something illegal, they take their share of legal responsibility for publishing it.
Interestingly, a literal rerun of the hard drive motor shortage due to flooding in Thailand a few years back.
The yellowing is a purely cosmetic issue. The more serious earlier problems were fixed under warranty.

Lots of people have had success getting the yellowing fixed without charge after going through arbitration. I'd prefer if they would fix it under warranty, obviously, but it's not a huge deal.
Angry. The word you are looking for is angry.

Its just a constant reminder that we live at the mercy of these elites, that our tax dollars don't appear to have any effect in bringing about the change that we want because these scumbags have rewritten the laws in their favour so that the money only concentrates towards them.

What can we do about it? Absolutely nothing, but I'm sure as hell not going to pander to their 'benevolence'
I see Teslas daily and while they don't match the German Big Three (European built ones at least) on fit and finish, they aren't that far from your typical imported American car.

Nevertheless buyers don't seem to care that much about this.
> programmers look back with disdain at web development in the 90s and how "you just uploaded files to a FTP server"

Since when? I thought most people liked the simplicity and low barrier to entry…
For extra work add a let’s encrypt client, configure Nginx to do ssl, and set up automatic renewal.
Request Is Deprecated
Right. But you can't build a functioning team that works together and can rely on each other by fostering a culture of competition and hiring only the "predestined" 10x engineers.

If the team culture is to help each other, forgive mistakes and learn from each other without measuring who's the best the team will automatically build itself without the need to hire only "10x engineers".

Or so I suppose. I'm not an HR person or anyone else with expertise in this field so you should take what I say with a grain of salt. I've just been thinking about this a lot as of late.
Question isn't so much "when" as it is "where".

For now, the sats will depend on ground stations to signal relay, until there are enough satellites (few thousand) to have them communicate between them via laser.
> Static sites are overrated for most cases. Often you still need a backend for editing with non-technical folks or just easier handling of media, etc so you're now running a server-side instance of some blog or CMS while adding a whole new detached frontend layer.

Not for my blog.
> Does anyone go, hey, you know what would make my note-taking or web design faster and easier? Spending 20 minutes making an ascii art diagram instead of slapping the same three figures out in powerpoint in 20 seconds.

Yes, I do. I spend my time in a terminal all day and ASCII art is way more useful than an image reference which will never be able to load.

Show me a tool to export that powerpoint to ASCII and I'll be happy.
Can you name any applications that are using this "decentralized messaging platform"? Or point to any technical demonstrations of its capabilities?
It's actually ~$36k (without savings), but it is "off menu":
https://www.caranddriver.com/news/a28691921/tesla-model-3-st...
It doesn't seem to be dynamically loaded the same way, but it certainly has software updates: https://support.apple.com/en-us/HT205858.
And they can probably handle your traffic, too!
True, but they reserve the right to prohibit sites that use up a non-trivial amount of bandwidth, or that have commercial purposes, or various other reasons.

It's a great service, but I wouldn't count on it as your primary hosting.
there are literal dozens of sites who offer free static site hosting, from github pages to firebase hosting, why advantage you get using a VM?
Indeed, years ago. Keep in mind the model S started in 2012!
Ransomware hackers have call centers to teach people how to buy bitcoin. I'd suspect groups involved in this kind of scam would have something similar, isn't it?
Many providers do free static hosting:

https://www.slant.co/topics/2256/~best-static-website-hostin...
This would indeed be a good thing. I wonder if there's a push to do that already somewhere?
I’ll give you my answer: I optimized for the lowest cost for a solution I could forget about. And not any suspicious free option like Github pages that might go away next year. True lowest cost hosting for a static website. AWS was the cheapest for me.
Doing very cool stuff is not a reason enough to be disrespectful towards your audience.

During one of the first booster landing attempts a presenter lady was staring at her monitor, saw the booster crash and then proceeded to blatantly lie that the feed was lost... while the jumbotron behind her back was showing the whole thing in real-time and the audio picking up the crowd in SpaceX going "Oooooh".

Then, there are their inane explanations that they keep losing the feed from the landing platform because the sea is rippled. The heck. If you are going to lie, come up with something a bit more plausible. A plasma ball interference from the plume or something.

Better yet, just say that we are going to delay the feed by 10 seconds and we may withhold any part of it as we wish. Everyone would be perfectly fine with that. It's their feed and it's awesome when they share anything at all. Just don't BS. There's literally no need to do that.
You need 60Hz if you are making any user facing software for sure.
The Scandinavian Concept of Friluftsliv and How It Can Make You Healthier
most sites.

If you're editing markdown files with only text and running a simple convert to html then it'll work fine, but ghost/WP in a container would work just as well.
Isn't the sales tax in Barcelona 21%? Seems like it would be a big influx to the city's coffers that could theoretically provide it the means to do something like pay subway workers more and alleviate the need to strike in the first place.

If the money's not being spent in the right place, that's a local political issue that can't solved by anyone except the locals (e.g. those who can vote).
If you're using it for coding, 4k can be wonderful, but requires desktop scaling.

If you aren't able to configure it, you get just get microscopic text (unless you're using something like a 55" tv as your monitor)
> No, a bug in the compiler does not introduce such a bug.

> A bug in the compiler is a bug in the implementation and does not equate to a bug in the formal spec.

We weren't discussing the challenges of creating a correct formal specification. I presume you meant a bug in the formally verified implementation, rather than a bug in the formal spec, in which case:

More precisely then: a compiler bug could introduce a defect into the final system, which was not present in the formally verified implementation source code. (This assumes that the scope of the formal verification stops at Ada source code.)

> It is rather like a fault in a machine or a building arising from a dodgy supplier using below spec materials, or a fault in the manufacturing or assembly process.

Those are all risks that mechanical engineers need to deal with carefully. If it's your job to deliver a defect-free avionics software binary, then dealing with the risk of compiler bugs is part of that. A company like Airbus isn't going to treat compiler bugs as Eh, not our problem. Presumably they're going to be careful in their choice of compiler, and back it up with testing.

My point was that a bug in the compiler is similar to a bug in hardware, in that it opens the door to defects which are formally assured to be absent from the verified implementation's source code.

It's possible to use formal verification to guarantee against issues arising from compiler bugs, it's just that I don't think this can currently be done with SPARK. There are two formal approaches to protect against compiler bugs: either use a formally-verified compiler (like the CompCert C compiler), or use a non-verified compiler and then verify the correspondence between the input source and the generated machine-code (the approach used by Sel4).
That definitely counts as malware. Intent is irrelevant. Same with Google's Keystone and Dropbox storing admin passwords.

If you have higher access to my system than you led me to believe, you are malware.
It is also difficult if there's an ill-defined interface that exposes implementation details, or no interface at all.

It is also difficult to apply if we are not talking a server/client app but a desktop app, being rewritten in a different language or incompatible GUI toolkit.
> (Other not-yet-standard proposals to go further in this direction include ones with names like “relocatable” and “destructive move,” but those aren’t standard yet so it’s premature to talk about them.)

Herb Sutter seems to be burying the lede here. My read on Herb Sutter's post is that the current typical methodology (as represented by the IndirectInt example), is buggy as per the current specification.

What we all want is "destructive move". A lot of us believe that C++ move is "destructive move", but it is not. C++ move is this slightly different, simpler move, that isn't in fact the destructive move that we all want.

---------

As such, Herb Sutter seems to be pushing for a "True Destructive Move" to be included into the C++ specification. Since std::move is CLOSE to the behavior of true-destructive move, we might as well use it if we're writing code today. But the C++ standard should be fixed to include the concept of a real destructive move.

-----

At least, that's my read on things. Anyone else have thoughts? In essence, "C++ Move is simple, perhaps too simple and it doesn't really get the job done".

As the specification is currently written, a "moved-from" C++ object is NOT in any special state, like it is in some other popular languages. Programmers seem to expect a special state however (see IndirectInt).
You can specify the canonical url in the HTML. Then it's not an issue.

https://support.google.com/webmasters/answer/139066?hl=en
> I am a leftist whose exact ideology is a work in progress, but I'd generally call myself an anarchist in favor of localized gift economies, food production, and devolved government, so distributism and worker-owned collectives are both things I'm very interested in.

Sounds like we're fairly aligned here.

> I'm not really sold on blockchain or IoT or, really, using TCP/IP for much of anything.

I was reluctant of blockchain as well, however once I started planning out how this system might work, the use-case was particularly well suited for blockchain: transparent, verifiable, tamper-resistant. These are all qualities I'd like to see in a political/economic system. I think one of the problems with blockchain is it's associated with greedy people doing land-grab ICOs that provide no value but make big splashes, so when people see "blockchain" they think "ugh, another useless project by scammers." I don't blame them.

> I realize that maybe there's not a lot of overlap there but I guess if you need any low-level drivers I might be able to help...

Thanks, I'll keep that in mind! Things like voting machines might be really helpful.
> have you considered that in a natural state

a natural state would not have technology.

I would also tend to be libertarian if technology didn't exist. Technology changes the game:

- you can process millions of transactions a minute without a bottle neck from humans

- you can produce plastic, and lots of it

- you can migrate hundreds of thousand of human around the world, which would normally be an invasion

- you can destroy the environment (not so easy without technology)

- you can addict an entire generation of humans to a device (video games, porn, social media)

Without technology there is only so much a person or organization can do.
Not at all my experience. Honestly, wayland has been an incredibly sharp improvement over x for me.

Arch running Gnome on Wayland just freaking works. Input is miles better. Output is miles better.

I run two 4k displays and the internal display is 1920x1080. Even dragging windows between the external and internal monitor, with different scaling factors works SO much better.
One of my first jobs out of college was working on simulation code dealing with weapons effects, incl. nuclear weapons.

I know I personally struggled with the ethics of it, but not all colleagues did. To some it was patriotism, to others it was an interesting problem, to yet some others it was just a job.

I learned a lot listening to the effects guys that were around during the live testing. Makes the 2020's seem tame compared to what was going on during the Cold War.
One more reason for right click -> open in a new tab (on desktop). It's a surprisingly simple and effective solution. Edit: copy/paste link location also gets rid of the unwanted Javascript destination and should be safe.

The websites I really can't stand are the ones featuring href="#", only relying on Javascript for links.
Anecdotally, changing the ssh port on a very low-budget VPS is worth the effort because the CPU time eaten by responding to the ssh bots can be noticable.
Tesla's come by default with something called cabin overheat protection. The car will protect itself at something like 105F. It costs power of course, but I doubt many owners disable this feature.

Similarly if plugged in (which I do when I'm below -20F and not driving) it will heat thing to protect itself.
I have used http://zunzun.com for a similar effect in the past.
Reddit Threads:

- [on /r/javascript]( https://www.reddit.com/r/javascript/comments/f50fdq/moving_from_react_to_ember_2020/ )
- [on /r/emberjs]( https://www.reddit.com/r/emberjs/comments/f50f3o/moving_from_react_to_ember_2020/ )
[author]: My preferred solution (and the one I use in ss) is an epsilon, but I see how you could get the impression that stdlib is the best way. I've updated it with an addendum to that effect and will see if I can edit it to clarify.
More protocols, fewer platforms. Significantly reducing the money in web advertising and especially the monetizability/utility of data by and about users is probably necessary for that to happen.

It's not for technical reasons that we stopped having a smallish number of viable standards with many implementations each, and started having many wholly incompatible and deliberately non-interoperable implementations of basically the same thing. I doubt Email could be invented today.

[EDIT] point is capturing and controlling communication is currently a top priority of big tech players, and that won't change until it is, one way or another, no longer highly rewarded—until then, every no-funds or paid-for-by-actual-users solution is competing with bottomless pockets and "free".
It is extremely annoying. When I do a web search, I want real URLs, not obfuscated tracking links, but search engines seem to have collectively decided to sabotage their own search results.

Even if you are addicted to tracking (and assuming that tracking is a good thing that users actually want) surely there is a way to do it without sabotaging URLs.
What is the alternative meaning? To be, the comma changes nothing. It's unambiguous either way.
What is to stop a company from choosing to be a platform, and then use dark patterns to censor certain views? IE Google placing a competitor's sites on page 2 or reddit hiding a certain community from its popular page.
I’d rather be a paying customer and know I’m not going to lose my setup because of some reason.
It was a joke in Soviet Union that our Micro calculators are the biggest in the world!
It's a heuristic not a rule.
The Lost Art of Fountain Pen Writing
> I've never encountered someone that I think is genuinely a 10x programmer.

I have. (Interestingly, some of these people knew this and had a surprising lack of modesty about it as well…) Usually I think it boils down to being able to have the experience to consistently guess right on things, come up with new ideas, and not get tangled in the weeds: most of them are smart, but not so smart that you’re just lost when talking to them.
one hacky way to configure it is too install xfce4-power-manager and then run it in your config file. then the power manager will also handle the brightness keys.
I don't know if they hate it, but I know I do.
I really don't get this. How does it change?
Sounds like a sad place to work at. I always find 1:1 as great chances to push for things that are convenient both for ourselves and for the company as a whole.
Population of US: 330 million
Twitter US MAUs: 68 million
% of Bots on Twitter: ~ 15%
So Twitter users that really matter: ~ 57 million
Way overrated.