skysight-inc/HackerNews huggingface dataset:
pytype (Google) [1], PyAnnotate (Dropbox) [2], and MonkeyType (Instagram) [3] all do dynamic / runtime PEP-484 type annotation type inference [4]

[1] https://github.com/google/pytype

[2] https://github.com/dropbox/pyannotate

[3] https://github.com/Instagram/MonkeyType

[4] https://news.ycombinator.com/item?id=19454411
"Poor record" is actually not my experience. Customer service with Fi and Google Store is pretty excellent. A lot of people in my network also have the same good experience.
Reading the linked Vice article

>"Based on pilot accounts, encounters with these UAPs (unidentified aerial phenomena) often involved complex flight patterns and advanced maneuvering, which demand extreme advances in quantum mechanics, nuclear science, electromagnetics, and thermodynamics.” - Walker

> Republican representative Mark Walker of North Carolina

This is laughably stupid. QM and nuclear science? Can we call out politicians for just throwing in words that they don't know what they mean? Seriously, I think we should call these people out. I'll even laugh at the extreme part.

My bet is that these things are just some test drones. They might have advanced materials and so you can't trust a lot of the data coming into the FLIR sensor. I don't think it would surprise anyone here that the people making the "most advanced sensors on the market" 1) have more advanced sensors being researched/tested 2) don't perform adversarial attacks on those sensors during testing. As for the visuals, well drones can pull Gs that pilots can't. So if we can't trust the sensor readings (speed and size) and we just see something zipping around, it shouldn't surprise anyone that a drone _could_ be the culprit.

As to the article, this is clearly misdirection. But that's part of warfare. https://youtu.be/qOTYgcdNrXE?t=1281
Anyone feel like this is a bit of a troll move, especially given the viral Facebook event to storm Area 51 is supposedly happening in a few days? What prompted them to say this now?
I believe that you can say "As long as `a` only appears as the last parameter in a higher kinded type, or not as the parameter of any higher kinded type, then you can define a functor over it."
Didn't know about this, huh. That's pretty cool. No questions about the Wii U, but I do wonder why Skype on the Kinect didn't take off more.
It’s not the evil of displaying ads, but the evil of connecting while in airplane mode that bothers me. I don’t personally believe that it’s actually going to crash a plane, but until the FAA agrees with me devices shouldn’t be connecting while claiming to be in airplane mode. I’ll have to dig into it a bit, but I expect that doing so is a violation of FAA or more likely FCC regulations.
But what velocity would it be traveling?

Project Thor aka "the Rods from God" concept is a satellite with 20'x1' 76,000 lb (34,000kg) tungsten rods. No explosives just pure mass and kinetic energy.

From low Earth orbit they would travel at Mach 10. Supposedly at impact each rod would release the same energy as a small nuclear bomb.
Until then, I suggest these[0] as the next-best option.

[0] https://www.ebay.co.uk/sch/i.html?_from=R40&_trksid=p2380057...

Also available at Amazon etc.
I had 0 problems tethering using Google Fi.
Do you have specific insight into working at Reddit?
They could have accomplished that without the redesign. That's what reddit enhancement suite has done for ages.
At my current team you are not expected to show in the office as long as you are delivering results. You can take entire week off if you want. We have weekly in-person sync ups, makeshift scrum teams that form and break on a weekly basis, and people are usually on slack 24/7 sometimes working at evenings or weekends if they feel like it.

Fwiw I'm probably working more then I usually would at 9 to 5 workplace, but realisation that the company is treating me like a grown up adult makes me happy. I can't imagine being back to my previous corporate work environment, even the thought of it fills me with dread.
> Instead of doing the sensible thing and saying what terrestrial things could this be and demonstrating it is not them

