skysight-inc/HackerNews huggingface dataset:
> The article doesn't say that the original proof was incorrect.

The article very clearly points out an error in the original proof.

The HN community can be so toxic sometimes. Inevitably whenever someone produces a new machine-checked proof, all these commenters come out of the woodwork explaining how assumptions/definitions are not verified and therefore the whole endeavor is somehow worthless.

A researcher being excited about their research is nothing to be ashamed about. I especially appreciate the fact that one of the authors took the time to make an accessible blog post to introduce us to their work.
I'm not saying it's impossible I'm just saying it seems improbable to have a significant contribution to both projects. Also, there are other considerations, for example some people may just like working on the FE and some on BE.
Learn Data Structure and Algorithm in JavaScript – Part 10
Poverty is shit. I recommend avoiding it if you can.
So Lomburg is publishing a new book "False Alarm". It is a sad move on from "skeptical environmentalist" as far as titles go but maybe that's the world we live in.

I am interested in getting a balanced view on his work - the main argument seems to make sense - I guess it's just how bad will it be in 80 years?
Delete entire Facebook activity in seconds (using concurrent REST requests)
I think the one thing that gets lost in the work from home push is that it really takes good managers to make it work. You need a manager skilled at making sure that people are working at a good pace. Doing one-on-ones in person for a good people manager is a lot easier than over a video call where only a portion of you is visible, so a remote manager needs to be really good at remote one-on-ones. You need a manager that can fairly rate their reports so they push for promotions/raises/rewards based on their accomplishments. Without this, good performers get angry and leave. You also need a manager who can figure out if someone is not doing a good job and how to help them or move them out of the org. The manager also needs to have the skills to onboard new hires since mentorship is going to be a bit more difficult when done remotely since nearly no company has good documentation for new hires.

A decent manager might struggle with these skills when going fully remote. It could be easy for them to fall back on some rudimentary metrics of productivity because they have a hard time judging what people are doing. You will probably see managers who have "favorites" lean more heavily on a few people because they are a known quantity to the manager. You'll probably see new hires take a lot longer to get up to speed with merely competent managers.

I wonder if we actually have enough good managers to make work from home scale up.
That's awful to hear. Did you try to do a chargeback?
Big businesses aren’t new. Small businesses crop up because people love them. They’re not going anywhere. Calm down.
That's neat! Is the deviation between Bloom's equation and the correct one relevant in pratice? Typical Bloom filters have millions or even billions of bits and a few to a few dozen hash functions, so I think the probability that an entry gets hashed to the same bit more than once should be vanishingly small?

Really cool otherwise, I should really look into Coq more for my own work.
Age of earliest smallpox DNA pushed back 1k years
Show HN: I made a minimalist spaced repetition tool
Creator here. As a University student I was struggling a lot with the huge amount of information I needed to remember for my courses. I started using spaced repetition (Anki) and it worked great! I enthusiastically shared this method with my family but they got overwhelmed by the complexity of the Anki interface and all the options. I wanted to change that.

So I built memordo. I focused on creating a minimalist but still productive interface for creating memory cards that supports image, latex, code and clozes. I also built a chrome extension so you can add memory cards instantly whether you are reading pdfs or wikipedia.

