skysight-inc/HackerNews huggingface dataset:
> And do you think the implementation isn't a mathematical object itself?

Only if you're taking the Tengmark "mathematical universe" view. The implementation is not necessarily any more mathematical than, say, a table.

> This is a contradiction in terms. By definition a semantics is a mathematical descrpition of the meaning of a programming language, i.e., the behavior of its programs. Sometimes a semantics exposes significant differences between the mental model of programmers and what a programming language really is, but the solution is not to turn a blind eye to reality.

The meaning expressed in a language is some alignment of what the writer intended and what the reader understood. If different readers don't reach a shared understanding then there is no meaning. It would be desirable for our programs to always have meanings that aligned with their behaviour, but we shouldn't turn a blind eye to the fact that many programs don't.

> So long as they have object identities, they are not values. Values are merely represented in memory - they truly exist in the language's semantics.

Any practical programming language will give you some way to find the memory address of a particular value, so values that we usually consider as semantically identical are not actually indistinguishable in practice. We deal with this by only assigning semantics to a subset of the language that excludes those operations. Python without "is" may be more obviously a subset than, say, Haskell without unsafeCoerce, but both are subsets.
Thanks for sharing this, looks interesting.
It’s a political issue, and politics robs words of their meanings.
BlockChain- New way to store data
You’re right that it’s speculative (the UK will retain the laws created by the directives into UK law as part of the “Great” Repeal Bill so nothing might change) but the UK could have higher standards already - the EU directive sets a minimum requirement, not a maximum.

Diesel-gate is a different issue and highlights the weakness of recognising other countries’ testing standards without setting sufficiently stringent regulations to ensure that testing was valid. The problem was that member states weren’t required to do their own testing but to trust that whoever did it had done it correctly while incentivising the testing state to be lenient lest they lose the payments to perform tests.
Fine that they didn't another insecurity as in the latest updates. JSON is still the only secure transportation protocol if you don't use the RFC 9159 simplification, http://search.cpan.org/~mlehmann/JSON-XS-3.02/XS.pm#SECURITY...
Personally I've never found that to be an issue when using JSON as a data interchange format.

The only place I'd like to have comments is in configuration files and in that case there are less verbose formats that do allow for comments.
Scaling design: The start of system thinking
It seems like a weird thing to purposely lookup, however I could imagine someone came across it, "This person watched A Christmas Prince every day for the past two weeks? That can't be right...", and then dug into it more, and mentioned it at the water cooler.
> 1. voters did not elect a Republican government. Gerrymandering has given Republicans wins in many places where Democrats would have won in any other universe. Likely rigged electronic voting machines that have no audit trail have given Republicans votes they would not have had. *Targeted voter suppression campaigns have prevented people from voting who would have tipped the scales in favor of Democrats.

Regardless of the other points, _millions_ of voters selected Republican. Fixing gerrymandering, voter suppression, voter turn out, etc, doesn't change the fact that of those who did vote, picked republican. Fixing those issues may change the _result_ of the election but it won't change millions of people's individual minds.

Millions picked this government and I would guess the primary reason is abortion law as this party seems to like laws that favor corporations over people.
Our team of two developed a simple Bank Statement Parser
I can't agree more with you and wish so much we as a nation would see the wisdom the founding fathers had when they wrote all rights not given to the federal government belong to the states. They were weary of powerful central governments and introduced competition throughout the system to stay the power of wicked men in centralized systems.

Going back to such a system would require incredible tolerance on both "conservative" and "progressive" sides. We would have to accept that within one nation there would be other states regulated in highly different fashions than our own.
We're working with small businesses to help them get access to working capital. We digitise their transactions with big suppliers and in turn fund their inventory.

