skysight-inc/HackerNews huggingface dataset:
It's not directly useful for Maduro. They bought the bonds in the secondary market for a seventy percent discount. Maduro made no money off the sale. And at that large of a discount I don't think he'll have an easy time selling new bonds to anyone either.
Which option works on a chromebook?
Older Adults Learning Programming: Motivations and Frustrations
cough java was supposed to do all that, right?
Thank you for clarifying that.

What you're asking is something that the logic programming community has asked itself very often, but it's very hard to answer with any certainty.

One thing that should be noted is that Prolog was very popular, for a brief period of time, in the 1980's. For instance, check out this year's TIOBE index report:

https://www.tiobe.com/tiobe-index/

If you scroll down to the section titled "Very Long Term History" you'll see Prolog listed as the 3d most popular language in 1987 (behind Lisp in second place and C in first, and before C++ in fourth). By 1992, it had dropped to 14th place and then it was pretty much all downhill from there.

As a personal anecdote, I've read a number of Prolog texbtooks from the late '80s and early '90s that begin with saying that it is very important to learn Prolog because it is sure to become a very popular language in the future.

In other words, Prolog did have its time in the sun. But then it fell from grace.

As far as I can tell, the most likely narrative to explain this meteoric change in fortunes is the one that pins the blame on the association of Prolog and logic programming to the Japanese Fifth Generation Computer project. This (theoretical) explanation of the rise and fall in popularity of Prolog is proposed here:

https://vanemden.wordpress.com/2010/08/21/who-killed-prolog/

In short, how this story goes is that, when Japan chose to use logic programming for its Fifth Generation Computer project, which was seen as potentially extremely disruptive by the West, companies and academics in Europe and the USA suddendly took a great interest in Prolog, thinking that the Japanese must know something they didn't. Then, when the Japanese project flopped, it took Prolog with it.

I stress again it's just a theory, but, to me in any case, it's at least very plausible.
With the government owned oil co being the issuer, this looks like a pretty smart bet by Goldman.

If oilco does not default, great, you get a ridiculous discount and a high coupon.

If oilco does default, great, you have ample of collateral in tankers and other tangible assets you might be able to recover, so the recovery rate will be higher than the 30 cents that Goldman paid on the dollar. Also, whatever happens with the venezuelan government, the new government will also want to have a functional oilco.
Google had a lot of people working on NaCl and PNaCl for a long time before they started working on WebAssembly.
In that case, unless your code was horrifically formatted or just plain bad, I think I'd go with my first answer and say you've dodged a bullet.
That might be true, but I'm more interested in reasons behind it. Surely it isn't something like "well, this seems like high quality, therefore I will not use it".
Nest’s latest home camera is the super smart Nest Cam IQ
I agree, they're listening to someone else, and not their own bodies. But that's like Oprah more than it's Uncle Sam. People hear what they want. And anyone who says "Eat whatever you want because your 'body type's doesn't matter."

Futhermore, at some point don't you look at your expanding waistline, look at a non expanding friend and ask "What's your diet and lifestyle like?" Or do you just blame the system?

No doubt it's tough. No doubt being mindful of what goes into your being - mind and body - is tough (#sarcasm). Why be your own (gate) keeper when you can just let loose and let someone else pick up the tab?

In any case, I do agree with you to some extent. So let's talk about that as part of the problem. But we don't. We blame the system yet refuse to talk about health. That's clearly not working.
It's impossible to program what is inherently broken unless of course your software was full of glitches and had as many bugs in it as our governments. You can of course debug, but the glitches are impossible to predict, and thus program.

If you were to remove all elected officials from the equation, then programming becomes a much more straightforward task and could be done following due process. In an ideal world passing laws/policies would be a matter of logic, where the benefit of citizens and planet are the primary objectives. However, given the interests and persuasions of individual players, and the influences of third parties, even the deepest of phycological and analytical appraisal tools would come up short when trying to predict the decisions of any given policymaker.

Maybe that's the way to tackle this, remove the protagonists and concentrate on the system. Once you have a schema of the system, you could attempt to integrate the variables. Good luck with the latter.