That was already done by the Navy before releasing this, not to mention many other skeptics. Do you have a new idea? I read some on another HN thread active on this topic. The most credible one seems like advanced EW jammers to produce a bogie on the atflir video, but it doesn't explain the visual sightings or simultaneous passive radar sightings with atflir readings. And to my knowledge, EW is used on lower frequencies where long distance radar typically operates; not sure if it even works on IR. If you've ever worked on defense projects, you may know they aren't exactly hotbeds of innovation these days, so while it is possible that they could have independently come up with a propulsion based on new physics and misdirected other branches of the government about it, that seems as unlikely to me as extraterrestrials do to you. Nonetheless, this being a domestic highly-classified craft is another option you can choose to believe.

As I already said, the monitoring part is just my guess -- and there were plenty of steps in between seeing this video and coming to that conclusion. The only thing I would try to persuade anyone of is that it wasn't made by humans. Which has pretty profound implications as it is. I do encourage you to do your own research (the two links I posted are a good place to start). Don't nitpick just so you can stick your head back in the sand (you're clearly aware of human nature, now fight it!). I'm no expert and I'm no more qualified to decipher the likely incomprehensible intentions of an advanced civilization than you are. However, I do try to be open minded and I'm fascinated by this, and compelled by the amount of evidence that already exists.
Yet :)
I wonder if my 8 year old 720p dumb TV will go up in value?
spaaaaaaaace foooooooorce.
That’s fine, but until the FAA changes their policy, devices need to actually turn off their radios while in airplane mode. It’s not okay to lie to the user about things like that.
Cool. On this, though:

"/tmpfs_mount/ must be a ram disk of some sort"

Curious if it really must be, or if that's just recommended for speed.
I was wrong then. Thank you for the pointer!
Avoiding overlaps helps with bandwidth. I don't know if it will help with coverage.
Since it's about commerce, can California allow the purchase and sale of the less stringent vehicles but only allow vehicles/engines to operate on its roads that meet the higher standards?
And on other radar systems within the strike carrier group. The Nimitz event was tracked on multiple systems of varying technologies, for multiple days, not just the planes. FLIR was just one piece of the puzzle, of which video was released.
We had a HP with replaceable ink tanks before. You still had to replace not just the ink tanks, but the whole printing head assembly because it would still clog up every half year anyway.
I would imagine. Otho g but a bunch of DNS queries? Maybe the occasional fall back hardcoded IP?
Most countries do the far more reasonable procedure of having you give up ties and get another residency, rather than fully renounce.

Getting a second passport is extremely costly in terms of time or money, and your “free to pay an administrative fee and renounce” comment indicates that you don’t understand this at all.

Source: went through the process of acquiring a second passport for the purpose of renouncing.
Possibly vcr [0], except that's for mocking out APIs in unit tests. There's a whole bunch of ports to other languages midway down the page.

[0] https://github.com/vcr/vcr
I couldn't find info in the article about the whether LG (WebOS) Smart TV's still do this even if you opt-out of all the "Channel Plus" and other sketchy advertising/user-tracking features in the menu.

I guess it's time to fire up Wireshark. I love these TV's because they can be integrated with home automation like Home Assistant. But maybe it's time to put it on a VLAN with no access to the WAN.
> fibre to the home by the year 2000

weeps in fibre to the home axed for Australia in 2015
The factors which shorten average lifespans for Americans by a few years relative to some other developed countries are almost entirely lifestyle issues. They aren't actually caused by geographic location or government problems.
I have the exact same problems with my Samsung Smart TV. I joke that I am "rebooting the remote" when I pop out the remote batteries about once a week.

The UI seems to gotten much more sluggish over the last year or two. I have a 500 Mbps internet connection, but speed tests in the TV's browser measure only 40 Mbps (on Wi-Fi or Ethernet). The TV's apps load images and data as if I'm on a 2G connection.

The Amazon and YouTube apps hang if I turn the TV off and try to resume playback later. I have to switch to two other apps and then back to Amazon to force the app to crash. Then I can launch it again. And sometimes the only way to exit the Netflix app is to power cycle the TV.
You still have to prove both that this was helpful to national security and that no US citizens were part of the target, and you need to do so for every hack done. Otherwise it's illegal.
Are they losing money on the service and somehow making it back from data harvesting (either directly or indirectly by selling more google phones)?
angry bird for sure
> objectively terrible

