skysight-inc/HackerNews huggingface dataset:
Currently finishing my junior year of undergrad in math. I'd give different advice to a casual enthusiast than I would a full-time math student, but here are some tips that have helped me:

- Reread everything. The first time, only read definitions and theorems; proceed steadily and focus on high-level ideas. The second time, try to recall definitions and focus on details of theorems. The third time, try to recall definitions and recall proofs of key theorems; work on memorization and fluency. The fourth time, try to modify the conditions of theorems and see what changes. If you are struggling with reading, get as far as you can and then go around again - it gets easier every time. Take as much time as you can afford before reading the same section again to let the material sink in.

- Do lots of problems - start with trivial examples and slowly scale up the difficulty. Lock down the basics before moving on to harder problems. Ask for recommendations for books that have particularly good problems.

- Practice proving theorems and claims. If you have a question while reading, make a conjecture and try to prove it formally. It took me too long to realize that understanding abstract math is not the same as being able to do proofs and formalize intuition. Following along while reading doesn't mean you can quickly or easily prove facts about the material, and the proof is what counts in the end. Knowing why something is true is not helpful if you cannot formalize it.

- Hone intuition. Proving things is just performing a (directed) graph search on a set of facts with a well-defined start and end goal. Having good internal heuristics will help the search proceed quickly, in the right direction, while avoiding dead-ends; the only way to develop this sense is by practice.
This attitude basically says "everything was perfect 100 years ago, and any change to that is going to make things worse".

Since the climate has always been changing, and 100 years ago we were coming out of the "little Ice Age"... why was that so perfect?

There must be some changes from global warming that are beneficial, surely?
> For starters, this is a media company, so they would like to have instantly updated posts on certain parts of their site.

How are their posts instantly updated using a static site generator? Don’t get me wrong, I was sold on in static site generators years ago. But not understanding this argument.
I fear that the fact that zerohedge picked this up will make it even more political than what it is now.

Proper trials, like the one by U of Minnesota, will give hopefully answers.
All of the answers give these fucks way too much credit. They designed it like a USB stick so underage kids could have them and their parents would be none the wiser.
Unit tests are time-consuming and tedious to write, and generally deliver poor effort-per-bug-found except for initial development (especially since they often displace cross-component tests which tend to catch more bugs). And the cases they test simply reflect the prejudices and lack of imagination of the author. A far better alternative IME is to use generative testing (e.g. property-based testing), which automates the tedium of generating test cases, and finds far more bugs to boot. Bonus: you'll understand your code much better after you're forced to identify and formalize invariants ("properties") in order to write your tests!
What online coursework do you recommend for getting the basics / fundamentals down? Is Khan Academy sufficient for this?
Too Cold for an Oil Cut? Russia’s Move Reveals a Long-Running Bluff
Back when music videos were awesome works of cinematography, production, visual, and musical art:

