skysight-inc/HackerNews huggingface dataset:
The PL academic community here in New England seems to use the word in fairly broad sense. (Admittedly, type theory isn't my area, and they very well may use a different term when they actually write papers.)

There seems to be a lot of variance in what people mean by gradual/optional typing.

For example, Pyret (a language I work on) has both typed and untyped semantics. In both semantics, bindings can be optionally annotated with a type, and any Pyret program can be executed with dynamic type checking, or can be first statically type checked before executing (but doing so does not remove the dynamic checks). What should this be called? The practical effect is much the same: users can gradually add type annotations.

On the other hand, it's a far simpler approach than typed racket or reticulated python. We made the conscious decision only to include language features for which we had a static type-checking story for, wrote the compiler as if there was no static type checking, and then wrote a type inferencer/checker for the language which can be optionally enabled.
Your factfinder deep link breaks for me.

If you go to https://www.census.gov/govs/local/ and click "2014 State and Local Summary Table by Level of Government and by State", "General revenue from own sources" is $2.16 trillion.

It also has a number for federal transfers, $600 billion.
For the record, this exact search with Google Assistant did not provide an authoritative answer for me and instead gave a bit of a voice summary and a link for more information. This is still way better than just directing me to the search with no more voice feedback.
Just like any other company that has a community edition and a paid version. (See owncloud or nginx)

As author he is at liberty to publish his own product under whatever license he wishes.

And if he wants to sell a "enterprise" version under a proprietary license he is free to do so.
Show HN: Translucent/Transparent taskbar program for Windows 10
It's not about culture but about traditional versus modernity. There are lots of philosophers who wrote about this. To give some examples:

- Ken Wilber's Integral philosophy attempts to bridge "soul and sensibility". It includes a discourse on modernity and how it breaks with tradition, how post-modernity is not the answer. He pulls in work from other philosophers, one idea being that modernity breaks the Great Chain of Being.

- Christopher Alexander, the architect who developed (with collaborators) the idea of pattern languages (which later directly influenced the schools of object-oriented patterns and human-interaction UX design) originally developed the pattern language that ends up incorporating traditional modes of design. That is, by creating a pattern language where it is impossible to create a bad, incoherent design, and is simple enough for end-users to use, you end up with design that is always contextually appropriate and sensitive to local community values while adhering to global principles discovered through modernity.

He then went on to develop the ideas around "centers", and "centers of centers". (With "centers of centers" having a parallel with Wilber's Integral philosophy, or Koestler's work on holoarchy).

This is no longer about the "Western" world or "Western values". China, for example, is going through a transition which struggles with modernity vs. traditional. My favorite example is the discussion by the Chinese elites about the film Kung Fu Panda.
So Intel is now resorting to threats, is it a dying gasp for x86? Wow we'll all need to recompile. Thank goodness for Linux.

Article is written by the Intel General Counsel...

> Only time will tell if new attempts to emulate Intel’s x86 ISA will meet a different fate. Intel welcomes lawful competition... However, we do not welcome unlawful infringement of our patents, and we fully expect other companies to continue to respect Intel’s intellectual property rights.
> would mean no inertia and thus no centripetal force

Wouldn't that allow infinite acceleration?

Without inertia, if two objects collide elastically - what controls the final speeds?

I don't think you can just get rid of inertia in a thought experiment and expect results that correlate with the real world.
There are a lot of things I miss about working from home, but the biggest is being able to get up and walk around while have conversations with myself aloud.
Yes, this article assumes (rightfully) that people are using redux saga and need help with it.

I just found the whole concept of redux and redux-saga a bit strange. It seemed like people don't want to use observables for whatever reasons and try to push Redux to solve these async problems.

Your article is good, I just had the feeling it wouldn't be needed if people would use better suited abstractions in the first place.
Softbank is buying robotics firm Boston Dynamics and Schaft from Alphabet
What you do during your degree matters more than how quickly you finish it and enter the rat-race.
$19.99 per month for 2TB plan [1].

[1] https://www.google.com/settings/storage
There's a facility in Switzerland which does exactly that: http://www.alpiq.com/news-stories/media-releases/media_relea... It provides "negative balancing energy" and turns water into steam.
Wouldn't it only take 13 billion years if you'd started at the big bang and a photon that had the wavelength of the then observable universe (since space stretched under it)?

I also have to ask how that jives with it being a quantized change: either the photon emits or it doesn't (since a photon exists with that energy or it doesn't) -- or there's some probability distribution that we'll detect the photon (which might change over time) -- but how can it be half emitted 46 billion years in the process?

