skysight-inc/HackerNews huggingface dataset:
Heh! :D I never heard frog/wings phrase before, made me laugh.

This frog probably did though, saw bit on tv last week, and thanks to the old data miner (google searched it).

https://www.nationalgeographic.com/animals/amphibians/w/wall...

I prematurely agree, it's not real wings, but bumps its ass a lot less compared to other frogs.
You sure it's not just putting them on iCloud Keychain?
All you've said is 100% true, but in addition I'd argue that a big part of reason why no-code tools don't get more traction is also just the simple power of habit and the lack of motivation to invest time into learning it. We already know how to build things the traditional way, and all these no-code solutions require learning a lot of new, proprietary interfaces and stuff, playing with it and figuring it out, learning to work around the limitations. Many other tools and frameworks that we choose to use have similar, probably even worse problems, but they're popular so one feels like it's worth the trouble to learn them - just to stay in the game. No code tools on the other hand are proprietary, not very popular and the benefits they give you are just not that significant to a seasoned programmer. In all honesty, I never even gave them a chance.
It's a shame that mathematically proving correctness of code, even for extremely important code, is never done.

I wonder how many lines of code in crypt32.dll. Is it on the order of 7500 lines? If Microsoft spent a few man-years mathematically proving the correctness of that code, they could have the saved the world about 10,000 man-years.

Windows has a user base of 1 billion[1]. A ballpark figure for proving the correctness of 7500 lines of very complex code[2] is about 30 man years[3]. If even 1% of the 1 billion Windows users and sysadmins has to spend a couple hours on things related to this patch, it works out to 9615 man-years of worldwide waste (based on an 8 hour workday and 260 workdays a year).

Had there been a wide-spread exploit, it could have cost the world millions of man-years.

[1] https://en.wikipedia.org/wiki/Usage_share_of_operating_syste...

[2] https://www.schneier.com/blog/archives/2009/10/proving_a_com...

[3] Professor Gernot Heiser, the John Lions Chair in Computer Science in the School of Computer Science and Engineering and a senior principal researcher with NICTA, said for the first time a team had been able to prove with mathematical rigour that an operating-system kernel—the code at the heart of any computer or microprocessor—was 100 per cent bug-free and therefore immune to crashes and failures. Verifying the kernel—known as the seL4 microkernel—involved mathematically proving the correctness of about 7,500 lines of computer code in a project taking an average of six people more than five years.
Actually Id love to. I did a bad choice of writing Nota in Haskell. I will rewrite it in JavaScript so that I can also port it to the web and then if possible I will add as much more capability as I can. Symbolic is super cool but hard to implement, I should see how much time I have and how much others are willing to help.
A large part of my job is writing custom logic for an enterprise application with much-touted "no-code" facilities.

You _always_ need code. Some customers don't need much, but they all need _some_.

The first example that comes to mind is duplicate detection. Sure, the basics are simple. No two agreements of the same kind for the same customer. A lot of no-code solutions struggle at this point.

But then you get to the slightly more complex requirements. You _can_ have two agreements of the same kind for the same customer, as long as they are not overlapping in time. But if customer B is a subsidiary of A, and A already has the agreement, then B cannot have its own, if A's agreement is marked "company-wide". This also goes for C, which is a subsidiary of B.

I've yet to see a no-code solution that makes this sort of thing accessible to non-programmers. And programmers will prefer just writing the code.
They don't have to dictate it any more than Microsoft does (since they allow PC manufacturers to install all sorts of horrific nonsense). They just have to make the OS such that you can uninstall any application. If this is impossible to do with non-proprietary software, then that's a point for proprietary software.
Unless plaid's equity structure was very unusual, early employees (at least in engineering) certainly received much much more than 1 basis point.
Don't forget to add that specific url ( https://anderspitman.net/entries/16/entry.md ) to the noscript block instead of the nigh-useless github link.

Edit: Actually https://raw.githubusercontent.com/anderspitman/anderspitman.... works fine already; can we change the submission URL to that?
You linked to something that only looked at a small fraction of the global market.
The point is that filenames aren't bytestreams on windows, and if you treat them as such then your program won't work.
I have a dirt cheap TLC smart TV w/ Roku that works great. 55 inch for ~$250 or so.
Github doesn't develop Git.
Kinda, it sounds very similar to the 80/20 rule. The 80/20 rule says 80% of the solution takes 20% of the time. So it's not quite the same.

