skysight-inc/HackerNews huggingface dataset:
Probably similar do aerial photography of Earth. Treating a wide band as one gives you more light and thus a sharper image.

https://en.wikipedia.org/wiki/Pansharpened_image
Thx for this guys, I tried it and is working very fine for me!
Britain’s Brexit Hate Crime Problem
The Blancpain 1735 Is the 1%’s Wet Dream
You all need to understand... in the age of the Internet, every governmental body which deals with computers under any veil of secrecy/classification inevitably uses that veil of secrecy or classification to break the law.

Every. Single. One.

It's just too easy for them not to. The incentives are stacked against them to keep the law. There are too many internal controls that are necessary to pass in order to obey the law, so just like in any other human endeavor, management will follow the path of least resistance. They are protected by national security / classification law from anybody finding out. If it leaks anyway that they broke the law? Nobody will be fired or sent to jail, and the whistle-blower will be tried for treason for leaking classified information.

If we, as citizens, abhor this behavior - we must fix the incentives. There is no other way.
unmanned == autonomous/self "driving" ?
I couldn't get my hands on every type of laptop during my search, so I could only judge by what I could. Unfortunately that left some models out of the running. Mine is not a criticism of _all_ non Apple machines, just the ones I could physically assess.
Isn't there a very small demand for actual, proof-writing mathematicians, versus "mathematicians" in the sense that they can use advanced math.

I'd say being able to use advanced math, even for engineering, is a suitable definition for "having studied advanced mathematics".
Extrapolating SV to any global market is mostly a recipe for terrible predictions in my experience.
https://en.wikipedia.org/wiki/Diffraction_spike
very interesting stuff you have written there, going to start reading it now :)
However, definitely, 'biography' in quotes, because not biography in actual fact. The English-language translator was a work colleague of mine, and I lent him a lot of PKD material out of my own collection. I ended up getting the odd job of looking up the original English for the translations of excerpts from the French editions of Dick's work (a very PKD task, like The Game from Galactic Pot Healer) quoted in the book. Carrere was clearly cribbing heavily from Sutin, when he was wasn't just making it up.
Most CEOs can make a zillion choices a day. The best strategy is to give them options to choose from:
"We could do A, or B or C. What route do you want me to take?" (where A,B,C are well defined)

It's even better if it doesn't matter what they pick (because all of the options are excellent choices) ;)
The author adds an opinion that it could be a fad. ctrl-F for "mindfulness". "gym for the brain"? Like those brain training games that were shown to be ineffective? Analogies aren't science.
http://octave.im/

Web IDE for GNU Octave (open source Matlab alternative). Originally built it because Octave had no UI and installation was a pain. It was heavily used by Machine Learning Coursera students and currently just pays for its hosting.

I'm sure it could be useful in niche academia market, but don't have time/connections to pivot. NodeJS/React/PostgreSQL/websockets. Email address on the home page.
I have been considering it actually. I'm still not 100% decided though. I'm going to see if they continue to keep it updated and if they do I might switch when my contract runs out.
I'll answer - I'm male, 32, and have been married for >10 years. I would estimate condom use reduces pleasure by 50-70%.
I also just learned this lesson. Assuming you're in wheel group `su -` should still work.
Is the angular diameter of the stars in this picture still tiny, or are scientists actually resolving discs now?
The margins on Tesla's cars are actually very high, but Tesla is pouring an unimaginable amount of money into R&D and infrastructure right now. Gigafactories, superchargers, service centers, etc. Those are all things that VW doesn't have to worry about because they are already established.

Saying that Tesla sells cars at a loss is just another case of sour grapes by people trying to discredit what Tesla has done. Tesla could give up on the Model 3 right now, stop building superchargers and just rest on the Modle S and X to be plenty profitable. Funny though, I'm pretty sure every stock holder would prefer they keep "losing" money.
It's not just you, there are a bunch of people like you, but you are a minority.

I see four categories of people here:

1) People who really don't want to think about it, and fully trust Tesla to take care of them. This is the vast majority of people.