Dire Straits - Money For Nothing (complete with CG and 80's pastel graphics on live video) - https://youtu.be/csje_Tb0U0c

Here's a playlist of 80's MTV videos, starting with the Space Shuttle and Apollo launches followed by landing the MTV flag on the moon:

https://www.youtube.com/watch?v=2NBhuf1g-rY&list=PLDHCLXs2vT...

Like most things on Internet Archive, individual videos are not annotated very well so you have no idea what's in the content. Digging through it would be, sadly, mostly a waste of time. It would be more useful with annotations.
> A arm of government or a long standing NGO are institutions

The New York Times is neither of those, yet many people would characterize it, alongside the Fourth Estate, as institutions. The term "institution" codes depth beyond legal form [1].

[1] https://en.wikipedia.org/wiki/Institution
The soulless corporation is far from exclusive to what you call "tech". "Tech" is when they also put up a foosball table and paint the walls in bright colors.
I've read Permanent Record by Edward Snowden. It doesn't get more detailed than that. There is nothing in the book that indicates that Google's implementation of the contact tracing spec would deviate from the spec either through incompetence or malice.

You're making vague, unsubstantiated claims about how this could be compromised. Even if there is a bug that allows such apps to collect location info, that has nothing to do with Snowden leaks.

If a government is keen on collecting such information, they would simply not use Google/Apple's APIs and instead roll their own using bluetooth and location services. This was pointed out in the article. Now could you explain to us why you're promoting a conspiracy theory that the government will lean on Apple and Google to introduce malicious bugs into their APIs when they don't need the APIs at all?
get a real bank.
>And really, the idea that news media need to herd their audience into thinking the right things is ridiculous.

No, but they need to determine which story is based on the best possible information at the time, and which isn't. Which is a massive service for everyone else that doesn't have time do research everything they read.

A massive service not only gone unthanked, but actively attacked in the days of Trump.
Yes, quite right.. in mine too.
Fortunately it looks like open office plans will be a casualty of COVID-19...
How is 0.1-0.2 degrees warmer "measurably different"? (I'm curious - I haven't been reading much of the literature lately, and this is new to me).
it may aid your understanding if you were. specifically this guy used up his lifelines in the easiest questions, and then had a clear run on the difficult ones. it was a questionable performance, hence there being an investigation and refusal to award the prize immediately.
I always find it strange that people use forecasting failures as an excuse for inaction on climate change. If you were driving a car and you couldn’t see five feet in front of you, you probably wouldn’t think acceleration was a prudent course of action.
> It is how they dealt with sexually transmitted diseases four decades ago

That's not untrue, but that's clearly not contact tracing, much less was-in-the-same-room tracing.
On some cryptography lecture I heard that definition of a trusted party is a person that could betray your trust and expose your secrets.
> I coded a script in python to generate the html from rst files

There’s an outstanding and fairly flexible static site generator for rst files in Python that’s been around for quite a long time, called Sphinx. It’s basically a docs generator but I’ve used it as a generic static site generator.
ha Bullshit jobs is a great place to start.
And angry elders who will glare at you violently if you don't adhere to the rule.
Best Examples of Personalized Email Marketing to Inspire You
Ventilator challenge UK, the inside story
I think the goal should be to prevent crime.
Good example of using `http.server` in python
That's a great approach. I personally enjoy coding novel or obscure data structures which I'd never get to implement at work, but hopefully might be useful to someone.
That's an insanely broad brush. The mainstream press includes the NY Times, The Washington Post, The Economist, The Atlantic, and NPR. Please explain how they fabricate narratives, how they destroy the lives of those who accidentally enter their crosshairs, and how they retroactively alter their archives to change history.

I'd expect your summary dismissal of the mainstream media from a Trump supporter. I'm surprised to see it on HN. So please elaborate.
Maybe not everything can be explained with reason, the unconscious mind can play its part.
David Wallace-Well's "The Uninhabitable Earth" covers some of these points, though they're exaggerated here (don't get me wrong: the unexaggerated versions in the book are still fucking terrifying).

Guardian review of said book:

https://www.theguardian.com/books/2019/feb/27/the-uninhabita...

I like the last paragraph:

"You could call [the book] alarmist, and you would not be wrong. (In the closing pages, Wallace-Wells himself accepts the charge as “fair enough, because I am alarmed”.) But to read The Uninhabitable Earth – or to consider in any serious way the scale of the crisis we face – is to understand the collapse of the distinction between alarmism and plain realism. To fail to be alarmed is to fail to think about the problem, and to fail to think about the problem is to relinquish all hope of its solution."
Perhaps Windows RT all over again? I do hope not. As a Windows 10 & Windows 10 on ARM I find this confusing.
> The thing that unit tests are really good for is providing a safety net when you make changes

In all projects I have worked on, extensive unit tests were not a safety net against regressions, but a safety net against change.
Perhaps the prediction must be seen in the context of people predicting that the internet would give people easy access to all the information there is. I guess both predictions were true in some sense.
Can I Upgrade or Downgrade macOS? Every Mac from 2006-2020
Oh I've already shared it here on HN but here it is:
http:those.codes
Enjoy :)
This is... a computer. They've just implemented a Turing machine: a bunch of states with transitions between them defined by a transition function. And that's because, at the end of the day, you still have to do the computation somewhere. You can't get around having to add and subtract the numbers by hitting the buttons, but this ensures that you can do it with way more code than is necessary.
> I disagree. Almost anything made overseas can be made in the US, it's vast place.

No it cannot, at least not in the foreseeable future as even for something as stupid and simple as a McDonalds Happy Meal throwaway toy there is no domestic supply chain in the US or most other Western countries. Corona makes rebuilding that supply chain even more impractical as you would need many, many dozens of billions of dollars (or euros) as an upfront investment and still thanks to higher labor costs and cost of compliance with regulations (environmental and labor) this won't be competitive for a long time.

> If you raise tariffs, that's going to hurt the largest international corporations and stimulate the local small to medium sized companies

Most "large international companies" are US-based. Also, large corporations can choose to at least partially suck up tariffs (either by cross-subsidizing or by cutting profit margins) and make up the loss by scale, while a small/medium trade company cannot easily do that.
> If SpaceX gets Starship flying I think we'll see SLS outright cancelled

Doubt it. The US government won't dump SLS and the jobs that come with it, and probably the military/NASA will veto relying on a company that Elon Musk can send tanking with a simple stupid tweet.
Free short story vending machines delight commuters (2019)
Or maybe so that ordinary people will continue to to trust them and people like me will start trusting them.

They have a long way to go in my case but every journey starts with a single step, and this seems like the twelfth or so step from Googles side towards becoming trustworthy (but they still have a long way to go!)

I think one shouldn't underestimate the business value of actually being a trustworthy vendor/business partner/SaaS company and while there are a few contenders that niche isn't too crowded for now :-)
Dang, and I call myself a budding developer. Forgot how to do URLs properly...