In other words, the 80/20 rule says the last 20% takes 4x as long as the first 80%. In comparison, the above quote says the last 10% takes just as long as the first 90%. So slightly different.
In 2017 Google reported that "4.4% of clients are unable to use QUIC". See sec. 7.2 of https://static.googleusercontent.com/media/research.google.c....
My Android phone started telling me about background location requests about 2 weeks ago as well with the option to block. It is a great feature.
Earlier this year the Media Lab did an absolutely ginormous automated transcription project. Off the top of my head, it was ~2.8 billion words. 13.1% error rate (vs. ~7% error rate for Google's proprietary solution).

Found the paper on it:

https://arxiv.org/pdf/1907.07073.pdf
As I told, it's manly because of the the rendering. Brackets render much more pretty, but the other is true as much. Yeah people with normal layouts.
It depends on what form your equity is in. If you have options, you're responsible for taking care of your own taxes. (And the exercise+hold AMT mess is something to watch out for, though it's a little more difficult to fall into that trap now since the AMT exemption amount was raised.)

Even if you have RSUs (where taxes are customarily withheld), the company will withhold at the minimum statutory rates, which may not match up with your personal tax bracket.
Similar in New Zealand, although the exact time isn't defined. The parent comment's case would almost certainly fall under the protection of the Consumer Guarantees Act[1][2] and Sony would have to fix or replace it. Of course, getting a company to actually do something can be harder than just telling them the law.

[1] https://www.consumerprotection.govt.nz/general-help/consumer...

[2] http://www.legislation.govt.nz/act/public/1993/0091/24.0/DLM...
The problem is that there is nothing else to compete on. TVs are two centimeters thick and have crisp displays. I don’t give a crap about 5k or whatever. So what can they market on except price? Apps.
Counsellors aren’t generally challenged about their inability to perform tasks outside their specialisation.