2) People who understand security, and want security patches applied as quickly as possible by a professional. This group also likes OTA updates, but is admittedly quite small.

3) People who want to minimize their security surface area entirely. These people wouldn't buy a Tesla, nor would they allow their dealer to plug into their car. They buy a car that's carefully vetted to have a small attack surface, and do the maintenance themselves (or by a trusted contractor). This is, like, the Secret Service, etc. This is a tiny group.

4) People who need some degree of "control theater" so that they can maintain the sensation they are in control of the status of their vehicle, but who aren't actually applying any sort of rigorous security protocol (as evidenced by leaving their car unattended at a random dealership). It's is a bigger group than #2 or #3, but much smaller than #1.
There is not much additional overhead to those extra models. Each manufacturer has only a handful of basic platforms and drive trains. They can come up with a new model by just combining existing components and doing a little further customization. So it's worth doing if it allows them to capture some marginal additional sales.
Bribery and corruption are also "not new". Should we stop fighting those altogether, too?
Some people wear such narrow ideological blinders that they're incapable of comprehending that this week's subject of two minutes hate might not actually be the all-encompassing embodiment of evil they've been told. They label everything they encounter as good (generally, where "good" is on the side of agreeing with them) and bad (generally, where "bad" transgresses by deigning even remotely disagree with the "good"). That sort of approach silences thought, innovation, argument and compromise.

It's a sad state of affairs that serves only the leaders who utilize such simplistic division so that they can lock in votes with far less effort than is required to meaningfully solve real problems.
You are correct. 'Social Justice Warrior' is dogwhistling. Anyone who wants to be taken seriously calls them Jews.
> Those figures you quote (50-80k) are starting right at the median income (around 52[0])

