skysight-inc/HackerNews huggingface dataset:
TurboTax is 100% free for State and Fed for many people (probably several tens of percent of the country), anyone with a simple tax return. I use it every year to file for free for both. They try and make money by selling you audit protection, trying to get you to put your refund on their debit card, etc.

I'm not seeing how this is much of an argument for them to buy CreditKarma.

The argument for them to buy it is they then get:

- access to all of that credit report information

- access to the savings account customers

- the linked car and driver information

- more free tax customers to try and upsell audit protection and to try and push returns on their debit card to

- mortgage and other loan shopping data from everyone that's used the mortgage comparison

- potentially as much as 13 years of weekly credit data on given individuals

etc.
You're thinking of "forced marriage", which is a subset of arranged marriages.

There are arranged marriages where parents play the role of matchmaker and chaperones, with the kids having veto power. Or the converse, where the kids select partners from a professional matchmaker's rolls and the parents have veto power.

1. https://en.wikipedia.org/wiki/Arranged_marriage
NS1 could be another one to look at. I have never used their services (directly), but I've noticed Netlify uses them for their DNS services.
I believe the US already has a negative income tax, the EITC.
Yes, it is censorship. The entire history of First Amendment jurisprudence was set around the idea that powerful people were not allowed to stop political and religious speech. Marsh v. Alabama is a great example: a company town owned sidewalks that they didn't want religious prosyletizers on. The courts ruled that the fact that they owned the sidewalks and roads is irrelevant. For the entire history of my country powerful people were not allowed to buy up the public square and prevent the little guy from speaking. Everyone had a right to enumerate their grievances in a free and open marketplace of ideas. This has of course changed in the age of the Internet, where a bunch of scheming Stanford grads have bought up the courts, wrested control of the key Internet infrastructure away from the public who funded its creation, and sit there and grin as they take the role of arbiter over all speech on the Internet. The wealth and power disparity between the rich and poor is at its height, and it is clear that there will be no legal or democratic solution to the concentration of power in the hands of a handful of Silicon valley billionaires.
This is why I love to do game development without using a game engine. It gives you a reason to learn math, optimize your code down to the metal, all while having fun playing your game.
Category theory is fine but won't give you "anything new". I wasted a lot of time and money as plenty of big names were praising it (e.g. John Baez) so I followed them on a few conferences/talks. In the end, it's a nice theoretical framework to think about how to structure your code but that's it. If you do want to get involved (and, like me, are coming from a computational background) the book from Bartosz (i.e. the guy from the post) tells you enough to get a good overview of the thing; it's also available for free online.

