skysight-inc/HackerNews huggingface dataset:
> true Scotsman

I'm not defending a generalization against counterexamples by trying to exclude them with a moving-goalpost definition.

Mutation and pure procedural programming are part of Lisp. They are part of Lisp when they are bad, and part of Lisp when they are good. I've never shifted a definition of what is Lisp to exclude or include these characteristics in order to suit an argument at hand.
It's not written to be an internet article in the usual "share this on social media" sense. It's a daily email newsletter, that happens to also be mirrored on the web. It recaps the financial news of the previous day with commentary.
They specifically cite that JAMA analysis among others, present the prevailing scientific theory in dietary science and heart disease epidemiology at the time, and challenge their narrative.
Can't get a decent GPU if you can't get a decent CPU
Yep, many companies are choosing beggars; wondering why they can't attract/retain talent. I actually saw a megacorp quoting some study that said millenials "...don't care about money and are looking for fulfillment". While I'm sure that's true for some percentage of any population, I'd be surprised if they raised their wages and their hiring troubles persisted.
What are we supposed to do for tax purposes, if we've mined altcoins for years, traded them in exchanges like cryptsy with no records, and now have no idea about where we got our current stash of bitcoins from?
Ie, we've now got all this wealth which we can't touch because we don't know how much tax we have to pay / should have paid while trading over the years, and are also afraid of withdrawing to the bank with no proof of where it came from?
Could whoever downvote explain? It's a feature that Android had first... The fact is, today, they both have Feature X, so debating who had what first doesn't add to a constructive argument was my point.
This usage seems pretty reasonable. He's saying "Before everything supports IPv6, there will (by definition) be things that only support IPv4."

He's defining a particular scenario, and then using a tautology to clarify that scenario.
If you do startups, find places with healthy engineering cultures.

Try this out website: https://www.keyvalues.com/

You can select multiple categories of what the company values, so you have a better fit before you ever walk in.
I'm assuming you're not diabetic, so how did you persuade a doctor to prescribe metformin?
The Low-Code/No-Code Movement: More Disruptive Than You Realize
from my experience operating in China, its really pretty hostile to foriegn enterprises. If you want to import into China, you face incredibly high import duties. If you want to open a WOFE (wholly owned foreign entity), you have to recursively give them your ownership information so if you are venture backed, they will require your cap table, your investors cap table etc, etc. There is a reason there are very few American products in China outside of the biggest American brands, its simply too difficult and has too much compliance. I love China, but I do think the trade rules asymmetry with the US will need to be addressed at some point. There hasn't really been a detailed and honest discussion about this.
I just can't imagine anything being more "flexible" than Anki, which is agpl python with a robust plugin ecosystem backed by a local sqlite database.
As someone waiting for TS to really dig into it ...

One of the recent posts mentioned that TS defs would be part of launch, but it's been quiet on that front now.

There's a closed issue in GitHub where someone is creating defs themself.

If I remember correctly TS community support was why he didn't stick with it. Community voted and straight JS but with TS defs were going to be the target.
Interesting. While we're off topic, they're also delicious. Slightly sweeter than squid and I find less prone to going tough. They take a little bit of preparation but you get quite a good size meal out of a single one. As a bonus they grow quickly so are a fairly low impact species to take.
Ok, I'll answer. Yes. It is ironic.
If only someone had posted that information to HN
When I told them about it they said that the -rcheck code was inherited from MiniSAT. Since it's also not enabled by default it's understandable that it hadn't been as thoroughly checked as usual. I wouldn't blame them if they just dump it instead of fixing it.

But yes it is strange that it doesn't verify its outputs. On the other hand SAT solvers want to be as fast as possible and there shouldn't be a need to do it if the solver is operating correctly.
Does this argument still apply on Olympics? They are nothing like average people, so I'd guess both genders push the body to the limit.
Note that the stl containers were far from perfect a few decades ago.
The particularly gross thing about the AMP project is Google's abuse of the concept of open source to recruit volunteer technical labor to implement their anti-FB corporate strategy.

