skysight-inc/HackerNews huggingface dataset:
The American Standard Version is a slightly more modern revision of the KJ and is out of copyright and widely distributed online. The Standard Version and ESV build on it with successively more modern language and are in copyright.

Comparison between the three:

https://www.biblegateway.com/passage/?search=acts+1&version=...

Personally, I don't think that any edition written in English (or latin for that matter) can be close to a canonical version of the Bible... nor do I think it is necessary that one is.
Chicago public school CEO faces 7+ yrs in prison, thanks to mother with a blog
Embarcadero (Delphi) sold to Idera
I thought the tech world would be full of new voices and people
Autodesk's Project Cyborg
PyTexas 2015 Videos Available
MesosCon 2015 video roundup
Iponmap (cli) – lookup geodata by ip address and draw it on world map
Reader macros are brilliant - but as with many powerful language features they should be used carefully. I vividly remember receiving a release of some code (early 90s - a tape in the post) and looking at it and thinking that the source wasn't Lisp at all. Turns out it was someone who invented their own syntax and implemented it all as reader macros on top of Lisp - not quite as bad as trying to turn C into Pascal with #defines though but in a similar spirit.
He's really keen to paint "liberals" as genetics denialists. I have never met or heard of...well, anyone who claims that mental ability is 100% based on environment; I'm sure there's someone, but they don't have a lot of company. Of course it's not 100% based on genetics, either; it's been clear for quite a while that nature and nurture both play a role.

So, yeah, I'm thinking troll. That or "articulate nutcase." But probably troll.
> people who believe they possess an inordinate amount of intelligence so often fail to notice how limited is its capacity for solving actual human problems

> we who have studied computer science and know a thing or two about completeness and complexity and therefore the limits of reason, can easily call the bluff

It seems that even with that, there are many people in the second group who belong to the first group.

To me, humans are not actually that different in their inborn intelligence. The bell curve actually falls of quite quickly besides the mean. The most difference is specialized training.
I read an early version of this book by my friend Lucas Carlson, super interesting thriller combined with an inside view of the startup world.
Chicago Tribune has additional info

http://www.chicagotribune.com/news/ct-barbara-byrd-bennett-p...
Isn't a heavily virtualized environment not going to give you actual performance or access to full cpu features?
Classic from Rich Hickey. I remember mugging this up for a C++ interview in late 96. It was state of the art then.
If you can both read and write text fields, how do I know you're not stealing my passwords?

Also, why not a javascript bookmarklet?
JS has an ungainly syntax, but then so do many other languages. I have been really surprised at how nice it is to work with a transpiler for JS (I do a lot of CS these days). One of my first jobs was working with CFront, which was a gigantic hassle so I was a bit apprehensive about moving to CS. Nevertheless I think it hits quite a nice sweet spot of giving you nice syntax but not being so different from JS that you forget what you're doing.

As for pitfalls, most languages also have pitfalls. The "this" convention in JS is downright weird, but I've actually used it to my advantage (admittedly only once). The only other thing I can really think of that is actively hostile is automatic coersion of various types.

The core of JS is actually quite small and elegant, though (IMHO). I really like the prototypical inheritance. Once you understand how it works, it is very flexible and easy to work with. It lacks a lot of explicit facilities, but it is usually very easy to implement them if you want.

The main thing JS lacks is decent standard library. The recent Ecma script standards are moving in the right direction, but it is slow progress (understandably).

I've worked professionally with FORTH, C, C++, Perl, C#, Java, Ruby, Go and probably a few more which I'm forgetting. When I'm programming in Coffeescript, I never feel like I'm missing out. When I'm programming in JS, I'm frustrated by all the parens and "function"s that I have to type, but otherwise quite content. I like types, though, so will probably checkout typescript or something similar one day.
Building a system for verification alone seems like a bad idea. You end up with something like DNSSEC and then there's no easy way to add privacy later on.
How not to measure ROI, and grow
In the past people knew the WWW was risky and that you should only download software from trusted sources. These places quickly became trusted sources.