In the end, either it provides a kick at its energy level to another property (eg, electron momentum) in one quantum jump.
They have to convince everyone else to as well though. There will need to be a transition period powered by emulation for third parties, similar to Rosetta from the last time they switched architectures.
> Intel welcomes lawful competition

As long as the law is in their favor...
A Point-By-Point Rebuttal of “Is It Time to Break Up Google?”
Ask HN: Is Alan Turing more influential than Einstein?
What doesn't sound right? You might be saying the same thing. To store this appointment correctly, you store the timezone of the appointment (let's say EST) and the timestamp within that timezone (4pm). So the final version is 16:00 EST. You can store a UTC version as well, but you need the local timestamp and timezone first.

If you only store the timezone with a UTC timestamp, when you convert back after DST shifts you'll end up with 3pm or 5pm (depending on the shift), not the expected 4pm for the actual meeting. UTC in this case is not the anchor, the local timestamp the user set for the meeting is.
Apple doesn't have the same control of the app ecosystem on macOS that they do on iOS so they'ed need to maintain some compatibility system like they've done for their previous architecture migrations
This just means inefficient pricing. If prices were adjusted in real time, one could schedule charging car batteries, heating water in the electric water heater, etc., when prices are cheap.
I find it entirely plausible that when you hear words spoken, even if from your own mouth, it then becomes processed by the same hardware machinery that processes other external voices. In my case, I tend to disbelieve anything I hear so..
Clouds Mountains Travel Best Destinations
By making your email something custom instead of @gmail, you're spending some energy, time, and money to protect against a perceived threat.

I guess my real question is, what exactly is that threat, how damaging is it, and how likely is it to occur?

By my mental math, I can't really justify spending even a few bucks, or more expensively, a few hours, protecting against some consequence that I can't really quantify at any real level of risk.

For business, sure, because there are other benefits to having a custom domain, but for personal stuff, I don't really see the cost/benefit analysis making sense. The biggest threat seems to be that the government will have my data and I'll be advertised at, but having my own domain doesn't help either way. Am I missing something?
Agreed. Likely to get a good deal of survivorship bias here.
As I describe in that "Tao of Redux Part 2" post, there's no _requirement_ that you dispatch START/SUCCESS/FAILURE actions as part of your async requests. You'd need SUCCESS at a minimum or an equivalent to handle the actual updates from the request, but the START/FAILURE actions are only needed if you want want to do things like showing spinners or have some kind of undo/redo behavior. It's a useful convention and a common pattern, but definitely not a requirement.
So that users can run all of their existing binaries.

Both Mac processor architecture changes so far have included emulation or binary translation layers for this purpose.

68k -> PPC: https://en.wikipedia.org/wiki/Mac_68k_emulator

PPC -> x86: https://en.wikipedia.org/wiki/Rosetta_(software)
"Please stop posting our website on HackerNews. It's a cloudy day, and poor Kevin can only pedal his exercise bike so fast."
Inefficient usage, not pricing
This may be a frustrating answer, but it's the truest I've found: you just do it. It's an ability you have that no one ever talks about and you can think about it endlessly and do various practices, but really it's an active thing. You might not think you know how to do it, but the muscle is there. You may not have used it very much, but I think you can find it if you look for it. I learned how when I was a teenager and was looking for answers while closely examining my own mind.
How Torch broke ls and made me vulnerable
> One of the main techniques, explains Wayne - a scam baiter who often works with Jill - is by leaking scammers' details and their conversation scripts online.

