skysight-inc/HackerNews huggingface dataset:
They certainly did but consider at the time the WIFI module does not connect to the Internet. It was only for inside the vehicle to sync with your device or give your device an Internet connection. The internal software never looks at the Internet; it's firewalled. And there are a ton of good reasons for this (see my post above).

Also, because SYNC is not connected to the internet it does not have an always on connection. SYNC uses data over voice. Think old school dial up internet connection. SYNC, however, dialed into a partner company that provided a strict set of customer experienced data like ball scores, get your horoscope, etc...

So to update maps, requires you to plug an update stick into the USB port. MAPs are also very large data and would take too long to update on a dial up connection. Again, it has WIFI but the WIFI is not internally used by SYNC or wasn't when I was on the program.

Secondly, because of the partnership with INRIX, I think INRIX gets some kickback for maps updates. And after the trial period, if you decide to keep traffic and direction subscription, I think INRIX also got a kickback for that too.

It will be interesting to see where SYNC goes in the future with 4G now available. When I was at Ford, they wanting to have a celluar data service that was vendor agnostic but it gave them problems for 911 assist. Maybe that has improved.

My point is that there are a whole host of problems a first mover has to over come. Yea they made some mistakes but dam, you have to give them credit for being one of the first to start putting some of this out there.
Seems implementation specific. BIND does this you're right, but many services don't follow the rule as closely.
See comment up here
https://news.ycombinator.com/item?id=8735217
Is Twitter killing nuance? #Itsabitmorenuancedthanthat
I can't put this delicately.

It's a car. It's not going to have an app store. You don't want an app store. You don't need an app store.

QNX is a well-understood RTOS--look up "hard real time".

There's a lot more important things in a car for an OS than being able to display a notification on Facebook; things like deploying airbags, coordinating brakes, and all these other things.
> Yes, I do. It's biologically implausible that race has a significant impact on intelligence.

Surely you would agree we're smarter than Gorillas. Given that, how long as human intelligence been fixed? How long has it not been a selective force in evolution for humans? Does evolution not apply to the human brain?
Instructions unclear. Stuck in comments.
Why? I think it's pretty normal to drop this in as boilerplate on new projects.
Is this an alternative to cloning a repo and pushing changes or is this supposed to be used as a full filesystem? I don't quite understand the blurb.
You might like:

http://kolibrios.org/en/index

Its based on:

http://www.menuetos.net/
I use it for Enterprise apps mostly to send to myself. Internally we have a website where people can get our apps but for testing on multiple devices it's OK. Haven't tried it on a lot of users though. TestFlight was awesome but now it's mostly horrible once Apple made it so painful.
This might be nice for places where people can't figure out git.

I hope it puts "update" as the commit message ;)
Ada is still extremely popular in mission critical software. I know the US military and NASA use it a lot.
Qualcomm, Intel, and others speak out against Title II net neutrality
Didn't Matz mention that he wasn't either, when explaining Rubys syntax?

I'm a fan of indentation based blocks, so this seems like a step back for me :\
it's verbose, but I guess a good IDE would write a lot for you anyways. When it's statically typed the IDE can help you a lot.
It touches the difference between what you want to read and what you want to write in software, but nowadays, stuff doesn't have to be written, it can be conveyed with color, font, underline etc.

But the real shocker is that you can't really write serious Ada for free, gnat is a pain, the free toolchain is a joke. My understanding is that there are good expensive private compilers out there. A few month back, I drank the cool aid and started a project in Ada, and the tools were a pain. The 'real time' system was ticking at a constant 1kHz. And making it tickless was looking tricky for a beginner. The formatting tool was bugging without an error message, the cross compilation toolchain for ARM is a pain, etc.
This article totally misses the point, making up a bunch of anarcho-communal/syndicalist hippie crap for what is really a very simple reason:

