skysight-inc/HackerNews huggingface dataset:
It actually makes a great reference. Today during a pair session a new developer happen to mention a technology that might solve X, Y and Z.

I think 5 or 10 years ago I would have shut them down - I was much more arrogant back then. Instead in the next few days this person is going to demo something they've built since they are pretty much our team's expert in this tech - since none of the others have used it. If everything checks out, this could very well be our next large architectural shift - and that's incredibly awesome contribution for someone new. Even if it means he'll be putting in a lot of extra work and time - in my eyes that's better than turning him into a robot that wants to check out exactly at 5pm.
FDA updates medical device premarket guidance to include cybersecurity
Colorado State provides a website that serves near-realtime processed data from various weather satellites: http://rammb.cira.colostate.edu

they offer a tool called Slider that lets users create overlays of various satellite image streams. You can access imagery from GOES-East, GOES-West, Humawari-8, and JPSS.

Here is a loop of Goes-17 ("goes west") Full Disk Geocolor images captured every 15 minutes for a full 24 hours, starting 9:00 PM PST 2018-10-16 to 10:00 PM PST 2018-10-17: https://col.st/sNSct

Note that GOES East geocolor images seem to render a synthetic city lights texture + live cloud coverage for night-time images. Goes West is just dark.

NOAA publishes high resolution Goes-16 ("goes east") images every 15 minutes, and seems to lag about 30-60 minutes behind the actual time of capture by the satellite. Here's the latest: https://www.star.nesdis.noaa.gov/GOES/index.php
IMO it's not the 8 hours that's required, it's deep sleep, that's what really rests you. I got 7.5hrs the other night, with 1hr of Deep Sleep and I actually felt like I was on the verge of death, whereas other nights on 6hrs with 3hrs deep, and I feel great. I think sleep is a quality over quantity type deal. Obviously this all personal observation, I just pay attention and write shit down, I don't have a PhD lol.
We are in planning stages for a new project, with everyone remote, this looks like a great way to keep the project moving forward and help with code review. Any ETA on VS Code availability?
I think you're still missing the point I'm making. A world in which you can be dismembered for disseminating political ides is terrible. Of course. That's as obvious as calling the sky blue.

But is something like a military seizing power from a democratic government to prevent a sectarian crisis a bad thing? Where is the inflection point in these sorts of questions?

An example I think is valuable is the People's Republic of China. Of course I'm appalled by people getting disappeared, mass government surveillance, and gamifying totalitarianism through social credit. But in a sense, I can empathize with why a mainland Chinese person could view the PRC and CCP in a positive light. In spite of its evils it has drastically improved the well being of (most) its people - targeted minorities like Uyghurs not included. Crackdowns on dissent seem immoral to me from my western view of the world, but among many Chinese there's a sense that curbing dissent is necessary to prevent social collapse. There's this phrase that goes along the lines of "China is it's own worst enemy". Most of China's most destructive conflicts have been civil wars. The country is understandably skeptical of peaceful transition of power - something inherently necessary for a democracy. Is China capable of adopting a western-style democracy and extensive civil liberties without collapsing? I don't know, but I can see why many (most?) Chinese wouldn't want to gamble the future of their country on such a bet. In a similar vein, I'd like to see the thought process of someone who supports MBS and his allies in spite of this assassination.
Actually, I can definitely say that this version is not broken, i.e. I've formally proven it to be mathematically correct assuming that:

1. high and low are bigints (such as when using Python, for example)

2. the input array is sorted (needed for any binary search algorithm)

3. this missing code at the bottom is added:

if (0 <= low && low < arr.length) {
if (arr[low] == x) {
return low;
}
}
return -1; // (or "raise Not_found" or whatever you use to indicate that 'x' was not found).

You can find the formal proof in WhyML below. This includes proofs that:

1. all array accesses are in bounds [checked automatically]

2. there is no undefined behavior (such as division by zero) [checked automatically]

3. the function always terminates [enforced automatically, proven with the help of the 'variant' clause]