It is a mistake to assume that all humans can develop good people skills with the same amount of time dedicated to training.
I work with 2 such people (academics, prefer mercurial, use R rather than Python so I can't imagine would have had any reason to install Python 3). Lots of people use version control without being "developers", so not needing a more up to date Python (or, at just happy with Python 2).
What do you guys think of the concept?
Discover and Amex debit cards exist.
UTF-16 is not "just bytes". There are sequences of bytes that are not valid UTF-16, so if you want to roundtrip bytes through UTF-16 you have to do something smarter than just pretending the byte sequence is UTF-16.
Please don't make wild assumptions. This isn't a trial. There's no evidence or admittance of anything needed.

These are accepted grammar rules. "you guys" as a second-person plural term is accepted as gender-neutral. "guys" in the third-person is not.

Arguing that the 2nd-person usage is not neutral is the new challenger position and you would need to provide the argument for why the accepted usage should change for the rest of us.
oh. shift reload!
I wonder who has copyright over the file API (e.g. open(), close(), etc.). Since filesystems are written by implementing this common API, I guess they'd all be infringing someone's copyright. Also language interpreters and standard libraries that wrap those OS facilities to make them available in their language. Linux PAM modules are built by implementing an API defined by PAM. Language wrappers which allow us to use libraries written in different languages would all be violating copyright too, I guess. No more using GTK in a language different from C, for example. How far does this go?
Realistically, it hurts private schools by reducing the number of students they could take on. Public schools, however, are governmentally forced to abide by a certain curriculum, which hurts students dramatically (basic biology and sex education is a big one here).

Because of this, what actually happens is the top half of students that can't go to private schools get an underwhelming education. Compounding on that, local districts can mismanage funds and security to an extent that reduces the likelihood of a student's success in the classroom to near-zero.

Net result - <10% of students get a great education and greater opportunity. 40% come out 'fine' but not particularly ready for entering the workforce or higher education. The rest come out with an education that is measurably substandard, resulting in a significant hardship.

Example numbers, based on your comment.
For any heat engine - including a stirling engine - you need a heat difference between the hot and cold side, ideally as big as possible. If you put the stirling engine at the bottom of the hot hole, the whole machine will be hot, there will be no difference in temperature and it will not run.

This also discounts stuff like the need for maintenance, that is hard to achieve at the bottom of a hot & likely very humid if not water filled borehole.

For that reason, most geothermal systems pump water down & then back up again (possibly using multiple wells) & have the heat engines at the surface, where they can be easily serviced & a good heat differential can be achieved, via air or water cooling.

This in the end, is generally an industrial operation though, not really something suitable for every single house. Still helps with maintenance, as you can provide energy for many houses & don't hat to maintain the geothermal power production equipment for each house separately.
I see what you are going for and in an ideal world, I would love for there to be some way to prevent those types of abuses. But the problem with this proposition is that it would effectively ban every modern SPA and take us back to web 1.0.
>Frankly, I have to wonder who is the audience for this post.

I had the same thought. My guess would be founders of "hot" companies. Altman is signaling that he knows all the ways to be a great investor (and presumably puts them into practice).
I think the better framing might be "directly observable impact on performance"?

If Alice in sales lands a client by showing off a shiny new dashboard which Bob the programmer built, obviously they both had to perform. But it's fairly easy to run the counterfactual Alice: if Carol didn't land a similar client with the same dashboard, Alice is adding more value. (At least over large sample sizes.) It's very hard to run the counterfactual for Bob: would a worse dashboard have lost Alice's client? Would a better one have landed Carol's? Would another programmer have built something better or worse, in more time or less? Since you only want one of that dashboard, those things are exceedingly hard to answer.

Notably, some companies with consulting/deployed engineers do pay bonuses, because like a physical craftsman they're building many client-specific products. If one person's dashboards consistently land contract extensions than another's they're probably performing better.

(Of course, nothing is ever this clear or easy. If Alice just gets better clients, Glengarry Glen Ross style, Alice didn't actually sell better. If Alice promises a dashboard that doesn't exist yet, leaving Bob too busy to fulfill Carol's client's requests, that's not better either. And at Wall Street is infamously asymmetric, rewarding risk taking rather than actual performance.)
Yeah. those beasts. I really like to have them implemented someday!
https://fin.plaid.com/articles/inside-ach-payments-with-stri...

"""To get started with ACH payments, you need a system that can connect you (the originator of the ACH transaction) with an Originating Depository Financial Institution (ODFI). Additionally, that system should be able to give updates on the status of the payment and give the developer an interface to authenticate, verify, and charge the user on demand.

That’s where Stripe comes in. In January, the payments infrastructure giant debuted support for ACH payments through its platform alongside a partnership with us here at Plaid. Now, Stripe users can authenticate their customers through Plaid (or, if they must, micro-deposits) and then charge them through ACH."""

Am I misunderstanding something?

EDIT:

Okay so maybe they weren't doing the transfers, but they were certainly facilitating them and adding to the adoption of more ACH based payments (which means less credit-card payments). Same conflict of interest applies. What does Visa care about bank account verifications?
I’m a programmer with 15 years of professional experience and another 10 as a student and hobbyist before that. My brother is a carpenter by training who was never even the slightest bit interested in programming. Last year, he learned Pine script[1] because he wanted to customize stuff on TradingView.com. Sure, he doesn’t really understand all the details and sometimes asks me for help, but he is able to successfully get the results he wants. I think most people just need sufficient motivation and they’ll get it. I’ve always said that the reason most people don’t learn to program isn’t because they can’t, but because they don’t really have enough reason to put the time and effort in.

Learning a skill takes time and tenacity. Years ago, I tried to learn guitar, but gave up after a few months because progress was too slow for me. I was impatient and not motivated enough and therefore ultimately didn’t get anywhere. Two years ago, I decided I wanted to learn sleight of hand card “magic”. There was one flourish in particular that I just couldn’t do, but I kept trying anyway. Day after day, I couldn’t do it and then one day I realised I could. The only difference between that and guitar is that I kept at it and out the effort in.

Sure, some people are predisposed to certain things which is a bit of a shortcut (I definitely found programming easier to learn than card magic), but I believe that most people can learn most things, if they have sufficient motivation and put in the time and effort (I include finding a way that works for you as part if effort, just doing something repeatedly may not be enough on its own, as they say: “practice makes permanent; perfect practice makes perfect” — ie be careful of learning bad habits that may get in your way)

I’m personally not against visual programming and have had some good experiences with it, but the name “no code” in my opinion completely misses the point: its still code (and programming). The text was never the hardest part, so by eliminating that, you’re not really winning much. The hard part is the logic, calculations, data manipulation and translating ambiguous requirements given by people who don’t really know what they want. Very little of my day to day is actually about the text I type into my editor, but rather the problem solving that goes on in my mind. Visual languages don’t magically make that go away, they just represent the code in a different form. Sometimes this can be really useful (visual languages make flow explicit and I personally tend to think in “boxes and lines” anyway), but often thats not the biggest roadblock. Often the roadblock isn’t the code at all.

[1] https://www.tradingview.com/pine-script-docs/en/v4/index.htm...
Or we may call it different tastes :D
I wonder if Windows 7 will get this on its end of support day tomorrow.
> When I treated headers as bytes, there wasn't an "encoding".

If you are representing strings as bytes, you are intrinsically using an encoding.

> What I often want to do when reading user data is not treat it as a "encoded string", but just as a stream of bytes. Most data I work with (HTML files, output of other programs) can't be treated as anything but bytes, because people put junk in files / output of programs.

Yes, it makes a mockery of the notion that "human readable data is easy". In many cases, you don't want to work with the actual strings in the data anyway, so bytes is the right thing to do.

But yes, this strategy largely avoids encoding issues... until it doesn't.
I think it shows up now?

Yes - I think you've hit a case where fresh content isn't indexed for phrases only keywords. That latter indexing usually takes a few hours, depending on which data center you hit and load.
Also isn't there a chance you'll just get canned soon? The interview pipeline has existed separate from the acquisition efforts. Visa will have opinions on where they want to go from here.
Thanks, that makes much more sense. I only looked at the domain name matching the package name. I'd still like to remove it but it feels much less worrying.
FWIW, I have the same setup (3.6 forever!) and it doesn't load. Are you sure you have NoScript set to default-deny?
Usually you don't really verify the correctness of existing code; you rewrite it in a language that makes it possible to make guarantees that you care about. In addition, Microsoft needs to allocate their time: which components should be verified? Not all of them can be verified practically yet.
It's not a sound system. It's round the clock house help in a country like India. A driver (instead of working your way through mind numbing traffic every day, twice a day), a chef, a maid, etc.

It's buying real estate to secure your family's future for generations instead of living hand to mouth.

It's sending your kids to good schools or doctors in the West as opposed to hoping to scrape together enough cash to educate or send them to doctors at all.

It would be really hard for a first world person to understand how big the chasm is in less privileged parts of the world.

You do not want to be on the wrong side of the wealth divide.

It's not about speakers.
I couldn't help but notice, you contributed no constructive suggestions for how to improve the situation.

Also, I am fascinated by your mind-reading ability to know what an article writer did not actually say, but was secretly thinking.
If not making or at least suggesting that claim, what's the point, then?
Anyone with a six-figure sale is nearly certain to end up owing more than they withhold (assuming you sell, which you probably should).

If a company hasn't IPO'ed, an 83(b) election may also make sense.
I think the abstraction layers are important, they should not be leaky. You shouldn't have to go up/down the stack. If you can't build what you want with one tool, then choose another tool.
They've appeared to have put a lot of effort into being more polite and respectful recently, which I feel is admirable. However, that sometimes results in a "Please" prefix to the snark. As one commenter alluded to, comments in meta that go against what the majority or agree with an act of kindness get piled on and downvoted. It sometimes feels like there's a built-in culture that is likely to persist. I think that times are changing and there might be an opening for new ways to think about Q&A communities.
The original article as I understood it is breaking a lance for more rigorous selection of experiments based on how much more information the experiments can yield.
With increasing costs in experimentation it makes sense to prioritize for impact.

In a way it is a meta-science because you need to find a methodology to evaluate which theory, when proven or disproven has the most impact.

I would imagine that the current working method would be to look at how often theoretical physicists cite a specific theoretical result/paper and hence "popularity" is the prioritization mechanism.
You can turn off the content detection features in most (all?) smart TVs that include it. I've turned it off on mine.

What's the main benefit of DisplayPort when most new hardware supports Hdmi 2.0, which does 4k at 60Hz?

How would you define lower quality based on viewing distance? What metrics are we going by that we might expect to be worse? There probably are some, but I can't think of any off the top of my head.

Reaponse time is the one that comes to mind, not because of viewing distance but because of different intended use cases, but I specifically account for that when looking for a TV to use as a monitor.
Benefits are much more generous and much easier to get in countries with much higher worker participation. And they have the same video games in other countries too.

And marriage does not cause entry in the workforce, participation in the workforce is what makes marriage partners more interested.

Reduction in benefits has not and is no increasing work participation. There was not spike in worker participation in the 90s when massive "reform" was undertaken. There is no increased work force participation from the cut backs being done now or in recent years. Yet loosening of work safety regulations would certainly be expected to increase disabilities for manual laborers. So the best conclusion is that the supposed cheaters aren't.

Also, if those not participating in the work force are merely enjoying life on theses supposed benefits, one would not expect the already high and ever increasing suicide rate in this sector.

The author's ideology entails denying calls for higher wages by diverting what is clearly a demand/wage problem[1] into a culture war issue.

[1] I'm guessing the author is a fan of Adam Smith where lack of participation is _always_ caused by under pricing. Apparently the author is willing to accept pretty thin evidence to drop Smith when that theory might benefit labor.
To be honest, I think they are trying to make a "thing" where in day to day practice, and both in academic centers and in the private practice realm, I haven't really seen much distinction. Most physicians I know are aware of the major studies, and debate with colleagues and amongst themselves regarding efficacies and appropriateness of treatments. In so much that yes, there are variations between different practitioners and schools of thought, but I haven't seen a binary line in the sand saying "this is conservative medicine" vs. "this is liberal medicine".

There is "conservative vs. aggressive" medicine, which is more based on individual wishes of patients and familes, and also, well, "current" practices versus "out of date" ones that have fallen out of favor due to new research and data, for sure, but to color/frame it on political conservatism vs. liberalism is a bit of a stretch.
In steam trains it is often injected to the chimney to increase draft, forcing more air through the firebox, improving combustion. This of course uses up a massive amount of water.

For this reason most steam engines in ships and elsewhere generally did have condensers & reused the steam as feedwater, as you describe.
I get that, but if you want to remain reasonably safe from a SIM swap attack, this is what you have to do.