skysight-inc/HackerNews huggingface dataset:
Regardless of what you think of Trump, it's very hard to claim that the media has been fair to him this election cycle. I think the man is a buffoon, but the media has consistently attacked him for relative trivialities while completely ignoring the massive collection of scandals and probable crimes committed by Clinton. From Hillary's illegal email hosting to the alarming emails Wikileaks has been consistently releasing, none of it has been picked up by major news outlets at all. On the other hand, Trump calling someone fat gets 24-hour news coverage for a week.

Then you have articles like this using weasel words to imply that Trump is losing broader republican support because a few prominent republicans tweeted bad things about him. It's just low-quality obviously-politically-motivated "journalism".
How ‘strong anonymity’ will finally fix the privacy problem
If you look in the history you'll see that drug trade was always controlled by an empire. British have imported opium into China via Hong Kong. French have joined them in the Second Opium War. And, now the US empire controlls both the major opium producer (Afghanistan) and major opium derivates distributor (Kosovo), using it - as the two, now small, empires I just named - to finance wars and for the benefits of the Oligarchy.
And to a bag of slices from multiple pages of text.
... maybe the point of putting you in with the shockingly ignorant Principal Engineer was to figure out if you could work with them?
I've done a couple interviews over screenshare, where I setup my own IDE, and liked that more than the typical Google doc or CoderPad
What he did do though was indicate that he uses his social status to do things to women that abuse trust. He is bragging about this to another male, as if women were objects.

You're right, he's probably said and done far worse but not everything resonates with different kinds of people. So a wide variety of shock is required to turn all kinds of heads.
It makes some trivial things really hard. Fun fact though, Joe Armstrong et al wrote the original version of Erlang in prolog. There are some bindings, ymmv.
Are there any plans to make these programmatically-generated transit maps available as posters or dead-tree paper maps?
FCC Scales Back Proposed Broadband Consumer Privacy Rules
For Python, check out Pyke or pyDatalog.
Did my first big project with >200 Unit-Test, like we learned at university, haha.

Well, then requirements changed, and most of them started failing. In the end I spent most of my time fixing the now wrong tests.

On the other hand, stability goes down if I don't do any testing.

At the moment I do automated UI testing. I'm a front-end dev so this seems to catch many things, especially thanks to test-videos and screen-shoots.

I'll try TypeScript in my next production project, simply because I don't know how to write the right amount of good unit-tests. But I know that TypeScript doesn't prevent all bugs, so I guess I'll have a blind spot between the type-checker and the UI tests, but hopefully it won't be too big :\
The CIA has been portrayed as the bad guy in movies for a long time and that's the way the want it.

Why? Because they want everybody to get used to the idea that they're above the law without having to come out and say it directly.

https://www.google.com/search?q=why+are+cia+portrayed+as+bad...
This is exactly what I have been looking for, reasonable hardware that I can put together with a drivable car/robot that I can have fun programming. I will watch your video and probably order your kit. I think my son could really enjoy learning with this kit.
We have a laptop they can use and make the offer that they can use it. It hasn't happened often, but I could easily see it being set up with a few different environments already. (Adding that to my todo list.)
Do you blame them?
Russia is only trying to protect themselves from gettimg dragged into unnecessary aggression and war with Trump as Commander.
If we had a sane choice we would still stick to tech - tech is like the first love that is going through a rocky phase!

I believe there is the "collective stupidity" problem in the tech industry where a new framework pops up almost everyday, a new language every now and then and the sheer volume of knowledge to accumulate to stay relevant is abysmally high! With the realities of life taking over, the path is inevitable to most senior people.
This would depend on the kind of software you're making and the potential for an unhandled error to cause injury, expense or damage, but yeah.

I would really like some system that can tell me how many times a line of production code has executed in the last year. For an ecommerce web app, I can't imagine how a line of code that hasn't run in the last two years would still need to be there.
> The thumbs up gesture is an offensive gesture to Muslim cultures.

Source?