That's obviously wrong, but the problem wasn't helped by a bunch of projects using eg Sourceforge for hosting.
Interesting paper; I'd be curious to see examples of how that performs. Are any online?
That's why I do all my coding in brainfuck. People can't tell if it's ugly or not.
Funny-Video Spank A** Prank
So how about we spend a few minutes trying to solve those problems rather than just throwing up our hands?

A sufficiently low-friction market already resolves a lot of the attribution issues, and we're already seeing that happen - as transaction costs shrink it becomes more and more practical to outsource more of a business. What if it reached the point where every company was <50 people - small enough that everyone knew everyone? Or even the point where everyone was a freelancer?

Externalities are of course a thing. But technology is improving to the point where we can track them and build them into the market. What if e.g. for every gram of pollution, you were charged in real time?
My point is that free Internet is the solution to a problem that is not yet ready to be solved.

Most importantly, the current lack of a good education means that the Internet as a means of information transferral becomes effectively useless. Until the people have at least basic literacy skills and a moderate grasp of English, the Internet won't help them, because they won't be able to use it.
The only workaround I can think of is: don't use the clipboard then.

With pass you can also display the password on the console so you can retype it, but if you're running in an X session you're potentially screwed anyway.
Alex Pentland: big data will help us hold governments accountable
I don't have a specific post in mind, but if you're interested in this kind of thing then I highly recommend http://slatestarcodex.com
They have major limitations. C is unsafe even with all the mitigation tools in the world and in the end they're only going to catch the low-hanging fruit.
Not coincidentally, The author of your article is the father of the author of the OP. I don't think the definition has shifted so much as the intent behind the word (negative to positive).
YourMechanic (YC W12) Is Looking for Data Scientists
Got a good guide for that?
Free software doesn't mean free and is free of price.

It's free as in free to use, copy, alter and redistribute.

You can still charge for it.
It just uses:

https://en.wikipedia.org/wiki/Kahan_summation_algorithm

And Wikipedia has also a discussion of how some compiler optimizations can optimize the algorithm implementation wrong.
Very impressive work. Formal verification is slowly becoming real. A step forward for the field. Recently talked to the author, there is more to come.

The magical essence:

"As in our previous work [21], we use Dafny [39], a highlevel language that automates verification via the Z3 [11] SMT solver. This enables it to fill in many low-level proofs automatically; for example, it easily verifies the program in Figure 2 for all possible inputs x without any assistance."

[39] http://research.microsoft.com/en-us/projects/dafny/

SMT solver = SAT solver, http://cvc4.cs.nyu.edu/web/
They could easily grab the key with a little bit of JavaScript, however it would be detectable on the client side.
Not to be a dick, but none of these are top ten schools, and you don't get the same connections or the same signalling power of being in the top 0.5% of the bell curve by going there.

Yes, they do have some prestige, but for good or bad, when an HR rep has to choose between the average Stanford/MIT/Harvard/Yale/Princeton grad and the average Dartmouth/Brown/Williams grad, you know the outcome.
Ppl in software are familiar with tech debt.

There is also organizational debt: http://steveblank.com/2015/05/19/organizational-debt-is-like...

This article seems to be an example infrastructure debt.
Modern weight loss programmes are not that rigid and work by asking people to make small changes, maintain those changes, and then keep making more until target weight is reached, and then to keep going.

For most people it doesn't need that much thinking. 1) Stop drinking regular soda and switch to zero calories sodas, or water, or teas and coffee, or sugar-free squash. 2) When using something like cheese don't use 300 g in a sandwich - use 30 g of a stronger flavoured cheese and grate it finely.