Two months back we were almost about to integrate a bank statement parser that would cost us an installation of $3200 and additional $2 for each call. Since we didn't find any other parser that catered to all the major banks in India, we developed this.
That's the greatest thing about farms: You never run out of fresh manure.
and JPEG option to use arithmetic encoding. The patent expired YEARS ago and is saves 10-20% of the size. for some reason people still aren't using this option for JPEG (compatibility mostly).
Dalai Lama launches free iPhone app
"we still lack a de­cent high-quality JSON Schema lan­guage"

Yes. Why?
Hi,

(1) Photopea supports ALL PNG images. It can export palletted PNGs with 8 bit alpha (which PS can not for some reason).

(2) Custom Shape tool can do it in Photopea.

(3) Photopea can load APNG (or GIF) and save it back to APNG (or GIF). I.e. you can use PP for editing animations. See more here: https://www.photopea.com/learn/animations

You can suggest and discuss new features here: https://github.com/photopea/photopea/issues
I'm not sure about historical prices of the components, but this article is from 2015, as noted in the footer and in the PDF guide linked at the top.
Did you? The runoff still comes out of greenhouses where the insecticide will be allowed to be used after the ban. What the article implies is the ban will have little effect & advocates a total ban. Commercial interests won.

> The proposed EU ban would still allow neonicotinoids to be used in greenhouses and as a flea treatment for pets. A new Greenpeace study suggests neonicotinoids are frequently found in waterways close to greenhouses where they have been used.
What exactly is your point about white people?

