skysight-inc/HackerNews huggingface dataset:
>> Bernie lost by three million votes.

Just like Obama lost by couple of hundred thousand votes?

https://en.wikipedia.org/wiki/2008_Democratic_Party_presiden...

"What’s a political party for, anyway?

It’s easy to bash the DNC’s joint fundraising agreement with Clinton, or the leaked emails showing that DNC staffers were supportive of Clinton and frustrated by Sanders. The DNC is meant to be a neutral presence in party primaries, and even minor deviations from that position are affronts.

The harder question in the larger one: What role should party elites play in primaries? It wasn’t that long ago, after all, that they fully decided primaries, meeting in smoky back rooms during the political conventions to hash out the next nominee. Before 2016, the reigning political science theory of primaries was called “the party decides,” and it argued that political elites still largely decided party primaries, albeit through influencing voters rather than controlling convention delegates."

https://www.vox.com/policy-and-politics/2017/11/14/16640082/...

I think it is quite obvious that the DNC did everything in their power to get rid of Sanders and put HRC into position. The problem was that she was unelectable and many Bernie voters just decided that Trump will be a better president than HRC (and many unfortunate other things, like HRC's popularity went down after every public appearance, all the left leaning social media declared HRC president, etc.).
> as the net advantage of playing fast with the classic randomizer is still positive.

Only if T-blocks and I-blocks come. If there's a drought of T-blocks and I-blocks, then the combo-player wins.

Combo is currently the strongest strategy, under the current Tetris Guidelines.

If you have "too many" I blocks, you run out of Tetris room very quickly (You can only form a Tetris if you've built up 4-rows of 36-minos, with the last 4-square hole being where you use the I-block). If you have "too few" I blocks, you literally can't clear the hole and die.

My overall point is that the bag-randomizer "buffs" Tetris and T-spin players, while "nerfing" combo play. I argue that Tetris-players are the "main strategy", and probably should be buffed to be stronger.
Because C's implicit integer promotion rules are horrible. If you are operating on two signed types, or two unsigned types, it does what you would expect and converts both to the type with greater rank (essentially more bits). Likewise, if you have one signed type and one unsigned type and the signed type has greater rank then it does the sensible thing and converts them both to the signed type.

However, if you have one signed type and one unsigned type, and the unsigned type has greater or equal rank, then it converts to the unsigned type, despite the fact that the unsigned type can't represent any of the negative values of the signed type, so they get wrapped!

This is the cause of so many bugs.
I've found that whenever I post anything anti google on hackernews I'm downvoted and people call me names.
That's kind of ridiculous, though. You completely lose the sense of the theorem once you expand the axioms beyond those explicitly defined. It would be like saying we don't know whether a boulder will stop rolling down a hill or not...because of the Halting Problem. That's just not how mathematics works.
That's a shame. xkcd is brilliant.
This was fraud perpetrated by Facebook. https://twitter.com/ConroyForReal/status/1052403439613829120 Not saying Google didn't do it too, but I know for sure Facebook was lying.
see https://news.ycombinator.com/item?id=20877700
Or it's just one of 100 coincidences that happen to you every day.

Easy to prove, store a log of all your network traffic, and record all the audio you speak, then when you see a match, go back, find the proof, become world famous
Yeah, I imagine it's hard to prove when the CEO just games the company's performance metrics to improve their compensation package, but self-dealing makes things at least a little bit clearer. I wouldn't be surprised if there's at least one activist investor lined up with plans to take advantage of the situation and start a shareholder lawsuit.

As for a good CEO vs. successful CEO, I guess I don't actually view the later as "successful", because their actions either hurt the company or at least hindered its success. I look at the failure of Sears, abetted by a self-dealing CEO, as a prime example of failure in this area.
"Genius" is a very generous way to describe the slimy crap he does.
> number of hacks

These are not hacks, subtyping and GADT are part of the core language

> ML's type system is much less powerful than Haskell's or Scala's

Yes, but most of the fancy stuff is located in the module language, and it doesn't lack power, it lacks implicitness (until modular implicits would land).
In principle permissions can go in the DB.
Define "so high". If fees are too high, why is anyone paying them? How do you determine what's high?
Oh true
It's 6 million real dollars.
Why not? How else would Google know who not to track? It's not like they can identify you and remember that preference without a Google account...
To me, as someone that doesn't use C in their day to day life, C appears to be a security nightmare. I cannot imagine using it in a production environment that takes any amount of user input.
You're thinking of his incompleteness theorems, not this completeness theorem for first order logic. My response to the parent covers both.
> ..."you can't lose money in the stock market long-term"...

Put in a large enough number of years in that "long-term", and it is true. But many people don't have the time horizons of institutional investors, so what is "long-term" to an re-insurance company might be "lifetime" to an individual investor.

Now, if we could only resolve the principal-agent problem for institutional investors to the benefit of individual participants that make up the institution's backers...
If that's the reason, I'd suggest it's not healthy to have the only reason you're staying together be "legal consequences".
Technically it'll still be using OpenGL, it'll just have system compositor integration via CoreAnimation for scrolling, and possibly some elements in the page like video.
Or maybe it was originally conceived as a cure for headaches and the deers would naturally eat those mushrooms. But more than likely born out of somebody doing something initially that other people would class as stupid, turned out it worked better than intended and caught on from that.

Though I'd like your version too be true. Given we are well aware of drug and the influence of inspiration for many forms of art that have been zeniths in many areas of that. The influence upon science has not been as well looked into that I'm aware of. But odd articles: https://allthatsinteresting.com/amazing-drug-discoveries (though not sure that last one can be counted) with the discovery of DNA having some credit to recreational drugs.
because like the old wall street, it all seems to be about the $$$.
Software companies employed predominantly software engineers and ancillary staff to support them. Many sold mandatory recurring billing "support" packages, which really is no different from SaaS, just framed as a separate invoice line item.

I call my startup a software company because that is what it is. Tech is abbreviation from "high tech", which was the hardware and biotech equivalent.
They discuss the car not having any flat surface to place the cup. Putting a cup between your legs in that situation is pretty common, if not foolproof.

She went into shock and had to be rushed to the ER. 1/6th of her body was burned. The coffee was 30 degrees hotter, putting it closer to boiling than to the average temperature other machines served at. I dipped my hand in a fresh cup of coffee at home just now for reference. I could hold it fine for 3-5 seconds (which should get me close to a third degree burn with McD).

They also had over 700 reports of previous burns -- doesn't that sound like a systemic problem? The jurors, after seeing images of her injuries and reports of previous injuries, increased the punitive damages. I think the amounts are telling:

Plaintiff: ~20k (medical/legal fees)

McD: 800

Jurors: 2.7m

Judge: ~650k

Final settlement: < 500k
I am just criticizing collecting data under the veneer of security or creating a dependence at this point. These are two completely separate issues and the argument for security is used to justify questionable practices.

> If you're in the minority, you should expect to have to do more work to get the right balance of security and privacy.

It is exactly this false dichotomy that I am criticizing here, because it is completely baseless.

You are reading an article that hints to privacy violations.

You can only be secure if your privacy is protected. That is the causal relation between these two needs.
From what I understand, Firefox Mobile isn't one thing. On iOS it's safari under the surface. On Android it's a distinct code-base.

There might not be the level of control that you speak of in the iOS variant.
In my opinion, the interactions between unsigned integers and signed integers are too hard for a programmer like myself to handle correctly in practice, especially being consistently vigilant all the time.

I admit that I didn't understand how the code in the article worked (i.e. why the unsigned check was correct and why the signed check was incorrect) until I read the answer in this comment thread.

I like Java's design where all integer types (except char) are signed, and all arithmetic is done in signed mode. It simplifies the mental model and reduces the opportunities for logic errors.

Signed integers are definitely useful sometimes (e.g. difference of two unsigned indexes). A wide-enough signed type (e.g. int32) can hold all values of a narrower unsigned type (e.g. uint16). So it is possible to design a language without unsigned integer types without losing functionality.
I'm an engineer who has worked on ad systems like this and I'm really struggling to make sense of this article - what hope does a layman have?

Here's my understanding: Google runs real-time bidding ad auctions by sending anonymized profiles to marketers, who bid on those impressions. The anonymous id used in each auction was the same for each bidder, which is in violation of GDPR. If Google were to send different ids for each bidder, it would be ok? Is this correct?

Why would it matter that the bidders are able to match up the IDs with each other, aren't they all receiving the same profile anyway? Wouldn't privacy advocates consider the sending of the profiles at all an issue?
Yeah, I've got 25 megs of disk space.

If you try syncing the whole thing incrementally (rsync style) all you leak is the frequency of your updates
Von Neumann said: "In mathematics you don't understand things. You just get used to them."

For practical purpose of getting the completeness theorem to click, my advice would be to stop thinking about it and instead just use it in a bunch of proofs. The way you use it in the a proof is you say something like "...and since, as we've just shown, this sentence phi is true in all structures for the language, it follows that there is a proof P of phi, and therefore..."

If writing such proofs isn't the sort of thing you want to do, then you almost certainly don't actually need to know Goedel's Completeness Theorem, which is a highly technical theorem whose philosophical, epistemological, metaphysical, mystical, and magical applications are all completely overblown by people who want to sell books.
Zorax Crypto Daily Forecasts and News for 04.09.2019
Anything possibly weapon-like is often discuraged at protests. Most want to be non-violent, even if there is resistance. A boot or a heavy gloved hand is fine.
If you're using Firefox, give the Firefox containers a try. https://addons.mozilla.org/en-US/firefox/addon/multi-account...

Gives you everything you seek from a private session
The alternative is to spend hundreds of hours finding widget-related websites, trying to contact the owner(s), negotiating what ad spots are available, what ads are acceptable to run, and what pricing/terms will work for both parties, then managing that relationship over time to ensure ads are actually being displayed, being paid on time, contracts renewed, etc.

It's definitely possible, but you're just doing everything manually that ad networks do for you. Whether that is worth your time (or worth it to hire someone to do this kind of thing for you...) is up to you.
You are talking about his Incompleteness theorem. This article is about a different theorem, with a different definition of "completeness".
Sure, that would be more cost effective, but less user-friendly. Most people don’t even know what DNS is, and it would be a nightmare walking every single customer through their router’s DHCP settings. Plus, if they cancel their subscription to my DNS, now they have to change it back.
Challenges in Security Audits in Open Source Systems
I think of that as an independence movement, not a revolution.
I don't think this refutes my original point. Asm.js is exactly a low-level subset of JavaScript.

ReasonML doesn't compile to Asm.js. Most languages that compile to JavaScript also want to interop with JavaScript APIs and other high-level JavaScript code. Other posts in topic discuss this exact difficulty of combining ReasonML with the JS ecosystem.
> US investment banks are ahead of the US ones

Crikey I'm a typo machine. Hopefully it's obvious that I meant US investment banks are ahead of the EU ones
The entire top comment and the replies are on an off-topic tangent.
XKCD forums breached – 562k accounts
I think they meant what is true, which is also concrete, technical and unambiguously defined in this setting. But you are very correct to make the distinction between truth and knowledge. Pointing out that many philosophers have believed that knowledge is justified true belief might elucidate the relationship a bit.
The supposed valuation of WeWork gives us some incredible insight into the nature of "brand value" - it looks like their trying to capture the brand of the commons. I think the government is slightly complacent, given they let them trademark "We."
$1000/month jobs aren't just limited to cashiers and janitors... They're also starting youtubers, musicians, artists, models, freelance programmers and designers etc, startups and small businesses. A lot of people would be more empowered to become entrepreneurs and start their path to joining the capital owning class if there wasn't a disincentive to work.
DRM is exactly why i have a ^large^ personal server, and is also what motivated me to learn how to extract data from a display buffer.
> For how many users was this 100% of their business?

… but they still chose to ignore all of the prominent warnings and architectural guidance, not to mention avoiding use of the services which have HA built-in. I mean, I'm sympathetic to anyone who had a bad day with a forced learning experience but it's not like this is some dark secret.
Ah, apparently its close relative is not the eurasian gooseberry but the cape gooseberry, which is the same genus as the tomatillo. They're also nightshades like peppers and tomatoes, but so is tobacco.
But for a large number of 9s of people, AWS's 9s are their 9s.
Especially when you have one of the largest advertising budgets in the world!
also https://en.wikipedia.org/wiki/Rose_Revolution

there have been quite a few "successful" revolutions.
Oh no doubt.
Underwriters are not allowed to lend out shares for short sale until 30 days after the IPO. Other investors could lend out shares but there are not going to be that many shares on the market right after the IPO.

https://www.investopedia.com/ask/answers/05/062905.asp
The major reason why I think UBI is a bad idea is that money is a unit of measurement, not a quantum of consumable production. The flow of goods and services from producer to consumer is lubricated by money, not entirely controlled by it.

That economic fluid, like blood, has to circulate in order to be useful. In many places, the flow is very asymmetric. A region has natural resources, or a cultural significance, or a coincidental concentration of skills. But for whatever reason, the value is then extracted and sent elsewhere, rather than staying in the community that produced it. Absentee landlords take their rents and spend them in a different city. Chain and franchise businesses send their profits to distant owners that spend their dividends and distributions elsewhere. Worker wages are sent to families that live in another city. Local money is spent mostly on consumables instead of development capital.

When owners don't spend money where they earned it, it becomes a circulation problem. The work that people do in their own communities is then being used to develop and improve someone else's community. Coal miners in West Virginia are actually digging up million-dollar houses in Washington DC metro area. Farmers in Iowa are actually growing luxury cars in Chicago. Software developers in New Mexico are actually launching a new live-act auditorium in Las Vegas. All the work done, everywhere around the world, is developing mostly the places where the owners live, and those people don't want to live in undeveloped places, even if those places are only undeveloped because all the development potential is continually sucked out to be sent to the owners.

So what is needed is universal basic ownership. If you just dump helicopter cash onto an undeveloped area, the owners can suck harder on their rent straw until they drain away all the excess. Live in a home you own, with no mortgage, and there are no checks being sent out of town for rent or interest. Buy fiber-to-the-home network access from the municipality, and the service fee is not being sent to Comcast or AT&T headquarters; it's being spent on local capital and jobs. When most of the ownership is local, it's much easier to balance the production that the community exports with the consumables that it imports. The only way to unbalance it from there is to make the community want more imports, without buying more of its exports.

That extra cash in the mailbox isn't going to fix the economic problems inherent in locally unbalanced earning and spending. It is only a short term fix to tax the high-ownership individuals and move the money to where it should have been spent. It's like performing a cardiac bypass without also attempting a lifestyle intervention with the patient. That new flow route will work for a little while, and then it too will get clogged with calcified plaques, just like the others. UBI treats a symptom, instead of curing the disease, which is that too few people own too much property, and thus they literally cannot spend enough in all the communities in which they own that property to keep them all healthy.
In think either our idea of "by definition" or something else differs.

Viewers get ads matching their interests, as proven by the fact that they are on a related website. I don't see how that isn't "matching ads to viewers"?
In dired-mode, now you can zip a directory using command 'Z' over the directory. Wow!
Node v12.10.0 (Current)
> Then what does produce democracies?

European history is not a secret. It was mostly gradual reforms over decades, ending in women's vote around 1920.

On another level, you can think of it as a rising middle class demanding and getting political influence proportional to their economical power.
While this may be true, recently I started using Google Flights and couple of days later I started receiving email ads (ads in Gmail) about flight cancelation insurance.

So the link is there.
I still don't understand what the security issue is. In case of num < 0, malloc will be called with a negative number, which will be converted to size_t, resulting in a huge number which will most likely fail to allocate, returning NULL. Even if it doesn't, I don't see any way to exploit this further. What am I missing?
What is up with these names? For a moment I felt either dyslexic or like I’m experiencing a stroke.
I'm trying to advocate for more intellectual honesty and clarity. It can certainly be a lot of fun to just take a thought and run with it, and while the exercise can lead to useful insights, people are also prone to seeing patterns where none exist and stating their own ideas as if they were fact.

I think it's important to pay attention to how you communicate your ideas, because it's very easy to make completely baseless conjecture sound convincing to yourself, let alone other people, if you're not careful.
Kellogg plans bleeding burger as it plays catch up for faux meat
| Cuvva | FE/BE/Mobile/Data/Platform Engineers | London UK | Onsite, Full-time | https://www.cuvva.com/careers

Cuvva is a startup building insurance in a new way. We use Go and Node with React, iOS(Swift) and Android(Kotlin).

We love hiring smart fun people.

Apply here: https://www.cuvva.com/careers
The JS part definitely leaks through even with asm.js, particularly the lack of native 64-bit integers.

The further away you go from Javascript, the more performance issues you encounter and the larger your build size becomes.

Of course in theory nothing stops you from having an entire turing-complete VM inside JS, but that's not what you want for real deployments.
A neuroscientist friend of mine says Lumosity is not just junk science, but junk implementation of junk science. I would imagine just about any real puzzle solving task would have a greater impact on cognitive ability than the specific case of Lumosity.
That test almost certainly wouldn't trigger your CotW GI issues -- I also have issues with CotW unless it is cooked to death, but 1/4t wouldn't do anything, so with that test you'd still be surprised by the GI issues the first time you ate a bunch.
And investors are looking for anything to generate returns which leads to blinders.
All the marketing for Lumosity reeks of unclaimed benefits/snake oil. At least Portal 2 is objectively fun and rewarding narratively to play.
A study of only 8 hours isn't much of a study at all.
I love languages, and I want to use languages with powerful, sound type systems on the web, but I don't want to do it at the cost of shipping much larger amounts of code, making for a slow initial render.

A vanilla JS todomvc app is 10KB of JS (plus some analytics code for some reason): http://todomvc.com/examples/vanilla-es6/

The production build of the ReasonML todomvc app ships 5x as much, 56KB JS.

How much of that is a static runtime cost, and how much is just the cost of translating ReasonML into the corresponding JS? An extra 40KB isn't great, but it's not a dealbreaker. A shipping 4x-5x as much JS would be, in a lot of cases.
Coincidentally, I last played this game about a week ago. The article does a better job of describing it than I could, but I will say that it's a deep game worth playing many times over. You'll keep learning quirks and tricks and optimizations for years.
Whoops. I thought about deleting the comment but hey maybe someone will find it useful.
Have to say, I liked the original in the floor console. It wasn't "fair" except in the sense that the chance was evenly distributed, so when I was playing against my friend, over a period of 2-3 hours, the positive and negative breaks evened out (like in backgammon - play it enough and the randomness from the dice rolls gets netted out). The bag approach seems too easy.