They all got old, and new groups didn't form to join them because what was a lark in the 90's is now considered cyberterrorism.
Thanks for the insight - having worked for long in the Enterprise trenches I can certainly understand the difficulties of moving one thing to other. However it mostly takes strong management to get over the inertia in the name of doing something greater.

But as far as the Open Source indemnification goes - for the Android Auto use case it would be completely irrelevant right? That would be like suing Vizio for showing a pirated movie on the screen as far as I can tell.

For using AOSP - I can see that there may be some reservations there. But it is not unprecedented - Honda I think is using Android 4.0.4 to run their in-car system. Besides the biggest threat to Android from a patent / legal standpoint is Microsoft. Worst case Ford would pay up the $5 or whatever and still win on not paying QNX and having a better solution.

As for the dependencies / ecosystem - they could still support the older released models and start working with vendors/suppliers to get what they need supported on the new system. It's doable because presumably with the new Architecture - most things are either built in or you don't need those and people already have experience building what's missing. For example I don't see why they can't build the CAN Bus connectivity into Android in a way that it supports the same existing functionality.

I know it's work, money and risk but I think it would be towards a better outcome and there are some potential saving in not rebuilding everything from scratch and maintaining it and paying less royalties etc.
I'm using Android, I'll sign up now that way when I get the invite the Android version would have been out for 2 years.
We'll be deep diving on specific record types and their uses next week.
Yes, she was one of the early formal-methods people. I met her and Saydeen Zeldin back when I was doing proof of correctness work. They had a company called Higher Order Software, which promoted an extreme form of waterfall design using formal methods. This is appropriate for avionics but didn't catch on. Proof of correctness was just too slow back then.

Incidentally, when you post articles like this, please don't use a title that makes it sound like an obituary.
"The GUI was Adobe ActionScript. Trust me, many of us yelled very loud about how stupid an idea this was but because B-Squared own the implementation (not the architecture), they were aloud to chose whatever they wanted to meet Ford specs."

Sadly, this is how GUI design is in a lot of larger companies. The corporation hires a design firm to flesh out the UI concepts and test them on customers, so they quickly storyboard stuff up in Illustrator and Adobe Flash/Shockwave/whatever.

The concepts get tested, everyone gives a thumbs up, and then the software team gets handed a bunch of precooked assets and wireframes and told "make it run."

