skysight-inc/HackerNews huggingface dataset:
Glad you enjoyed it. Remember Praxis' method next time some fool says you can't engineer software. A few companies like them do. They're now just called Altran. The Tokeneer link was good since they published the source code on AdaCore website for people to learn from. However, the highest-security thing they did was the CA below under UK equivalent of EAL6/7.
http://www.anthonyhall.org/c_by_c_secure_system.pdf

Example of new one for model-to-code-to-ASM verification
https://www.umsec.umn.edu/sites/www.umsec.umn.edu/files/hard...

LOCK project was pretty landmark in all that it accomplished with Sidewinder firewall & SELinux being in its ripple effects
http://www.cyberdefenseagency.com/publications/LOCK-An_Histo...

The B method is one of most successful in industry. You'll definitely see the engineering aspect in this one.
http://www.methode-b.com/wp-content/uploads/sites/7/2012/08/...

Cleanroom was early one in 1980's (start at p13)
https://www.sei.cmu.edu/reports/96tr022.pdf

Note: Cleanroom had excellent results at low cost but disappeared for some reason. I saw someone recently combine Python with Cleanroom with good results. Cleanroom's compositional style means something like Haskell + QuickCheck could be great combo. If anyone tries it, let me know about the results.
In one breath, you say that the problem with how I view Trump is that I take him at his word. In the next, you accuse me of caricaturing his positions. The problem I have engaging with your argument is that I cannot crawl inside your head to discover what your perceptions of Donald Trump are, and those appear to be the only terms on which you're comfortable discussing Donald Trump.

But of course, the bigger problem here is that I'm not here to convince you not to support Donald Trump. I hope you won't. But if you do: fine. Sam Altman does not agree with you. He likens Trump to a dictator. If you're a Trump supporter, you are not the audience to whom my argument is addressed.
>I do have some sympathy for people who feel they need a Mercedes car and a North Face jacket, and consistently put themselves in financial peril to get those things. It seems like many are sincerely unable to say no to extravagant spending. Though I don't understand it, I try not to judge.

The explanation is simple: they're probably married.
Modular JavaScript launches in a week
I wasn't disagreeing with you, I was just pointing the reason why a lot of coders are stuck with Windows Home.
It sure as heck had to do with your political beliefs.
Shame on Marco. I can't stand Trump, but I also can't stand this ganging up on Thiel. I guess the fact that he's a billionaire means he can be bullied, but this political bullying has a chilling effect that leads to the lackluster choices we get for president every four years.

Thiel sees Hillary as a bigger threat to his interests than Trump. To prefer an outcome does not imply you favor all aspects of that outcome. As arrogant and simple-minded as Trump comes across, he didn't stay wealthy without delegating his authority, and there would be violence to no-end if he appointed racists and sexists to high-level positions. That egomaniac ultimately seeks admiration, and the threat of "deporting illegals" was most-likely (you never know and that's why I'm not voting for the guy) a strategy to get the nomination.

Instead of Thiel, we should be admonishing our media, which couldn't have hand-picked two more controversial figures and allowed themselves to be manipulated at every step. We should be admonishing Hillary and Trump supporters who turn a blind eye to their unethical tactics and ends justify the means mindset. The ends (aka political payback) usually just result in more corruption and more things to fix with government. We need to stop this cycle. We can start buy turning off the TV, and considering a third party.
And of course, I was right: https://twitter.com/wikileaks/status/788369924175441920
Not sure why this announce is so upvoted (maybe because the title is full of buzzwords?).

If we look at this announce:

* the jQuery foundation (jQuery + jQuery UI) becomes the JS foundation (jQuery + jQuery UI + IBM + Samsung + unknown companies)

* the list of founding members is awkward. IBM to unite the JavaScript community? IBM is the company who creates things like JSONx [1]. These founders have done nothing for the web, for JavaScript or for the open source community. Where are the main actors like Facebook, Google, Microsoft or Netflix?