These two words next to each other really bother me. That something is "terrible" is not objective, whatever that means. All we have are our subjective valuations.
Jekyll can be used for much more than blogging, too.

Ribose, for example, has a network of sites for its open-source initiatives[0] built on top of Jekyll. Sites are integrated with each other and also with Git repos of relevant software packages, pulling e.g. latest commit times & documentation in AsciiDoc at build time. Each site does have a blog/newsroll, but in the end is much more than that.

The implementation involves a gem-based theme with accompanying helper plugin, which are open source[1].

Going the static site route, on one hand, introduces new constraints—for example, build times become important—but on the other hand allows to build blazing-fast websites without having to worry as much about ongoing server maintenance. (Currently each site gets built on Travis CI and delivered via AWS S3/CF.)

Disclaimer: I work with Ribose currently and participated in Ribose Open development.

[0] See for example https://www.metanorma.com/, https://www.rnpgp.com/ or https://www.cryptode.com/

[1] https://github.com/riboseinc/jekyll-theme-open-project/
In a minor way. The neutral alternative would be a system that allows bursting but then caps everything down to about 1.5Mbps.

They're not really trying to discriminate between types of data, they're trying to lower the 95th percentile.
It’s not a big deal to discuss it even in China. My father bragged he was with the student leader the night before 64 happened. It’s CCP’s fault to commit mistakes when handling students. Is it worth overthrowing CCP just because of it? Hell Chinese people answered no, at least when they are doing most other things right. “Greater good”, you have to understand this to understand Chineses first
There was two videos released by NYT, one was over the east coast. I haven't dug into the pacific north west incident, like I did the other one. Didn't really hold my interest.

https://www.cbsnews.com/news/navy-pilots-ufo-reports-confirm...

> Lieutenant Graves still cannot explain what he saw. In the summer of 2014, he and Lt. Danny Accoin, another Super Hornet pilot, were part of a squadron, the VFA-11 “Red Rippers” out of Naval Air Station Oceana, Va., that was training for a deployment to the Persian Gulf.

> The pilots began noticing the objects after their 1980s-era radar was upgraded to a more advanced system. As one fighter jet after another got the new radar, pilots began picking up the objects, but ignoring what they thought were false radar tracks.

Note: new radar can suggest more than just better capabilities but possibly less experience and more complexity (harder bugs).

My question: where are the really smart people at NASA or w/e with deep understanding of spaceflight and theoretical physics? So I far I only see excited posts from military bloggers and a some guys who sell books about aliens.
Whatsapp chat history shown on another account on the same device
The article mentions this bit:

> The researchers also found that other smart devices including speakers and cameras were sending user data to dozens of third parties including Spotify and Microsoft.

Maybe someone can find the referenced studies to see what data is actually sent...
> Your system clock must be set correctly, or at least it must not move before memcached has restarted. The only way to tell how much time has passed while the binary was dead, is to check the system clock. If the clock jumps forward or backwards it could impact items with a specific TTL.

Why not write the system timestamp to the memory state file as well? And then "evict" (ie just not load) anything exceeding TTL on state file load?
I assume you've never been in a foreign country when it fell apart and the US government had to evacuate their citizens. Some other expatriates weren't so lucky.
A question. Does map-reduce assume a commutative monoid, or does it need to order the output of map?

Edit: seems like it's the latter.
That the devices have speakers and cameras doesn't mean they're sending the speaker and camera data to those third-parties.
I don’t think there’s a (big) market for that.

1st and 2nd gen immigrants will be integrated and comm in English like most everyone else. 0-gen will stick to community papers (Like World Journal and Epoch Times for Chinese speaking immigrants) and will avoid mainstream alternatives.