Http://those.codes
There :)
In old Swedish (~19th century) nouns were divided into three grammatical genus: femininum, masculinum and neutrum. Dead objects could be referred to as either he or she:

- earth, sun and time are feminine words and can to this day still be referred to as 'she'

- heaven, road and stone were referred to as 'he', although this has disappeared from modern Swedish.
As a technical user, I share in your frustrations. iOS may be more secure out of the box, but it's an all-or-nothing solution. Either you take what they give you and put your faith in the almighty Apple, or you break out and have no protection at all.

Unlike other platforms, where there is a range of options to us, where if we work hard enough, we can make our platform more secure, while still maintaining our freedom to do as we please, because we know what we're doing.

That said, I remain grateful that there's at least one mass consumer facing platform that is secure by default and user friendly. For the vast majority of the world, this is more valuable than the ability to tinker.

For me personally, it ends up being a toss up. I lament my restrictions, but I'm grateful for the significantly reduced amount of technical support I'm required to do now compared to the (good|bad|^$) old days when a PC / laptop was everyone's primary computing device.
Hehe...

Climate change experts in the 90’s were warning about catastrophic temperatures in 2020.
The pairing of Caddy & LetsEncrypt have been spectacular for shipping TLS software with way less pain.

We're currently on a funny (Caddy docker external reverse proxy -> Nginx docker internal reverse proxy -> docker app) config. Our user admins can do custom TLS via Caddy, and thereby end the years of Nginx TLS pain. Meanwhile, we get to keep doing most of the fun Nginx tricks internally to make sure our GPU graph visual analytics streaming tech does cool things. It's been a breath of fresh air.

We've been watching Caddy 2. Project history like phoning home for a school project (this might have gotten people sued and endangered others!) taught us to be especially careful w/ upgrades, but w/ Nginx going open core startup and now being part of F5, I've gone pretty down on Nginx and up on Caddy over the last few years. The more we want to do more w/ Nginx, the more we want to get off Nginx for the internal proxy, so looking forward to Caddy continuing to improve!
A look at modern PHP
Similarly, there is also void-zone-tools[1] for FreeBSD.

[1]: https://github.com/cyclaero/void-zones-tools
How do we reconcile this with the known spread rate and lethality? If it was spreading around late December when lot's of people are traveling, seeing family and drinking over Christmas and New Years then where are the mass casualties?

With a doubling time of 3 days and a morality rate of 1% a single person had it December 31st it would have infected a million people by around the end of February, killed approximately 10,000 and 150,000 would have been hospitalized by it.

I've seen a lot of articles about how it may have been spreading earlier but none seem to account for the exponential growth.
Pi-hole is just a script wrapper around dnsmasq. On a host or server you might as well just do it straightforwardly:

https://sfxpt.wordpress.com/2011/02/21/the-best-ad-blocking-...
This is where Firefox DNS over Https comes in handy.
I have 2 Firefox installs - Firefox and Firefox Developer Edition with one set to use DOH so always bypassing pihole.
This is a study on migration patterns resulting from an assumed combination of global warming as predicted by other scientists and nothing changing in between now and then. It's not actually predicting this extreme heat; merely citing studies that do and extrapolating from that.

That's an interesting scenario to explore from a demographics point of view under the assumption that nothing changes. But it's not necessarily what is going to happen given the current technical progress on clean energy, farming practices, tackling desertification, etc. IMHO taking coal plants and most ICE vehicles out of the equation in the next decades is going to help reduce smog and co2 emissions. Concrete and cement are currently actually a bigger problem and there too there are alternative technologies emerging.

It won't stop global warming but it will enable us to engineer our way out of (or at least around) some of its consequences. Clearly anything over 50-60 degrees C is not sustainable. The Saudi's are currently dealing with those kind of temperatures already on a regular basis. However, replanting forests in e.g. Africa or India or large scale ecosystem engineering in China seems to result in drastically different micro climate in those places where that happens. We've barely scratched the surface of what is possible there in a relatively short amount of time at relatively modest expense. Lower temperature, better water retention, higher farming yields, etc. Three decades is a long time for absolutely nothing to happen on that front.

As for northern regions. What's bad for the world is not necessarily unpleasant there. I live in Berlin at 52 degrees latitude and used to live in Finland at 60 degrees latitude. Most of the world at similar southern latitudes are ocean. But longer nicer summers are not necessarily a punishment for people living there. And actually it's quite enjoyable. It's not all universally bad. And also it's not historically unprecedented for things to be a bit warmer up north given fossil records.
Randy Shoup: Attitude Determines Altitude – Engineering Yourself (2017)
LOL yes, only in the US your worst fear about spending a few weeks in a ICU are the bankrupting costs.
RoR is fine... as soon from Rails 4, I need to get back in.
> notices of the form described in c.3 represent a sufficient de jure form of providing the information in c.1.A.iii that would void immunity if not acted upon.