A second recommendation, a bit odd maybe, do not waste your time trying to engage with that community as most people there are incredibly smug and toxic (but if you don't believe me feel free to try it, ymmv). They are now pushing this idea that they're 'opening' the field to everybody and would like as much people to jump on their bandwagon, but they are just trying to get some traction to keep leeching off grants, etc... they couldn't care less about you, I experienced this first-hand. You can learn most of these things on your own anyway, as it is usual with most mathy things.

I don't disagree with the premise of the post, when the time comes math will save your ass, for sure. Now, what works? As you mentioned linear algebra and some intermediate statistics would greatly improve your chances. I would drop some geometry as well, geometry has an inherent 'visual/spatial' feeling to it but try to learn it in such way that you become familiar of dealing with it in a completely abstract way. Regarding this, I have noticed a small surge in interest for clifford algebras, geometric algebras, etc... if you have the time pay attention to it, there are some greats talks about it on youtube and this one has an amazing community that I would definitely recommend to engage with.

Also interesting to read about, some other algebras that are defined mathematically and are at the foundation of CS, things like lambda calculus come to mind.

You don't have to become an expert on these fields to start seeing the benefits. Just build of the habit of reading about one or two topics per week, what they do, how they do it, and before you know a year has gone by and you will feel much more confident in your skills. Anything that requires more attention will naturally drag you to it.

Finally, this guy Robert Ghrist is amazing (really!) https://www.math.upenn.edu/~ghrist/, check him out as well, his talks and other content. He also wrote a book on applied topology (free online as well) which is amazing. Even if you don't understand anything about it, give it a quick skim to have an idea of all the incredible things math can you do for you that you could not have imagined existed!
3blue1brown channel on calculus:

https://www.youtube.com/watch?v=WUvTyaaNkzM&list=PLZHQObOWTQ...
Is this another company that took over $800 million in VC and can't seem to figure out how to make money? And the founders and VCs get a big payout, Intuit gets a big data payout and all the losers that took credit karma at their word are SOL?

Sounds awesome. Pro tip... maybe startups should try starting conventional businesses that actually make money?
KDSoap 1.9.0
I always figured our domain (computation) is so vast that once programming is automated, so too are all the other jobs. If we get an AGI that can program our programs and learn to learn, it won't be hard to have it write a program to make sales calls, or gather user feedback, or build buzz for the company.

So don't worry, when it happens we can all rest because there won't be any need for our labor anyway.
Where is the black bar? And what are the guidelines as to who gets it? Or that is at the discernment of a few people?

#BlackHistoryMonth
You are referring to the inclusion of Thailand? Major tourist destination for China, but only 35 confirmed cases. Just changed testing protocol to drop travel to China as prerequisite two days ago.

We shall see, I suppose. That's all I was saying - it's very early days to say which country has handled this well or not.
> Does not limit sign-ups to keep a balanced M:F ratio. You see this in Vegas all the time: to make sure the ratio isn’t skewed too far female or (more likely) too far male, the hottest club in town is going to have a line.

This isn’t just a balancing mechanism, it’s also a revenue model. I’m really surprised that “free for women, men must pay a weekly fee” isn’t more common.
I would try to set up a completely open source monitoring setup just for fun, but once I'm paying for SNS I personally would rather just pay epsilon more and buy/rent the whole system. I get that may just be personal taste. I absolutely don't trust myself to run my own highly-reliable mailserver to send status alerts.
I could imagine CloudFlare using GPUs for image optimization or video encoding. They do a lot more than caching these days.
> I don't understand why SQL on LLVM?

SQL is mostly "do the same thing a billion times", which aligns very closely with generating code for the inner loop, particularly when the inner loop can be generated without branches.

SQL codegen is basically an industry standard for large-scale sql query processing on top of a large-scale column store. I work one of the few engines at this scale which does not do go query stage codegen & instead uses source codegen vectorized primitives instead of query time (Apache Hive, specifically & the only other one in the same style is Google's supersonic engine).

Apache Impala - SQL to LLVM IR (C++)

https://llvm.org/devmtg/2013-11/slides/Wanderman-Milne-Cloud... [PDF]

Gandiva - SQL to LLVM IR (Java)

https://github.com/dremio/gandiva

MemSQL - SQL to MPL to LLVM IR

http://highscalability.com/blog/2016/9/7/code-generation-the...

Greenplum - SQL to LLVM IR

http://engineering.pivotal.io/post/codegen-gpdb-qx/

Postgres 9.4 Vitesse - SQL to LLVM IR

<https://www.postgresql.org/message-id/CAJNt7%3DZ6w5%2BwyeTKK...

Postgres 11 LLVM - SQL to LLVM IR

https://www.postgresql.org/docs/11/jit-reason.html

SparkSQL - SQL to Java source (Janino + javac)

https://jaceklaskowski.gitbooks.io/mastering-spark-sql/spark...

And as far as I know Redshift's horrible query compilation performance is derived from using C++ codegen which forks gcc inside (not sure why this is so slow though, almost feels like untuned gcc flags or something).

https://docs.aws.amazon.com/redshift/latest/dg/c-query-plann...
Optimize Your Life
> I don't get the point of 'shoot first ask questions later' type approach.

At first I thought you were talking about Cloudflare shooting first, but apparently not.
"The particular race showcased in the video is between an older Tesla Model S and a new, modified Nissan LEAF PLUS"

Doesn't really seem like a fair comparison, regardless of what the subtitle says.
There was a YC company in W12 called Grouper that basically implemented all of the grab-bag of ideas. It was a 3-on-3 blind date at a pre-determined spot. Each person had to pitch in $20 to participate, which meant $120 revenue for each date. It seemed to be going well - I wonder what happened to them.
Cascade Lake Refresh Xeon Boost Performance per Dollar to Thwart AMD EPYC
The only people I’ve ever heard having problems with math notation (as opposed to math concepts, which are often extremely abstract) are computer scientist and computer people in general. I think what irritates them is the fluidity and flexibility of most math notation. It’s not really machine readable since it really assumes you know what you’re doing. The same string of symbols can mean vastly different things in different contexts, which is precisely the power of math notation. Brevity is actually a goal in itself, it makes it possible to keep even larger constructions in your mind at the same time.

Consider einteinian notation, with implicit summation. Very terse, and very powerful when you know what you’re doing.

I’m sure CS notation is great for CS but trust me, math notation is pretty damn near optimal for math. Second only to theoretical physicists, mathematicians are probably the smartest of scientists.
While it's an interesting idea, that's a pretty big up-front cost per user.
The unix command solution is likely orders of mangnitude slower than what Knuth wrote, which given the computer power of the time should have seemed fairly relevant.
The tilt maze console (2001)
Digital computers were in their infancy - at one point in that brilliant movie the critical calculations are passed through the digital computer twice and got different answers. Katherine was asked to repeat the calculations and her result was then used.

The movie also shows Dorothy Vaughan teaching themselves how to program those first machines. Remember that pretty much noone had any programming experience, and there are still pitfalls today for people doing science calculations on a computer.
You listed their good points, the other poster listed some counterpoints. The one post is no less relevant than the other in a discussion about possible DNS hosting options IMO.

Though I think the post would benefit from some citations to improve its relevance/usefulness otherwise it is little better than personal opinion/conjecture.

Unless you are specifically questioning the relevance of hosting spammers, on which case: If that is true (again, some examples would be helpful here) and you intend to host your own mail servers via their services not just the MX records pointing to other mail services, you could find yourself blocked by association at some point. False positives are a big problem in this area and can be much admin to clear up.
Sounds exactly like law firms.
so the idea is to invite bugs into your home? no thanks
Okay Google was a terrible example since they are a targeted advertising duopoly with FB.
No, I would say an accurate and succinct phrase would be "curated first dates."
So they mean to tell us "insignificant" facts and articles must be deleted?
Xbox Series X Confirmed with Beefy 12 Tflop RDNA 2 GPU, Hardware Ray-Tracing
I've put this idea forward a number of times here on HN in regards to other big tech companies.

Technology companies need an "ombudsman" - a contact that customers can go to when the normal tech support processes have failed.

The Ombudsman must not be part of the technology companies ordinary support processes, it must be entirely separate, and have highest level authority to demand action within the company.

To avoid the Ombudsman being overused, you could give it a price of say $20, which is always refunded when the case is resolved.

HN constantly has front page posts from people for whom big tech companies have support processes have failed but there is simply no other recourse unless you have "a friend in the business".

It just doesn't work to have some random Cloudflare person offer their email address as some post disaster issue resolution process on social media. Formalise it with an official Ombudsman and maybe then companies like Cloudflare might avoid HN front page bad publicity.

I had an issue at "one of the biggest tech companies" that went on for days and days in which tech support kept telling me I had set up something wrong, until eventually I emailed one of the top managers who I happen to "know" at that company - it was fixed within hours. That "contact a friend in the business who can actually get things done" is a necessary part of a large support organisation and it simply does not exist yet in any tech company that I know of.
Admittedly, the problem is that this limits the app to being regional. Either the company would need to open offices in major cities, or studios could contract with the company. I think it's feasible, but would limit the audience.

The benefits for the user would be incredible, in my opinion. One of the reasons I quit online dating years ago was because I was already wasting tons of time on them, but I felt like I was having my face spat in every time I scrolled/swiped through photos and half of them were annoying instagram filters, or duckface, or people sticking out their tongues, etc. Of course there's people who don't look like their photos. Moderating this in-person eliminates these issues. It's also a revenue model for the dating service, as I'm sure there could revenue could be shared between studios and the service.

I also like the idea because it would reduce the number of users who aren't serious. You'll always get people who use online dating because of ego-stroking or because they think it's "funny", but fewer of those people will bother if they have to get their photos taken.
Even with a 1:1 ratio, 20% of the men would attract 80% of the women. In any dating pool, online or otherwise, the math is just generally bad for the vast majority of men attempting to attract a partner. See:

https://quillette.com/2019/03/12/attraction-inequality-and-t...
And may I point out that the fossil fuel industry will want to blow these conflicts up. If you're Joe ILoveNature and most of your exposure to climate change & climate action is the utility co. saying "we'll punch a hole in your nature", it'll maximize your disenthusiasm. So it's a problem, that there is so little outreach, so little understanding.

Also: I would like to see a whole lot more thought going into how to do things in ways that don't unnecessarily get peoples' backs up.
This is on the more-competent end of the spectrum of bounty submissions, for what it's worth. Because the median bounty submission is very, very bad.

These people at least appear to have done some actual work. Paypal is probably one of the most overfished ponds in application security, and they didn't come up with much, but it's at least sort of interesting.
Facebook (or anything with these particular features) set to "everybody can send me a friend request" and "only friends can message me" already has that.
Considering that we can't come up with a good reason or show how this alternate app is better/more useful, I'm going to cast some doubt that there is an untapped market of women who want to give up value for some intangible factor.
That's not really a useful definition of "pure" mathematics.

Also cryptography is one of the oldest applications, and has interacted with a variety of sub-disciplines in mathematics for basically ever.
Easy: the dating app pre-screens the men.
I could see the IRS having a secure messaging system specific to the IRS. Each state should probably also have a secure messaging system. I don't check snail mail. Such a system should only be used for government official communications however and must use MFA and have a way for citizens to regain control of their accounts easily and quickly. I would never use such a system for unofficial government communications however.

I've interacted with many government offices and very few of them set up their DNS, SSL certificates and servers properly. It seems like just the other day I had to explain to the DMV that RFC1918 addresses must not be in their MX records. They argued with me. And you don't even want to know which agencies can't install their SSL certificates correctly. Not saying names, they do not handle embarrassment very well.
Not only that. How does he select the men who are allowed to use the app?
Mathematics is completely meritocratic. If you invent a notation that is better than some existing notation, people WILL use it, without asking for your credentials.
Sure, it is, but the thing is that a hugely significant amount of the time I've seen those NaNs happen is because of a lack of understanding/care on the part of the devs, and not because they are doing scientific computing.

There seem to be a large disconnect here. A big chunk of people don't need the speed that FP math brings, what they need is exactness. And, for most languages with a C-based lineage, actually correct floating point math support seems to fit in the "someday/maybe" categories.
Why should startups take your advice? It sounds like they made money by not following it.
OK if it blocks login then it's at least partial 2FA for those logins. I thought it's only informational judging from the Forbes article but if it's not then it's part of the auth workflow and thus can be regarded as 2FA.
Hey! I’m Greg of ReadMe... think Syndetic but for APIs rather than datasets!

Congrats on the launch :) I’ll find you at Alumni Demo Day, or feel free to reach out if I can help with anything! And welcome to the war on PDFs :)
Hi, I work at PortSwigger.