> The aim is for these to filter through to search-engine results, so potential victims will be alerted if they type in the scammer's name.

This helped me so much with apartment hunting. I caught multiple fake listings by just googling parts of the language.
You'd probably need more batteries than would be economically feasible in that precise setup. But a similar scheme is used with electric water pumps and hydroelectric turbines. It's called pumped hydro:

https://en.wikipedia.org/wiki/Pumped-storage_hydroelectricit...
But with the brilliant software engineer who played a large role in making that company enormous.
It means that any system or organization that isn't already perfectly secure is an embodiment of negligence.

Since that is impossible, all companies and all systems are negligence.

A term that applies to everyone means nothing.

Nevertheless you can say it and make businesses you don't like sound bad.
And the founder of Neocities thinks it's time to instate a distributed web https://blog.neocities.org/blog/2015/09/08/its-time-for-the-...
I may be biased here, but I think almost everyone here is missing the point. Yes, Essential raised $300M because Andy Rubin is at the helm, but the bet is not on the phone they just launched. Its on the Smart Home. Here's a quote from Rubin himself:

The long-term vision for Essential, Rubin said, is more closely aligned
with the Essential Home, which Rubin hopes you’ll put in your kitchen or
living room and use to control all the connected devices where you live.

Apple has HomeKit, Google has "works with Nest" (a joke, really), Samsung has SmartThings, etc.. If he follows the same path he has with Android and decides to open up the Essential Home platform [1], then its going to revolutionize a market that has the potential of being as valuable as the smartphone. If that's not a company that's worth $1B, especially led by someone with Andy Rubin's track record, I don't know what is.

[1] I mean truly open, the way he's done with Android. The Essential phone will already be more open that most phones on the market (unlocked bootloader), there's good reason to believe the Home will be too.
Everything about Keybase FS is experimental, I guess. This password manager says:

> Note: This is still a work in process. Use it with caution.

Meanwhile, Keybase FS says:

> At the time of this document, there are very few people using this system. We're just getting started testing. Note that we could, hypothetically, lose your data at any time. Or push a bug that makes you throw away your private keys. Ugh, burn.

I don't know if everyone is just overly cautious when it comes to declaring crypto stuff stable, but stability is a requirement of products like this for me. I wish these tools were audited more.
> Yeah, it probably is Apple.

Did any publicly evidence appear officially or accidentally on the internet that Apple is working on such a project (for Microsoft the situation is known)? I am just a kind of person who prefers strongly to look at the evidence instead of rumors, speculations and hopes.
Estimates and estimation
Hi, you will find the a first tutorial about Excel integration here http://www.hackeet.com/learn.html?excel_example_introduction
Heard a story recently from the private sector where an employee had been secretly sleeping on the job. One day, his scheme was disrupted, not because he was found out, but because someone else was already sleeping in the secret room he'd been using and he had to find somewhere else.

Another time, they discovered someone sleeping on the job in a large bin of soft rags, covered in towels. I find this sort of thing absolutely incredible. Good luck sleeping on the job in small business - you would not last a day.

I think in any large organisation though (public sector included), waste is somewhat inevitable.
I would consider yn it's own bubble.

This is mostly because of the flagging system and mods like dang removing or censoring comments and submissions that don't agree with their silicon Valley based belief system (possibly the location of the most liberal/progressive beliefs in the world today).

They use the excuse that the offending items are written in an abusive or hateful manner or they "don't contribute to the discussion", but the truth is that different regions of the world and different cultures have different standards for politeness, so it just ends up filtering out different opinions.
You may have to specify a flag like "-C target-cpu=native" -- not all CPUs support popcnt, so LLVM can't generate it without knowing details about the target. I can't get the compiler on godbolt.org to generate it either way, though.
> The article implies that Google can somehow force adblocker users to either pay per pageview or turn off their adblockers, which is awful if true, though I'm not clear how it's supposed to work.