It's just corporate astroturfing.

AMP is obviously conceived, funded, and implemented by Google and its employees. If you squinted your eyes and tilted your head just right you could see a "good for the web" angle with faster mobile pages.

But AMP for email & AMP Stories have nothing to do with making the web faster, it's just another part of Google's attempt to essentially fork the web & control the platform so they can compete with Facebook by shoehorning FB/IG/Messenger features on to the web (Instant Articles, Stories, Carousels, "interactive" email etc).

That's bad in and of itself, and for Google to present its corporate strategy as an "open source" project so it can enlist the help of volunteers and those passionate about the web is disingenuous in the extreme.

There are far more worthy projects that could use volunteer help than a $750 billion company's corporate strategy.

Further thoughts here: https://twitter.com/lukestevens/status/963905898895699968
Gone crazy on the beat – NF style
The Sharks do a lot of business with mass consumer retail, so they are well connected. They have existing businesses. E.g. selling on QVC. Not sure if the Silicon Valley investors deal with that kind of stuff? Maybe the YC MO is to let the founder figure that out (so basically the founder is treated less with kid gloves). The sharks do ask for lower valuations than other investors so that kind of goes hand in hand.

I am not an expert in this area, this is more of an armchair comment / question.
I haven't used both, but when I was investigating frameworks the lack of work on ImpactJS, and very active work on Phaser, is why I chose the latter.
> If you knew what chemicals would be effective medicines from the start, you wouldn't need to do research.

I mean that's not really accurate, even if you know a drug will be effective you're still legally required to do the research. There are plenty of drugs we know will be effective in advance, but they still need to be tested. Similarly, there are lots of drugs that we know will have maybe only a 5% likely chance of being effective, but it's worth spending money to test them anyway because of the potential profits. So including the costs of failed drug trials doesn't really make any sense.
I tried Actix a while back and it was very intimidating compared to some other frameworks. I'd like to jump back into it at some point, but right now for my prototype I got lazy and went with Rocket.rs.

Any suggestions of Opensource projects that use Actix?
I mostly used this button after I went to the page and found that the image I wanted to look at was impossible to find or shrunk really small or otherwise difficult to see. What might be better is a "jump to image on page" button.
another example is acthar gel. it was approved in the 1950s as a "miracle drug" for dozens of diseases. it is a hormone extracted from pig pituitary glands that stimulates corticosteroid production, and the research around the clinical use of this drug and corticosteroids won a nobel prize

in the 1950s, synthesizing steroids was expensive, so doctors used the pig-derived acthar (which was actually developed by armour & co, the chicago meat packing company). then cheap generic synthetic steroids gained use and acthar use declined, as they basically had the same effects.

except that acthar worked better than corticosteroids to treat a rare form of epilepsy in infants called infantile spasms, even though the drug was not FDA approved for this disease. however, there were too few patients for the drug to be profitable in that indication, so the manufacturer of acthar decided to take it off the market. physicians and patients revolted, as this was the only drug that worked for a serious disease, so the manufacturer kept selling it though they lost millions a year on it

enter questcor pharmaceuticals, which bought the rights to the drug for $100K. they cobbled together some existing publications and got FDA approval for infantile spasms. they increased the price of the drug from $30 / vial to $30K / vial, and then started marketing it in other indications like multiple sclerosis. there was no real evidence it worked in these indications, but because it was approved in the 1950s before modern FDA standards, it retained many approved indications

questcor was eventually acquired for $6B, and to this day there is no competition for acthar because there is no FDA pathway for making a generic version of a pig-derived drug

there is little backwards compatibility for FDA regulations
Rather than issue an artificial monopoly, what if a "reward" to the company that "did the science" was capped at 2x their costs or X years, whichever comes first. Then it's public domain.

Wouldn't that get SOMEBODY to take the nigh guaranteed investment? I think what rubs people the wrong way is the limitless profits that are guaranteed by government sanctioned monopoly for things that save people's lives. It's a strange perversion of the free market that benefits the wrong people disproportionately.
(this may be an unpopular opinion but...)