> Uber was running some promotional for a free three month license for Burp Proxy

This is flat out wrong - the promotional partnership was done with HackerOne.

> What's weird about it is that I was using Burp Proxy for everything...

Burp Suite is used by tens of thousands of security experts and if we posted vulnerability data back we would get caught in about ten seconds. Also it would be stupid and illegal etc

Could you share the username of this 'Portswigger kid'? As far as I know I'm the only person here that does bug bounty hunting, and I've never received a 25k payout off Uber. So I'm wondering if this person is actually affiliated with PortSwigger at all.
Not always. In many cases 10 heads = 9 people criticizing/undermining 1.

Effective teams are built on people who trust and respect each other. Leadership must be recognized by a majority of group members for any person to take the lead - and any person can lead at any time if they have the group's best interests in mind and are able to demonstrate that.
Kotlin distinguishes between nullable and not-null references, which is an alternative to the maybe type. It serves roughly the same purpose, to replace runtime errors with compile-time verification that you haven't missed a corner case.
When Data Do Not Conform to Rows and Columns: Diagnosing Disease by T-Cells
While David Brooks and I don't agree on much, his discussion of "relationism" vs. "individualism" and his "weave" program is the ultimate disruption to the way families and communities are built today. IMO it is the actual disruption for dating and relationships in the US.