One thing the community papers provide over things like NYT in Spanish is reportage from back home. Very niche topics an NYT has neither time nor desire to cover. And even if they did immigrants would go to elpais or whatever their local favorite is. NYT cannot win that (newspaper) trade war.
Calculate My Longevity
Playing guitar & RPG games, writing excessively and compulsively and automatically, tapping everything I could get my knurbly quint-lobed manipulators on, drinking bud 32oz on the way to class, smoking insane amounts of weed, stealing milk crates, dropping acid and mescaline and psilocybin, drawing pen-and-ink stuff for 31 hours straight while snorting caffeine, forming my own religion, groping in the dark for a piece of mystery cake, and your mom, probably not.
Does an MVNO like Fi have that kind of control though?
Same as with twitter: negative ROI. I just hate-read it and get pissed off at all the nitpicky assholes going "well, actually" at each other to no end. It's sad, but I don't know how to stop.
I'm 20 (plus or minus a year), and I feel qualified to answer.

Last summer I had an internship with a software company full of nice people, and I got an offer to work with them after I graduate in the spring. I'm pretty excited.

In my free time, I hang out with my group of friends, I watch weird movies, and browse the web looking at stuff that doesn't matter. And between working out and having a sleep schedule, I'm starting to work on my health.

I wish I was more experienced in relationships, so I'm going to join a lot of clubs at school to try to meet people. I'm also a little afraid my life is running out of novelty - when you're a kid/teenager everything changes so much, but once I start the job this spring, I'll have to force myself to make novel changes.

All in all, I'm excited for the future, I just hope I'm courageous and hard-working enough to run after my best life, not my easily-reachable life.
That's terrifying! If it weren't for the airplane mode, I'd open it up and destroy the antenna traces.
> Also, Protip: in case anyone still doesn’t know, go to old.reddit.com for the previous, better interface. Who knows how long it will be kept alive though.

I'm using an extension to automatically redirect to the old one. When the old site is gone, I will probably leave Reddit, the redesign is too unusable for me.
If we're being honest and responsible, until that employee has found other employment.

Sure, it'd grant some people poorer than the average HN reader a significantly more reliable safety net along with some mobility and autonomy, but how quickly do you think it would take until the corporate sponsors started championing a program that benefits everyone, like medicare for all?

Things are bad for a lot of people, and maybe my thinking is old fashioned, but the health of a nation isn't a game of winners and losers that needs to be run like a casino.
Personally, I like how django does it, where one of the kwargs accepts a dict, and that dict is what's passed along as kwargs to the next level.
I'm going from an XR to an 11 Pro because the 11 Pro is smaller, 5.8" vs 6.1"
Iowa Judicial Branch approved courthouse 'penetration,' contract shows
WeWork cofounder demanded employees be fired because she disliked their 'energy'
This is exactly correct, with one caveat only:

Aside from my daughter getting the chicken pox from the vaccine which is extremely rare, as a parent you observe your child’s reaction to every dr visit and vaccine (ideally) and if you know and can see that these have such put your child into an uncomfortable state or lethargy, then mellow the fuck out.

The doctors don’t give a crap abt how your child feels after they leave their office.... but you as a parent must.

Also, source: my brother is one of the top doctors in the nation. Head of the entire VA for Alaska, commander of the 10th medical wing for the USAF, for personal flight doctor to the joint chiefs of staff at the pentagon. He agrees with me, so armchair all you want.... but I know what the fuck I am talking about.
No, more like the laser pointer dot can move faster than any cat could catch.

That doesn't mean the laser pointer wielder is moving that fast.
Ever since the 1970's mysterious UFO and bigfoot style videos have turned up.

Always, ALWAYS, ALWAYS distant, blurry, out of focus and "from an authoritative source". This is precisely the same as the 1970s.

Leonard Nimoy knew what was going on "In Search Of UFOs":
https://www.youtube.com/watch?v=LVFWJDPcPnk
Anecdotal only, but in the 15 years that I've used cell phones, I was never once unable to make a phone call when I had full signal bars. That is, until I switched to Google Fi on my Pixel XL 2. After the switch, I was constantly missing calls and messages. And needless to say, download speed was abysmal. Tried customer support, swapping SIMs, resetting phone, and all that, to no avail. Switched back to Verizon after a month and never looked back.
Thank you for the zero-indexed reference list. Brought a smile.
Indeed, declarators must have their postfix chain read first, left to right, then the prefix portions right to left. (Separately at each level of parenthesization, if any, working inside out.)