Are you claiming this is about racism? If this was a race issue, the black man would've lost (instead he won both times) and the white woman would've won. Or am I missing something?
The great teachers of math to kids in the US are of course the Ross Program folks. (When last I checked in I thought Boston University's Promys was actually livelier than the original Ross Program at Ohio State.) They basically take very smart kids and help the rediscover much of abstract algebra and basic number theory.

Decades later, I probably couldn't state quadratic reciprocity any more, let alone prove it. But proving the Two Squares Theorem is still one of the best ways to clear my mind of less pleasant thoughts, should I need such a device. It's just a whole lot of fun, even if you go in assuming next to nothing. (I start by proving that the Gaussian Integers are a Euclidean Domain and that all Euclidean Domains are Principal Ideal Domains, and proceed from there. It doesn't take long.)
The answer is yes; either NAND or NOR will work. You're just mapping a finite list of input configurations to a finite number of outputs. Any Turing complete system will be able to emulate it just by enumerating all of the possibilities.
Interview with Typeform Co-Founder and Joint CEO David Okuniev
I like to think of it as 'outside the current set'. Saying it doesn't exist is like saying sqrt(-1) doesn't exist, yet it does, it's just 'outside' the set of real numbers.

In a strongly typed language with a boolean type, a comparison to null would require a type change. It's 'outside' the set of the boolean type.
proven fact

Source?
17 days ago, Western Digital announce "Western Digital Plans to Ship More Than One Billion RISC-V Cores a Year":

https://news.ycombinator.com/item?id=15801044

And one needed only calc one and one together to came to the conclusion WD will use RISC-V as HDD controller - yet my comment got down voted on HN. It would be better if HN only has upvotes, and no downvoting/flagging feature and instead a "report" button.
What's that supposed to prove?

First, I didn't say it can't happen. Just that it's a BS concern to be worried about in the spec.

For one, this thing he is worried can already happen without comments -- just needs a second pass after the parser (or of the parser).

Second, this can already happen without comments and a single pass parsing -- just needs out of band parsing instructions.

Those needing special parsing pragmas can get them anyway.

And the same problem didn't emerge in lots of other formats that allow comments.
I’m not sure you’re familiar with the UK situation.

The country has no green tradition, it was dragged into modern practices kicking and screaming by German and Scandinavian-inspired EU regulations. Their rivers and beaches only started looking clean in the early ‘00s.

The Cameron government promised to be “the greenest ever” and failed to deliver on all accounts, dropping the whole issue after less than a year in power; the current one doesn’t really have a green policy at all, unless you count “build on greenfields” as such.

Because of the hardcore first-past-post electoral system, green parties in England are happy when they manage to elect 1 MP and maybe throw enough races against Labour that “reds” have to listen a bit; but in the meantime they get a Tory government that is naturally pro-business and anti-environment. The only real influence they can have is by winning seats in the proportionally-assigned EU Parliament, where they gang up with the more numerous Eurogreens and deeply influence actual regulations.

Leaving the EU is a tragedy for UK greens, and it will kill any semblance of environmental policy in the country.
Lock out: The Austrian hotel that was hacked four times
State of Voice Coding – 2017
Used this to draw a FSM for a shared videoplayer library we built. Made it a lot easier to communicate changes across teams.

Thought about building something similar with mermaid.js but this has more options and gets the job done.
Sick,sick,sick bastards
>tiny segment of the population with outlier views

I knew a comment like this was coming.

This was essentially the story that the insiders played non-stop from the moment he was elected leader.

He was going to destroy the party.

He has views that are "so far left" that was they are crazy and would render the Labour party unelectable for a generation because that's not what the public would ever vote for.

The media dutifully followed this line, and at one point every single major media outlet in the UK - including the BBC and the Guardian and "traditionally" left wing (although billionaire owned) media like the Independent attacking him nearly non-stop.

The most common complaint I got about him at the time wasn't that people disagreed with his policies (his policies were rarely talked about in the media until the election manifesto was leaked), but that they read that he was unelectable so they believed he was unelectable. At that point he was polling very low because of this.

Then Theresa May called an election and completely pulled the rug from underneath this illusion. Labour insiders rallied behind him out of fear for their jobs and the media followed suit. His polling climbed so quickly it gave Theresa May whiplash, causing a hung parliament in the end.

So much for destroying the Labour party and so much for unelectable.

That's the point it became clear to everybody that it was much, much more than just a tiny segment of the population that shared his views.

And, today, they poll much better than the ruling party. Nothing says "tiny segment of the population" like that, right?

What this all demonstrates is the sheer power of propaganda to shape people's perceptions - yours included - because your line was the most common talking point, right up until it was proven so utterly, completely wrong that even Alastair Campbell - the consummate Blairite Labour party insider - was forced to grovel for being so wrong.

Incidentally, this whole process was mirrored in America with Bernie Sanders. The only difference is he never got to prove that he was electable.
Thanks for this, was searching for something similar the other day, an overview is really missing in this field.
I wrote this after having suffered from some pretty severe RSI a few years back and dabbling with coding by voice. In general I think the landscape is a little hard to comprehend, so I'm hoping this might help someone who's interested in trying it out.
Ticks too, please?
>But wouldn't the sex quality be an obvious indicator?

Of what?

Tons of couples have boring sex anyway -- and the quality could be even better with the gay person (as quality is mostly about caring for the other's pleasure, not enjoying yourself).

Besides, the woman could also be a closeted (to the world) lesbian -- another common occurrence back in the day in such "marriages of convenience", where those had the "normal marriage" for society to see and enjoyed their extra marital same-sex lives too.

It can get even more bizarro:
http://www.dailymail.co.uk/news/article-386300/Wife-didnt-re...
> SQL's null is a value.

It is known to be one of the major controversies because originally NULL means the absence of a value which entails that it is not a value. Hence, if there are no values, then we cannot do any operations. Yet, for whatever reason (avoiding exceptions etc.) expressions with NULL need to be evaluated and hence NULL is treated as a value. So we get a problem: NULL is not a value AND NULL is a value. There are different views on this problem and the solution implemented in SQL (and three-valued logic) is probably not the best one.
Having compared the two, I prefer Bear. It's great; I highly recommend it. Looks good and has some thoughtful touches.

http://bear-writer.com
Wondering at the writer's choice to put "Uber investor" in the title, since the matter doesn't seem to have anything to do with Uber
No, the best performers couldn't get a visa or had to leave the country, because of the cheap Asian imports, who overrun the system. With the proposed min. salary this would have helped a bit, but the numbers are still too high so that many high performers have to work remote. Which hurts the US economy because their workforce will not learn anything from the high performers.

Now with the retracted spouse rule you again benefits Asian visas because their spouses usually don't work. In contrary to Europeans.
Yeah... I thought this would be something about Graal/Truffle and Ethereum...
The positive impact technological innovation can have on your business
Tomu – A 25 MHz ARM Cortex M0+ MCU Designed to Fit in Your USB Port
Tesla largely responsible for slide in U.S. home solar sales
Oh, significant parts of their culture are abhorrent (e.g. child brides) - and I don't think that "cultural genocide" is a thing (we can and absolutely should kill the harmful parts of some groups' culture).

But the whole gypsy thing was meant to be just an example of how a stereotype, while being grounded in truth, can also be harmful due to the instinctive response that it generates (that's because I believe the solution is to integrate them in the regular societies and thus destroy most of their toxic "cultural heritage"; but the prevailing response in our societies is to avoid them as much as possible, which mostly helps to perpetuate the problem).
Sure, but you need to register in advance for the electoral roll, and that registration is linked to an actual known identity (usually via your National Insurance number). And if you arrive at the polling station and someone has already "stolen" your vote, I'm sure you can contest that, no?

That is why your UK credit score has "being on the electoral roll" as a major component - private companies trust the registration process required to vote.
Correct. Banks in Europe hat various 2FA methods in place, even in the early days of online banking around year 2000.
I really liked the write up of this incident, but not the

> It’s become a widely accepted mantra that experiencing a cyber breach is a question of ‘when’ and not ‘if’.

Part however.
Op-eds are generally understood to be opinions, often from stakeholders ina news/policy situation. The problem here is that the author's bio was apparently this:

> Mr. Leibowitz was a Democratic commissioner at the FTC from 2004-13 and chairman beginning in 2009. As a partner at the law firm Davis Polk & Wardwell, he represents both technology companies and broadband providers.

The Intercept's assertion appears to be that Leibovitz's affiliation with recent Comcast deals should be more prominently noted.
This post explains in a very simple way the scientific method (p-values) to prove that a result is significant or not, and the problems with it.

It's crazy that by using a p-value of 0.05, it means that 5% of all scientific results might be false.
>Other non-harmful species can fill their ecological niche.

do you mean the niche of malaria transmitter? I suppose it wouldn't be that hard for another species of mosquito to become a transmitter.

Anyway, out of curiosity i once spent some time correlating genetically modified mosquito releases with the modern Zika outbreaks (there weren't Zika outbreaks before 2007 according to WHO, only like 14 separate cases) - the Zika outbreaks started in 2007 and for the most of them it was possible to find information that there were a release of those mosquito in the area of the outbreak 1-3 years before the outbreak (in the case of Gabon 2007 outbreak it was those mosquito development and testing in previous years on an island off the cost of Gabon. Another 2007 outbreak - Yap island - also seems being a testing ground in the years leading to the outbreak).
Nicely done, I had no idea that so many where working on this stuff!
Maybe she was so sexually boring he became gay. Dead bedrooms can be very frustrating for men as we tend to have a higher sex drive than women in general.

Who knows, it's all speculation.
A big difference is that it took somebody new to the WHATWG (many years later) to admit failure and correct the problem very directly. In the past the WHATWG had a severe case of not invented here syndrome and would troll people to death who disagreed with them.

I know from my own conversations with the WHATWG this wasn't something that long time WHATWG members would admit to (or even understand). It was the childishness, perhaps more than anything else, that nobody took them seriously.

> Regardless of issues like this, browsers track WHATWG DOM near exclusively.

I am going to disagree with you there. Perhaps they do now, extremely recently, but historically this is absolutely false.

> You can see devs from all of the major browser engines commenting in the issue you linked.

Yes, everybody participates in the WHATWG. This isn't new. Participation is different than adopting those recommendations back into your software.

Here is what browsers actually implement: https://www.w3.org/DOM/DOMTR and https://www.w3.org/TR/dom41/

It is important to keep in mind that the WHATWG doesn't do a lot of XML work, but the DOM is markup language agnostic. The DOM isn't something created or maintained in an HTML rich vacuum.
Tech stars of tomorrow have to overcome the giants of today
I'll respectfully disagree. Trump doesn't really care about limited government, balanced budgets, traditional values, federalism, reducing abortion, market-based solutions to societal problems, etc.

He does have a laundry list of issues he tweets about, a subset of which he picks at with executive orders (which, itself, is unconservative) but that seems more like raw appeasement of his political base than anything coherent (or even consistent!).

There are a few exceptions, I guess. He's, at least in rhetoric, for a strong military. Though we're nowhere near a "Trump doctrine" that proposes a coherent framework for that desire. It's, again, more of an id-driven move than anything rational.
You can use `A IS NOT DISTINCT FROM B` to compare if you want to treat NULLs as equal instead of unknown.

Unfortunately it is poorly supported.

See http://modern-sql.com/feature/is-distinct-from
Real-times updates on the next coin to be listed on Coinbase
That is a completely misleading / outright wrong description.

1. It can work with any data storage method you want afaict. S3, B2, GCS, local, etc.
2. It's primary goal is to store your data forever, regardless of hard drive failures / storage companies folding / whatever.
People have been saying that Facebook has removed messaging from their mobile site for quite a while now, and all that time I've been fearing the moment that would happen for me. But it hasn't yet - I wonder why? The main difference I can think of is never having had the app installed, and using Firefox for Android with an ad blocker. You might give that a try and see if it comes back for you.
> This is about the exact opposite of archival: backwards compatibility. We don’t want to split the web into old web and new web.

It happens anyways regardless of what people want. The 90s era web doesn't work properly in modern browsers and 90s era browsers don't work with the modern web.

> 99% of the web’s users are not going to understand when to switch browsers, how, nor why.

This also happens naturally. Chrome is the most popular browser and it doesn't come with most operating systems. That is something users must switch to.
What does the calculation of advantage mean there? The advantage per one nice and one naughty roll (a pair of rolls) is multiplied by the total number of single rolls in a 4-player game.

And I guess an honest player would pick the nice locations as often as naughty ones (there is no reason to actually prefer them). I don't know the rules, so I don't know if there are enough naughty locations to roll only on them without _that_ being suspicious.
Op-eds are often supposed to be seen as different (and interesting) than what the paper's editorial board and columnists typically argue. "Op-ed" is supposed to be an abbreviation for "opposite editorial" -- though of course the pinion editor (who is usually part of the editorial board) has final say in that
Sweet. I like the real-timeness of this :)
You sometimes need to model absence of a reference as well - that's why rust etc. have option/maybe types. Making every reference in the language possibly null was a terrible design mistake for algol, and making every value in the language possibly null was a terrible design mistake for SQL.
If that is the Dubh loch at the head of Glen Muick then I wonder how on earth stuff would get in there - it's fairly remote and reasonably high up. No farming territory for miles.

I wonder if anti-midgie lotions have these things in them?
Probably not clear from the pictures, but the Tiny Titan sits on the observation deck directly in front of the actual Titan supercomputer at ORNL. It's used as a hands on demonstration when tours are being given about how supercomputers work.

A useful tool for explaining the basic concepts in a tangible way.
I believe that opinions that some view as harmful should be given more light than they're currently receiving, however withholding this kind of information is actively harmful and WSJ should face repercussions. I'm doubtful they will.
Which is worse. Null references are at least relatively fail-fast. SQL null propagates and so you get the error a long way away from the original source, like with Javascript's "foo is not a property of undefined".
*whereas in P3?