This new partnership is an attempt to gain visibility by companies that are non-existent in the JavaScript community.

To be clear: the JS foundation will not make the JavaScript ecosystem finally less fragmented and more standardized (the common complaints on Hacker News).

[1] https://www.ibm.com/support/knowledgecenter/SS9H2Y_7.5.0/com...
@ggggtez Those who think that Trump is the most divisive and dangerous candidate ever have short memories or don't remember Richard Nixon or Barry Goldwater. I certainly do not support Trump and wholly disagree with whatever little bits of policy that he has discussed throughout his campaign, but I also try to be historically honest about context.

For example, some might forget the things that Bill Clinton did before and during his Presidency which were opportunistic, sexist, and at times, borderline racist. For example, things like personally overseeing the execution of a mentally deficient inmate to show that he was tough on crime (https://en.wikipedia.org/wiki/Ricky_Ray_Rector), or chasing a woman around his office and biting her (https://en.wikipedia.org/wiki/Juanita_Broaddrick).

I realize Hillary is not Bill, however she supported him throughout his career through numerous serious ethical and character missteps, never left him, and now has him stumping for her on the campaign trail, which sort of makes her a de facto supporter of his behavior. Is Thiel's support of Trump really so bad that he should be ostracized and cut off? That doesn't solve the root problem of Trump's support, and it's not something I believe has any place in an enlightened society.
Nobody opposed Obama for being black. Not even racists in the south. They couldn't care about that because they were too upset with the policies he proposed.

The only people talking about Obamas race where Obama supporters who wanted to avoid substantive discussion about the issues.

Those same people are running around calling Trump a racist now.
> When you call cust sup in Europe, the service is way worst. People to try as hard to make the extra effort, etc.

When you call customer support in the US, you get someone in India who barely speaks English. If you call customer support in the Netherlands you get a Dutch person because no one outside the Netherlands speaks Dutch.

Also, due to better consumer protection laws the actual results are often way better too.
And yet, while we're getting ready to votes for the lesser evil of Kang and Kodos, the Queen is well into her seventh decade on the throne, still enjoying approval ratings that democratic politicians can only dream about.

https://yougov.co.uk/news/2015/09/08/monarchy-here-stay/
If you have explicitly dis-trusted a certificate you can't click-through either.
British Airlines is already f#cking with Google Flights - looked up a round-trip transatlantic flight, got a quote, proceeded to booking, got "oy vey, so sorry, price changed a bit" and served 2x the quote. It was 100% reproducible in a scope of several days.
Dynatrace Recorder Simplifies Synthetic Test Recording
> hasn't been single shred of evidence to back up that claim

saying stuff like this doesn't help your cause. it really, really doesn't.
Upon introspection, i totally agree.

I used to get 5 newspapers a week (daily Sunday)

Once email became free my time on AOL decreased but time online increased. That's where I found news.

Then, the newspapers increased price and also the delivery changes.

I didn't renew all but one. Eventually that was too much.

So I would go to the library and read. But they also stopped some papers too.

I miss the ads the most. Hard to believe, but true. There is no one place now that I can read an ad for a newly opened store or restaurant.
I really suggest you take each of these points in turn and consider how you would feel if the candidate in question was HRC instead of Trump.

You're also missing the issue. It's not so much about Thiel but the message it sends: your professional career is at stake if you support the wrong candidate. I do not support Trump but I find that completely unacceptable.
>McCarthyism was different because ...

... you really really dislike Trump and/or the GOP. That's the difference here.
If your website is bad, and you create a new one that keeps the same core ideas but has new, fancy features from HTML5, you now most likely have a site that is both bad and baroque. Very few websites are bad because they were lacking the features HTML5 adds — they're bad because their creators want to do the wrong thing.
Never been to Portugal, I should look into it. I have been looking to go somewhere for NYE.
I believe Thiel only responds to economic pressure.

I am intending to use my economic leverage, and advocating others do the same, by refusing to work with Thiel and his enablers, which include Y Combinator and companies funded by them. (It's not just the Trump thing, by any means, that's the end of a very very very long list.)

Altman has also shown himself to be – at best – unaware of the moral dimensions of his actions, and that's not someone I want to have to deal with. So I won't and I suggest that you don't.

Same reason I won't work for an oil supermajor. I don't want to be party to pollution.

Everyone else is free to act as they choose, but I hope enough people agree with me that it weights the needle. If companies can't hire talent, they die; so what talent can do is refuse.
Has anyone used their service to build fully-populated boards? I've been dabbling in making boards as a hobby but really don't like the soldering bit at the end. I'd be happy to pay a bit more for it to be done by machines.
> Just adding to this, claiming that a democratic election is rigged is one of Umberto Eco's 14 signs of Ur-Fascism

Would you also apply this to Al Gore's complains back in 2000? Why or why not?
Trump is for firebombing Raqqa. Trump is for capturing and torturing the families of terrorists. I don't have to extrapolate his platform from the definition of "isolationist". He has made his plans clear.
Using Steeltoe for ASP.NET 4.x apps that need a (Spring Cloud) config store
A guide to the Chicken Scheme compilation process
thanks duncan for the reply, i am still not sold on paas as a long term solution, my reasoning being as such, companies like google that have their own paas (gae), don't even use it to run large portions of their own infrastructure. take for instance, facebook as well, they do not use paas as far as i'm aware for major portions of their sites, and i would say that those 2 companies are representative of extreme scale. so why wouldn't a company of this scale need/want paas? i guess part of it is that they can afford sres and devops, but the counter-argument would be that if they could do without sres/devops, why wouldn't they?

i guess what i don't like about most paas is the fact that you lose some level of control over the environment for the sake of convenience and bliss, but at the end of the day, someone has to fix all those bugs in your paas layer.
It wasn't just a suspension - they got kicked out and may only reapply after a year. Only if they pass strict scrutiny will they ever be re-admitted.
Honest question; did you look at the commentary there? I was very curious, and am about as far as you can get from any sort of Trump supporter. Some of the quotes had some meat to them and deserved more investigation, some were clearly inconspicuous things taken heavily out of context.

Now, if you were to tear apart the suggestion that there is not more to offer there than is discussed in OP, that'd be very fair, but that doesn't seem to be your response. (which reads more knee jerk). Shutting down opposition as "cess pool of X" is what lead us to a situation wherein the opposition is pushed so far underground that we're surprised when it gains traction.

I'm actually kinda bothered by this whole thread; since in the interim of my writing this post, the original was flagged to removal. For posterity, it featured a link to r/the donald/ discussing some other contents of the podesta emails. I thought it was valuable if for no other reason than to understand how that element of that group presents ideas and is looking at this scenario. Frankly, I find the response I've seen here (insult, remove, shut down) as being just as frightening as some of the stuff I'd read there.

I encourage everyone to go on "cesspools of the opposition" and learn about them; this doesn't mean you have to agree, like, or even feel positively about what you read; I simply and truly see no other path to any sort of coming together or understanding without openness and questioning.
And why is that a bad thing? you can't leak stuff during negotiations it blows everything up.

The FARC deal is now dead as it seems since the referendum has failed but if there was anything in those emails that could have jeopardized the deal it should not have been released.
Wire Data: A 20-year history and a bright future
IMO the state should pay (up to) a fixed amount per student (say, $5k a year). Anything above that needs to come out of the student's own money/loans/strings to pull.

My concern is with bringing in parental income to the situation.
No type system can be both consistent (generate only valid types) and complete (generate all possible valid type statements). That's what Godel's incompleteness means.
Oppression of expression of opinion is more harmful to American society than Trump is.

Firing someone for supporting Trump is oppression of expression of opinion.

This is a great example of how "progressives" are often just as bigoted as the "bigoted" conservatives they oppose.
> true, but the article suggests that they were not seeing evidence of emergent resistance.

It's a bit early for that, isn't it? Give it a decade or two of widespread use, and then we'll see.

> Also, the mechanism of action is one which bacteria would have a very hard time learning resistance to.

That is hopeful. But how hard is "a very hard time"? It takes decades? Centuries? Or never?
Please clarify what you mean by "repressive". The USA still imprisons more people and have much more people on parole or under some kind of judicial oversight than a lot of much more populated countries.
Assuming you're American, I believe you can get a Schengen visa for most of Europe from any number of countries, including Britain (if you hurry, and it may not be called Schengen since they aren't a member). So try shopping around – it's usually easy if you have ancestors from a country and every country has additional programs for certain purposes (being jewish, for example, gets you German citizenship with no further questions asked).
No but there is enough regional difference, between East Coast, South, West Coast and Pacific North West. Even though most of the suburbs look alike thanks to mono-cultures and business franchises. The general regional vibe if you observe has some stark contrasts.