There is no choice about where to put const inside a declarator; the position affects the nesting level which alters the semantics. So there is no debate to be had there.

Note that in declarators, the const is necessarily to the left of the thing it qualifies, so why would we put it to the right of int:

int ** const ptr;
^^^ this is what is const

int * const *ptr;
^^^^ this is what is const

const int **ptr;
^^^ ^^^^^ these two are const

In the canonical specifier order, nothing to the left of const is tainted by const:

extern const int **ptr;
^^^ ^^^^^^ const and const
^^^^^^ unrelated to const

For the best possible consistency, imagine const to be pissing, while the wind is blowing left to right.
If this works for amazon.com.au with it's 20 different page layouts and page navigation systems (sometimes ajax, sometimes not) for different product types, I'll be impressed.
I think 5 lines is pretty short but good. At the very longest, I like a function to fit on one screen of text so I don't have to scroll to see the entire function.
Same for me, mine has been in flight mode for over a year, it's definitely not connecting to sync collections.
“This is good for bitcoin”...maybe he’s just avin a laugh/meme?
This is painfully ignorant. Yeah those companies also rely on gravity for there day to day operations. So is gravity responsible for global warming? Should we outlaw both of them?
Wow, this is quite possibly exactly what I've been looking for! I love Rust (have experience with Actix as well), React (so hopefully Inferno will come naturally), and have been looking for a Reddit alternative for some time!

I'm not sure if I should thank you or curse you for making me want to spend a ton of time on yet another side project ;)
Air disinfection in measles transmission hotspots
Verizon does not hard throttle at 22 gigs.
And yet Reddit is regularly down, and apparently today for hours on end. What's the UX of a service that isn't working? Do users not demand that a service be up?

There have been some really good modern Usenet clients. The biggest issue I see is that current browsers don't have built-in support for Usenet any more, and that's not something I can influence in any way.
Sorry, I was being a bit lazy in my comment. I didn't specify, but I don't really suspect they are sending full frames back if for no other reason than bandwidth. But, honestly fingerprinting is so similar it might as well be the same thing. Though thankfully, yes, the fingerprint calculated for something personal probably is meaningless to them, but possibly could be replaced with a reversible option
Study on DNA spread by genetically modified mosquitoes prompts backlash
I wish their tech writers would give us more English and less jargon. I pondered these release notes and the documentation earlier today and I still can't puzzle out why "custom resource" is initialized as "CRD".

And the rest of this gibberish is just meaningless.

"""A resource is an endpoint in the Kubernetes API that stores a collection of API objects of a certain kind."""

OK, almost completely free of meaning ... then later:

"""A declarative API allows you to declare or specify the desired state of your resource and tries to keep the current state of Kubernetes objects in sync with the desired state."""

But wait, I thought the resource _was_ an API endpoint? The API allows me to declare the desired state of my API?

I know K8s is not Borg and I know a lot of xooglers hate Borg but at least the Borg documentation was concise and made sense.
T-Mobile limits you to 128/256kbps in international roaming. That worked great when it was introduced but nowadays I find that most apps are barely functional at 128kbps. While roaming, I want at least my messaging, mapping and email apps to work and everything else can wait till on WiFi.
Even FB messenger and Google maps struggle at that.
Huh...I feel stupid. I should've realized that HDMI can send additional data... or rather should've put 2 and 2 together
If you're already familiar with Elasticsearch, the interesting TLA+ presentation begins ~8 minutes in.

https://www.youtube.com/watch?v=qYDcbcOVurc&t=479
> you do realize you're categorically ruling out a company by projecting one trait onto their entire culture

I usually don't do that, but I can't tolerate this kind of rigidness with old habits.