skysight-inc/HackerNews huggingface dataset:
People making arguments about automata theory in security are often affiliated with the LANGSEC program/project/movement.

http://langsec.org/

There are lots of compelling ideas there (and LANGSEC researchers would tend to agree that if a functionality can be implemented correctly as an FSM, that would be a safer option).

A related phenomenon that people talk about is the unexpected Turing-completeness (where people have been able to prove that so many different parts of computing are Turing-complete -- things that were never intended to be programming languages). LANGSEC people and others refer to the negative security implications of some of this as "weird machines", where you really didn't want Turing-completeness but you got it by accident or by default anyway, and it might be possible for an attacker who can corrupt control flow or other kinds of state to then perform arbitrary operations. For security people an example may be return-oriented programming, but there are evidently others that can be thought of in the same way.
Musk started a competition. Before Space X we would not have see this type of statement from Boeing. I hope other companies get on board. LET THE RACE BEGIN! Yea!! Love it.
Speaking as someone with a similar setup, I've never had many issues with plugins assuming the use of hjkl. The only one I can think of offhand that has issues is indent-object.

The thing that really causes issues is my attempt to swap the roles of [ and {, using [] to jump between paragraphs and {} to do fancy function jumping. Vim plugins really don't like that...
Indeed. I try to come back to pages like this every few weeks, and to start training myself to use one more of the tips from it. Today it's * and # to go to the next/previous instance of the word under the cursor.
>$0.55/month is the mean for the entire userbase.

A good distinction but even if you assume a power-law/Pareto distribution for the revenue per customer, it would be roughly ~$2.20/user/month.
It used to be, for the longest time. Until about 5-6 years ago.
Theoretically yes, practically no. But why bother? Supporting the walls by filling the space with a gas lighter than air would be more efficient.
Yeah, totally. Gotta start somewhere :)

I do think that you, overall, need to care less about optimization-level-details in Rust than in those other languages. But that's because we've made it so that the default ways you do things are already plenty fast; the idea is that the nice way of doing things is also the fast way of doing things, so there's no "well, looks like I can't do it how I want, time to replace it with something gross but performant." Of course, this can still pop up from time to time, but it happens more rarely.
My experience has been quite the opposite in terms of convenience and relevance: I commute by car and train (for some parts of the same journey) and google Now, google Maps (etc) have been totally useless there: telling me about traffice jams when I'm in the train, not telling me about train delays, etc... it now somehow thinks my home is at the train station, it tells me the last bus home is leaving soon when I've been home for hours, also Google Now's insistence on bombarding the leftmost pane on my phone with the most click-bait articles ever, often about things I had a passing interest in months ago, is just laughable.
I would be glad to give Google some of my very precious privacy, implementing some countermeasures like multiple and burner identities as needed, if I thought they had any chance of actually providing real value. So far they have failed miserably, I am not sure the economics of providing a really useful service there for free just with marketing information as source of income work now, or for a very long time. You'd need strong AI to actually help my day to day life, with solid non obvious guessing based on many very local and specific factors. I guess as long as people kind of believe that this future is coming, they may tolerate the invasion and forget about the promises.
Hot, dry, humid, in varying quantities during the warm season. Occasional bouts of days-long rain when the remnants of tropical storm systems come ashore.
Not One New York Police Officer Has a Body Camera
What I'm interested to know, is what's in it for both companies - besides notoriety?

It's going to cost billions to reach Mars, and more billions to develop things to a "good enough" point to actually make the round trip feasible - and so far, at least to my knowledge, we've found nothing of enough value to make trips there economically viable for a for-profit corporation.

Sure, they'll get government contracts, but that doesn't pay for the first trip there (which appears will be entirely on their own/investors dime).

There aren't massive gold or platinum deposits we've found - and even if there were, surely it would be difficult to extract and recover due to mass.

I firmly believe Musk is totally willing to bankrupt his company (and himself) to achieve his goal of landing on Mars, but are his investors? What about Boeing and Lockheed Martin (ULA)?

At least with a government landing on Mars, you can expect science to be conducted. What does a for-profit company do there, when there's not much to make a profit from?

What's the end-game here? We land and say "we did it!"... then what?
For every citizen to have an equal chance of success (assuming success is merit based), every citizen would have to have equal abilities.

And this is simply not true. Especially by race where IQ can vary 3 standard deviations or more.
Turnout is the number of votes cast, not the number cast for a single person. Rep turnout was not a record. Trump's votes received were indeed a Rep record.
That's a peculiar reply. Like it's ok to have bigots, as long as there's lots of them?
Understandable complaints, but isn't the latter just standard procedure in modern cyberwarfare? I think I would be more upset if America didn't have any offensive zero-day weapons to strike with. If we only had capability against foreign companies software, everyone would just buy American and be immune.
There's a substantial difference between 'keep quiet for the duration of these investigative legal proceedings' and 'you are never allowed to ever tell anyone about this no matter how much time passes'.
Beginner's Guide on How to Learn Languages
Work just outside the perimeter (near the airport) and live fifteen minutes away from work (Chattahoochee Hills/South Fulton county), and I have a very nice private house in the country for $850/month (utilities included). It's perfect for my lifestyle.
Imagine you're a something like a muslim in the US, and somoene like Trump is elected 5 years from now. You've been here all your life, you have a job, you pay your taxes, you're just a person who happens to be in the wrong place at the wrong time. Much like a jewish person in Poland in the 1940's. Now even back then, it was not easy to escape persecution... but it was possible. In a google world though, there's nothing preventing a corrupt government, or even a corrupt corporate governence from take over, or leveraging this data to your disadvantage. Perhaps your car recognizes you, and locks you in until police come, perhaps you felt safe enough to go to a bar, and that data was forwarded.

Perhaps an exaggeration, the point is, even if you trust google today. There's no guarantee that data will always be held by the people who are google today. We know for a fact the NSA had access to all google data up until at least the snowdon leaks. To me that's the concern about privacy, you have no idea how it can be used AGAINST you in the future.
(Lack Of) Representation of Non Western World in Creation of Web Standards
Hot and humid in the summer.
Rains frequently.

It's the South.
I decided one year that I would force myself (a vi die-hard) to use emacs for everything for an entire year, to see if I ever got used to it. One thing that never stopped driving me crazy was that there's no efficient way to duplicate a line like yyp in vim. The closest I could ever get in emacs was ctrl+k k ctrl+y ctrl+y (that is, delete the line and then paste it back twice). Looking online for a solution leads me to believe that the only way to really effectively use emacs is to learn lisp and reprogram it yourself.
One option would be building some systems and testing them. I suspect that that's a lot of what a professional working with high load systems does in order to avoid problems before they happen.

Good luck.
First off let me put this out there, people that send me "lmgtfy" links annoy the f#ck-sh#t out of me. I'm proficient at utilizing search engines, thanks pal.

More directly to the point, I was (clearly) comparing the relative resources Google invests in some data sets vs others. Are you arguing that Google invests comparable resources in this type of data compared to the resources it invests in understanding Google's users' data sets?
Insight AI Fellow Program Launches in Silicon Valley and New York
I think it's exactly what Google wanted us to have.
> my cofounder and I add more functionality to our startup every two weeks than Twitter's 4,000 employees add to theirs in an entire year.

There was just a discussion of a closely related topic a few days ago:

https://news.ycombinator.com/item?id=12626314

> I think it's still pretty telling

Huh? Telling of what? That you don't have a good grasp on what's going on at Twitter?
This is normally true, except that in order to be good at your job as a developer, you have to be good with your tools.

It helps that vim is installed by default in every modern OS.
That was done for other reasons. The economic reforms were implemented as a part of a shorter term plan.

The human rights related crimes in Chile and all countries affected by Operation Condor had the high-level objective of eradicating socialists/communists, and that was a part of a long term plan of ensuring that the policies the juntas created would not be reverted.

Do I agree with using violence to support a economic/political system? no. But that was what happened.
Essentially this, and my biggest gripe with sending your entire life to these hosted services.
> Can someone please develop a piece of software, document/video themselves doing it and explain what/why they are doing parts of the project?

iirc I think Leslie Lamport might've been thinking about making just such a series on TLA+ on the ML... TLA+ is a software specification system he wrote that was popularized by Amazon and Microsoft. It's open and the tools, while rough, are free to use.

If he doesn't go through with it I've been looking for something to teach and I'd like almost nothing more than to teach TLA+ to more people.
As someone who's lived in Atlanta for 8 years there's a massive difference in mindset and culture between the city (often referred to as ITP/Inside-the-Perimeter, referencing the ring of I-285 circling the city) and the various suburbs surrounding it. There's no way I'd live OTP by choice, especially with a non-flex, non-remote gig.

Imho, Marietta/Cobb County (NW of Atlanta) and Alpharetta/North Fulton (N of Atlanta) especially tend to have... less than cosmopolitan perspectives. DeKalb (NE & E of Atlanta) can go various ways.

My rebuttal to Atlanta being casually racist is always "Have you lived in the NW/NE?" We're absolutely still racially stratified (see: https://en.wikipedia.org/wiki/Demographics_of_Atlanta ), but compared to the other places I've lived and visited you run into a wider variety of people in everyday life. Which is important to me.

Hell, when I was younger I once worked a service gig at a beach restaurant in CT and could count on two hands the number of non-white customers I served the entire summer.
As learned from relatives living there, Altanta's long-term water situation kinda frightens me. Their aquifer (aka Lake Lanier) can't sustain the anticipated population, and it looks like fights are brewing with downstream parties like Florida, who also have legal share of that water.
+1. Nice philosophies and platitudes are not power, and it does otherwise smart people a disservice to their rationality to confuse the two.

A piece of paper and its surrounding political philosophy may empowering in theory but is decidedly not in practice. At the end of it all, it is the threat of adverse action, hopefully through re-election or worst-case through violence, that keeps power in check. The majority is too unwilling or too ignorant to oust those that are given the power to strictly enforce the philosophy, and thus the Constitution is emasculated.
I'd actually be interested to see examples. Most of the ones I know are of courts and Congress ordering three letter agencies to stop doing things, and being lied to and ignored.

The infamous one: in its early days, the NSA was ordered to stop surveillance of US citizens. It went before the Church Committee and testified that the relevant sites had been closed for more than a year. This was a lie, bottom to top. The sites were actively operating as those words were spoken, and they weren't closed down until whistleblower James Bamford exposed the lie. https://theintercept.com/2014/10/02/the-nsa-and-me/

There's a list a mile long of similar stories. Court decisions, executive orders, and acts of Congress have bounced off these agencies without result.

I'd like to see examples, but I agree that you're not wrong in general. The agencies do respond to court decisions sometimes. My point is that when legal compliance is a coin flip and there's no way to check for results, you can't be sure that legal decision has changed anything at all.
Thanks for the reply and the feedback! Leads don't get asked to be contacted by Pipeline users unless they submit leads through Pipeline itself. They have, however, placed project advertisements or work with recruiters so they expect to be contacted - I'm not really sure I understand this point. They don't get contacted every week, only whilst they are hiring (and we only advertise the same positions to 3 users max).

• "edit: saw "We aggregate leads from 200+ sites, job boards, Slack groups etc.""

Why is it super gross? We find and filter many, many, many leads that are super low quality and unsuitable, we're taking a lot of the sourcing work out of the hands of freelancers/agencies and we find leads from people/companies/websites that they're likely not to have visited. For us, the point of this service is to send filtered and high quality leads, saving our users time and resources that could be better spent on completing projects. Hope that makes sense?
I strongly oppose vulnerability hoarding, but I'd point out that if we don't think it's easy to make political or cultural progress against it quickly, a technical alternative to make people safer is actually finding ways to make safe software. Plus, if "bugs are dense" advocates are right, we need major qualitative improvements to software development in order to make much of an impact (because they argue that different hoarders, or even different from-scratch researchers, would primarily know about different bugs).

So it's not unreasonable for NIST (which actually wants people to enjoy computer security) to investigate what could be done in this area!

Edit: but it's true that it would be awesome to see government do something to make these improvements actually happen -- and a research report probably isn't that.
This is fascinating:

The Epiphany-V was designed using a completely automated flow to translate Verilog RTL source code to a
tapeout ready GDS, demonstrating the feasibility of a 16nm “silicon compiler”. The amount of open source
code in the chip implementation flow should be close to 100% but we were forbidden by our EDA vendor
to release the code. All non-proprietary RTL code was developed and released continuously throughout the
project as part of the “OH!” open source hardware library.[20] The Epiphany-V likely represents the first
example of a commercial project using a transparent development model pre-tapeout.
Depends on what that source code does. What if it overloads electrical systems placed in orphanages in China where they grow hackers and burns down the building with the kids inside?
Who cares?

EDIT: Why should I care?
Hire the Donald
Not that I agree, but they are trying to keep the "bad guys" thinking certain forms of communication are safe when really they are listening.

I see the logic, hide our capabilities (kind of like the star wars program) and then no one knows what's safe.
Who you know and your image... so basically every business community?
I think it's right for people in the know to be concerned. The direction has all kinds of possible disastrous consequences. But it also has lots of amazing dual-use possibilities for making our lives more fluid, and technology more magical. You can't deny both.

Trying to take some big stand against it I don't believe will work. Look at all those who took a stand against the 2nd Iraq war -- they were drowned out. And now everyone thinks the opposite. Culture/society always pushes a particular direction until there's a very big disastrous reason to think otherwise. Until something clearly really really bad happens this is the track we're on, like it or not.
In reference to your first comment, the Soyuz capsules pitch and roll a large amount too. With the crew capsule here, as long as the passengers are still alive at touch down it gets counted as a win. After all, would you care all that much about discomfort if it meant getting you away from an exploding rocket?
This arrest happened in late August, it seems. Has SCOTUS set limits on how long prisoners can be held secretly?
"We asked and asked, for many years, to see Google get serious about building and designing its own smartphones. The Pixel isn’t everything we wanted, but it is definitely the device and strategy we’ve been demanding from Google for so long. And just like the enigmatic Google Assistant, this new initiative of Google acting as a hardware designer and builder is likely to only grow better with more time and experience."

Ths is a weak, navel-gazing article that feels more like marketing than analysis.

The article argues that what 'we' wanted all along is the magic of HTC combined with long-term OS updates. It listed the killer features of various manufacturers: Samsung's screen, HTC's design, blah blah, and wrote a few paragraphs that suggest the author is paid per word.

But in the end the features that are objectively useful: build, water resistance, battery life, and low price, are all not mentioned.

But the enigmatic new assistant is! Take that Siri!

Uh, no. Most of us aren't viewing the smartphone battle as a battle of AI 'assistants'. Maybe in 2030 I'll care about that. Right now my concern is battery life, longevity and RAM of my 5X (it only has 2GB), and the only reason to upgrade to this expensive device is so I get more RAM.

But I'm going to hold out. I hope it flops.
Looks like they offer free tracking api even if you don't buy shipping through them, which is interesting: https://goshippo.com/pricing/
In the case that is covered most in this story, there was a one year limit.
IBM's compose supports rethinkDB. Will they continue to support?
What's the practical application of a chip like this?
Adding Scrollspy to your Website
Did I read the specs wrong or are they claiming a 12x - 15x performance improvement over the Ivy Bridge Xeon in GFLOPS/watt? In a <2w package? http://www.adapteva.com/wp-content/uploads/2013/06/hpec12_ol...
The procedure involves jailing someone under a false name, at least on the paperwork. It isn't that unusual and is normally used in organized crime cases. The arrest is done under the guise of arresting a "material witness" rather than an accused criminal. Doing this bypasses various protections (lawyers, hearings etc) for a significant period of time. The use of false names is to protect the "witness" from intimidation. The suspect is then re-arrested on criminal charges while in custody once the need to keep him secret is over.

An infamous case:
https://en.wikipedia.org/wiki/Brandon_Mayfield
Well, it only "has value" if you're worried about discovering the wrong thing. If you think you're going to discover the "correct" thing, then you're apparently morally free to use whatever variables you want.
That existed at least as long as cable TV, probably longer.
I always see posts like this on HN. Whether its Portland, NYC, Chicago, Philly, Atlanta, Austin, etc etc etc. Why do people feel like they need to "convince" others else to move to the place they live or that the startup scene is "more real" than they currently believe?
A global "turn off and delete all location history on this device" would be best, really.

At least for turning it off I expected it to be phone wide, not account specific. Deletion yeah, I suppose you're right.
> I have no idea how people learn Vim

LOL, I felt the same way about emacs when I tried to force myself to use it. Interesting that you point out that "the scripting is awful" - my sense after a year of using emacs full time was that the _only_ way to use emacs is to learn to script/reprogram it. If you don't mind my asking - how _did_ you learn emacs? Were you a lisp programmer to start with? Or did you learn it in the context of emacs?
It's the same for Washington DC as well. You can easily drive 20 miles southwest and get stuck behind a tractor while driving past corn fields.

It's pretty similar for every city I've been to (including Atlanta). Drive an hour away and it's a completely different place.
Google has a big "negative coding" project with BoringSSL, a fork of OpenSSL that tries to remove tons of code:

https://www.imperialviolet.org/2015/10/17/boringssl.html

Seems like it's been a useful concept.
A home may be a private space but it isn't <i>your</i> space. When entering someone else's space you open yourself up to having to abide by their rules, listen to their music, and be captured by their cameras.
If Google can fall afoul of European anti-trust regulators, a tie-up of FB and TWTR absolutely would.
Do you know what the story is for using geospatial data with KDB+?
"Everyone wants a dictator in charge, as long as they agree with them"
This is the future.

To remain competitive people will adopt new technologies. Google assistant/cloud, self driving cars, CRISPR. Consider what people gain and lose with each new technology, such as the ability to drive, a bio-engineered kill switch, or control their own hardware (windows 10).

All new technologies can be compromised. The ability to process the extreme amounts of data we are generating is already at previously unimaginable levels. Political dissidents or those who interfere with corporate interests can be identified and silenced with false evidence (pedophilia!); media control; and personally targeted DoS of finances, cloud services, etc.

This is the ability to control the world. The corporate world is disincentivized from doing anything about it, and governments don't really get it as evidenced by their hoarding of zero-days [0].

There's a war going on right now. It's terrifying, and awesome. Throw in some global climate change and our next 50 years are going to get interesting.

When the end comes I'll be that crotchety old guy who knows how to DRIVE A CAR and use a general purpose computer.

Hack the planet!

Here is what was possible in 2011: https://news.ycombinator.com/item?id=12528544
[0]https://www.schneier.com/blog/archives/2016/08/the_nsa_is_ho...
Did you switch to Spacemacs from Emacs or vim? I tried getting into Spacemacs from vim and found it quite overwhelming with all the config files and additional configuration that I had to do so instead I went for just Emacs + EVIL mode and built from there. I've gotten pretty used to Emacs and Elisp now, would it be worth it giving Spacemacs another shot?
Sorry, I must've gotten confused at some point.
I feel like the video was a bit sales-oriented. Is it just me?