4. there are no overflows [checked automatically, not possible since we're using bigints]

5. if an index is returned, the array has an element with value equal to x at that index [the 'ensures' clause]

6. if instead the function returns "not found", the array does not have any element with a value equal to x [the 'raises' clause]

... all this assuming that the input array is sorted [the 'requires' clause]

Code + proof here (it makes more sense if you can read OCaml syntax): https://clbin.com/jbTk8
Time to wake up then. When you log in on this page, both temporary deactivation as well as true deletion are both also offered.
Or perhaps, more accurately, due to following legal requirements (GDPR) and then not keeping the feature regional.

Maybe this is what will force companies to understand that stored user data is both an asset and a liability.
What would you tell a sales founder who wanted to learn development? Best option is to be a key part and advocate of the sales process, and getting someone experienced to help steer biz dev.

If that's not an option second best choice is watch and learn. Find sales people who are good that will eat lunch with you often and maybe let you go on a few in person customer calls as a person in the background.

I'll tell you from experience, don't underestimate the skill it takes. I spent quite a bit of time as CTO working closely with a talented team, you'd be amazed at the EIQ and nuance required.

It's hard to explain because the skill set is so different than the product side, and even different from the marketing side.

You'll be visiting a foreign country, but spend enough time there and you'll become fluent enough in the language.
I seriously doubt a part of the US Gov't would be made subject to GDPR in any way. That would seem to be treaty territory. US Corps that do business in Europe are another matter entirely.
How about a VM that I can host at a location of my choice? On prem, ec2, or a dedi somewhere?
Love in a Surveillance State: How Technology is Changing Romance
It's worth pointing out that there's a simulator for ENIAC written in Go out there too, for the ultra retrocomputing inclined:

https://www.cs.drexel.edu/~bls96/eniac/
How are you thinking of making the wallpaper live? Poll the server every 15 minutes for a new image, and if there is one, use @mczachurski's script to regenerate the background image .heic file?
Ouch, missed that. Belatedly added.
They are sorted largely by security, according to the author.

"It is currently roughly sorted by security. Usability is subjective and people can work down the list to the most secure tool they feel they can comfortably use."

https://news.ycombinator.com/item?id=18233721
Tough to tell from the diagrams exactly, but it looks like the majority of their data is stored in their own data centers, which might mean some reluctance to migrate and ship data to the cloud (“cloud storage” only makes an appearance in the Gen 1 chart). There also exists at least one public example where they’ve bought a commercial database to build on (https://www.memsql.com/blog/real-time-analytics-at-uber-scal...). I’d be willing to concede that there might be legit reasons for not wanting to use BQ or Snowflake.

That being said, we use Snowflake heavily at Strava and are very happy with it.
Linear logic and affine logic (the latter of which SrPeixinho refers to in that Reddit post) let you use an assumption only once in a proof. Their counterparts in functional programming are called linear and affine types [0]; the arguments of functions with such types are restricted to being used only once in the function’s body. This constraint lets you do some interesting things in compiling and optimizing languages built around these types, and in particular it makes garbage collection trivial.

Linear and affine types are pretty hot right now in the small world of type theory and functional programming. SrPeixinho’s work with his collaborators is aimed at building a language for the Ethereum VM that might actually make it possible to write smart contracts that don’t blow up in your face. It’s good stuff. Search his posts on Reddit to see what he’s up to [1].

0. https://en.wikipedia.org/wiki/Curry–Howard_correspondence

1. https://www.reddit.com/user/SrPeixinho
Judging by the responses I'm getting I think I phrased my question poorly.

I'm not asking "was assassinating Jamal Khashoggi worth it?"

What I am asking is "If MBS fulfills his promises, do you think history will be kind to him? And should it?"
Personal attacks will get you banned here, regardless of how wrong another comment is. Please review https://news.ycombinator.com/newsguidelines.html and don't do this again.
The amount of misinformation and fear mongering here is staggering. The article is posted by an anti-surveillance publication, so I guess the skewed perspective makes sense.

I understand and agree with the fear of it being a slippery slope. I'm concerned about facial recognition becoming a regular part of surveillance in everyday life, and I hope that there is legislation around this TSA rollout that strictly prohibits their database from being used for non-airport related purposes.

Here's how the system is designed to work at full implementation. This is based on a briefing I had about 6 months ago, so I imagine it's still along the lines of what they're planning.

You get to airport security with your cary-on. You walk up to a kiosk to scan your face. When you booked your flight, they essentially did a background check on you, and if it was clean you just walk through to the terminal, with minimally-invasive scanning that doesn't require any stopping or removing anything from your bag.

If something did come up on your background check (mainly a conviction for a violent crime or a pattern of information that suggests possible ties to terrorism... one of the TSA's goals behind this system is do screening based on suspicious activity rather than profiling) you go through what essentially is the TSA experience today.
Based on my own limited testing, it seems like you can remove dots but not add them during login.

So if you created your account as my.name@gmail.com, you can also log into Google with username myname@gmail.com.

But if you created your account as myname@gmail.com, you can't log in with my.name@gmail.com.
They are, but their costs also scale somewhat linearly (ie. for CPU core-based licensing, 10x the cores means ~10x the cost, give or take a little based on the vendor discount). At some point, it makes having an engineering team working on a custom solution the cheaper option: why pay vendor X $n$ millions of dollars per year when you could have $n \times 4$ engineers working on a system that's perfectly adapted to your needs?

That being said, there is definitely a large amount of NIH promotion-ware being developed at large tech companies, as you mention.
The colors are not arbitrary, since they encode functionality. From [1]

One of the distinctive features of the Centre Pompidou is the striking presence of colour. Four strong colours – blue, red, yellow and green – clothe the structure and enliven the façade, their use governed by a code laid down by the architects:

blue for circulating air (air conditioning)
yellow for circulating electricity
green for circulating water
red for circulating people (escalators and lifts).

[1] https://www.centrepompidou.fr/en/The-Centre-Pompidou/The-Bui...
Epson SureColor SC-P807 Photo Printer
Bring out true quality in your photo collection with the Epson SureColor SC-P807. The product is enhanced by a practical and productive design, along with efficient connectivity features, Get stunning, unforgettable photo results with this Epson printer.
As a former technical founder? The advice I would give my past self is "get a business co-founder." - reading business books and business advice is all well and good, but you actually need someone who is good at that sort of thing if you want your company to do well.

I don't know how you evaluate a business co-founder when you don't have those skills yourself. Because of that? When I was a founder, I avoided getting a business co-founder, even turned down several that would probably have been great. But that's the thing, without that side of the house, it's really hard to get the company to go anywhere, even when everything else lines up.

I mean, evaluating people who provide skills you don't have is hard; that's why companies without a technical person on their founding team have such a hard time. So it's really hard to pick a good business co-founder. It's one of those decisions that will almost certainly kill the company if you choose poorly.

But... there are a lot of decisions that will kill the company (or worse) if you choose poorly.
At the same time, as hardware and software formats become more standardized and less "Wild West", I would argue that digital preservation might become easier going forward, since most preservationists won't need to deal with nearly the same proliferation of physical media.
That is literally what they're trying to do.
My opinion: long mammals like cows, horses, camels, etc can't reach their behinds with their limbs. They can use their head (especially when the tail doesn't reach the fronter part of the behind), but it's not efficient because their head is heavy (and they're heavy animals in general) and has more inertia. Therefore, a tail is their swift efficient defense for the behind.

By contrast, smaller mammals like cats, dogs, rats, etc, don't use their tails to deter insect, because they can easily jump, move quickly, or smash their head into their body, because they are much lighter.

Now, this makes me wonder, why do cats and dogs have tails. Maybe im the case of cats it is for equilibrium, but dogs? I think dogs use tails to show people when they're excited :)
They're not
VS code is available now. Other editors to follow, based on the great work of the LSP project. https://langserver.org
Vehicle-to-Vehicle Communication Could Replace Traffic Lights, Shorten Commutes
Why does this matter when a google device sends all information home and can be requested by the FBI with a sweeping gag order warrant? Seems like more security theater to me.
> You get to airport security with your cary-on. You walk up to a kiosk to scan your face. When you booked your flight, they essentially did a background check on you, and if it was clean you just walk through to the terminal, with minimally-invasive scanning that doesn't require any stopping or removing anything from your bag.

That's a pretty attractive sales proposition there; it's really hard for me as an individual to argue against the reduced hassle (and essentially a return to pre-2001 boarding patterns) in return for them having access to data they can realistically already get.

Japan takes pictures and fingerprints from people as they arrive; this doesn't seem too much different, just the direction.

I wonder if this could also be expanded to people without boarding passes. I know a lot of people mourn the loss of the ability to go directly to the gate to meet or see off family.
> Well but regardless, if you have a malloc or new implementation that uses a static buffer, then you're still not touching the heap.

What do you think the heap is on systems without an MMU?

> In fairness and as you point out, it's not the stack either, but they're obviously not letting stack allocations escape. Nothing would ever work.

You can go for an awfully long time without knowing that you dangling pointers to auto allocated objects.
I've always felt there was way more to this cynical, vulture capital financial engineering than we have been told about. The shareholder lawsuits have shone a little light on Lampert's sketchy asset stripping behavior and slow motion starvation of Sears.

The successful lawsuit brought by individual investors who accused Sears of not properly overseeing deals to avoid conflicts of interest against Lampert, ESL, Seritage, and members of Sears' board of directors, which was won and cost Sears 44m.
https://www.scribd.com/document/338974154/Sears-settlement#f...

you would think Sears board member Steven Mnuchin would now be ineligible for political office, but no... incredibly he's current United States Secretary of the Treasury as part of the Cabinet of Donald Trump.
Ask HN: Why does privacy matter?
Is there a cube sat with COTS hardware that has a 1 tbps capacity? Otherwise, you’re comparing real systems that are being deployed next year with paperware.

Online I’m seeing entire constellations of 300-600 small satellites weighing in at 5-10 terabits of capacity. You need about 500 5G towers to get that, which will cost you about the same as a single Falcon 9 Heavy launch. Can you launch an entire constellation of cube sats for $75 million? (Far less with 5G small cells.)

Also, what does the mobility story look like? You’d be a fool to spend billions on fixed-only infrastructure in 2018.
I dislike the TSA immensely, but paying a private company for an express line through security screams misaligned incentives to me (even if the vast majority of airport security is theater anyways).
Here is a "Master List" of GOES data sources http://cimss.ssec.wisc.edu/goes/goesdata.html
What does git use?
XDDs: stay healthily skeptical and don't drink the kool-aid.

https://amontalenti.com/2012/02/12/xdds

I prefer thought-driven development and design-driven design.
How to Set Cron in Magento 2
A Techie’s Tour of New York City
I see. “...to produce social progress” made me think you were asking about violence that produces progress, not merely violence that happens at the same time.
Wind can create upward movements of air near the ground.
Many banks have SWIFT accounts (see https://en.wikipedia.org/wiki/Society_for_Worldwide_Interban... ). This has been used by the US for purposes that other countries disagree with. As a result, and quoting from that URL:

> In September 2018 the European Union foreign policy head, Federica Mogherini, proposed the development of a new "special purpose financial vehicle" intended to bypass the U.S. controlled Society for Worldwide Interbank Financial Telecommunication payments system - commonly known as SWIFT. The seven founding members of this new system are to be Iran, the European Commission, Germany, France, the U.K., Russia and China - but not the United States.

Web sites like http://non-fatca-banks.com/pk.html list which banks are members of SWIFT, because that means they are exposed to penalties should they fail to follow FACTA reporting laws. For example, the National Bank of Pakistan followed FACTA, see https://www.nbp.com.pk/fatca/index.aspx .
There's also the ISS HDEV livestream from the space station. The stream is only up when the ISS is on the Earth's daylight side, so ~45 min of its ~90 min orbit. https://eol.jsc.nasa.gov/ESRS/HDEV/
Yes, I'm still dealing with it and have been dealing with it for over a year. GP says it's related to depression, but I think it's a chicken and the egg situation. I have tried so many things to correct it, I'm starting a CBT-I course with a specialist next week, I really hope that sleep restriction kicks my rhythm back to normal.
Why do they have to be compensated at all? They can eat a vegan diet without starving. This will further reduce animal suffering (the very goal of the proposition).
That would 100% be possible with image recognition. Segment using UNet, then measure the remaining joined pixels.

(Well thanks for the downvotes. I do this as my job, so I guess I'm doing the impossible or something)
Yes, talking to your device in hand the same, perhaps it's more normal in some places in the world than others?
I also ignore most of those calls now. It saves a lot of my time. I sometimes just Google those numbers and block them in the end without even talking to them. I have also read a nice article regarding this topic at https://www.lemberglaw.com/what-are-robocalls/.
>I understand and agree with the fear of it being a slippery slope.

It's not a question, we're sliding down the slope.
meh. I flew into Thailand yesterday. They took my photo. Cambodia took my photo and my fingerprints. Nepal took my photo. The UK took my photo and compared it to the one encoded in my UK passport. As did Australia (with my Aussie passport).

I know "America = Freedom", but pretty soon it's going to be the same situation as we have with gmail - you may not use gmail because you don't want Google hoovering your conversation to target ads with, but if anyone cc'd in the chain uses gmail, google gets it anyway.

Whatever country you traveled to or from is going to get your biometrics, and they're probably sharing that info with the US anyway. I get the point of protesting this, but it feels kinda academic now.

I'm not saying I like giving up my freedom for convenience, but I am fed up of standing for hours in lines for "security" checks that are just theater, when they've got the information from other sources anyway. The automated checks using the biometric information in my passport(s) feel so much quicker and less biased (e.g. Thai immigration officer getting into a long conversation with a Chinese tourist about what hotel they were staying at).
I'm retired now, but in my previous career most jobs required minimum years of relevant experience, with a degree able to substitute for some or all of those years, depending.
Previously discussed:

https://news.ycombinator.com/item?id=11116211 (2016)

https://news.ycombinator.com/item?id=7174513 (2014)

https://news.ycombinator.com/item?id=2428403 (2011)
We tried the timer, but it wasn't so good for a program to suddenly cut off in the middle. I know I wouldn't be happy either if something I was into watching would just suddenly end. Now we let our kid watch about half an hour of YouTube a day, but try to let him stop at a natural place, such as the end of the video.

The only thing I really want is for foreign language videos not to appear in the list of suggested videos. Sometimes he gets trapped happily watching videos in Russian.
ECONOMIST WARNS U.S. SENATORS: CRYPTO IS THE MOTHER OF ALL SCAMS
> I don't know about "commonly". In my experience with embedded C, if you needed things you declared them statically and never used malloc.

I mean, it's common enough that MISRA, the JSF standard, and the NASA standard all specifically call it out to allow it under these conditions.

> It's not like you're calling alloca and letting those pointers escape -- any (valid) pointer you might have is to a static allocation or memory mapped address.

You only need to call alloca on dynamically sized stack allocations. You can always leak pointers to fixed size objects by:

void* woah_dont_do_this(void) {
int value = 0;
return &value;
}

and boom, the pointer that gets returned is pointing at invalid memory. Of course, no one would write it like this, but it's way easier than you might think to accidentally do this once there's some abstraction.
Because one is not better than the other. They perform complementary functions. Hence, I would suggest either finding time for both (I don't) or alternating.

That is, one day you sleep more and don't exercise and the next day you sleep less and exercise.
So a few impressive but outdated credentials alongside a dozen completely subjective opinions.