And that's when you download a different browser...
You've missed out what they did to all the male calves. And what they do to the cows after the 6 years or so (of a natural life of ~25).
> expected local timezone

I'm not sure what this means. Either way, to store an appointment for a certain user, you need the local timezone of that user and the local timestamp. UTC version of that timestamp is optional (maybe for easier calculations in the database), but you must have the local timestamp to convert correctly.

Local TZ => UTC is a formula that is not constant. You cannot store the output of this formula and expect to reverse and get back the original input precisely because of the changing formula.
It's not the too much power; it's the erratic distribution of it. What do you do when it is too low? Too high?

The obvious answer is energy storage, which is on of the problems to be solved.
Postgres uses the ISO definition of week for "week", which starts on Monday. For "dow", it uses the American week definition.
I don't know if it's a bug with Windows or my headset, but my headset actually does make sound at 0 on windows. I get an extra button press on my headset volume controls or my keyboard volume controls to actually mute it.
>"ProtonMail encrypts your email storage in an end-to-end manner for client access and storage."

Is this just TLS + block level encryption like LUKS? If so I would be surprised if FastMail wasn't offering the same. But maybe Proton is offering something else at the client level? It was my impression that the big differentiator was Proton Mail's infrastructure was all co-located in Switzerland.
Obligatory mention of the "Why Do Nigerian Scammers Say They are From Nigeria?" paper, which posits that scammers purposefully claim Nigerian nationality because their own time is so limited, and with costs of bulk email being so low, it's an efficient way to turn off everyone except the few who yet haven't heard of the Nigerian prince scam.

https://www.microsoft.com/en-us/research/publication/why-do-...

I'm also reminded of a story I read, I remember it being in a newspaper or long-form magazine, of someone who tried baiting a Nigerian scammer and it somehow leading to a dangerous physical confrontation, but am unable to find it via Google right now.
Everything we've seen about this program indicates it is implemented as a blacklist of undesirable behavior and not a whitelist of known-good as formats. For your first example, the difference between this being beneficial and problematic comes down to the guidelines in place.

Note a similar FUD argument can be made about Google's own advertising network: "if we unilaterally decide we don't like your ads or your websites we'll cut you off." Similarly for search results. Yet Google's implementation and guidelines are generally seen as reasonable, economically satisfactory, and not stifling innovation.

Also, what would be the point of dropping out of this coalition? The online ads industry is largely self-regulating, there's no federal regulator setting the rules. Instead coalitions like this one are formed which set guidelines and make standards. What point would it serve to pull out of a coalition and subject yourself to the control of your competitors for a one-time show of goodwill at the expense of long-term influence?

Maybe you don't trust self-regulation, and that's fine. Appropriate even, given how often it breaks down. But keep in mind the alternatives are either government regulation or no regulation. The advertising industry is presented with an existential challenge in the form of bad advertising and ad blockers. The closer you look at it, the more you realize this move is actually a pretty good one, all things considered.
Can you figure out how this single part boost converter works?
T. Rex Sheds Its Feathers?
Don't forget they just said High Sierra (ug) will be the last version to run 32-bit software "without compromises".

In the next version they may run 64-bit clean and use emulation in some sort of Rosetta style environment for "legacy" 32-bit software.
It's also great for children. My five year old overheard me baiting a scammer on the phone and expressed great interest. He'll be sitting in on the next call, and participating once I'm convinced he understands what's going on.

I _think_ the outcome will be that he'll be much better equipped to deal with social engineering as an older child and adult.
You can't seriously be claiming:

1. Rsync has existed since the birth of filesystems.

2. Rsync will seamlessly sync between devices in the way that Dropbox does without the use of a third party. It clearly does nothing to overcome NAT.