I've heard a similar claim with Muslim cultures replaced by India and that's blatantly false (I live in India).
These problems are examples of questions that can be tackled with the help of mathematical tools. They can show students some applications of mathematics, but IMHO they don't really teach mathematics. Maths have to do with statements and proofs about abstract objects. I'd rather learn about euclidean geometry than trying to figure out the number of piano tuner in manhattan (I'm sure most students will be bored either way).

Actually, this is an endless source of discussion among instructors, not only maths. Should classes be driven by applications in order to motivate students?
Capital One DevExchange on a Mission to Change Banking
there are still a lot of destroyed documents being stored around the world (say, from the StaSi for example).
I would love to see this applied on them. It migjt shed some light on things supposedly lost to history.
We all agree that reproducible builds and DDC do not solve all problems. No one said they did.

I encourage continued research work on solving steps 1-8 (and some related ones, too). As you noted, I've advocated for work in many of them, and have written about them. I'm no stranger to SCM security or formal methods :-). But many of these steps are notoriously difficult. CompCert is a great step forward in the research community. But CompCert only supports a subset of the C99 programming language, is proprietary, and produces executable code that performs significantly worse than Freely-available gcc and clang/llvm when used at their usual optimization levels (-O2). Neither gcc nor clang/llvm are ever going to be supplanted by a subset proprietary compiler that generates poorly-performing code. In addition, where are the rest of the compilers, for all the rest of the programming languages? I don't think the ECMAScript ES6 specification meets point #1, and you can't get the rest until you have point #1.

When you say, "The implementation of it in the language should conform to that spec or simply be correct itself." - sounds good. I guess you'll use formal proofs. How do you know that those formal methods tools aren't subverted?

> The "easy" approach to solve most of the real problem is a certifying compiler in a safe language bootstrapped on a simple, local one whose source is distributed via secure SCM.
Most people do not have access to a "certifying compiler", and in any case, that begs the question of how you certify that compiler. DDC lets you break the cycle.

Reproducible builds and DDC only solve specific problems, but they solve them in ways that can be implemented relatively quickly, at relatively low cost, and can use today's tools. I think that is what's exciting about them - they're much more obviously within reach. Yes, they do require some tweaks to build processes and build tools. But they don't require everyone to radically switch to totally unfamiliar approaches (e.g., to formal methods). And there are subverted binaries attacks - quite a number of them - which can be countered by reproducible builds. DDC can be viewed as the next step in reproducible builds - enabling detection of subverted binaries when a compiler/build tool is involved. I think there's no shame in solving focused security problems today, even if they don't solve absolutely everything; we should celebrate the successes we can get.

> Meanwhile, the big problems are ignored and these little, tactical solutions to smaller problems keep getting lots of attention.
I don't think they're being ignored, but you should expect that projects are less likely to get funding if the require $$BIGNUM, take a long time, and have a significant risk of not turning into something people widely use. We don't all have $$BIGNUM. I think humanity can both work to fix smaller problems (with shorter-term payback) and work to make progress on bigger & harder problems.
You block volumetric attacks by filtering the payload, not by blocking IP's. If you block by IP, you're going to have a lot of upset customers. Also, what are you going to do on an IPv6 attack? Block the entire /64? Unlikely. Also remember that a single IP doesn't always mean a single user for IPv4. An IP might represent several thousand customers in the case of NAT and especially CGNAT.

If the traffic is indistinguishable from normal traffic via L3/L4, then it's a layer 7 attack, which cannot be spoofed. You're not dealing with spoofing in a L7 attack.

The first D in DDoS stands for distributed. Even terabit sized attacks are easy to stop if they're sufficiently distributed (the attack is geographically dispersed enough to be diffused). It's when you get a terabit from a handful of AS's (like in S. Korean attacks) that you can feel pain. Even then, it usually only knocks out access in that part of the world, but not everyone.

IP's will not be sticky. IPv6 is showing why it's important to not be sticky. Ending spoofing isn't going to stop DDoS attacks. I've got 10+ years of experience on the subject, and I'll gladly answer any questions you might have.
The fix for that already exists: https://en.wikipedia.org/wiki/Hollywood_accounting
Working out regularly would certainly make your "health state" better than average.
MIT: Using Legos as a Legitimate Urban Planning Tool
A comment from a Firebase engineer at Google two weeks ago is encouraging that the project is still active, maintained, supported https://news.ycombinator.com/item?id=12527340
Right but that's likely the crux of the problem "reasonable" might not be enough to build a sustainable business.

If I was doing support for startups that weren't paying me very much, I would have to question the return on investment there.

I was trying to say, that startups as customers are a bad idea and that support contracts if you DO have them as a business model should be in that range.
Google Chromecast Ultra: Is It Really Worth the Upgrade?
Anyone has lecture 20? - "Lecture 20, which focuses on the AI business, is not available."
I feel like people are somewhat aware of prolog but it's cousin datalog that's a db query language is much less widely known. I don't have too much experience with it but it seems like one of the technologies of the past that's superior to current alternatives but for some reason didn't take off.
I honestly cannot agree with your reasoning or conclusions at all. You'd choose to vote for the unpredictable bully that isn't totally against using nukes because he admires Putin; nevermind his aggressive rhetoric in literally every other sense (rivals, allies, and our own citizens alike). That's the anti-war vote? It's obviously your vote, but good grief, I can't believe you'd find that more comforting. So yes, I find your position very, very, very myopic.