The problem with having a healthy lifestyle is that our lives aren't statistics. Big number theory does not apply, we only have one draw, one life and if it happens that we are one of those unlucky ones to get lung cancer while never having smoked or generally lead a healthy life then we still die within a year and there's nothing we can do about it.

Any drastic lifestyle change has costs: serious time, commitment, money and we sacrifice opportunities, things that we could be doing/enjoying instead. So my advice is: for anyone deciding to drastically change their lifestyle to a "healthier" one, do so for all the _other_ reasons (feeling fit and good, looking younger, improved relationships, having more energy, etc) but not expecting for that to increase your life span. Because then you may be up for a one nasty disappointment when cancer strikes and you are left wondering why did you do all that, why did you sacrifice so much. You better have a good answer when that happens is what I'm saying. :) (and that is true no matter what lifestyle you lead)
This is not tax advice - but couldn't you just hold them in one place for a year, convert them to dollars, and report them as long-term capital gains with a cost basis of $0? That might be wrong, but I don't think you could be penalized for _under_estimating your cost basis.

Note: I don't know this for sure, so if someone knows the right answer, would be good to know.
Tweet author here. Note at all of the responses from the site had a cryptomining script added, presumably due to a compromised machine. Our firewall just happened to notice the favicon first. So the favicon thing is just a coincidence and the browsers don't actually run the code in them (I checked this).

Tweet gives wrong picture, but only noticed afterwards when people replied. The site was mining Coinhive, but it wasn't the favicon that caused it.

https://twitter.com/xbs/status/964117597708079104
Oddly enough there's a Chrome extension that supports this, but it's restricted to Google Apps for Education users. https://support.google.com/edu/castforedu/?hl=en
FWIW, I would not recommend Elite: Dangerous as an experience without motion sickness. The game features artificial yaw, pitch, and roll. Even though I'm fairly experienced with VR, and fairly resistant to motion sickness, my first few sessions with E:D were notably disorienting. Yaw in particular is discouraged for comfortable VR experiences.

Once that's passed, E:D also features a lot of small text. Also, the default behavior of the cockpit control panels in VR - appear when you look at them, disappear when you're not looking exactly at them - encourages some head movements that will give you neck pains really quick.

All that said, there's something really compelling about feeling the tight cockpit of a Sidewinder, being able to stand up and walk around the cockpit of an AspX, or looking through the glass floor to line up a landing in an AspX.

+1 to SuperHot & Virtual Rickality, too.
1) commenting on downvotes often gets downvotes (not that it should) 2) It's spelled stalker. A predator stalks its prey. A grocery store employee stocks the shelves.
Inflatable Airplane – 1956 (SLYT)
There's also a Khronos standard in the works: https://www.khronos.org/openxr .
I don't know how much truth there is to this, and I'll check with my personal machines when I get home (I run Linux at work) but when I worked in a retail space, the apps that were pre-loaded varied based on the OEM. Dell got a set, Toshiba got a different set, Lenovo got a different set, etc. Sometimes it varied based on the particular line, like HP would include a different set of games on their laptops that had touchscreen devices, etc.

I'm not 100% confident on this and I haven't worked in Retail for a couple of years thankfully, but I suspect strongly that the apps that are installed are pushed not by Microsoft, but by the OEM in their recovery image. I suspect thus that if you buy a standalone version of Windows 10, and clean install the machine with nothing else on the hard drive, that you won't get those apps pre-installed. But buy a computer with Windows 10 preloaded, and the sky's the limit, the OEM pushes what they want, and Microsoft makes it difficult to opt out.