It seems like referencing RSync does nothing to substantiate your claim, which still appears false.
This is the real story behind the economic crisis unfolding in Qatar
Apple is notoriously secretive, so you won't get the evidence you're looking for until such a device is very close to launch.
I noticed they didn't mention AMD in there and the billion dollar payout.
Then they fire you.
So if you operate a windmill in your backyard while prices are negative the power company will send you a bill? Why couldn't the power company just break the circuit if they couldn't handle the incoming power? The windmill would still spin but not generate any power, like a gas generator with nothing plugged in. Seems better than sending the windmill operator a bill so the power company can generate a bunch of steam 100s of miles away...
The og scam bait crew:
http://www.419eater.com/html/trophy_room.htm

I don't think this crew is ethical.
> Dying gasp for x86? Wow we'll all need to recompile.

ARM uses a weak memory model. x86 has a strong one. Also code containing optimized SIMD code (e.g. via compiler intrinsics) is a lot more complicated to port.
I put that in there because I'm just one person, working on this in my spare time. I don't think there are any immediate vulnerabilities in KBSecret itself - that's more of a warning that I'll probably be breaking things as I work towards a stable release.

As for KBFS, I can only relay my experience. So far, it's been completely reliable for me - no crashes, hangups, or lost data on what I assume is a lower-priority target for them (Linux).
isodow for the sane definition ;)
If the only difference is the data returned, and not anything to do with how the request is actually interpreted, then I guess it works. But API versioning covers more than just changing the fields in the JSON response.
The First Dictionary Dedicated to Electrical Power Engineering
This makes me wonder what the bounce rate for Stack Overflow questions is and what percent of visitors actually make it through the submission process.
Still need to maintain the grid, that isn't free.
Which Intel still has not paid (cf. for example https://www.pcper.com/news/General-Tech/Intel-still-hasnt-pa...). An interesting version of "lawful competition", I think...
I'm an academic. If there was something that was:

1. not siloed in a binary format, i.e. could export to a plaintext-ish format

2. had a gui for those who want it

3. had seamless citation/bibliography tools, e.g. based on Citation Style Language (CSL) & web lookup e.g. on Google Scholar & PubMed

4. had seamless integration for Figures + numbering/captioning, Tables + numbering/captioning

I would pay lotsa $$ for it

I know LaTeX tools and/or pandoc tools can accomplish this but they are not user friendly enough
Though 32 bit apps will get rarer. They will need to have a solution for 64bit apps.
> At least Siri acknowledges that it doesn't have the information necessary.

I've had two failures in recent memory where Siri recognized the queries correctly, but completely misinterpreted them.

"What's <time> Eastern Time in Pacific Time?" => time in Pacific, MO.

"Increase volume by 10%" => lowered volume to almost 0.

The latter failure took me a while to figure out: Siri had interpreted my query as set volume to 10 (out of 255?). Indeed, "increase / decrease volume by X" had the same behavior.

Also, asking Siri to play a particular song whose title's in Japanese might as well be asking it to play a random song. Setting its language to Japanese helps a little, but then of course I have the inverse problem. I wish I could switch Siri's language settings verbally, or be able to say "In <language X>, <query in language X>."
Often evidence leaks beforehand for new Apple products or plans.
Hi Luke. What cohort were you? I was also Hack Reactor 2014 and have been at Google for a few years. Just transferred from SF to SEA though.
If only there were some way to store energy for future use.
The death of x86 is long overdue.
Knowing whether a value is a number or text or date is critical to myriads of application, and CSV specs give no guidance on how to interpret the actual values as numbers or text or dates. You don't have control over both endpoints in most cases, especially when you accept files from clients. Furthermore, they mix presentation and values (is `1.23%` a string or a number? What is the number?)

XLSX separates the value from presentation and gives every value a clear type. If a value is a number, there's a concrete numeric value that is stored separately from the number format. That way there is no guesswork involved, you can figure out exactly what the value is with zero magic.
So they could now make money when buying AND selling?