Then it's up to the embedded guys to make the system fly, except either a) the design firm has created graphics and animations so complex the underpowered hardware (designed and certified years ago on the last h/w cycle) can't make it go or b) the design guys took way too long in testing and focus groups so now the software guys are under the gun and instead of a rewrite/port, they port a crappy FlashLite player to the target hardware and cross their fingers.
Yeah almost right over me :(

I'm currently using a shop vac in the basement after a pretty good bit of flooding. We had a lot of rain all day yesterday maybe 100mm total.

We're used to it being -10C and snow not monsoon rains.
Bitcoin Buying and Selling Service Harborly Launches New Website in Canada
Thank God, I own 2 Fords including a Focus Electric. Sync has been by far the most painful part of ownership. Unintuitive, slow, buggy, flakey bluetooth - just a terrible user experience.
Except those cards aren't global. In countries with untrusted banking systems they aren't even for sale or they are via their own regional bank that a Western processor will just refuse to accept.

There's still a big problem out there with foreign transactions and the credit card system. Paypal kinda handles this in some scenarios, but it still is unsolved, especially when you're discussing non-trivial amounts of money.
Sorry to threadjack, but since you're here...do you have information on where to find coding standards for the auto industry? I'm kind of curious how you manage these projects with weird and precise requirements and using languages like C. Any good stories?
Hi. I'm one of the authors of GitFS! It is supposed to work as a fully-fledged filesystem.

Do you have in mind a particular use case?
Meaning I would rather not have opening or closing.
Wow, this is an amazing comment. I'm actually quite happy with sync on the 2014 ford escape. It is easy for me to get to what I need to do. Over time, I've realized it's better than a lot of physical button implementations for certain things.
The default keyword [0] would fix the extra-type-annotations issue, no?

[0] https://www.haskell.org/haskellwiki/Keywords#default
To me it would be convenient to have a single zip file packaging all the svg in one archive. Well a 7z archive would be even better but it seems most people are clueless about 7zip.
The new CloudAcademy Labs: learn Cloud by doing
Why I’m Giving Away the Source Code I Spent My Life Building
It's not any shorter. The extra check as to whether or not to print the line break cancels out the mod 15 check. In my opinion, it's cleaner to have three conditionals of the same type than two checking mods and a third checking the OR of the first two.

Of course, it can be actually shorter with a goto.
Am I the only one that gets overwhelmed when I use my monitor in portrait? Isolating the web ( or code ) into more bite-sized chunks gives my brain one thing to focus on at a time.
While I agree with most of what was said in the article, it leaves out some important factors in why hacking groups are less visible today.

1 - The role of government. Once the laws caught up to the hackers, and the CFAA was passed in 1986, it gave the government a lot more teeth to federal laws targeting computer crime. Shortly thereafter, you have what some refer to as the "Hacker Crackdown" from 87-90 which went after LOD, MOD and smaller groups. Some went to prison, others went or tried to go legit. I think hackers realized groups tend to have more visibility with the feds and you're more vulnerable to getting caught compared to just working by yourself.

2 - Size and structure. Since most of the groups are pretty closed by nature, when a group is disbanded or law enforcement breaks them up, there's never enough "new recruits" to take the flame and continue on. Look at LulzSec. They had a huge run, but once Sabu flipped and turned most of his crew into the feds, there wasn't anybody else left would/could carry torch any further. So even when you have a high profile group, once it takes a hit, it's rare for them to bounce back. Anonymous is the exception to this rule, but it seems they like the decentralization approach their structure since it assures the group can carry on if/when the feds start to arrest its members.

3 - Knowledge transfer. Not only does size affect the lack the groups today, but also the lack of knowledge transfer. Back in the late 90's I knew a bunch of college guys who were hackers. You could ask them anything and most of the time, they'd let you in on how they hacked email, how they found open servers, etc. Nowadays, somewhat because of law enforcement, somewhat because people now see their hacking techniques as trade knowledge, they're much less open about how they ply their trade. This means every kid who wants to learn how to hack is on his own. There is no MOD or LOD or LulzSec to prove yourself to, to get entry into the club and get higher levels of knowledge. Hackers, are now, left to their own means to seek out and find their own knowledge. As such, the cycle perpetuates itself because now instead of wanting to share this knowledge, they have the attitude, "I found this by myself, go find it on your own." which makes people less likely to form a group to share knowledge.
Which investors should you pitch? A tool built on AngelList helps you find out
Yeap!
Check https://github.com/vtemian/gitfs-demo/commits/master and you can see how the commit messages look
just because 15 HAPPENS to be a concatenation of the output of 3 and the output of 5 today doesn't mean it will be tomorrow. If I said "say Fizz for multiples of 3, Buzz for multiples of 5, and 'this is a silly coding problem' for multiples of 3 and 5 then you'd have to rewrite your code.

Some of us know that clients ALWAYS change their minds, specs are rarely equivalent to the end result, and code against future changes that are trivial to account for in advance.
"What browsers work with HockeyApp?
We have developed and tested with Firefox, Chrome, and Safari." Kinda funny.
New Rosetta Data Suggest Earth’s Water Didn’t Come from Comets
Very interesting. Thanks for the links!
I read this as well. The author bundles up most problems into something called "resistance" and then encourages you to fight "resistance." To me, this was pseudo religious nonsense, and I could never fully buy the concept.
Another useful resource https://github.com/futurice/android-best-practices
Note the year ;)
And Go's tools have a great reputation.

(Disclaimer: Not a Go programmer, just read articles about it.)
I've never heard of Elixir, but I always assumed that the |> originated in F#. Ocaml has it pretty much standard, too, although you can define it in one line in Ocaml:

let (|>) x f = f x
Aw thanks Bill!
Here's another great photo (http://i.imgur.com/2jJZwBZ.jpg) which was posted on the TIL thread a few days ago (http://www.reddit.com/r/todayilearned/comments/2oskna/til_th...).
Why would somebody use such a file system? To make life easier when working with configuration files?
I wish they also described their motive for creating it.
> I remember seeing PL/SQL circa Oracle 8i and it looking a lot like ADA.

Not a coincidence. The designers of PL/SQL were largely inspired by Ada's basic syntax and structure.

It's not an acronym, by the way, so no need to all-caps it.
I see this as a very good alternative to traditional shell scripting languages.
Thanks, I do have a plan to integrate discussion, and make them collapsable. Just like what `http://hackerwebapp.com/` did.
Presumably because it's not 2015 yet, at least according to my calendar...
Got a few options.

http://www.sfgate.com/
http://www.insidebayarea.com/
http://www.sfexaminer.com/

http://www.kqed.org/
http://abc7news.com/
http://sanfrancisco.cbslocal.com/
http://www.nbcbayarea.com/
Could be cool, but Elxiir has the EVM under it, and that is some quality engineering. Ruby is good but kind of clownshoes.
For my coding setup, I do one portrait, one landscape. But generally, smartphones are so much more commonly used in portrait, so this is not a shock.
>Except Java and C# are significantly better at all of these points except for boilerplate, which I would even dispute whether that is a bad thing overall.

C# on Mono certainly isn't significantly better performing than Go from my experience, which is substantiated by Go winning all but one of the 'Benchmark Game' benches, typically by quite a wide margin:

http://benchmarksgame.alioth.debian.org/u64q/benchmark.php?t...

And Go is not doing that bad against Java either:

http://benchmarksgame.alioth.debian.org/u64q/benchmark.php?t...
I used Ada during my first internship (avionics software). However, the group I was part of was in the middle of phasing out Ada in favor of C/C++. This was around 2010-2012.
We did a similar thing to the awk source. Made awk scripts first class, you could pipe them to each other.
"Valuation" by whom? They had no revenue, no revenue model, no VC would give them additional funding, and Google didn't buy them out. On September 17, 2010 at 1 PM, all the employees were told the company was shutting down.