These small simple steps are achievable and maintainable - and with diets the lifestyle changes you can stick to are the ones that work.
It's a good business model. People need to keep going to the groups once they've reached their target weight; people have the chance to keep buying the books and magazines and snack products.
The Old Becomes New Again: A Gopher Server in Perl 6
The college site might have been down, try it again (http://cse.iitkgp.ac.in/~arkanath/)
I'd hardly say the meaning has changed - It's the tone. Meritocracy was coined with a scathing tone, but found life among true believers. Politically Correct has swung both ways - It was first used scathingly, entered the american lexicon in the 90s and gained believers, and now is typically used to denigrate those believers.
And what is wrong, exactly, with changing the language syntax?

DSLs become more readable and closer to the way the problem domain experts think if they are using the more convenient syntax.
The Myth of the Software Rewrite
I wonder if it read from a tar file instead of individual files on slow (NTFS) filesystems it'd be faster.
Best Email Editor Plugin now out of beta
Know Difference Between TCP and IP Protocols
New Yorker and a straphanger for decades here. Commenting on the "{City} subway system is clean. Why not NYC's?". The subway is cheap, and runs 24 hours a day. This limits how much one can clean it - Washington DC subway system washes all its platforms with hot water and bleach every night, when the subway system is closed. I believe it is a combination of non-stop, utilitarian and ancient system that brings bad rap to NYC subway. I personally favor it over cabs for a reliable, cheap ride.
The Global Mobile Innovators Tournament – Submissions by November 11
Can someone describe what is Consul and why would anyone need this library on top of it? What problems is it solving (in comparison with WCF or plain WebAPI?).
IBM and 4YFN announce the Global Mobile Innovators Tournament!

Already a Bluemix pro or looking to hone your Bluemix skills? IBM and 4YFN are pleased to announce the Global Mobile Innovators Tournament, giving developers and startups from around the world, the opportunity to create game changing mobile applications in return for some seriously good prizes!
Also get your startup noticed and recognised by supporting Telco's: Rogers Communications, Vodafone, KPN & AT&T.

Participants can enter one or more challenges over a 50 day period to create world class applications based around three Internet of Things themes: Smart Homes and Buildings, Connected Travel and Transportation, and Smarter Healthcare.

If you’re a startup or developer with a great idea and want to put your skills to the test, plus have the opportunity to earn professional recognition, win a trip to 4YFN 2016 in Barcelona and even the potential to have your application commercialised and more.

SEVEN EASY STEPS!

(1) Register for the challenges

(2) Tweet that you've registered for the Tournament using #glovators

(3) Register for Bluemix and apply the promo code (you'll receive this in your Thank You For Registering email from glovator@us.ibm.com)

(4) Get enabled on Bluemix - check out all the materials available to you and leverage the experts who are here to help you!

(5) Review the Telco APIs made available to you

(6) Start building your mobile app(s) on IBM Bluemix

(7) Submit your entry by the 11th November (or entries, depending on how many challenges you want to enter!).

Register for the challenges today and receive FREE IBM Bluemix until November 20, at www.glovators.io.
The Quest for Arch I – Foundation
Same on android, my japanese dictionary checks the clipboard for automatic searches. I was surprised that it didn't require any authorizations.

https://play.google.com/store/apps/details?id=com.cal.pas.ul...
Pangu9+for+iOS+9.0.2+jailbreak+-+iOS+jailbreak
We do not plan to make money out of it right now. If we reach a scale where we cannot sustain it off our pockets, it would be easy to raise money for it.
Konica+Minolta+Bizhub+C250+Printer+Driver+Download+|+Printers+Driver
Elbee: Smart Wireless In-Ear Headphones Now on Kickstarter
European countries make taxi drivers pay an insane amount of money to get a taxi license (almost €200,000). Both cab drivers and the governments will do anything to prevent change to happen. Drivers know that a company like Uber would make their investment worthless, and the Public Administrations won't return the money. Governments are not ready to give up that steady income to their pockets.
In Coming Apart, Charles Murray estimates that there will always be 14 per cent of children in the top 5 per cent of the IQ distribution curve who are the offspring of parents with below-average IQs. Admittedly, that’s not much when you consider that the remaining 86 per cent will have parents with above-average IQs,

It really makes me wonder about the author IQ.
> It allows nations with crappy social and political systems to undermine labor welfare and protection policies in better political systems without facing repercussions for it.
what about the education and raising cost the country of arrival doesn't have to pay because the country of origin did?
what about the laymen who undermine social security b/c they don't have competition from immigrants?
(I'm just trying to use the same logic to show your argument is incomplete. Researches on free money experiments are showing otherwise)
"If a tree falls in a forest and no one is around to hear it, does it make a sound?"

You can spend countless hours making improvements but without a user base, you have no idea if they are needed or wanted. Build your MVP, and whilst you're building it, shout about it. Tell everyone. Nobody is going to steal your idea.

Marketing should start from day one and in my opinion be bigger than a 50% split. More like 70% marketing. This will let you streamline your development time and only build things that will benefit your users, and ultimately your revenue stream.

Good luck with your product :)
What would help is if the Node.js foundation could ship a Node Runtime, similar to the CLR for each platform and then applications could use that. You know, dynamic linking like we've done forever.

Go and Node seem to be heading back to static linking.

Meanwhile Australia is getting left further and further behind. Our internet speed isn't increasing, yet webpages, games, movies and applications are getting bigger and bigger. Help!
I've often heard that about website. What is it? Who writes it?
Does it work with any kind of theme?
The phrase "big bang" also started as satire, but I don't think any serious scientist would argue the concept is bad.

Arguments from etymology aren't productive.
It's definitely not satire.
Did you mean the other way around?
Because if there is no explanation of what the new syntax is and it's one developers take on making Lisp look a bit more pascally (which this was - it wasn't a DSL) I don't really see what it achieves other than confusion.
An attractive offer of funding.One year of tailored go-to-marketsupport​
It's everything. ASN.1 is complex - people still make mistakes in the DER parsers as seen in this CVE. X509 is even more complex - it's not just ASN.1. It can be DER in DER in DER (parameters of certificate extensions). Have fun with that and memory ownership! (you have to recalculate and replace an object 2 levels above what you're actually changing) TLS is even worse, because it includes X509 as a format and then a ton more of actual processing logic, state machines, cryptography code, ...

I don't trust any implementation of it that uses unmanaged code. (yes, pretty much assuming everything based on openssl will be broken time and time again)
Personally I think it's totally cool as long as you stay consistent and your language makes sense.

It is written in SICP that programming is in fact building layers of abstraction, the lower one serving as a programming language for the higher one. Macros or not, everyone designs new 'programming languages', though today's term of art is "API".
Anomaly in Kepplers data of star KIC 8462852
You miss the key: a huge amount of my value is generated by tools created by our ancestors -- who deserves credit for those tools? Me? Those dead people's children?
Yes, maybe it applies to China but definitely not to India.

We put a very high price on family and relatives. Nepotism is rampant here, and people can go to any extent to help/protect their family. I think people in West put the same high value on their friends wrt to family (I think but I could be very wrong about it because of the little exposure I've had).

Funny story. In a recent seminar on road safety the speaker asked the audience "Who here will report their mother to the police if she was involved in a hit and run".

Only three hands stood up out of the whole crowd and all three were Americans. Now while it is admirable, everyone was just shocked that somebody would think of doing that to their own mother. It's just isn't the part of our culture but at least from that anecdote I think it may not be that big of a deal from to a westerner.
I really like this. If only it supported ie 9 and below I would use it.
Looks like we are stuck with CK unless anyone can offer other viable, preferably pretty, solutions?
Hi,

I don't use a extra full-text search for my browser history. Why? Because usually searching the headlines and/or urls is enough.

In order to fulltext-search all the webpages one has to crawl and index all the pages first. While crawling might be easy (since you visit the pages anyways), indexing and then searching is a bit more tricky.

One idea for a useful homebrew plugin might be to make use of Google Custom Search. Since Google is quite good at crawling, indexing and searching this might be something to look into.

I am interested if you come up with something useable.

Regards,
Valentin
How could this cost them billions? They do lots of things that are pretty gross. Does this cross some sort of line they haven't crossed before?
Replacing the cryptography for MEGA in the client (2013)
Well, like I said, it's not very good satire, but I figured it must be satirizing one of two things:

1. The kind of writing you can find in some blogs popular among certain people who publish writings in favor of "reason" but whose reason or curiosity does not extend to the workings of actual people. They are either blind to the strong irrational forces motivating them, or aware and afraid of them and wish to be rid of them, as "reason" (at least their interpretation of it) is something that they feel they can cope with. They then propose solutions to solve society's problems provided that society was made of point-mass people and somehow displayed tractable dynamics. I call this kind of writing "spherical-cow sociology". What these people really want is a recognition of their own abilities and their own rise to power, something they feel they've been unjustly denied and rightfully deserve. This is a modern manifestation of the comic-book heroes of the 1930s-'60s, all created by people who felt powerless. Unlike those comic-book writers, the contributions of the contemporary group are questionable, as the models of society they come up with serve their own particular psychological needs and lack the mass-appeal of Superman.

2. The kind of writing popular in the 1920s and '30s by social Darwinists who actually were curious about real people and knowledgeable about the workings of society, but were seeking moral justification for their continued subjugation of others. These were people who were already in power (i.e. they felt sufficiently empowered), but felt pangs of guilt regarding their treatment of others, which they wanted to sweep away.

The giveaway is the laser-focused emphasis on intelligence and material benefits, simplified-ad-absurdum models that appeal to the limited thought of those in the first group, and the suggestion of eugenics, a popular choice among those in the second.
Do you have more info about Pony's ability to expose C-compatible functions? I can't see anything in the docs (e.g. http://tutorial.ponylang.org/c-ffi/c-abi/ talks about going the other direction).

Also, FWIW, I don't think Rust should be considered unmanaged for these purposes: it bridges the divide between "managed" and "unmanaged" by bringing the memory safety of the former to a language that doesn't require a complicated runtime. So strictly speaking, yes, it's unmanaged, but it doesn't suffer the worst of the problems of existing unmanaged languages like C or C++.
> *sufficiently low-friction market*

.. drives the rate of profit to zero at all points along the value chain, except where there is a monopoly or "rent" that can extract all the value. Example: San Francisco is a system for moving money from venture capital to real estate.
Bariatric surgery is linked to increased risk of suicide, so if that's what you call working I guess we're not going to agree.

http://www.medscape.com/viewarticle/852616?nlid=89075_2052&s...

> Suicide attempts increase substantially in morbidly obese patients in the years following bariatric surgery, when the "honeymoon" period of substantial weight loss comes to an end, new research shows.

I agree that death does have a slimming effect.

> yelling at people about diet and exercise

Nothing in my posts can be seen as advocating for yelling at people. Please don't bring your bickering with other people into your replies to me.

What I'm talking about is an "Every Contact Counts"[1] style approach of supporting people to access a modern weight loss programme[2], for free if they can't afford it. This will be "prescribed" by their GP, paid for by Public Health[3] or perhaps their Clinical Commissioning Group. I've accepted that the evidence is not great, but if you want to find what's wrong with the evidence[2] used by NICE I'd be interested to hear it.

I haven't said anything in this thread about exercise, but I have said in other threads that exercise does not help weight loss. We should be recommending that people do exercise because it has other undeniable health benefits.

[1] http://www.makingeverycontactcount.co.uk/

[2] http://www.nice.org.uk/guidance/ph53

[3] https://www.gov.uk/government/organisations/public-health-en... England's use of generic names is nice, but feels a bit weird sometimes.