skysight-inc/HackerNews huggingface dataset:
Rocket Languages: http://www.rocketlanguages.com/

I really like Duolingo (especially the fact that it's free) but have been using Rocket Languages for learning German. You do have to pay for it, but it has an emphasis on speaking and understanding full conversations in context that I haven't found in other courses.

After using it daily (about a half hour) for around a year I received a 95 on the A1 and an 87 on the A2 exams, so I can vouch for its effectiveness. I took both exams around the same time because I wasn't sure of my exact level.

I also used Anki for vocabulary memorization and was able to practice some with a fluent German speaking friend (infrequently).

Tip: If you're going to buy a course, wait till a holiday or clearance day like Black Friday. They regularly do 60% off sales that are actually valid (i.e. they don't raise their prices right before the sale).
DTAG is the Network Operator for most of German Business and Private Customers.
Most DSL-Resellers are Business Customers of DTAG.

So maybe there point of view, beeing more important than any public exchange, is not far fetched as it is most certainly a business reality.

Hetzner making a stand for net neutrality is a joke. They are asking your money for better service.
Mind you, I'm not against research in either drugs or mechanical solutions (better exercise machines), but they could serve as backup in case the main system - centripetal acceleration - is malfunctioning.

One question NASA has yet to answer is the minimal level of gravity necessary to prevent muscle and bone degradation. Is the Moon or Mars human-habitable in terms of gravity? If that's not the case, then mission plans would have to include rotating habitats for planetary surfaces, which makes matters a little more complex.
What Makes Paris Look Like Paris?
I genuinely don't see the distinction.
Screenshot: http://imgur.com/NuIvnCc
A popular myth.

http://leslefts.blogspot.co.za/2013/11/the-great-medieval-wa...
I enjoyed MMDS, but the lectures given by Ulman were painful to sit through. The man could simply not deliver a single sentence not read verbatim from a screen.
I took Mr. Thrun's class on Programming a Robotic Car last year for part of my OMSCS classes at GA Tech.

They should use classes like this in undergrad computer science to show why Linear Algebra will be so important and the amazing applications you can do with it. Highly recommended.
> ... but I am not aware of actual (direct) use of Coq in the industry (but would be interested to learn of any).

The first EAL7 certified smart card certification used coq, see:
https://www.commoncriteriaportal.org/iccc/9iccc/pdf/B2404.pd...
I am no expert on Sun, but I think consulting was a huge part of their business? I know they were also well known for their servers.
CHIP, the world's first $8 computer, goes on sale
How is this any different than Coke building up a trusted brand over 100 years?

Well, I can always quaff a Pepsi, quite irrespective of what my peers chose to drink.

It doesn't work quite as well to use a different, say, social media platform, when all my friends are on Facebook.
I suppose it depends on your definition of 'major', but if you can name more than 20 I'd be surprised.

At least half of the states have at least 1 major international airport, with some having 2 or more. For example, Hawaii has Honolulu, Florida has Orlando and Miami. Nevada has McCarran, etc.

My point us that the US has lots of international entrypoints, so each airport has to be less grand than say a Hong Kong or Singapore, where that is the only airport where you can enter. For them that single airport has to be a flagship, so they put hotels and butterfly gardens, etc. Phoenix Sky Harbor will never get anything like that, so it can never compete.
How to Program in Binary Machine Code – Raspberry Pi PDP-11
In USA, cock is pretty much just about penis. Another one I hear is fag / faggot, which is considered hate speech and grounds for immediate termination.

I understand you just want to program. I knew the answer before you responded because I made the deliberate attempt to understand.

Twitter gangs won't extend the same courtesy to you when their livelihood depends on stowing outrage over cheap gambits like that.

These days in USA non-programmers can easily invoke code of conduct to have careers permanently ruined. Canadian harassment laws now cover disagreeing with females' sensibilities also can get you in jail.
My point was just that formal methods can have a tremendous positive impact even if academics are the only ones using them, as long as the output from those efforts do get used. So I'm not sure distinguishing between "using formally verified software" and "using a formal methods tool directly" is a helpful distinction when measuring industrial impact.