I learned so much coding, like rendering latex instantly in a chrome extension, or the painful complexity of wysiwyg editors. I ended up using a vue based framework called tiptap. It works as a wrapper on top of prosemirror. (https://github.com/ueberdosis/tiptap...)

Anyways, I would love to hear what you guys think about this project!
I travelled through the Andes, Amazon rainforest etc... and while it was amazing overall, I wasn't impressed with Machu Pichu. There are way older and better built things all over Asia and Europe.
> deal with stateful-but-not-persisted applications

No, they don't. The application is persisted. The store is one or more external resources, but that's usually the case with persistence, even on the backend.
The theory of hashing never matched up well with how I've experienced it in the real world. For example almost all analysis of the hash table (for proving stuff about load factor, chain length, or probe clustering sizes, etc) starts off with a "uniform hashing" assumption. But that assumption have basically never held true given how languages define their default hashes.
If I was subscribed to a newsletter I would consider it a benefit if it included the occasional (thoughtful and smart) member of the out-group, so that I could better understand them and their arguments.

What it wouldn't do however, is allow you, or anyone else, to force that behavior an anybody else. I consider that a feature, not a bug, but I understand people will disagree on that.
Looks like they might be afraid of exactly this kind of black-and-white labeling
What does that have to do with the article, though?
I dont't really understand what point you are trying to make. Nobody is saying all the students in top tier colleges studying CS are super passsionate into CS. Some are. A lot of them are not.

My point is that tier 1 colleges produce a lot of good programmers. The reason why they are good at programming can be because of high salary expectations, peerpressure, parents, status, passion, etc. I honestly couldn't care less as long as they do their job. The reason why companies like TCS/Infosys are bad is not because tier 1 colleges produce programmers that are not passionate about CS. It's because India has way too many Engineering colleges that is of abysmal quality. And those colleges accept students who otherwise would not have gotten into any decent engineering colleges

> Many came through good scores in entrance exams (myself included) and many through management quota (i.e Paying the institution heavy sum

I don't think there are any tier A colleges that takes money for accepting students. Highest package is not really what is used for defining tier A. What I meant by tier A are centrally funded colleges like IITs, NITs and really good private colleges like BITS and IIIT-H(not SRM, MIT etc). None of them take students by accepting money. If the college takes students by accepting money then it is definitely not tier A.

> The system is gamed like hell. With the abundance of such coaching kids, I don't think IITs and NITs can keep their previous charm.

Sure. The system is gamed. But it's still a fair system. The rules are same for everyone. You are measured by the number of correct answers you circle in the paper. Nobody cares about who your parents are. Nobody cares about what you wrote in your essay. Its a hard competetion. But it's a fair competetion. There is reservation at play for students from backward castes as well but lt's not get into that. Some would say it's good. Some would say it's bad.
When I was in my younger 20s I thought/said some of those same things. People saying how this was the best croissant they’ve ever had and so on, while I’m rolling my eyes thinking “oh come on, this can’t even be called a croissant” simply because I’ve been lucky and privileged enough to (1) eat “real” croissants from living in France and (2) have the time to watch tv/read books about how to make the perfect croissants from scratch and having the time to do so.

At some point I found the r/gatekeeping Reddit and realized what an insufferable asshole I was being.
https://www.youtube.com/user/SMOKERSOFCIGARSPIPES
>Related Article from The Guardian "News is bad for you – and giving up reading it will make you happier"

The author, Rolf Dobelli may be worth checking out, though I don't 100% agree with the article.

A good approach may be to do some independent analysis with the widest variety of sources, then use that going forward.

Eg anti Russian and China bias is coming more and more to the fore these days (not saying their leaders are good, far from it) but once its characteristics are recognised it's easier to ignore and not be influenced by it.
Racism and Racialism Are Different (2014)
Not everyone though. It will always be easier to find a starbucks than a local coffee shop, but there will still be local coffee shops, because some people are always willing to pay a bit more for a heightened experience.
I do not count calories so I don't know about that. I don't know why anyone would unless you are either very underweight or very over weight (the latter, cooking yourself will definitely help). I live in the EU and my fav foods are egg fried rice, pizza & curries; all of them are vastly cheaper to make myself (with smart shopping); far healthier, tastier/nicer (matter of taste for sure!). I see a pizza at NYC Domino's will cost you $7.99 with a coupon; mine, including wood + ingredients comes to around half of that.

Ofcourse not counting time; counting time makes all cooking crazy costly, but yeah, it does so with a lot of other things as well; actual eating (fastfood or otherwise; why not a nutrients drip next to your computer?), going to the gym, shopping, cleaning, showering, going to the toilet and most people probably did not optimise any of those either.
How Covid Is Changing the Way We Work
Possibly fall out from the MK Ultra program - take a zero tolerance stance on LSD to make it look like changes have been made.
Why does your wife not like it? Mine is a brewer, so i'm curious.

Edit: as I get downvoted, let me reformulate as I guess it reads different than I meant (not native English). I am curious why she doesn't like; my wife being a brewer has nothing to do with it.
Good article - Everyone needs to learn the amount of money that they need to become independent. As the author says, it can be as little as a couple of dollars in some situations for some people. Learning about the concept of financial independence really made a big positive impact on my career as it allowed me to walk away from toxic work situations.
In my experience, most game companies are fairly aggressive about protecting their IP. Actually, many content distributors in general.
I don’t know. I’ve found it very liberating to commit to choices.
> and set a strong precedent

Which was?
Mozilla sending political ads via Firefox push notification
For most practical applications, the sizes involved are such that you're probably dealing with the asymptotic behaviors, so the differences will be negligible and either bound can be used.

In that sense, this work is really more theoretical than practical, but still, I think, a nice result.
As long as we don't call it a newspaper, everything will be fine.
> This has gone so far that developers prefer a sadistically under-featured file-format (.md) to office files.

And doesn't have a proper spec. The best we have is https://commonmark.org
I briefly experienced "freedom" for a few months where I just stopped paying my bills(no expenses). This was dumb later on eg. cc law suits/tanked credit score. But I had the ability to do so(friends/cheap housing/internet access). I learned how to build full stack websites, I was chasing the dream(high traffic ad-revenue based websites). Meanwhile was in the process of failing out of school/fear of how I would pay my student loans. It was great because I had no reason to do anything eg. get up by 9AM/pay a bill at this day. I could chase some rabbit hole and just keep going even if my sleep pattern was flipped. I could sleep 16 hrs straight.

But yeah I'm going for FiRe I'm still broke af despite making a lot for my area. But I'm at least glad I am in this industry/aware of a lifestyle like that.

edit: I would not advise screwing up your cc haha... it's too bad I didn't learn that till later/too late.
The one thing powers fear most is losing said power. Open minds present a threat to power structures. LSD has the ability to open minds.

So does meditation... just that it typically takes way longer :)
I think in this case you’d find all datoms via normal EAVT index and then sort the results by transaction id, dropping everything after your desired transaction.
Sure the tv show and his performance was the main medium, but that doesn't mean his paintings have diminished artistic value. Art is all about context (with bonus points if it generates discussion, evoke emotions and looks interesting). I don't really see how it's different from 'art' in museums that are remarkable only due to the historical context that they were created in. For a fan, seeing a painting you recognize in an episode up close, in a different perspective will surely transport you to someplace special.
Video Games and the Future of Education [video]
A monolith does run on a single box. If you split it in order to run on several boxes you have by definition turned your monolith into a distributed system.
> They had 8 years to fix this, but they didn't.

I'm not sure if you're being facetious here, or if you simply are ignorant of how the U.S. Constitution / government works.

There are two types/levels of federal laws: (1) statutory laws - made by Congress ("U.S.C."/US Code), and (2) regulatory laws ("C.F.R.") - made by the Executive Branch.

For a statutory law to pass in the US, the House + Senate + President has to agree. When one party has control over all 3, it's called a "trifecta". Moreover, in the Senate, you need 60% votes due to the what's called the legislative filibuster.

Democrats had a trifecta only for 2 years (2009 and 2010). During the remaining 6 years that Obama was in office, Republicans blocked practically everything substantive. The Democrats actually did try to pass a small immigration bill (the DREAM Act) during their trifecta, but that bill (S. 2205) got 52-44 votes, and thus failed due to the legislative filibuster. It's extremely difficult to pass statutory laws in the US.

Obama and the Democrats spent put a huge amount of effort trying to fix the immigration system, but they were blocked by Republicans through and through.

> Obama did do some small changes

He actually made a huge number of substantial changes with regard to immigration in our regulatory laws (the CFR). More than any recent President. Obama did everything he could that was within his power (ie within the power granted to him by the Constitution and statutory law).
> That's dick, though, not Dick.

The origin of "dick" is, nevertheless, the name "Dick". Would you be satisfied if we went from "Karen" to "karen"?
Is this comment sarcastic? What is good about this "job"?
Different content. Back then it was a handful of cherry-picked publications expanded into articles, now it seems like the page is an overt advertisement of Apple’s Machine Learning efforts.
Also, the EU is far more accepting of immigrants than the USA. They will probably be a way better position in the short future if the US continues as doing what it doing.
In these cases go directly to your bank or payment card provider (Visa, MasterCard, etc.). You usually have ~6 months from the day of the purchase to make chargeback request.
New restaurants can change in quality very fast.

They might start with everything being fresh and high quality ingredients, then when money is tight in one month the quality sinks either temporarily or permanently.

Increasing popularity can also decrease quality. More people more work. If people start coming because restaurant has been discovered, quality matters less afterwards. It tastes good when everyone says it tastes good.
Ever seen Marcus Lemonis on The Profit?

Great TV show.
Thank God for people like PG who are brave and wise enough to be able to craft such beautiful and timely essays. McCarthyism may be fashionable again, but we'll endure unscathed as long as writings such as these continue to be written.
This video series helped me finally understand how to use Kalman Filters. https://www.youtube.com/watch?v=CaCcOwJPytQ
The submission appears to be available only as a video. It would be helpful to prefix the title with "[video]", if that's possible.
Can confirm: I'm not allowed to give blood in Australia because of the small risk (with a potentially very bad downside if it manifests) that I'm infected with mad cow disease, due to living up in the UK in the 90s.

They still let me sign up to the organ donor list though.

Edit: foot and mouth disease was a decade later. I don't believe it's a problem in humans?
Do you think they do? That's quite a novel conspiracy theory to me. But even if it's true, they obviously don't have as much direct influence as Twitter, Reddit, or newspapers themselves.
> Government regulation will just cause it to become more hidden.

That's such a weird take; should we stop banning murder, rape, and theft now, as it will just become "more hidden"?
How to find job in these hard times?
How to find job in these hard times??
I mean the actual companies that go into these acronyms are generally arbitrary but AFAIK it was Facebook-Apple-Netflix-Google as companies with rapid growth/decent profitability during that period.
I lived in Peru, Ecuador and Colombia for like 6 months each. I've lived in or visited over 100 countries so far and those are still in my top 10 favorites.
No need to be condescending about it.
It is hilarious to jump that fast to a Godwin point while trying to instill the idea that the person you're adressing is the morally dubious one.

Maybe you could do some research about the totalitarian mindset, and learn about yourself.
Chris & Jack - Comedy sketches https://youtu.be/_Ug6gAO8n0s

Dust - SF short films https://www.youtube.com/c/watchdust

AirBlastr - Cinematic FPV https://www.youtube.com/c/blastrchannel/videos

Daniel Peixe - VR painting https://www.youtube.com/user/danielpeixe/

Henry Segerman - Math sculptures https://www.youtube.com/c/HenrySegerman
I don't disagree, but this article seems to be aiming at an old problem that we might simply call "bad developers" and/or "bad management".

It has never been a good idea to artificially separate front-end and back-end, or front-end design and front-end development, or back-end architecture and database design, or just about any other two labels you care to assign. These things have always been related, and a successful system combined all of its elements effectively. But that doesn't just happen by magic, the people involved have to actually think about it and communicate, instead of dogmatically adhering to some fake silo arrangement that rarely helps anyone anyway.

It has never been a good idea to artificially pigeonhole any given member of your team either. Sure, everyone has to start somewhere, so maybe you start as JS guy or DB guy or whatever, but that's for newbies. After even a few years working in this business, no-one who's been paying attention truly has a skill set that is only one narrow field but a bit deeper. Everyone is multi-skilled to some degree, and often with experience people develop deep skills in more than one relevant area.

Roles like "full stack developer" or "UI designer/front-end developer" are just somewhat arbitrary labels for people who have a particular combination of skills. People who say that you can't play these parts effectively, or that no-one can possibly keep up with all of that so everything should be specialised, are in my experience almost always trying to belittle someone who has broader and/or deeper knowledge and skills than them, and that's not a very nice thing to do. It's not a very smart one either, from a business perspective.

I believe much of the time we would be better off if we just dropped almost all of these specific-yet-somehow-vague titles, at least beyond entry-level positions. You need someone (for a small project) or a team (for anything larger) with enough of each relevant skill available to get the job done, and you need everyone involved to know at least enough about what else is happening to communicate effectively with their colleagues. How you divide things up beyond that is almost invariably, again IME, best done based on the individual people you have available and their personal strengths. As long as you ignore the other common but similarly absurd premise that people working in a huge and highly skilled industry are or should be interchangeable, you can work this way just fine, and then the kinds of self-inflicted damage the article is worrying about simply doesn't happen.
Videos Show How Federal Officers Escalated Violence in Portland
He wasn't doing research.
Nice.

I would not pay for this but might buy it as an app on my phone.

I would be more likely to buy a subscription of you had a ton of decks on it like memrise does.
> Printing support is a super simple feature

Ah, the tell of someone who has never implemented printing.

Pagination across different paper sizes when content is dynamic/interactive and includes things like section headers that you need keep with text and images and tables that users expect to not split across pages with their custom choices of margins, page-numbers, page titles etc. So many other issues like ensuring monochrome prints are legible, implementing print previews etc.

Oh boy. Some might think implementing math from papers is hard but no, it's this sort of thing. You'll be fixing problems with it for the life-time of the product.
>> At one time while I was homeless, relatives helped me deal with some of my financial drama

>> I was able to resist such pressures and make decisions for myself, including moving my bank account at a later date on terms that made more sense for me, because I had some maneuvering room in the form of food stamps and knowing where I could get a free meal or free clothes. Food stamps didn't cover some essential nonfood items that we needed and couldn't get from a homeless services center, specifically peroxide and plastic cups, but we made more of an effort to get better at finding change on the street and we used that to buy those essentials at some local "dollar" store.

This article is a good example of a "First World Problem". Before jumping to conclusions, let me explain. There is world of a difference between being homeless in a first world country and a third world country. This article completely discounts that. Food stamps, bank accounts are something 'poor' can only find in first world countries.

>> Join reward programs, clip coupons, etc.

>> Check Reddit for pertinent subreddits for meeting your needs cheaply.

To access Reddit you first need a device AND an internet connection AND you need to be literate.

>> Ultimately, I concluded that being able to choose wasn't really about money per se but was about maneuvering room. Yes, having sufficient resources helps, but making choices in life and exercising free will is not directly related to how much or how little money a person has. It helps if you have some confidence you won't starve or otherwise experience catastrophe, but that isn't about money per se.

It completely discounts any family members that may be disabled and maybe completely reliant on you for making ends meet. Have you ever seen a slum?(if not, then you probably won't get the point). This doesn't even touch the surface of what real problems most of the world in poor countries face. I don't blame the author for she has probably not been to a third world country but I do not agree with the above points.