And just to get ahead of it: I've seen that video. I'm familiar with the topic. I think the idea of an actual war with Russia is very outlandish.
Mylan's quarterly profit margin is 15-20%. 30%+ is Apple territory.
That only rephrases the question to what definition the tool used.
I wouldn't say it's low quality journalism. I'd say it's a side effect of the two-party system. This is what is currently news. Yes we don't have the strongest journalism in America, but NPR is reporting on what people are talking about. You mention the scuffle over Hillary Clinton, but fail to mention the media's lack of attention to other parties and candidates in the race. Yes the media needs some rebooting, but that isn't really what this article is about.
This comment reminds me of a typical response from a politician to a pressing question.
Here's a gem that describes a new standard of journalistic rivalry we haven't seen before or since:

Rather than some dastardly, covert plot to destroy (or, as some went so far as to suggest, murder) Webb, Schou posits that the journalist was ultimately undone by the petty jealousies of the modern media world. The CIA “didn’t really need to lift a finger to try to ruin Gary Webb’s credibility,” Schou told The Intercept. “They just sat there and watched these journalists go after Gary like a bunch of piranhas.”

..And a view of the elevated conduct of the CIA

In “Managing a Nightmare,” Dujmovic attributed the initial outcry over the “Dark Alliance” series to “societal shortcomings” that are not present in the spy agency.

“As a personal post-script, I would submit that ultimately the CIA-drug story says a lot more about American society on the eve of the millennium that [sic] it does about either the CIA or the media,” he wrote. “We live in somewhat coarse and emotional times–when large numbers of Americans do not adhere to the same standards of logic, evidence, or even civil discourse as those practiced by members of the CIA community.”

Co-incidentally the second paragraph came near the end of the article when I was about to stop my reading anyway.
This will just turn into a silly argument over semantics. It's not as if a natural death is just suddenly passing from old age. You succumb to some kind of disease that destroys a critical part of your body. Modern medicine does a lot when it comes to preventing and curing diseases, so I'm not sure where your argument that medicine hasn't attempted to extend our lives comes from.
Google is putting a lot of arrows behind Firebase (and cloud in general under Diane Greene), so I'd say it's not going anywhere anytime soon.
True, also the industry prefers younger population coz they can burn more hours and are available for a cheaper than the experienced folks.

Also, the industry somehow seems to stereotype a developer as some younger geeks. The stereotype works against experienced folks sometimes (not always).
If you don't like JavaScript's type coercion rules, fair enough. But if you're criticizing the fact that you can write JavaScript programs with nothing but punctuation characters, remember that no-one ever does so except as a joke, and that you can do ridiculous stuff in most languages. (Try Googling "obfuscated $YOUR_FAVORITE_LANGUAGE".)
How U.S. Torture Left Legacy of Damaged Minds
[Early Access] Sailfish OS Fiskarsinjoki
Then people and businesses that are DDOS'd should be able to recover damages from the ISPs.
So glad I don't write in a "weird and wondeful language that lets us write some crazy code that's still valid"
Because your subconscious brain said so. The vast majority of processing done by the brain, auditory or otherwise, is on a subconscious level with the ability to raise a priority interrupt.
Yes, all the time. I've heard it for physics, I've heard it for CS and I've heard it for programming, all with good reason: the way you teach somebody deeply invested in your field is different than the way you teach somebody deeply invested in a different field, learning yours as a supplement. Or maybe a better way of putting it is that the way you teach somebody interested in a field in and of itself is different than the way you teach somebody who has other interests and motivations, but still needs to learn.

And hey, maybe before college, almost everyone is a non-mathematician. There's the small majority of students who'd love learning group theory because it's fun and beautiful, and then there's everyone else who need practical applications and real-world examples. But the way you teach them is ultimately just like the way you'd teach non-mathematicians in college or further on in life, when there's a clearer delineation.
I tried to find you a decent intro to the best approach at this, Design-by-Contract. The Eiffel site has a nice, short intro with examples and benefits:

https://www.eiffel.com/values/design-by-contract/introductio...

It has been implemented in Java with the stuff inside JavaDocs. I know JML/Krakatoa integrated it with provers. Simplest is using it for interface checks, though, of expectations of what component is doing vs what it's actually doing. The DbC style lets you document your assumptions, have formal properties to derive tests from, work right there with the code itself, and even automatically generate tests in some tools. That last one is huge benefit as you know the tests will always be relevant to the module and don't have to maintain them. You can do your own tests at the system-level on stuff the module-level contracts might not capture.