Google did hire the CEO and Anna Patterson to keep them from doing another search engine.
Agreed, and even if the software was great (it currently isn't), I don't want a touchscreen taking up valuable space that could have been used for physical buttons. No matter how good a touchscreen interface is, it can't be used without looking at it (barring advancements in tactile feedback).

Luckily, it's still possible to buy a new car that doesn't have a giant LCD in the middle of the dashboard, but I don't know how long that will last...
It starts with: This list does not include examples in which CIA inten-ogators were authorized to use the CIA's enhanced interrogation techniques, but then implemented the techniques in a manner that diverged from the authorization.

How can it be referring to the 17 where no authorization was sought, when it specifically states it is talking about authorized interrogations?

And in common meaning, if you say 'at least 39', you are giving a low-end estimate, not a known total.
I find it interesting seeing the comparison between a post on lobste.rs to a post on hackernews. I kind of like lobste.rs more than hackernews, since it's more programmer-centric. But Obviously hackernews gets a lot more traffic so there's always some interesting comments to be gained -- I didn't know the original author of that blog article was Larry Wall's son, and I also didn't know there were already similar implementations in F# (makes me want to check out F#) and coq.

Maybe it would be fruitful to re-post the best articles on lobste.rs on to hackernews -- for the comment/information gain....
It's definitely a good idea. Pipes are both very powerful and very simple to use and debug, yet they are not very common in general purpose programming languages (examples?). I'm not surprised that someone is trying to build a language around them. I'll follow that, but for now it's a bit too early to judge.
China Reaches Out to Facebook in Growing Courtship
At least she didn't make a fucking app.
Pfs v0.2 – A Git-like distributed file system for the Docker ecosystem
dupe: https://news.ycombinator.com/item?id=8733368

Microsoft accepting Bitcoin
392 points by DavidSJ about 13 hours ago 128 comments
As a soon-to-be grad who is in business and not computer science, it rings so true here as well. All I have really learned is not only do I have no idea what I am doing, typically the higher-ups are half winging it most of the time. Makes me feel a lot better at the end of the day.
noice, here's my version

print("\n".join([("FIZZ"*(i%3==0)+"BUZZ"*(i%5==0)) or str(i) for i in range(1,101)]))
Let's all hope he's comes out with a spec 1st.
Yeah, they wacked it pretty hard and I don't have anything to do with that. I asked them to call it YDBM but that idea came too late.
>> Wow I sure hope that's a dumbed-down explanation for the press, because I don't want my radio and (say) my ABS or traction control to have enough of a connection to each other to even establish any kind of "firewall" between them.

Don't worry. The airbag supplier is looking out for themselves and doesn't want anything screwing up their modules function. The engine controller and brake system are certainly connected via CAN but you're not going to reflash anything without using the correct protocol and having the right key for each controller. You also don't need to worry about buffer overflows or such because CAN is strictly limited to 8 byte (or less) packets and a 29bit message ID. Most messages define particular signals to be in those bytes and critical signals have checks run on them. And on and on...

No, it's not perfect but I don't think you need to worry.
Here are some primary sources - I wrote this up yesterday, it's pretty cool but still very early. The whole cannibalizing old satellites thing is a long ways off, this is more a field test of the modular unit:

>http://www.prweb.com/releases/2014/12/prweb12381214.htm

>http://www.parabolicarc.com/2014/12/09/54124/novawurks_confo...

>http://www.darpa.mil/Our_Work/TTO/Programs/Phoenix.aspx

>http://www.novawurks.com/applications/darpa-phoenix/
HN tends towards pop programming more.

There's nothing wrong with that...per se. But pop programming tends to be more flavor-of-the-month/bikeshedding oriented, so there's more to wade through. I'm worried lobste.rs will end up the same way.
I'm not arguing against business models as a concept. I'm arguing that any particular business model does not overrule the natural rights to speech, privacy, and property (arguably, legal DRM cartels violate my right to own and modify my own property).

All your examples involve fraud, so they don't really apply here. If I promised to pay someone for work and didn't pay them, I deserve to lose a lawsuit and be forced to make restitution. In certain circumstances, the fraud is criminal and I deserve jail time for preying on the vulnerable or uninformed.

There may be counterexamples worth addressing, though. Can someone can come up with one? They probably involve at least the threat of tangible harm in some form. And arguably, there are already laws against those things, such as your fraud examples.
Whether you print the number, Fizz, Buzz or FizzBuzz you are going output a line break, so I'm not sure what you would be checking for. Output \n unconditionally.
Another git-annex user with a few hundred GBs. I have my laptop, VPS, nexus tablet and an S3 account being synced without any issues (with a different subset of files in each).
> The great thing about Go is that it lets you blend high-level and low-level programming in the same program

Where are map, reduce, select, filter, fold, zip ...?

I don't consider hand-rolling them in for/range as equivalent. Can I wind up with the same result? Yes. But I could do it with gotos too.

And I've seen "loops are the same as map/reduce etc" advanced as a serious argument by people who weren't, so far as I could tell, trying to tug on my leg.
And... Meeting someone in real space means they can probably pretty easily find out your identity. If I were running intelligence/LE operations, I'd make sure to place well rated agents on LocalBitcoin. Offer good prices, make a bunch of transactions to get a great rating, etc. Then I'd record all interactions, including voice and video, as well as try to obtain DNA/fingerprints ("OK is this right? Wanna do the honor of hitting enter? "). That requires very little work. For large buys, a simple tail might conclusively provide identification info.