I'd love someone else to weigh in on this, because I've been distanced from the situation for a while. But no matter how you slice it, users are getting increasingly frustrated, and I think it's a terrible business strategy for Microsoft. They've ruined any potential trust I might have had for their app store before it had a chance to even take off, and I'm not sure they'll be able to recover. If anything, I've got my eyes on Google, who stand positioned to completely shake up the personal computer space with Chrome OS and its budding Android apps support. It'll be interesting to see how the space unfolds.
> I can see why that would rub people the wrong way, but it's also worrying that people were prescribing medicine based on tradition rather than science.

I personally think FDA approval is dubious in cases like the OP mentioned.

We know from centuries of use that the plant is safe. Whether it helps their gout or not is irrelevant. Even if it's a placebo effect, who cares? Trying it out won't kill them, and if it doesn't work they can move on to something else.

Why waste tax payer money "proving" something like this?

I love the protections the FDA gives, but we need to use common sense, too.
Are you taking metformin because you're prediabetic or because you think it can extend your life expectancy (or both)?

Don't you have problems keeping warm, sleeping, and maintaining muscle mass at that level of calorie deficit?

Also wondering what your supplementations are. I take Vit D, Zinc, pre/probiotics but having an aggressive vitamin routine isn't considered ideal these days.
Python is great, and getting better.

Just religiously use mypy. (Gradual typing!)

And profiling, and when something is reallly slow, bring out the Cython.

And when something is still not fast enough, well ...

Release the Rustacean!
From what I gathered so far this doesn't hit the kernel but the process. It seems to turn out that on iOS one of such processes happens to be Springboard, hence the UI (but not the kernel) gets a kick and restarts.

Maybe I missed something though.
Electronics-recycling innovator faces prison for printing Windows restore discs
> Charitable gift annuities don't have the result you describe.

Really? They have exactly the results I described. In what way do they differ from what I wrote?

Charitable Gift Annuities are not theoretical, despite you having gone from protestations that Universities would go out of business for engaging in them, to now saying that I wrote things I didn't.

P.S. A deferred annuity for a lottery is an entirely different product from a charitable gift annuity.
https://www.youtube.com/watch?v=GDwOi7HpHtQ

Here are True Facts about the Cuttlefish
If you never tracked what happened in production, it may have worked most of the time well enough that you never saw how bad it was.

But read https://aphyr.com/posts/284-call-me-maybe-mongodb and https://aphyr.com/posts/284-call-me-maybe-mongodb for an idea of how the promises in MongoDB documentation compared to the reality of the software under stress. And it wasn't just hypothetical either - there are plenty of horror stories floating around from people who ran into those problems in production for uses cases that were supposed to be a fit for MongoDB.

And the performance argument didn't hold water either. As benchmarks like https://www.enterprisedb.com/node/3441 showed, decent relational databases consistently beat MongoDB on the same hardware. Yes, lots of people rewrote bad relational models and saw performance improve. But apples to apples, writing an application against a relational databases in the same way you would against MongoDB resulted in a win for the relational database.

So yes, there were lots of people saying exactly what you are saying now. But the ones who actually tested their systems and ran performance tests came to a very, very different conclusion.
oh, my god. That's a thing of beauty.
Most aquatic animals see longer wavelength colors poorly because water filters out that light just a few meters deep. Below the surface everything looks shades of blue or gray.
Judge Rules News Publishers Violated Copyright by Embedding Tweets
That's a good approach. I suspect, for others (and in my experience) when one consistently comes to The Difficult Card, they might have spent more time remembering that it was hard to remember than remembering the answer.

Or, they agonize over the answer for too long, then when they flip it over, they think "Of course!" but move along almost immediately.

And I think you're right also; when you finally get it, it's hard to forget.
Here we go. The end of believing anything you see.
Or cut the knot. Upload mind to digital facsimile.

Die, per nature's capricious designs.

Robo-you lives smugly without any of this nonsense and can be resurrected if the power cuts out and sent across the stars at light speed with no need for fuel or supplies--breathes

... to somewhere without air.
Headed South? Housing Costs in Silicon Beach Are Skyrocketing
> There were compilers in the 90s which ran a million lines per second (on much slower computers).

Those compilers performed nowhere near the level of optimization that modern compilers do.