Just to emphasize, as I think it might be easy for other readers to overlook: That figure is median household income, which can include multiple earners. Individually, the median income is closer to $30K (https://en.wikipedia.org/wiki/Personal_income_in_the_United_...).
Should we be worried about election hacking?
No it's not. The Model S has a positive gross profit, but if you ignore capex and r&d, the company is still losing money.
"We have to earn money at the end of the day though."

Yes...but you can't build the products of tomorrow when you're primarily focused on selling the products of today.
OpenRent | London, UK (Brixton) | https://www.openrent.co.uk | Full-Time | ONSITE

OpenRent is the way people rent property online - a force for good in an industry tarnished by rip-off agencies. Enabled by an unrelenting focus on technology, we now let more properties than any high-street agency in the UK. In the last 12m we let over £9.5bn worth of property, without charging any admin fees to tenants.

We're hiring dev #1 and #2, looking for generalists, thought-leaders, and those with a passion for solving real-world problems.

You'll be working in a close-knit team, directly with the founders, and have full autonomy to work on, and how best, to solve the biggest problems in the industry. We find problems and improve customer experiences via code every day.

- Front-End Developer | £30k - £75k (negotiable based on experience) | up to 0.5% equity | https://angel.co/openrent/jobs/143011-front-end-developer

- Jobs Page: https://angel.co/openrent/jobs

Press Coverage:

- https://angel.co/openrent/activity

Contact via AngelList or email in profile.

Look forward to meeting you!
> it's knowing the plumbing that makes you productive as a dev, of any kind

Is this true of quant devs? Seems the focus is different - regular devs aren't as rare, so maybe the most important thing is producing a viable POC?

As for quants not knowing VC - did they come from a dev background?
Eastern gorilla now critically endangered while giant panda situation improves
I agree this simple advice will get you very far, and from then imo, you can pick specific goals you want to work on, flexibility, strength, etc.

I would say out of all the points listed, sleep is the most important and the one where all health habits will follow from.

www.leangains.com is a great resource for a simple intermittent fasting protocol. Martin seems to really do his research, and he's in incredible shape which gives credibility to his method.

As for where I go personally for learning about health, I have found personally, it's better to just try something, see how you feel and refine it.
They're both alternative build tools

Rollup is very similar to Webpack but is architectually different to allow it to optimise assets further and faster.

Brunch has actually been around since before Grunt, it's just not marketed. It works in very simple fashion, just install plugins via npm and start using them, no need to edit configuration files (unless you have very specific requirements).

I would consider Rollup as the new hotness, building upon the success of other tools and starting from a better position to create an optimised tool.

Brunch is a long time standing tool that does a job very well and if your project doesn't require any special configuration or architecture it's so easy to use (it can be configured though).
Growth Hormone
don't worry, if Hillary becomes president and the French read her emails again, she will send in the ground troops
For every good news...

Eastern gorilla now critically endangered while giant panda
situation improves

https://www.theguardian.com/environment/2016/sep/04/eastern-...
Perhaps I'm just old and crusty, but the "joy" of a postcard is that I took the time to hand write something on the back of it. For $3, I'd rather the person sending me this share the picture over a cup of coffee.
There may be no easy, clear cut answer to that. Human sexuality is complex and a lot of what we respond to is rather Pavlovian.
You could also use `doas -s`, see doas(1)
It's no big deal as long as JIT compiled code is restricted to the safe subset of instructions. For example, in FreeBSD BPFs (berkeley packet filters) are JIT compiled and directly executed in the kernel mode.
I'm more of a PHP developer, so I use Behat instead of Cucumber. However:

1. The value of BDD is that you have some stories with examples written in the language of end users. You can use a tool like Behat or Cucumber that parses those stories and runs them as automated tests, but it's not fundamental, and you shouldn't avoid using BDD just because the automation aspect is too difficult.

2. Avoid using Behat to interact with the browser, make HTTP calls or run command line scripts. Otherwise your features become too tightly coupled with your views. Use Behat to test your services and domain entities directly, and not to test the framework, because testing the whole application (including the framework, if you're using one) is slow and wasteful. If you want to automate the browser, there are better/faster options than Cucumber and Behat.

3. BDD features are not the same as functional tests. Your features should focus on the typical use cases and read like end-user documentation, while your functional tests should include edge cases and should be optimised for developers.
So just because banks have always been robbed we should allow bank robberies to continue?

Intelligence agencies have to obey the law, just like every other government agency. We can make exceptions for them within the law, but that has to go through the usual legislative processes. If they just ignore our laws that's a problem we should attempt to fix.
Quantum mechanics technique allows for pushing past 'Rayleigh's curse'
Looks like there's an error on that page, and it's only showing a static image.
The Ad-Blocking Browser That Pays the Sites You Visit
You can get vehicle miles driven by state directly, and also such data as fatalities per road user and per miles driven:
http://www.iihs.org/iihs/topics/t/general-statistics/fatalit...

However, you won't get much insight from plotting this data geographically: a table (as in that link) is enough. Basically you get exactly what is expected: Daniel Patrick Moynihan's "Law of the Canadian Border" - southern states have more social problems.

If you want high-resolution geographical data for purposes such as finding problem roads, that would be a lot more difficult - you need to have a graph of the road network (from e.g. Open Street Map), with traffic data attached to the arcs of the network (I don't know of any public access databases like that, although such data is commercially available for road planning) plus accident locations accurately mapped to the roads. I suspect it wouldn't be a quick project to do.
Hope the portable OpenDoas version will implement this feature soon. I'm slowly replacing parts of my Void Linux server with more and more OpenBSD utilities, and have probably already added enough that RMS would conciser giving the system it's own name
Yes, all spy agencies tend to use "technically legal" stuff like that to operate around what the law intended to stop them from doing.

This is why it's so critical to have an oversight committee with deep knowledge of everything that's going on within the agency, regular audits, and a willingness to actually act as supervisors in favor of the law - NOT the agency.

That should be their job. Unfortunately, virtually all such committees tend to act more as cheerleaders for the spy agencies than actual supervisors meant to hold the agencies accountable.
> Oh yes you can, because it's a price bracket.

Did you actually check where a Model S starts after tax credits vs. the base price of a S-Class?
I can say why I would use it, I don't know that I can answer why you might. I would this because I love D3. I also don't have time to write a lot of it. D3 can be expensive for basic charts to the point where you'd be foolish to use it. D3 is great for complex data visualizations where the expense is an investment that will pay you back in higher performance and higher flexibility.

For me, I can use plottable and then make the charts my own with raw D3.
while :;do ssh ... && break; sleep 5; done
A tiny docker image for httpsqs which is a lightweight queue system
It would be helpful if you (or your parent comment) described _why_ it "should be much higher on the list", what's better about it compared to the many other resources shared here.
I wasn't aware you can write apps using QuickTime ;)
You don't need a four year degree to be a lawyer (much less a four-year degree plus law degree). In the UK a law degree is a three-year undergraduate degree.
I wonder how much Trucks will be needed in the future. We will probably also have self driving Palettes and Packages. Which will be routed directly from the producer to the consumer.
> It is immediately obvious that TLA+ is simpler than SML, yet as powerful as Coq

What facilities for data abstraction does TLA+ have? How do I hide the representational choices of a module whose internal implementation I'm not currently concerned with?

> it is TLA+ that requires little more than high school math. You can reason with it about any kind of algorithm you like, using the same simple, familiar math (FOL, ZF

First-order logic is not “high-school math”. You can't expect most high schoolers to know how to correctly manipulate logical quantifiers. (Of course, a competent programmer should know, but that doesn't mean one should force themselves to use a more complicated tool when a simpler one is available.) And axiomatic set theories (such as ZF), which are built on top of first-order logic, are definitely not “high-school math”. Have you ever seen the crazy things that Harvey Friedman does with large cardinals?

> plus three temporal operators, of which only one is really used for safety properties).

That's the thing: I want to reason in a time-independent manner as much as possible. Time-invariant reasoning is simpler and mathematically more beautiful than exploring state spaces alongside with your processes.

> In TLA+ there is no such thing as an imperative or a functional program. (...) E.g., in TLA+, all algorithms (...) denote a set of behaviors, where each behavior is an infinite sequence of states.

Then in TLA+ all algorithms are expressed as imperative programs.

> Think of algorithms as abstract state machines, and reasoning becomes -- if not simple -- then as simple as possible (today, at least).

By virtue of exploring large state spaces?

> But the proof works on the representation of the program, which is just a logical predicate.

Which is it?

(0) Two programs that compute the same result, but have different efficiency characteristics, are represented as logically (not just syntactically) different predicates.

(1) You don't distinguish between programs that compute the same result, but have different efficiency characteristics.

The former is unusable as a basis for reasoning about extensional equality. The latter is unusable as a basis for reasoning about complexity.

> Yes. First I thought of it, then I wrote it, then I added details until it checked.

Checked by whom?

> But let me tell you: if a proof assistant would ever make proofs easier than doing them in your head, then I'd be very happy. Usually they make things harder because they need lots of detail.

I don't disagree with this one.

> But, unfortunately, proof assistants don't help you uncover a proof. Model checkers can do that sometimes.

Type inference reconstructs type derivations all of the time. Reliably. Of course, those type derivations are all boring routine, but it means that human programmers themselves aren't burdened with it.
User spc476's recommendation, Brunner's "The Sheep Look Up", isn't really a sequel, but appears to take place in the world of "Stand on Zanzibar", which I (personally) thought was better written.

Having been influenced by Alvin Toffler's "Future Shock", he (Brunner) also wrote a novel called "Shockwave Rider".

People of that era appear to have been worried more about "The Population Bomb" scenarios than "Global Ecosystem Collapse" scenarios. That said - the underlying driver of ecosystem collapse is overpopulation, so there is a fair amount of thematic overlap.

2312 by Kim Stanley Robinson comes to mind, but that might just be my broken brain talking nonsense...
I actually emailed the author, asking if they had a tip jar since I was so impressed.

They replied "I'd be equally happy if you made a charitable donation this holiday to someone or some organisation that can use it more."

:-)
(unless you have a chronic parasitic infection that western medicine can't detect with urine and stool samples. Then you need to try the 'weird' stuff in traditional chinese medicine.)
de Gaulle, not De Gaul.
Agreed, and to expand on your last bullet point, since someone might not know where to start: God, family and community.

The meaningfulness part comes with living for someone other than yourself, living in service.
Thanks, we updated the title from “NativeJIT – a C++ to x64 JIT used in Bing”.
So by virtue of giving your product a "feature" you've necessarily engaged in marketing? Sometimes people broaden definitions to such a degree they completely neuter the word.
Amazon concurred with the CFPB and now their stock is up after they broke ties with Wells Fargo.
Why doesn't anyone see the break between Wells Fargo and Amazon is partly because of the CFPB's August order against Wells Fargo.

Amazon is smart, don't upset their future clients by partnering with a bank that takes advantage of customers. I love Amazon and the worth to their customers is not just the products they offer but the experience of customer care Amazon affords the common person. Wells Fargo's student loan debacle is just the start of uncovering the deluge of indiscretions.

Wells Fargo needs some new horses to pull the aging stagecoach. My story might cause the stagecoach to lose a wheel.

Don't be afraid, Believe. WFHurtMe.com
I will try it out :)
Benchmarking open source Time-Series databases
Haha, or a bad neighborhood. I'm laughing at, "honey, we need to figure out if we're sending Jake to dance camp or a bad neighborhood this summer..." Of course he's going to dance camp but the idea of sending a kid to a bad neighborhood sounds kinda funny. Now, some of his friends on the other hand...
With a typical amount of deviation in the time of ovulation, the rhythm method still allows 1-2 weeks per month with very low risk of pregnancy. Combined with withdrawal when the risk is unacceptably high, it can be acceptably effective.

> "fertility awareness" (on its own) is a less reliable means of contraception than most other options

You're absolutely correct, of course - but some people's situations don't require such a high level of reliability. For instance, my wife and I used the rhythm method for four years after marriage without incident, until we decided to try for our first child.

During that time an unexpected pregnancy would not have been unwelcome. We weren't where we wanted to be financially, but we would have been fine. Our ballpark assumption of a 10% chance of conception per year was an acceptable level of risk to outweigh the negatives of a barrier method or hormone-based option.
Can you have possibly overlooked the perfect car - the Citroen 2CV?

"#Citroen c-zero vs #2CV which one is going to win?":

https://www.flickr.com/photos/65912627@N06/6892145177/

My money is on the 2CV.
Anyone has always been able to be a DJ
Poll: Is “-3” a whole number?
I've been having a discussion with a number of parents, teachers, mathematicians, engineers, and others, about what exactly is a "whole number."

Opinions vary, and it's certainly possible just to come up with a technical definition and say "That's the most convenient, that's what we'll use." But I'm interested to know what the community here on HN thinks.

Is "-3" a whole number?
It depends
I think mindfulness is a little more than a fad. However, it is in many cases treated as a fad, just like there are lots of fad diets and nutrition-related info.

One place to look for less fad-like treatment of mindfulness is the Center for Mindfulness at University of Massachusetts Medical School, or some of the books by people associated with it, like Jon Kabat-Zinn: http://www.umassmed.edu/cfm/

Also, of course, there are loads of Buddhist-based sources for mindfulness, ancient religion that has always been based on mindfulness, and which can hardly be called a "fad". Some Buddhist-related sources are fad-like. Many are not.
First first link is "live" in the sense that the panel changes based on the current status of the lander.

The second link, that's the one that has all the panels.
I'm surprised at how rugged the surface looks in these high-res images. Especially compared to the imagined flat landing areas we were used to seeing in the run up to the landing [1]. Just shows how difficult a task it was to land and keep the craft the right way up.

[1] https://en.wikipedia.org/wiki/Philae_(spacecraft)#/media/Fil...