Again USA is 300 million people, from Rio Grande Valley to Seattle. Spain has 4 different official languages, but more languages are spoken in US than Spain.

edit: I am not even counting the contrast of Native American Reservations to Metropolis like NY, LA.
Sorry, I am really not too concerned about the career implications of suggesting that someone who owns multiple McLarens stop endorsing someone who could plausibly purchase McLaren Automotive.
> Even as a liberal Democrat, I feel sorrow for the loss of a loyal opposition and a voice for limited government.

I always got the impression from my liberal friends that they would be overjoyed controlling the house, senate, and oval office until the end of time with no opposition.
Nobody really owns the land their house is built on in the USA... stop paying your property taxes (rent) and you'll see who owns it.
yes there will be some amount of correction, but keep in mind that some travel behaviors are not modifiable. E.g, christmas, winter/summer vacations, etc.
I don't. By their actions shall I judge them, and their actions are complicit in making Silicon Valley an awful place to be for a number of my friends.

Asking anyone to "reconsider" their way into a hostile environment is pretty brutal. For that to be realistic, YC has to make the first move, and it'd likely have to be an extremely costly signal. What would you suggest?
If the truth blows up your negotiations, you are a cheat.
My understanding is that you can't know that nothing bad is actively happening with the connection since SHA-1 is no longer a strong hash, so it's basically (hand-wave) no different from an HTTP connection.
I look at that subredddit once in a week or so, and I agree with the other persons' opinion. Some of the quotes might have meat in them, but you should have the patience to wade through a bunch of (((, MAGA, Cuck, and other Trump slogans.
Aspose Words (which costs money, and is only "cheap" if you're a med/large business) is the best PDF generation tool I've worked with recently for .NET, handily beating Aspose PDF. Generate the document(s) you need with templates and data as you say, then save them all as PDF.
Since February 2016, I started working with a timer.

I have an agreement with myself that if a timer on my phone is set for 15, 30, 60, 120, 180 minutes, I should work non-stop without any distractions (no food, no music, nothing except my work).

Since then, it's much more easier for me to work really hard and be very focused.

If I'm too lazy to set timer for 3 hours, then I set for 15 minutes. It's easy to convince yourself to work hard during 15 minutes. Then I usually become warmed up a bit and set a new timer for 30 minutes, then for 60 etc.

I also keep track of how much time I spend daily. For example, in October, I worked purely on algorithms like this:

01.10.2016	4

02.10.2016	6

03.10.2016	1.75 2

04.10.2016	2 0.75

05.10.2016	0.5

10.10.2016	0.5

11.10.2016	0.5

12.10.2016	1

13.10.2016	0.5 1

14.10.2016	1.5

15.10.2016	1 2.5

16.10.2016	0.25 2 2.5

17.10.2016	1.25

18.10.2016	0.5

Numbers are hours. I.e. 0.5 = 30 minutes. Several numbers mean that I had pause/time gap in between.

Algorithms/math and problem solving olympiad problems require a lot of really hard work. With a timer, I'm working much more effectively like I never did before.

P.S.
Why timer on a phone instead of a computer? Well, it's easier for me to just click and close window on the computer. If timer rings on phone, I have to get up and walk to the phone (I intentionally put it on the next table).

By the way, it's very good to keep a journal because overtime your collected data about yourself become valuable. For example, I plan to draw a graph with moving average, so I would see overall picture how dedicated I'm. If you don't have such data, it's easy to fall into trap convincing yourself how good you are (like I did before).
You are exaggerating, completely. But lets presume you are not.

How does Trump's fear mongering and threats of violating the constitution help? Opressing a group based on their religion have never in the course of history made a anything safer. It just creates bigger problems later. Once he opens the door to religious oppression how do you know that the next president won't use that power against you?

Trump is an existential threat to the United States.
I thought that these HW 'breakpoint' registers were (only) used to implement watchpoint, that is, read/write operations on data.
Can they be used to implement 'instruction breakpoints'?
There also a bond from a Dutch water board (https://en.wikipedia.org/wiki/Water_board_(Netherlands)) issued in 1648 that still pays interest: http://news.yale.edu/2015/09/22/living-artifact-dutch-golden...
Eh, I prefer Google's calendar search for flights. I also don't care which days I fly and they'll show you the cheapest day to buy tickets.
Google Pixel Review: Assessing the New Smartphone
To be fair, ES6 was huge. ES7, and probably ES8, are tiny by comparison with only a few new features. Once browser creators get caught up on ES6 it _shouldn't_ be too hard to stay caught up after that point.

But, most of experimentation isn't around the core ECMA features. The experimentation is happening around the toolchain, the libraries, the frameworks, etc. which are separate from stuff like ES6.
It seems especially terrible that a religious belief that "gay people should be executed" is more protected than, um, being a gay person.
In addition to being QUITE POSSIBLY ILLEGAL, it would also be QUITE THE MAGIC TRICK, since Peter Thiel is not an employee of Sam Altman, and the organization Sam Altman runs is famous for being built around the essay "How To Start A Startup", which suggests that a unique strength of startups versus normal companies is that they aren't bound by discrimination laws, and so Paul Graham can choose not to start companies with mothers of young children.
Life's too short to work with pollutors.

And yes; I want working with Thiel to be a large net economic loss, because I believe that's the language he understands. This is the only effective tool I have to try and do that. It's nowhere near enough, but it's what I've got.
Again, that's not what we're talking about. Suggest away, until you're blue in the face. I encourage it. The problem is when you advocate actionable, tangible retribution against people not listening to those suggestions.
Does he even has a dead-man switch? It is quite contradictory to his own philosophy or releasing everything without any consideration or censorship.

If he is holding something excessively damning it's quite problematic for for his supports and him, eventually that information would start losing it's value and it will not be a dead-man switch anymore.

This is also a problem because it forces him to dig more and more dirt that can be used as a dead-man switch rather than releasing the information.
Chrome Canary is now available for Android
I prefer Kayak Explore for flexible itineraries since it basically just shows you the best price everywhere and you can filter by price, time of year, flight length: https://www.kayak.com/explore/

EDIT: And here's a ridiculous itinerary it found for reference:

$286, LAX <-> Oslo Round Trip, December 2 - 6, Norwegian Airlines: https://www.kayak.com/flights/LAX-OSL/2016-12-02/2016-12-06/
Are you kidding? At no point during that parties history was it ever 'left-wing'. It was partially funded and staffed by the military, and originally organized to push hard against leftist elements in Germany. It primarily appealed to workers as a conservative alternative to leftist politics, quite similar to the conservative party we have today.
just tried my monthly delta route for a M-F out and back. no results, changed week, no results. I likely wont be returning to the site.