Also, formalizing architectural properties for the world's most popular cloud service is probably even rarer a task than formalizing language specifications.
I find my lunch hour to short to both eat and then go to gym, and shower. Hell, I usually take at least 15m to shower. PLus I need time between workouts and showering, or else I'll still be sweating after I showered (take about 20m to stop :-/) as such I always schedule stuff like that after work, or weekends.

The TV thing is a must tho. I don't have a TV at all, the gogglebox is licensed to sit down and watch. You even end up watching re-runs, ads etc. so it's less efficient than YouTube, even factoring in all the shit on YouTube..

If you don't relax enough though, you just end up crashing, in an unscheduled manner... I'll not though, I don't consider reading that relaxing - It still requires a lot of thinking, for technical reads anyway, plus the actual process of words-to-brain-concepts translation is surprisingly exhausting as well...

On the last bullet, My brains seems to care more about unimportant distractions than important things. I Do have to watch my time...
Deloitte Joins Adobe and Accenture in Dumping Performance Reviews
if you need to pipe it in, you should

basename `echo $PWD`
The Pi (and Arduino) is a gateway drug, imo. As a software guy, I don't think I'd have ever gotten into circuit design or hardware hacking of any sort until I brought a Pi B and Arduino Uno.

For fun, first-time projects, it's a lot easier to have someone write a Python script and go, rather than breadboard a circuit and write in a more obscure, less-abstracted language.
http://leslefts.blogspot.co.za/2013/11/the-great-medieval-wa...
Then the correct solution is to use those peering agreements in between ISP:s to get that money to expand the infrastructure as necessary, and if the ISP:s with customers creating the traffic can't pay then they can chose between stopping the traffic or charging their own clients more.

In no circumstance should an ISP be directly charging the customer of another ISP.
One issue with this is that the text of the C standard isn't actually enough to unambiguously determine what the committee (and compiler vendors) intend for the language to mean in practice.

The official standards mailing lists for C and C++ are constantly filled with issues regarding inconsistencies in the ISO standards, and for C++ at least people often resort to trying a code sample in multiple major compilers to decide what it's "supposed to do" when the standard is unclear.

It might be a bit better with C, but I once tried to start implementing a toy C++ compiler by following the text of the standard literally and it became impossible pretty quickly. There are so many pieces where you are just expected to know what they intend and what inconsistencies can be ignored because you're already familiar with the language that it would be difficult to call any one person's interpretation a formalization of the standard itself.
I don't go out and drink as much as I do, but ironically, spend more time planning how to make cocktails as a hobby.

I consider it an upgrade of quality over quantity ;-)

I agree you should avoid working in the bedroom tho, or you might find it harder to sleep.
They don't care about dress. They care a lot about being around people that care about dress, and turning up in a suit is a very reliable indicator that a person cares about dress.

That said, it's a very reliable indicator on almost all situations, the most important exception being during an employment interview; it's extremely noisy then.
>Maybe 'a job' is something that fitted a particular phase of our civilisation development and it just will fade away?

Maybe freedom was something that fitted a particular phase of our civilization development and it just will fade away?

Bear with me, I mean that's the way slave owners would have wanted slaves to think in the 18-19th century. And I think enterprises (job owners or salaried slave owners) always try to get away with paying as little as they can, and increasing their margins regarding salaries as much as they can -- which is were this pressure in jobs comes from.

Maybe not that much in the IT sector yet, but in most part of services and manufacturing, yes.
Capitalism is about the flow of capital. Most people don't have capital, so they have to trade their labor for a small amount with people that do have capital, who are only trading it to get more capital.

Articles like this assume that everything will change - except how capital works.

Bitcoin. Crowdfunding. Distributed banking. Mass market barter transactions.

I can't help but think that centralized stores of capital (i.e. the top layer, the rich, the capitalist, etc etc) are naturally going to become obsolete.