> I'm sure some of the LLVM optimization passes are expensive, but those are used in clang++ too, and it's not terribly slow.

clang++ is sure slow if it has to rebuild an entire codebase from scratch.

The main reason that C++ compilers get away with not having partial compilation is that it forces programmers to do the division into code units manually through separate .h and .cpp files. Rust doesn't have this, except at the crate level, so it needs partial compilation instead. It turns out that partial compilation is better in the first place, because compilation units tend to be fairly coarse-grained: .cpp files frequently grow very large.
WebAssembly can't come fast enough.

Really:

> @pufuwozu can you show with a concrete example why you can't write the example code you posted with promises?

Why couldn't him just give a concrete example of what he was claiming that was impossible?
MM and you trust an easily losable, stealable, and hackable phone also prone to catastrophic failure with access to you bank account.

The UK broadsheet weekend financial sections regularly future people who have lost life changing amounts to fraud and the banks response is to shrug and say "data protection"

And you think an "app" based bank is going to be better.
It's not a big-O thing. The optimization passes aren't necessarily huge either; right now, 50% of the time is in LLVM compiling IR -> machine code. The static checks, optimization passes, and everything else are minuscule overall. You can see this with -Z time-passes.

We have some hunches, but nothing super conclusive yet; basically, right now it's all about how much IR we generate.

Don't forget the differences in compilation model; C/C++'s compilation units are much smaller, so incremental isn't as big of a deal.
I love Anki because it has LateX support. I wish you did!

Also, I was not able to create a new category. I am learning Circuits right now, which is not an available category.
I started programming professionally around the same time but I'm surprised that you think Promise.all([]) makes things easy. IMO Promise.all([]) is nice until you start supporting proper error handling.
The short answer is: just do it. You can add any field to any document at any time. That's the beauty of JSON documents without schema constraints. Then of course you need to let your application understand that. But it turns out it's almost trivial to make an application display a phone number field if it finds one, and not display a phone number if there isn't one in the document.
You should look up if your hardware has been used for Hackintosh by anyone else. I lucked out and my PC has nearly identical specs to this /r/hackintosh post and my install went flawlessly:
https://www.reddit.com/r/hackintosh/comments/2mgq9e/everythi...
You should treat transfers from one exchange to another as NOT a taxable event.

Also, you should give users the option to decide whether they want to consider crypto-to-crypto transactions as in-kind (and not a taxable event) for 2017 (US residents).

Finally - ask the user whether they are a US resident or not. A lot changes based on that.

Good job. Ping me if you want more detailed feedback (my HN username @ gmail).
That's already happening.

https://youtu.be/5XDTQLa3NjE

https://youtu.be/8wPAHu_zYDw
Yeah thanks, that's sort of what I'm thinking of doing.
I got most of then when bitcoin was $80 - $900, so I don't mind over pay tax.
Just don't want my bank accounts frozen, assets seized, and to have to prove I'm not a drug dealer or something.
That's great. But that seems like a large commitment. I don't want to die at 70 but I also don't intend on spending my life thinking and working hard on prolonging it.

I'm kind of taking the 80 / 20 approach to living healthy. Don't smoke. Don't eat too too much. Sleep well. See the doctor each year. I'll let you know how it goes.
Yeah, I'm not psyched about it either, but that ship has sailed.

The defaults are what's considered the "official" style; we expect the vast majority of people to use it. Defaults are powerful.
And why would I need to do that send money to some one who doesn't have a sort code and b ac number.
I'm going to play devil's advocate and say that a lot of the things people are saying on here as pros for Linux are capable on Windows with the Windows Subsystem for Linux. At least most of what a beginner would use, anyways.

But to actually answer your question, one of the things I like about developing on Linux is deploying onto a Linux server is a lot easier.
An interesting debate that may be closer to home for English speakers: is ñ a letter? The Spanish alphabet considers it to be a different letter than n, but é is not a different letter than e. https://en.m.wikipedia.org/wiki/Ñ