jkeisling/hacker-news-corpus-2007-2022 huggingface dataset:
I've wanted to make something like this too. After years of iteration, my self hosted setup is now completely automated and the automation itself is super simple and organized. It would be pretty simple to setup a simple web app that allows users to simply apply the same automation steps onto their own VPSs. Hardest part would be setting up a secure process for managing user secrets to be honest.

Business wise, I'm not sure I'd be willing to pay for just the automation... in reality you don't use it very often. Could be interesting to try (re)selling tightly knit VPSs, more advanced automation features or support.

I think this solution still captures the self hosted ideology while also providing some cool value. I see people reinventing the wheel all the time while trying to automate self hosted processes... but then again maybe that's why we do it, we like the adventure!
Vietnam, Afghanistan, Iraq.
The Bloomberg article about this is itself paywalled.

Sad, but poetically fitting.
Please look at the OP. Notice the arithmetic expressions such as "Compute 3 + 4.", which returns "7 : nat" instead of a string of Succ applications to some Zero.

You're arguing against a problem that doesn't exist. Coq is fully capable of understanding decimal arithmetic. The fact that it uses a unary representation in proofs is not a burden that the user has to bear. (It's still a property that they can exploit of course, e.g. in inductive proofs.)
IMO, yes. Similar to the benefits of learning Haskel as a Javascript programmer, there are ideas better embodied in Coq that translate to all languages.

For example, the idea of strengthening & weakening the inputs/outputs of your lemmas, functions, or any abstraction is really central Coq. Constantly there is a tension between weakening your preconditions so your abstraction is easier to apply while also strengthening your postconditions so you get more leverage from you abstraction, or doing just the opposite so that implementing the abstraction is possible.

After working with Coq almost exclusively for a year and then returning to regular programming, I find this is a concept I come back to constantly.

It applies to any language. One example is creating library API preconditions & postconditions such that the API is useful to the caller but not so tight that there's no room to change implementation details as the maintainer. With API contracts in particular, it's usually possible to strengthen a postcondition and weaken a precondition without breaking compatibility so it's helpful to start with weaker postconditions and stronger preconditions to give you that flexibility.

In regular languages, preconditions & postconditions is something that the language only helps you out partially. Even in Haskel this is true. Most of the contract is not enforced by the type system and can only be described in documentation. If your API takes in a "number", chances are there are bounds on what that number can be, e.g. non-negative or less than the length of the list. In Coq, all of this would be very explicit and machine enforced. When writing contracts now, I sometimes imagine what lemmas and witnesses I would have written or assumed in Coq and that helps me think about the trade offs.

This concept often applies beyond APIs to the whole system architecture. What should that microservice require of its inputs and what guarantees can that storage system provide, etc.
Language Server Protocol brings this to many editors that historically lacked it, including Emacs' lsp-mode. I use it a lot (with clangd), it's great. Because it's a common interface used by all editors, there is a lot of interest in and work on the language backends.
This is really great. It's really important to minimize the number of things students have to understand so they can focus on the things that they need to decode, at least in my experience. A good example is worth so much.
What do you think this article is, some kind of public beach or something?
I always preferred the RPN HPs. I used an HP-55 through most of college. (I started with an early TI scientific calculator; I began university just as calculator prices were really dropping and discontinued HP models only became relatively affordable a little later.) Then I had a variety of other HPs over the years including an HP-41CV with a Financial Pac.

Unfortunately, the modern "HP" calculators are not as well made or have as good a keyboard feel.

(I actually didn't have a calculator until college.)
Comments moved to https://news.ycombinator.com/item?id=33022768, which was posted slightly earlier and also isn't a press release - we generally prefer third-party articles to the latter.

https://hn.algolia.com/?dateRange=all&page=0&prefix=true&sor...
> The author characterizes this as being a "cognitive miser" (I also hate it when people make up terms)

?? Where else would terms come from?
Apparently the attack vector is pretty small considering:

http://www.digitaltrends.com/mobile/femtocell-verizon-hack/

Fortunately for Verizon customers, the company has since issued a patch to all affected femtocells. Sprint currently offers a femtocell that is similar to the vulnerable models from Verizon, but the company has said it plans to discontinue the device. And while AT&T also offers femtocells, it requires an extra level of authentication that makes much of the iSEC Partner’s findings irrelevant. Still, says Ritter, the femtocell vulnerability is a major problem.

And

Ritter suggests that all carriers that offer femtocells require owners to provide a list of approved devices that are allowed to connect to their femtocell. And also prevent customers’ cell phones from connecting to any unauthorized femtocell.
You have more chance of dying from car accidents than Covid if you're under 55 years old.

By locking down hard on age groups who aren't vulnerable to the virus you're enabling the clown world that OP is referring to.

Sure lock down the elderly that's fine but making national health policy based on one demographic is full on straight clown world stuff.
No, they haven't found the exact virus in bats in the wild, yet. They've found some relatives, but not the virus. There's still no strong empirical evidence one way or another for the zoonotic vs. lab leak hypothesis.
Pausing the entire global economy for 5 weeks would be vastly less costly than training personnel while we deal with it for 5 years.

I do get that it would never happen, because people would refuse to do it (their belief that it wouldn't work would, in a sublime irony, prevent it from working).
Can we have a list of systems to choose from?
At least you've had good money coming in. I've been burnt out. I've knocked it out of the park. But I've never seen really good pay or even authority.
most of the users use an IDE or a notebook, no need to only use REPL.

If you're a old school editor -> terminal run kind of person, checkout https://github.com/dmolina/DaemonMode.jl
I'm curious as to how your opinion has changed during the course of the lockdowns?

I'm tired of it as well, but rather I feel the length of the lockdown is a result of the prevarication that took place in the beginning and a continuing series of poor choices intended to save political face afterwards.

My opinion is that had we locked down hard and early, banning foreign arrivals until the pandemic passed globally, we'd have quickly been able to meet without putting anyone's health at risk and at a lower economic cost.
Left to its own devices, the US education system would have you believe that a passing knowledge of the english language is the core deliverable from k-12. Science and math courses cost more, and have constant shortages of qualified teaching staff.

The danger of the over-emphasis on language skills is that college bound students who have done well in k-12 carry the notion forward and major in english, and psychology. They are then surprised when they hit against the reality that the job market for those with a 9th grade understanding of math&science that hasn't been exercised in 8 years and the ability to write a 50 page essay is surprisingly limited.
Is JS really the fundamental, responsible part in all that business? Would it have been so much worse with a full page refresh per click?
If they are adding the SD card to the storage pool of the phone forming a single filesystem, then a slow SD card will harm the performance of the whole phone.

Why would anyone consider implementing it this way is beyond me.
He's explicitly asking if there's a better way to do that (read the last paragraph), so lighten up.

PS - You spelled "flame-bait" wrong.
As much as I love Dropbox I have a feeling they're gonna get squished by competing products from Google, Apple, and Microsoft that integrate into mobile platforms.
Used to have it really bad then started doing more pull-ups and push-ups to strengthen the forearm muscles. While I still have occasional discomfort, the pain has disappeared.
But their decision to choose HBase over Cassandra should be commended and to build on top of a new tool or create custom tools frequently, make them really cool. For me, they look cool by just sharing this. Not many big companies do this.
Even more infuriating is when they don't even bother to do the unit pricing! two sizes of the same product- one says "18.00/unit" and the other says "everyday price $21.99"!
As annoying as it must be for the developers of some of these apps, I have to wonder what they were thinking when they decided to make an app that so clearly straddles the line into duplicating app store functionality. I can't imagine taking that kind of risk with a business given Apple's history of rejecting and removing apps like this.

Another example that comes to mind is that Dashboard clone iPad app that was rejected a few weeks back (http://www.engadget.com/2010/04/09/dashboard-ipad-app-reject...). While it was cool, it was clearly the kind of app that would be very likely to be rejected even if it wasn't so flagrantly copying Apple's designs.

I'm not saying it isn't a shame that there are some categories of apps that I would love to have (say, a great podcast aggregator) that are simply too risky to make, and Apple should definitely have more transparent policies and a way to pre-vet an app idea, but if I were looking to spend 3-4 months working on an iPhone app, I might spend 2 minutes thinking about its chance of getting rejected first.
I had no idea it even changed until I saw the stories in Google reader. I'm surprised by how many people are complaining and thus still use the Google homepage instead of the search bar in their browser. With all the major browsers having one (Safari, IE, Chrome, FF), what is the benefit of going to google.com directly? Legitimate question.
End of an era indeed: after a decade of nerds triumphing over normal users, businesses start listening to normal people again.
I ditched my TV in 2005 (http://personalmba.com/need-more-time-to-read-get-rid-of-you...). There's no way I could've read so many books If I didn't.
I converted an extremely large marketing/news site of 5000+ articles (and growing) to Jekyll from Wordpress. Lots of custom-built plugins. Total build & deploy time start to finish is around 20 minutes, but about half of that is webpack doing its thing. I think the team responsible after I left has been able to speed things up to about 5 minutes, but can't confirm.

I've built a ton using both Jekyll and Hugo, and while that later is speedy, its templating is extremely inflexible. The more complicated your content and the things you try to do with it, the more grim things look for it.
Sorry for the inconvenience. If you need something to fill the time while waiting for them to deliver your free software, maybe you should try contributing to an open source project.
I am glad to see more competition in this space! I frequently advise non-tech family and friends to choose two cloud providers, and use them to replicate important files.

I stopped being a paid Dropbox customer last year over the Condi Rice issue (otherwise, a great service) but I still use their free tier. I also pay for extra Google Drive storage, which I think is a good deal. The best deal, for my use cases however, is Office 365 home edition: my wife and I each get one terrabyte of cloud storage and up to date versions of all of the Office 365 productivity software (and the web versions are nice running Linux) -- all for $100/year.

I am tempted to sign up for the new Amazon offering, but I already feel I am so well replicated: every photo I take goes automatically to Google+, OndeDrive, and Dropbox; almost all of my working files are inside of OneDrive so get synced; I created compressed archive files for projects and with date stamps save them away in Google Drive; projects stored at bitbucket and github.

It will be interesting to see how well Amazon supports mobile devices and multiple operating systems.

For me one of the biggest wins of cloud storage is being able to choose what is not replicated to my laptops, etc.
If the implication here is that Sam Altman and OP are pompous enough to think we care what they think about the state of the Tech economy, then wouldn't the same logic apply to the authors who write "the Tech bubble is bursting! The world is ending!" articles?
For a very short while it looked like Pike could take a seat among the othe "P" languages (Perl, Python, PHP), but that was quite a while ago. And mostly because it was bundled with the Roxen web server. IIRC its claim to fame was easy headline font->image rendering…

fugaces labuntur anni, indeed.
I don't have the equipment to track or photograph them, but I do follow these guys. It's fun to look up and see a multi-billion dollar "classified" object whipping by. Some of them (lacrosse) are almost recognizable with the naked eye. They have specific colours.

A bit nerdy, but being able to accurately predict a 'shooting star' can be a great party trick.

http://www.heavens-above.com/
Hatchet by Gary Paulsen

Far and away, the best for a young person coming into adulthood. In an age appropriate manner and wording (vocab, tenses, allusions to other works, etc) Hatchet explore what it takes to mentally be an adult. Brian's near suicide and rebirth alone in the Canadian forests is a classic story in literature, and it is no where else better played for young adults than in Hatchet. Brian's personal choice to live and be self sufficient against the odds is a great lesson for that age. The epilogue is masterful as well, and I'm sure, took a lot of guts to publish as-is and not re-write.

Other great books (with amazon links) can be found here: http://www.artofmanliness.com/2009/06/02/the-essential-man%E...

The follow up from that blog's readers can be found here: http://www.artofmanliness.com/2013/05/21/fiction-for-men-as-...

Note: The linked blog focuses more on the 'classical style' in western literature and thought. By classics, I mean true classics from the Enlightenment and Greek and Roman works, not devoid of racism or sexism, sometimes in full acceptance and joy of those evils. Nonetheless, I feel most of those books are great reads, if the young person is given caution and some guidance on how to handle the differences between our forefathers' views and ours'.

EDIT: Additionally, look into language learning courses. Duolingo (https://www.duolingo.com/) is free and amazing (nothing beats having cousins in Italy or Mexico, though). At 14, the brain is still pretty plastic and able to learn languages a bit easier than us old'uns.

I have been amiss for not linking to the above blog's other non-fiction lists and movie lists:
http://www.artofmanliness.com/2008/05/14/100-must-read-books...
http://www.artofmanliness.com/2009/07/13/100-must-see-movies...

I'll also act like a shill here and advocate for youth organizations like the BSA. Here is a nice tool to find a troop near you :http://www.scouting.org/LocalCouncilLocator.aspx . I know I may get some flak from HN here for BSA advocacy, but I had a great time on the road to Eagle and the Scouts are updating. Also, many councils are in open defiance of the policies (naming names is hard to do here, it is necessarily kept mum). Please, give them the time they need.
Should I do this to my 2009 macbook?
For simple tasks yes, but just because it can be done in a browser doesn't mean it should. Native applications can provide performance optimizations that you wouldn't get in a web app. Would you rather play a realistic flight sim natively or in your browser?
I've found that when the components are very large, I can almost always do something better (smaller components). I've done a couple of big Vue projects now.
These side effects occur in extremely high doses, much much higher than the effective dosage.

It doesn't need to be administered intravenously (only for methemoglobenia) - although more effective that way.

serotonin syndrome, rbc breakdown and allergic reactions occur when you drink a glass of what few drops are enough.

As said, it is extremely safe drug in low dosages (4-16 drops of 0.1% solution).

Edit: Also see the Kevin Rose Show episode https://podcast.kevinrose.com/dr-peter-attia-longevity-compo... starting @ 1:16:20
Did you live in Romania before '89 to experience dictatorship? Since when dictatorship implies good leadership anyway?
Just to share that it's available and doable--I have been getting back into the old Delphi-style work recently using Lazarus IDE / FreePascal Compiler / Object Pascal language.

The same approach still works well. I've heard that many Delphi apps will require very little tweaking to get working. Personally all my projects are selfish productivity- and solo gaming-related apps that will never see public release, but I like it that way for now. And it's fun.

Anyway, by the end of the day you could be one of those programmers with a 25 year gap in their release notes, to the amazement of onlookers!

BTW, maybe relevant in the current pandemic:

https://twitter.com/SciPasTips
Yeast, which you won't have if you haven't been making bread, doesn't even show up on Amazon at the moment (and normally it's Just There. Even got one via Amazon Fresh before the apocalypse started scaling). Also, bread flour is best but not absolutely needed. Lastly, if the bread the machine makes just doesn't tickle your fancy, they still are a great way to make pizza dough.
First of all, I believe the stagnation today in scientific discoveries is resulted from the lack of big grand visions of a future that can draw inspirations.

Over the years, society has shifted into favoring financial languages and metrics in most of today communications instead of telling stories that are often associated with lifetime generational experiences. Most things are calculated based on precise risks and probabilities so naturally we would opt for the least risky path. As a result, the system has evolved into favoring incremental improvements rather than explorations of uncharted territories that are much more riskier.

In scientific publishing, this metric is represented by an over-emphasize in citations which has become the main criteria those publications are now being evaluated based on. Novelty or a desire for new experience that can generate large and meaningful impact, or even simply playful experimental ideas are no longer valued as much. Citations quantity has become the main currency in scientific publishing, and understandably has also led the community to prioritize incremental improvements.

In the paper, it mentioned that many seemingly irrelevant or uninteresting new scientific discoveries initially took a long time for the community to understand its potential, but those very same discoveries would later lead to much bigger and more meaningful inventions, such as the gene-editing tool CRISPR we have today. It took 20 years for this to happen counting from the initial discovery, so this is where the disconnection occurred.

In that sense, there is a great need to help propagating those initial discoveries both in its magnitudes and speeds so that it can receive more attentions from other scientists and community. The novelty should once again be the main focus to drive motivations and inspirations. Scientific publications shouldn't just prioritize on hard cold metrics like citations, but instead attaching more metaphors and new visions of future possibilities that can excite and propel both science community and public interests.

More than ever, people today are craving for that common naivety which used to connect everyone together into believing making the impossible possible. That's precisely what has made Elon Musk and his companies so successful.
The movie 'In Time' (2011) has a nice view on this subject. Only the rich will be able to live forever but some of them discover they get tired of living.

I'm not sure living forever in this world will be that much fun.
I'm not the average HN commenter then because I don't live in Silicon Valley nor do I make six figures.

Does that mean my rebuttal carries more weight then?
I'm not sure about BitBucket as I don't use it, but I expect so.
We can stop human trafficking without placing restrictions on pornography, except for specific pornographic content proven to be linked to human trafficking.
Doesn't the stock Android browser do this? At least I know it offers me a "save for offline reading" option
And? Instagram's web app is still kinda crappy.

Dojo has also been used on a bunch of huge projects, but nobody gets excited about it...
Lodsys hasn't actually yet filed suit against anyone. Just sent threatening letters.
Somewhat related: a miniature version of the Peloton model is Supernatural, which I run on the Oculus Quest 2. (https://www.oculus.com/experiences/quest/1830168170427369/). It's about $20 a month and absolutely worth it, the workouts are fun, challenging, motivational and musical. It's been transformative for my fitness.

(I am not affiliated with these companies.)
I could build hackernews tonight, after work, if I wanted to
The free version of instapaper was feature-limited, not just ad supported (at least at the time before I bought the full version)
Well written and articulated argument. How is Arrington's investing different than a corporation owning a news station and that news station not disclosing that every time they cover something else owned by the corporation? I feel like this happens all the time without much uproar. I'm not saying what Mike is doing is right or wrong, I'm undecided, but I like Kara's take on it.
I so wholeheartedly and completely agree with Joel. Things that really "make" a team:

1) Having lunch together
2) Having booze together
3) Going out together regularly
This is a tough one— a lot of hiring & “diversity & inclusion” initiatives very rarely discuss age

Is that others’ experience?
It's more a matter of being messy rather than complicated. You're trying to track users who often visit your site multiple times before purchasing, coming from different sources, on different devices, and somehow tie that attribution to the purchase. None of the data inputs are consistent nor tied together. Analytics tells you differently than your ad platform, your payment processor tells you yet another thing, and your email marketing tool, and your CRM. (And if you want the serious tools for data monitoring and reporting have moved to focusing on enterprises...) You have to somehow factor in refunds, free trials, prorated billing, early cancellations. You have multiple ad campaigns running ad variations. Don't forget a/b testing.

Finally you see some data point that hints something might be working, but you know you have to account for all the other factors involved. Did I make any website edits that day? Did the ad network change their algorithm slightly? Was there a holiday affecting traffic? When did I insert that new ad again? Wait, I know I changed my ad bid at some point... Did I get an influx of traffic from another source? Was it just a fluke?

If you want good, real data, it's messy. And far from a solved problem.
The M1 Macbook pro is better then the 16 inch intel Macbook pro. I'm not sure it gets more "pro" then this.