Unless, of course, they're kept alive by force.
Except, that technically speaking what we are viewing at has been available on desktop for years. There is nothing cutting-edge about this demo, except that it's in a different shell.

I just don't quite understand why everyone is getting so excited about individual demos.
Who would pay for it? Airports are usually controlled by local entities. Would Los Angeles World Airports be able to compete with the Government of Singapore?
Though I like the fact that caffeine helps your body heals better, and that, in turn, helps limit the damage of chronic stress, I don't like the fact that caffeine has also been linked to impotence.
You can order them for about US$3 per unit, or $2.85 if you order 10 from BangGood.[1]

You can get them for even cheaper directly from Chinese distributors.

Banggood, DealExtreme and AlieExpress are convenient and ship worldwide, but they are not the cheapest, although they are usually already quite cheap compared to most.

[1]:http://www.banggood.com/ESP8266-ESP-12E-Remote-Serial-Port-W...
Apparently trains are slower now than the used to be, I seem to remember reading something about this being the case even further back too - which isn't really surprising given how many local lines were closed.

http://www.bbc.com/news/uk-wales-34465170
Unlikely. I would suspect some quirk in the combination of AP and your WiFi client, not a conspiracy.
related to this:

http://www.math.ku.dk/~eilers/lego.html
Our team has personally blown through three of them through shorting faults. It's our fault, but the BBB is a pretty tender beast.
That's because most were toy examples dealing with discrete distributions in a few dimensions. Granted, these are mathematically easier to deal with, but not representative of real-world scenarios.
>Don't be scared of secondary requirements in ads as most often they don't require expertise in the mentioned area.

Expertise no. But they DO require you to DO the job.
The chairman of the department of English at my local community college told me that it takes the average student of English as a second language 7 years to get good enough that a native English speaker might want to have a conversation with the student.
I would put that at 8 hours. Unless Spain is especially badly connected, you are quickly at least 2 hours away from the airport. So that would be at least 4 hours slow transit + flight time.