I'm not sure I can help you for most of the others. Remember, though, you can implement the DbC assertions in code that's in the modules themselves called before and after they run. These can be set to turn off with a flag during production compiles. You can also write generators that pull them out of comments in your source files then produce a version of your program with the checks in them as tests. I can't find my original articles post-PC crash but the one below builds in Ruby a generator for C language DbC:

http://www.onlamp.com/pub/a/onlamp/2004/10/28/design_by_cont...

EDIT: Two for Python on StackOverflow that are kludgey but seem to help.

https://stackoverflow.com/questions/8563464/using-design-by-...
My immediate thoughts exactly, so I reread to confirm the parent said "consider" removing the code. I think this is reasonable. While considering the removal of unused code, we should should keep the code that handles unlikely failure scenarios.
I welcome the CIA's attempt at modernizing. Let's face it: their recent track record at predicting major social movements has been terrible. The Arab spring, Tianamen square. They found out like the rest of us: cable TV and Internet. Monitoring social networks would seem like a good approach. I am wary of this technology being pointed domestically. Supposedly the U.S. is not in the CIAs purview, but there is probably no legal impediment to "lending" it to the FBI, or Homeland Security or whatever.
Obviously ISIS hackers will get killed in drone strikes, that's a war. But nobody is going to drone strike a hacker in Russia, Germany, or the USA. Let's get real here.
Pinnacle Studio 20 Ultimate Crack and Keygen Full Version Download
IBM’s Power Roadmap Extended by Chip Breakthrough
Google, Apple and Microsoft acquired 100 AI companies in 5 years
Your HN bio says "DevOps Engineer" - I think that means that you apply software development techniques to tasks that traditionally belong to sysadmins or "IT"?

Note that the article quotes Spolsky talking about "developers" - it's possible your job has a slightly different mix of need-to-concentrate versus need-to-communicate compared to a pure developer making software at Microsoft.
I think of a single payer system as infrastructure like roads, electrical supply, water... It collectively takes the risk from the individual and provides for everyone. A business no long gets distracted with pension, drug, medical... and focuses on the business of making money. They pay tax and that is it.

In an ideal world.
The absolute worst is when someone in management (who generally arrive after me) interrupt me to ask about something irrelevant to the company, like my weekend, sportsball, or whether I watched a TV show. I was focused, hard at work making you money. What are you trying to achieve?
Interesting! First I've heard of it.
Is Tcl still used very often? The last time I looked, it was often used as a scripting language embedded into other programs, much like Lua. Is that still true?
Good catch. I can't seem to find it either on YouTube.
its pricy tho, at $15/lbs it might be good as an additive, but i dont think it makes a good base for the whole cookie? Perhaps added protein to protein bars? Im gonna grab some when i find a seller that i have a gift card to.
I took this class given by Prof. Patrick Winston a while back, 43 or 44 years ago. I liked it so much back then, it served me well in grad school and for many years after. Next week I'm visiting with an AI company on behalf of potential investors.
Didn't work for me either time I tried.
It looks like it might work best as a two step process. first pass to connect the major chunks, then find the edges and anneal those chunks.
I'm not disagreeing, yes, reproducible builds don't make a lot of sense from a security point of view. But they do from an infrastructural/package management point of view and could make some things easier, more manageable, more reliable.
This is a great idea. We should definitely undo the 40 hour work week and other progressive-era trifles, serfdom was way better. Who wants to own things anyway
Why simulated annealing? Wouldn't it be much more efficient to just compare all pairs of columns and then sort them cording to similarity? That would take a 360,000 comparisons instead of about a billion iterations for an image 600 pixels width.
Programming in Ruby;1.9 & 2.0. Dave Fowler et al
aka Pickaxe book
That doesn't preclude the same outcome as globalization where the "rich" accumulate a much greater proportion of overall wealth while the "poor" are still left much better off in absolute terms. To say nothing of falling in-between.
This probably should have the publication date, July 2015, stuck in the title.
I tried to use J, but it's somewhat tied to my muscle memory already (and I'm surprised I use it quite often joining comments and stuff). If you're like me, remember that you can abbreviate :join to just :j.

The advantage of using J and K is that they're very vim movements, but if can't because of :join, another workaround would be to use <PageUp> and <PageDown> since they're redundantly bounded to <Ctrl-B> and <Ctrl-F>:

nnoremap <PageDown> 7j
nnoremap <PageUp> 7k
vnoremap <PageDown> 7j
vnoremap <PageUp> 7k