A deficient notice attempting to trigger c.1.C doesn't get to use c.1.A as a fallback. This is guaranteed by c.3.B:

> [...] a notification from a copyright owner or from a person authorized to act on behalf of the copyright owner that fails to comply substantially with the provisions of subparagraph (A) shall not be considered under paragraph (1)(A) in determining whether a service provider has actual knowledge or is aware of facts or circumstances from which infringing activity is apparent.

Additionally, you say:

> Also note that the infringed and infringing material are to be specified separately (c.3.a.ii,iii). In this case, the infringed material is a list of movies owned by the claimant that are distributed via PopcornTime. The infringing material is the PopcornTime software itself.

Contributory liability for infringement is not the same as the infringement itself. PopcornTime software does not include any of the movies (or portions thereof) owned by the studios complaining. PopcornTime software itself is not an infringing work on those movie copyrights. It is a tool intended to be used to commit infringement, so they will get in trouble when this goes to court, but it's a different kind of trouble from direct infringement.

Consider this thought experiment: PopcornTime points users to a site that lists torrents of movies. If that's the same thing as infringing on the movie copyright itself, then PopcornTime infringes on every movie listed on that site, provided a PopcornTime user has at some point actually followed the links. Now let's assume PopcornTime development halts, but Hollywood carries on and a new movie is added to the site PopcornTime links to. Now PopcornTime is infringing on another copyright despite the PopcornTime software work not changing, and that movie copyright actually post-dates PopcornTime.
Tesla takes first steps to become an electric utility, starting with the UK
That's the hash to the .apk file, I just checked it again and it actually has more seeders on it then when I posted. Are you on any viable trackers?

Even googling it takes you to the many search engines where its stats can be found:

seeds: 33 leechers: 5.
I can relate to a lot of the things you've stated. I won't get into the specifics but I understand your experience of working at a tech giant.

In my case, I decided to try to "play the game" for a while. After a few years, I realized clout, money, and the things it afforded were ultimately meaningless to me.

Things like mentoring young engineers, hobbies, and organizing local student hackathons definitely took the edge off. But ultimately so much of it, even the things for the community, was ego-driven. Trying to make the world a better place, a lot of the time, is ultimately ego-driven.

I tried many things but only found lasting peace in turning to God. Jesus died for your sins and I can testify that having faith in Him has lead me to a new, more meaningful life.

Life isn't necessarily easier, but every day is imbued with tremendous meaning.

You're clearly thoughtful, probably competent, and without a doubt, the Lord has a plan for your life. You just have to take the first step and accept Him as your savior.

My emails are always open.
Good luck, I am praying that you coming out of this season stronger than before.
I think this has more to do with your target audience. The books in question are aimed at an audience which overall has a really good purchasing power.

To many people 15 euros is an expensive book but looking at my tech books shelf, and seeing an average price of around 50 euros(many of which I would have paid double without a single doubt of hesitation), you quickly see a huge gap between the different audiences.

Good developers and tech people certainly appreciate the complexity of tech books and are well aware that they are often guides to prototypes, as opposed to full, production solutions. Hence the reason why many are more than happy to support open source projects from our own pockets. Take "The Rust Programming Language" book for instance - it's completely free online but I was more than happy to purchase the paper version in order to support the authors, the same way I donate to the Linux foundation, the PSF foundation and so on. And sure enough, I appreciate someone's hard work here and I'd happily buy their books should I see them useful to me.

I can't recall which artist it was (I recall it being Jan Garbarek but don't quote me on this) who gave away an album online where you could get it for free or any amount you like. I recall several sales in the 5-digits which is a clear message. But much like textbooks, such music has a very particular audience and such... Let's call them "stunts" wouldn't be successful for most products and would backfire terribly.
You would not get fired. Probably everyone would forget you even said it.

If you want people in a company to be able to produce good ideas, they must have reasonable leeway to disagree or be contrarian.
First, technically we've measured that the average increased, so it's by definition measurable.

But more to your point: Regional warming can be larger, and the tails of the temperature distribution move more than the small increase in average temperature suggest. Precipitation patterns are also affected.
Related: Railsconf 2020 Virtual Hallway - https://www.mikeperham.com/2020/04/29/railsconf-2020-virtual...
How to Simplify Your Life and Reclaim Your Freedom
Excellent work, kudos! By the way, as a freelance software developer, do you work with Flask or other frameworks (instead of Django), if needed?