IMO, I would start again. Determine where the power is now, and think about where it should be. How the decisions are made now and how they could be made better with your system.

You may already know about it but if not, this might give you some inspiration: https://www.globalchallenges.org/en

In essence, there is a 5m prize pool for someone/team to come up with a UN 2.0. One that works. That would entail fixing governments for any kind of UN to work effectively.
+1 Instead of "can I import X", please allow import preprocessor to import any kind of data. People can write customer pre-processor script. ( sometime for sanity check ).
Who killed Prolog? (2010)
But would they have the same incentive to take risks? I hear you -- I want them to do well too, and keep making cool things, but giving them too much help may kill the golden eggs. Or something.
> Sad to see it's an Electron app, but I don't want to start this flamewar all over again

Then stop mentioning it. Just don't use anything electron and don't mention it. I will use my RStudio and VS Code.
Depends how you interpret it. Could also be due to any of the following:

- low wages meaning lower contributions

- low investment returns

- changes to the tax system

- they started contributing signifiant amounts later in life due to other pressures
Ethereum is mined on GPUs (that's why Radeons are out of stock everywhere all the time :D)
Makes sense, but I still see the reason oppressed people would make a stink.

If only to broadcast that it will be bad optics for any foreigner to support the current regime...or even appear to. Propaganda is likely going on both sides.
> I just wish I knew how to make that thought agreeable in the US.

Maybe relieving employers of the need to provide all full time employees with fringe benefits (ie. medical insurance)?

I don't know if this means we need a publicly funded, single-payer, healthcare system, or if there is a more attractive solution. But the way a person's healthcare is tied to their employer in this country is rather bizarre, and I'm sure it is widely regarded by businesses as an incentive to avoid brining on more full-time people.
Absolutely. There are plenty of examples where the job completely dictates the hours: Operational roles can either require shifts, or on-call availability. And hours only get worse for people with critical skillsets!
Been using this daily. Great tool. I almost forgot the awk commands :) BUT I still love awk!
The Milestone Referral by Viral Loops
> I do the cold rehearsal in my hotel room a half-dozen times

How do you prevent getting bored? And how do you prevent your audience to notice that you're bored giving the same talk for the Nth time?

These are actually my biggest problems giving presentations.
William Bialek has given week long seminars (4 hours a day over 4 days) in biophysics with just chalk and blackboard.

amazingly well
Good point about the existence of various TeX engines. I recently wrote an article for Overleaf on this exact topic---attempting to explain some of the confusing terminology surrounding "TeX" and the evolution/development of various engines. The piece is called "What's in a Name: A Guide to the Many Flavours of TeX" If anyone is interested, here's the link: https://www.overleaf.com/blog/500-whats-in-a-name-a-guide-to...
The forgotten history of Japanese-American designers’ World War II internment
Hi everyone!

We're launching a new Viral Loops template to help companies gamify their referral program with company swag and milestones!

It's called The Milestone Referral

We got inspired by our favorite men's grooming brand, Harry's and the best daily email for tech and business news, The Hustle

In a nutshell, it can help you build your email list faster, get more signups, run prelaunch campaigns and build a community!

Feel free to shoot me with any questions and make sure to take a look at our special gift!
This makes sense given we know that some nontranslated RNA has biological activity , like tRNA and rRNA. I was under the impression that "junk" DNA referred to DNA that was not transcribed.
Looks pretty cool to me, it shows complex behavior from simple rules which should add an extra layer of understanding to real programming. The video did make me wonder something: have there been done scientific studies that show that adding acoustic guitar music to the background of a crowdfunding video increase donations? Since such music is so commonly added to those.
Qualcomm announces first OEMs for Windows 10 on Snapdragon 835
Foursquare and Reddit the “front page of the internet” adds location
Tea has caffeine, IIANM regular caffeine intake has long term effects on sleep.
I think it's two things.

If you write a lot of F# then if anyone leaves you need to replace them and it's harder than finding a C# developer.