Of course, by population density, you are probably 5 hours away from most people in Europe.
Also, make sure you set the max_usb_current setting to 1 to provide more juice to the ports (see: http://raspberrypi.stackexchange.com/q/27708).
...disingenious.

English usage note: if the word you meant to use was "disingenuous", I would suggest "spurious" instead, as it expresses similar feelings about "this distinction", without also attributing unsavory motives to 'pron.
I understood that. Sorry if my question was bit unclear. What I wanted to know was _specifically_ what these bugs are / what causes them / what is practical impact (i.e. probability of application crashing or other serious event due to use of GCC etc)
It might be because the font size is defined in the CSS in pixel units, instead of em, which is a point size (DPI dependent).

http://www.w3.org/TR/REC-CSS2/syndata.html#length-units

If you have a problem reading text on the screen, I suggest you use something like Clearly extension that reformats pages with a much more reading-friendly style.

You don't have to sign up to use this extension :
https://evernote.com/clearly/

You can also try to print the page into a PDF and read it like that.
I totally agree with this. It creates amazing short-term opportunity for many, but possibly at large cost to society long-term.

I also find it interesting that the two examples you gave, Uber drivers and Amazon shelf stacking, are two that will certainly be fully automated in the next 5 - 10 years.

I watched my trash collection truck last week, it had just the driver, and a robotic arm that picked up each trash bin and emptied it. I was just thinking "and it's the driver next".
I'm one of the many who thinks that Norwegian press, including state TV, is heavily biased towards the left.

I've had to change few of my strongly held beliefs a few times but I currently maintain the view stated above. Feel free to check my posting history and feel free to dismiss my view afterwards : )
Native speaker agreeing with you that it is an almost instant headache on 13" mbpro[1]. It's all part of being "modern". Font sizes in pixels is one of the many fails of CSS and the web in general.

[1]on iceweasel on debian 8 in virtualbox.
ChargeBee (Recurring Paymnets) Free Tier for Startups - See If You Qualify
"One of the highest-profile acquisitions came in 2011 when Bloomberg—already a behemoth in the business-intelligence sphere—bought a longtime employee-owned trade outlet, the Bureau of National Affairs. BNA, as it is known, went for $990 million. [...] Contrast that with the recent sales and acquisitions of more household names in journalism. The Washington Post was sold to Amazon founder Jeff Bezos in 2013 for $250 million. The Boston Globe sold in 2013 for $70 million. "

Thing I learned from this article: There are real paying customers for the news, and --surprise surprise-- it's the people whose jobs depend on it. The bulk of the American public doesn't care enough to pay, and so won't get the full news.

I'm not sure that there's a way around this... ideas?
Application Maintenance and Support – Best Practices
why do you need steel-toed boots in an office? the only time i've seen that is at construction or engineering firms where office workers occasionally have to go into the field/job site.
Damned ánaquin escaigüalquer XDDD

One good example of the troubles with english. Is a tiresome encode, decode, encode... all the time. And this is only popular culture. A much worst problem has been created when english weird rules overpower universal languages, like taxonomy.

Lets take the maple genus for example: "Acer", named by a swedois from the latin "aciale". Should be pronounced as Linné intended /'azer/ but is changed to /ˈeɪsər/ instead, because english. This mean that a language created to be universal, is not universal anymore. Is tainted. For most people in the world there is not a clear rule to link "azer" with "eisa". Is broken unless you hear it and memorize it. Linné would not understand currently most of is own named genera.
In my testing, underclocking only showed power savings when really stressing the CPU, so it's not as useful to me. I didn't do any GPU-related testing though.
it's like okcupid but for hookups
Your life in 2025
That's too bad, it's pretty pricy :/ It's no $2 ESP8266, I wouldn't feel very bad shorting that, but at $70, I'm going to be super careful with my BBB.
I upvoted your original question because it is a legitimate one, whether others like it or not.

I actually have gotten very few odd looks even from non-programmers when pronouncing "Coq" as "cock" _in the proper context_. "Use Coq" would probably yield a different out-of-context interpretation than "For problem X I think we should consider Coq. It allows ..."

I don't think this is much of a problem in practice.
Duly noted, thanks for the reference!
I have heard from a colleague that he has a friend who is an exceptional SharePoint expert and loathes it because of its complexity. Multiple times he flew to client locations around the US and changed a single line of code and got paid $$$ it.
It can optionally use python-pygments for syntax highlighting. It's not a requirement and as you mention alternatives are available.
Honestly that 15c/year really puts it into perspective why IoT might make sense. I've always avoided those "smart" light switches and similar because the power draw on them was too high (and it is likely closer to the $3 mark); but if something was drawing 15c/year or similar I doubt I'd care.

PS - I know we aren't going to get WiFi for under a few dollars a year. But physical ye-olde switches are vastly under-estimated I feel. In particular a button to put it into "configuration" mode.
The end of the startup gold rush
> Why should basename accepts its argument on stdin?

Because a lot of people have use for a filter version

> It doesn't act as a filter, processing a stream of data, but rather as a plain function.

That's the problem with a lot commands, some work as filters, some as simple commands, and other do both. The reasoning on the decision is confusing.

[edit: yes, combining with xargs will often work]
I couldn't see your address on your profile page - I'm not quite sure this warrants a mailing list, but drop me an email, I'd love to chat.
If only telegram had good crypto, it would be the go-to application for chatting. It's already extremely easy to use to introduce to your non-technically adept friends, and if it had industry standard crypto it could be the big thing that could overthrow the whole phone IM industry.
They only got into consulting at the end as their business was dying and they were trying to copy IBM. In 1997 they were a server and workstation company (selling hardware and software as an integrated package).
Oh, wow, they have verified a (JavaCard) JVM. Impressive! Thanks.

They mention > 117,000 lines of Coq with > 1600 proofs to get EAL7 for the JVM.
> How is this any different than Coke building up a trusted brand over 100 years? If you want to compete in the drinks market, you need to find a different vertical (sports, energy, fruit, health, etc.) and build up your own trusted brand.

The trust relationship with a brand is a direct and personal relationship, and people can change their idea of trust at little cost. People can choose to drink Pepsi without having to convince their friends/business associates/renters/drivers/etc to also drink Pepsi. The same is not true in a market which is built on a network of trust. If I want to rent out space in my car to people I go to the provider with the biggest trust network because that's the biggest market. I can choose to join a new startup's competitor network as well, but there's little I (or the startup) can do to convince everyone else on the competitor's network to join too. And, crucially, if the people I want to offer rides to aren't on the competitor's network, my participation in the network has less value.

> But do we really need to oversee/nationalize a social network/content aggregator such as Linkedin or Facebook?

It depends how comfortable we all are with the private monopolies that seem to be the outcome of the way the economics play out at the moment. If everyone is happy being a freelancer working for multiple multinational trust network monopolies, then maybe not. But if the relationship between the individual and the network are exploitative (some recent articles about the reality of driving for Uber take this line) then I can imagine people calling for some kind of regulation to break the monopoly and restore some kind of competition in the market. At least if there are multiple Uber's operating on a shared trust network, drivers (and passengers) have some choice over where they take their business, for example.
It's more likely your kids will have no job, no health coverage and no prospects, and live by temporary employment (if they can find it), charity, begging and small cons, alongside tens of millions people whose work is not needed anymore in huge slums, next to highly guarded communities.

Kind of like it already is in Latin America, Egypt, Mexico, Indonesia and elsewhere for large swarms of people.
World's Largest Pension Fund Suffers $64B Loss After Doubling Down on Stocks
Less than a week ago Mozilla said they don't need the millions from Google.

https://news.ycombinator.com/item?id=10630996
I use Watts on the page where I aggregate my results[1], but since most USB-related projects measure mA (and most battery ratings use mAh), I use the same convention as a default, since 5V can be assumed in all cases.

[1] https://github.com/geerlingguy/raspberry-pi-dramble/wiki/Pow...
You're right about the button down.

Technically a dress shirt is the more formal type of shirt that is designed to be worn tucked in and with a tie, therefore it has longer tails and comes in various collar sizes.
And even compiling C++... synthetically this thing is 50% faster than my current laptop. In 2008 this would have been a great machine to program in C++.
Some people thrive doing consulting for things like that because they're satisfaction is largely driven by how much they're taking home.
6 Unique WebRTC Use Cases for 2015
Hola! Thanks for making it. Did you register hackercouch.com, btw? I just saw your project and checked whois and it was free.
The secret message hidden in every HTTP/2 connection
I ended up writing my own version of basename and dirname that acted as both filters and commands. Its actually not that hard given the functions you have (might give it another go given the whole pledge thing just to see how it would work). URL versions of these commands are also very useful and not too hard to program in perl.
Johnny "Party Hard" Appleseed
Anger at ‘stolen’ online courses on Udemy
How the refugee crisis gave birth to a cool hardware project
Free as in free time [video]
At the wrong end of a pivot into lowest common denominator trash "reporting".

The news websites have already caught up with contemporary web design, selling of user data and subscription services. Does the tech startup playbook even have other moves they're not using?
I've been looking into this; besides people calling me a 'noob' for not knowing how to do this (but not offering any suggestions as to how it' stone), I haven't seen any way to put the Pi in an official sleep mode, short of buying a Sleepy Pi hat that basically runs a lite Arduino as a hardware power management layer on top of the Pi.
Note that this formalization is substantially incomplete: check page 195. CH2O does not formalize variadic function, float, bit field, setjmp/longjmp. All of them are formalized in KCC.

https://github.com/kframework/c-semantics
Show HN: Merry Christmas ECards-Design and Send Merry Christmas Greeting Cards
What do you mean by FT? "Financial Technology" or "Futures Trading"?
Another argument for MSP430 as a replacement for arduino and such is that even the smallest devices support reasonable debugger.

As for external devices: at least G-series need external components to generate reset pulse to reliably boot (it mostly works with reset left floating, but whether it reliably works is function of how quickly the power ramps up, I got burned by this on last project).