I'd go further than what Mr. Brooks offers in his assessment of the situation, but like all things ideas exist on a continuum. I would much rather try to build a tribal group than try to find dating partners.
That's not an arranged marriage, it's an arranged pool of potential dates.

Same as how if you're on tinder, you're not going to magically swipe to a person not on Tinder.

It just so happens there's someone saying "This person isn't allowed to sign up for Tinder, they're emotionally scarred". Which will probably scar them more.
> Another scientist toying with Boyle’s phosphorus found that, “if the Privy Parts be therewith rubb’d, they will be inflamed and burning for a good while after.”

The first test you should do with any unknown substance, yes.
Interesting, you might want to check out FaunaDB if you like the Serverless idea. Disclaimer: I work there but stumbled on your article after my hours.
The name "Responsible Disclosure" is in fact Orwellian and was designed that way, and people should avoid using it (or, really, the word "responsible" in discussions like this). The preferred term is "Coordinated Disclosure".
Unix shell scripting is an obtuse practice that is really hard to discover. That short shell script is built on hours of hard learned Unix experience that would probably be at least 8 pages long, if explained thorough.
I'm interested in hearing more about this.
The take-away for developers is perhaps this: There are a lot of ways to deal with the boring part of a job where there's not much new or creative stuff happening. Some are better than others.

I'd break the suggested strategies into a few general categories. You can be so intrinsically motivated that you never really encounter this problem in the first place (1). You can play psychological games to try and make it harder to lose interest (2, 3, 4, 8, 9). You can alter the workload in a way that makes it more interesting, but may cause quality to suffer (5, some 7, 10, 11, 12). You can rearrange the work in a way that actually creates more work, but also helps it stay interesting for longer (6, some 7, 10, 11, 12).

I find that those last two categories tend to go hand-in-hand in programming, too. So finding ways to help yourself just muscle through the boring part really is preferable in a professional setting.

OTOH, for fun projects, both sock knitting (and mittens) and development, I tend to go for those latter strategies. The corollary here is that I try not to knit socks for others, and you probably shouldn't take a dependency on anything I'm not getting paid to write.
Happily, they're available online:

Virtual (Void) https://www.youtube.com/watch?v=zpgLFEHrWSA

5038 BeOS It's The OS https://www.youtube.com/watch?v=KlOi-L-N0X4