Secondly most of the libraries you interop with are C# and so you have to go through interop which is more annoying.
I seem to have this thing for honesty. If I intend to "work from home" but really do everything but, then I'd rather just work out some deal. Plus I like coming to the office, it's social.
Horses in London 1903: https://www.youtube.com/watch?v=v-5Ts_i164c
Ranked: The 50 Best Cities for Millennials to Live Right Now
How-To Prepare for the Upcoming Manufacturing Renaissance
I believe my http://easymorph.com would also count as competition. It loads CSV files and queries databases, filters, pivots/unpivots, cleanses, aggregates, merges. Free edition. Windows only (yeah, Mac owners, I know).
It would also be interesting to extend this language to the one that also has partial conditions satisfied, e.g.:
- We have a set S of tuples (a,b,c) sorted by (a,b)
- We would like to sort S by (a,b,c)
- Therefore we only need to only sort subsets (a,b,cx)

By the way, permutation sort would be reducing the sorting algorithm to a problem of search in the configuration space of N variables. Speaking generally, you may reduce any problem to a search problem; so this doesn't only work for sorting.
The huge spacing is actually an underfull hbox (i.e. TeX couldn't fill it enough, so had to stretch the spaces). An overfull box is a box where the contained text overflows the box; usually it's a line where the end juts into the margin, which is even uglier than the underfulls, IMO.
OpenRefine http://openrefine.org/ for years has been my go to tool when looking at csv or tsv. I really love this project.

> OpenRefine (formerly Google Refine) is a powerful tool for working with messy data: cleaning it; transforming it from one format into another; and extending it with web services and external data.
> every web browser maker seems to think that autoplay videos are great

I'm pretty sure autoplay is now only allowed on videos without sound — as a replacement for the massive waste of bandwidth that is animated GIFs.
This is a good question IMO. As functional languages go, it seems like it should be pretty appealing, especially now that .NET is starting to open up a bit. Good runtime, vendor support, can leverage .NET libraries.
Yeah. Thanks. And nevermind that cost is a function of demand. It's simple...they cost more because they can. People's health is so f'ed they have no choice. Try this: look at the cost of those pills and then look at the p/c occurrence of the diseases they enable in that country? Again, go back to the pull quote from the OP.

Decrease demand (i.e., stop eating and lifestyle'ing in ways that are unhealthy) and prices will fall. But we refuse to prevent the preventable, and then complain about costs?

My point is simple. You can't talk responsibility about healthcare and costs without talking about personal health and personal responsibility for health. Health and healthiness drives healthcare cost.
i like the idea that tuesday is the day off. Makes sense.
The problem isn't so much of setting up a CI server as much as the fact that the task requires some time and resources from potentially other people. It might need approval for a simple VM with some disks, for example. But more importantly, use of such a server oftentimes means you need some time from other engineers to setup CI tasks including QA, security, etc. Anything that requires team consensus potentially requires meetings and some formalization.

But really, management that doesn't keep up conceptually with the business trends of software engineering management are low performers in the same way as engineers that refuse to learn how to improve their code even if it doesn't directly impact their immediate codebase (functional programming patterns as an embedded software engineer comes to mind).
Haskell threaded runtime can have poorer performances than the non-threaded one on single threaded programs.
Why manufacturing jobs are coming back to the U.S. as companies buy more robots
How your blue collar ancestors are impacting your white collar compensation
70% of par, 30%~ from where they were trading throughout the month.
ALWSL (arch on bash on Windows) now sponsored by Fastly
I doubt we'll be seeing desktop ARM systems any time soon, especially high end workstation or enthusiast systems.

The problem is that the ARM64 architecture is completely different from x86-64, which almost every desktop application is compiled for exclusively.

Remember when Microsoft launched an ARM Surface? It had a special version of Windows, and almost nothing would run on it, as very few applications are compiled for Windows on ARM.
> US+EU to fund AMD

IANAL, but I don't think this would be legal under WTO rules. It would be seen as an unfair advantage to AMD, and Intel could complain to the WTO about it.

Something similar happened recently when Brazil accused the Province of Quebec of funding Bomardier (who competes with Embraer). [0]

[0] http://www.reuters.com/article/us-brazil-canada-wto-idUSKBN1...
Physical goods need maintenance and continued investment sometimes too, not seeing a differentiation here between software and other goods. Could you perhaps expand on hire you perceive then to be different enough to warrant additional protections?
Chic Up a Wardrobe by Getting Designer Ladies Purse and Wallets Online – Blog
Hōkūle‘a Crew Celebrates Equator Crossing with Ceremonial Protocol
If a company starting doing this, it would be a real boon for recruiting. It's pretty hard to compete w/.
But why. If you're gonna take special steps to handle `util.promisify` you might as well just offer a Promised API and skip `util.promisify`
[author of the linked article here]

I get bored while practicing (and it’s getting worse as I get better) but the audience changes everything for me. In the absence of special talents, plowing through boredom and practice anyway is what separates good talks from mediocre ones.
The cognitive differences between men and women
Enthusiasts tend to be gamers, and once you have a high end machine, most games tend to be limited on disk bandwidth, which affects load times.

By consumers, I meant enthusiasts, since that's who the Threadripper (X399) and Intel's Extreme Edition (X299) platforms are aimed at.
Can someone explain why it's not simple to brute force the hash in the blind index? Since SSNs only have 9 digits, that's a billion possibilities. Is this just a hash that's too slow to iterate over the billion? Is each row salted differently?

Edit: I'm asking because I don't know, not because I'm saying it's possible.

Edit2: Also, it appears there was a pattern to SSN issuance prior to 2011, so the problem space may be far short of a billion. No numbers start with 00 for example. Also, there's a listing of numbers not ever issued[1], and a table of "highest assigned"[2]. Since SSN's issued after 2011 are children now, they can be safely skipped, as they aren't as interesting for fraud. Also, if the State of residence is cleartext, you can search that space first if you assume a large number of people live in their birth state.

[1]https://www.ssa.gov/employer/stateweb.htm

[2]https://www.ssa.gov/employer/ssnvhighgroup.htm
[author of the linked article here]

In peak irony, I’m actually considering to make it my next year’s talk. It’s too long for lots of people to read, but I think I could make an entertaining talk out of it.
Does this anyway mean that Goldman will have its hands in the oil can once Venezualan Govt. bites the dust ?
Show HN: Your own Google Photos in all of your new tabs
Then every CPU instruction is just (Universe -> Universe) :D
Realistically speaking, what's the use case for something like that? And secondly, how much a mobo like that would cost?
Knuth spent all those years getting rid of bugs and this guy wants to bring them back? I didn't get that impression.
latexmk -pvc
Goldman bought a lot of Greece debt that it knew wasn't great and made tons:

https://www.thenation.com/article/goldmans-greek-gambit/

Goldman Sachs was also very involved in selling subprime mortages to unwitting investors. Goldman Sach has had to deal with lawsuits that it wasn't acting in its clients' best interests:

http://articles.latimes.com/2010/may/16/business/la-fi-hiltz...

If Goldman Sachs is involved, you are likely getting fleeced in some fashion, you probably just do not realise it yet.
I found the discussion about the CVE more interesting than the bug itself.
Ask HN: Trying to focus on a programming path between Game Dev or Fron-End
I'm trying to choose a programming path so I can start creating a portafolio. Right now i have discarded back-end. My options are Front-end and Game dev.
I like the visual(artistic?) side of programming but i can't focus on choosing one or the other.
In your opinion what are the pros and cons of front-end and game development?
Violence is soaring in parts of Mexico that supply America’s heroin
Seriously, and even if tex isn't perfectly secure, who cares? I don't think people compiling foreign latex documents is a big prize for any hacker, there's just so many more easily weaponized attacks.
Priuses are pretty, I think. But perhaps you'd enjoy something like Hyundai Ioniq -- it's more traditional-looking.
IBM’s Remote Work Reversal Is a Losing Battle Against the New Normal
i didnt say that people dont use it BECAUSE its good. that its good simply doesnt matter to them.

almost nobody is using erlang. one of the best languages out there.
How to Hire a Programmer: Complete Guide
The only reason why this is even made public is because Goldman is a big and easy target. There are mutual funds that I wouldn't be surprised a bunch of people here hold that easily dwarf GS in this space.
> You'd think that ST itself can be implemented in pure Haskell, maybe with the usual logarithmic slowdown. But unfortunately no one knows how to do it, and there's a strong suspicion that the (pure) type signature of runST has no pure implementation at all ...

This information may be out of date. There are now at least two Agda formalisations of runST (by Andrea Vezzosi and András Kovács), and a paper by Timany et al. on the subject of runST has been submitted to ICFP'17.

http://code.haskell.org/~Saizan/ST/ST.agda

http://gist.github.com/AndrasKovacs/07310be00e2a1bb9e94d7c8d...

http://iris-project.org/pdfs/2017-icfp-runST-submission.pdf
My Raspberry Pi does almost all things that I would like to do with a computer. I could definitely imagine buying an ARM based computer.
Eliud Kipchoge ran a marathon in 2:00:25. ¯\_(ツ)_/¯
Is Losing Clothes in Dry Cleaning Business Your Daily Routine?
Maybe something like this:

Equivalence: unification of types (can't make I'll-typed substitutions)

Output only effects: have your language define only one such monad

About to depart on a flight, so can't elaborate further.
> When you only have 10$ in bank to buy a lunch you buy it for max 10$ but if you have 100$ you have to force yourself to spend only 10$. you probably would not.

I would agree with you but this is not the situation we're talking about there. The OP is totally comfortable living with 50% of the income; clearly he's not counting pennies when he goes out to get lunch, and I assumed that's not a situation he's looking to get himself into either (but if he is for some reason, then OK, you're right).

It very much seemed like he'd be still living pretty darn comfortably and getting everything he wants at 50% pay. Unless you like to spend money just for the hell of it, I don't see why you'd spend more on your lunch just because you're making more money, when you're already eating whatever you want anyway.

> when you get your child, the extra time that you have if you work less will be spend between you, your child/family, your alone time ( if you value it, will be not even close to 50% ) and because having a family is way more expensive, all the money you saved when working 100% and supposed to save 50% would be spend 3 times faster then when you where alone, and then you would have to go back to work.

I was thinking more like, invest the money in something instead of directly spending (say) 10 years' worth of 2x salary in like 3 years of daily life expenses. Maybe even use it to start your own business and dictate your own hours... so many possibilities I can't even think of when you have the money.
Functional languages are less popular. They are harder to learn and to use.

Proprietary platform are less popular. And .net is was very closed at the begining.

Non cross platform languages are less popular. And mono is not really that great on linux.

Plus the usual communication, timing and hype factors.
I fear it's trickling down to other areas as well. Here in Israel, I hear about this too, and it's terrible.
Do the extra PCIe lanes help the GPUs for deep learning applications, or is the data typically pretty localized on the GPU board?
I used F# for a time and ended up disliking it. The syntax is poor IMO and some bits are quite quirky. I love using Clojure though for functional programming. Most of F#s ideas come from the Lisp world anyway, but they also tried to shoehorn on a type system. It doesn't work that nicely in the end, and I don't think you get the full power of functional programming because of it.
C# interop doesn't seem that hard:

https://fsharpforfunandprofit.com/posts/completeness-seamles...

Also, from what I've read it's easy enough to use F# code from C# if you wrap it in an object. F# is multiparadigmatic, including support for FP and OOP.
Venezuela doesn't exactly have the greatest reputation with foreign business interests; especially oil companies.
Perl 5.26.0 is out
Given that I'm actually in the former camp due to my love of travel, the way you phrased this is pretty condescending to people who hate spending money on concerts, hotels, airlines, etc.

Additionally, many people who like to buy 'things' are getting them for the experiences they provide. For example, it's hard to argue that someone who buys a VR system or a hot tub isn't getting 'experiences' when they use them with family and friends.

Just something to consider if you ever use this to berate people too 'materialistic' for your tastes.
I find I work more when I work from home. Partly I think because making my effort level visible is more important when people don't see me in a chair all day.

But yes, it's still nice to not have to keep up appearances when you for whatever reason can't concentrate.