By technion
I literally came across this just now:
https://github.com/google/git-appraise
Although it may well be a decent Gerrit alternative – it still talks about interfacing with Jenkins.
Read more here: https://news.ycombinator.com/item?id=10749645
By anilgulecha
Decentralized store and decentralized trust. The latter is hard with a publically accessible & editable mysql.
Read more here: https://news.ycombinator.com/item?id=10749554
By kobayashi
Does this mean that everyone using desktop wallets like Bitcoin Core will now be downloading a slightly more bloated blockchain?
Read more here: https://news.ycombinator.com/item?id=10749287
By boulos
Sadly HN’s URL trimmer buries the lede here: /SignUpWithoutGmail (see my other comment for where this came from James’s FAQ).
Read more here: https://news.ycombinator.com/item?id=10749144
By PaulWillis
In his famous Stanford commencement speech he said he quit because it was too expensive.
Read more here: https://news.ycombinator.com/item?id=10749073
By elliotec
I work for Overstock. Take a look at the company’s stock trends over the last little while to see the affect this has on them.
Read more here: https://news.ycombinator.com/item?id=10748964
By tokenadult
I’d like to check this statement from the article: “‘Many geologists, we’re looking at the possibility of a ten-to-thirty-foot range [of sea-level rise] by the end of the century,’ he told me.” I have not seen any published figure that high.
I’ve actually been rather surprised at how LOW many predictions of sea-level rise are for the century ending in the year 2100. The United States Environmental Protection Agency writes,[1] “Since 1870, global sea level has risen by about 7.5 inches. Estimates of future sea level rise vary for different regions, but global sea level for the next century is expected to rise at a greater rate than during the past 50 years. Studies project global sea level to rise by another 1 to 4 feet by 2100, with an uncertainty range of 0.66 to 6.6 feet.” The Intergovernmental Panel on Climate Change document on sea level rise[2] projects a lot of uncertainty, but doesn’t seem to predict such major changes in sea level.
[1] http://www3.epa.gov/climatechange/science/future.html#sealev…
[2] https://www.ipcc.ch/pdf/unfccc/cop19/3_gregory13sbsta.pdf
Read more here: https://news.ycombinator.com/item?id=10748767
By jfoutz
I think if you don’t make a whole lot of money (like retirement is going to be kinda scary) and you’re living in the house you’re planning on dying in, paying it down makes sense. it’s a very easy way to hold on to some wealth and get to the point that you don’t have house payments anymore. maxing out 401k is better, you’ll end up with more money, but there’s some real security in outright ownership.
Paying down the mortgage with the rates we have now, aside from personal security, don’t make much sense to me. If you’re in an ARM and the payment keeps creeping up, then yeah, it’s a better move to pay down early.
Read more here: https://news.ycombinator.com/item?id=10748471
By riffic
Spaceballs was not supposed to be a documentary.
Read more here: https://news.ycombinator.com/item?id=10748057
By codeulike
This is great.
There are commercial devices that work along similar lines, such as http://smart-monitor.com which is bought as a $20 per month subscription. But something open running on a platform like pebble is much more interesting.
Read more here: https://news.ycombinator.com/item?id=10747887
By patrickfl
I do a lot of casual hybrid biking (road / light trails) we have a lot of farms around my house so thats a lot of fun.
Also some light woodworking which is always fun. Building a lot of stuff out of re-claimed wood, pallets etc its a lot of fun.
Mostly computers are my job and my hobby. When I’m not working on mar-tech stuff I like to build PCs, electronics, etc. Right now I’m testing all the USB cables in my house to see which ones are crap.
But most of all when I’m not working I like to hang out with my 4 year old son 
Read more here: https://news.ycombinator.com/item?id=10747642
By darkmighty
TBH, since it’s a training based system it’s “just” a matter of making sure the training set is large enough, including the situations you mentioned (assuming the training method is robust, generalizes well, etc). I would love someone knowledgeable to give an estimate, but I would guess you need at least a handful (10+?1000+?) of examples of each edge case (involving bicycles, pedestrians, weird road designs, street signs, and so on) — and there are many of them I suspect (at least 100s?). Estimating you’d take about 1 hour between experiencing a tricky scenario while driving around, this should put the number of hours at something like 100,000k+ — not easy to come up with by himself (that’s about 5-50 years of driving 6 hours a day).
Mobileye is doing something interesting by curating the reliable parts of the dataset (e.g. they have curated databases of traffic signs for each region) — again not something you could do own your own, and seemingly archaic (hence GeoHot’s criticism), but if you can afford it can speed up the training significantly.
Tesla is a massive resource here because they already have a huge fleet of internet connected cars proving enough data to fill the aforementioned training set in a matter of days or months: let’s estimate their fleet at 40,000 cars — then they could fill that minimum dataset in less than a day, and in a month they might have a 100x safety margin. Of course, there’s a big technical problem of relaying all that video (maybe they just relay prediction failures), but the data is there.
Another fundamental problem with exclusively hands-off training (and little optimal control theory, etc) is picking up bad habits from drivers — even the best algorithms will have a hard time and be only about as good as a good driver in each scenario, in the best case — since the training data is acting as a ground truth.
Read more here: https://news.ycombinator.com/item?id=10746389
By mavam
The proposed Ranges TS has some nice benchmarks: https://ericniebler.github.io/std/wg21/D4128.html.
See Appendix 1 and 4.
(It’s not exactly what you’re asking for, but showcases that such claims often hold true in practice.)
Read more here: https://news.ycombinator.com/item?id=10746186
By sp332
The cars could signal a turn ahead of time, or indicate how hard they’re about to brake. With a large enough network, they could even predict traffic patterns and choose a different route.
Read more here: https://news.ycombinator.com/item?id=10745980
By riyadparvez
Please not another Linux distro.
Read more here: https://news.ycombinator.com/item?id=10745764
By Artemis2
2 points, 0 comments
Read more here: https://www.jetbrains.com/datagrip/
By michael_h
He thinks machines will take care of much of the work tied to producing food and other necessities. Humans will then be free to plug into their computers and get lost in virtual reality.
Well, that’s an astronomically depressing future.
Read more here: https://news.ycombinator.com/item?id=10745494
By CPLX
> they own the building, that’s their call
No, actually it’s not. It’s against the law to use a residential building as a short term occupancy hotel.
Read more here: https://news.ycombinator.com/item?id=10745152
By huskyr
Google Sheets is quite pleasant to use, and sometimes i even prefer it over Excel. For larger data sets, it’s lacking though.
Read more here: https://news.ycombinator.com/item?id=10744933
By asdf_asdf_
This link is quite safe, actually.
Read more here: https://news.ycombinator.com/item?id=10744667
By fastball
Where is this magical place where I can find free hardware?
Read more here: https://news.ycombinator.com/item?id=10744503
I wonder how successful such automated scanning attacks are against a simple login screen though. Does that really have much chance with a reasonably secure project? That then says “don’t use self hosting, EVER, for ANYTHING. Get rid of the NAS, too…”.
Read more here: https://news.ycombinator.com/item?id=10744311
By tobltobs
It reminds me of the DMOZ dramas a few years back.
Read more here: https://news.ycombinator.com/item?id=10744145
It’s the C++ of the web.
Read more here: https://news.ycombinator.com/item?id=10743952
I’m no sinologist but found this book fascinating: “The Chinese Language: Fact and Fantasy” by John DeFrancis (ISBN 978-0824810689)
Read more here: https://news.ycombinator.com/item?id=10743819
By jacquesm
> they thought I belonged in a more corporate environment
That’s their way of saying they either can’t afford you or you are too smart to be worked to death for 0.0001% stock.
Read more here: https://news.ycombinator.com/item?id=10743695
By empiricus
The article is missing the control group; how often does this gait appear in other countries high officials?
Read more here: https://news.ycombinator.com/item?id=10743478
By KuhlMensch
I’ve played around with Angular 2 quite a bit the last few weeks. These are my (early) views for anyone interested:
* Templating syntax is intuitive after an hour or two
* Decorators are great! (sidenote: Warning Babel6 decided to remove them until the spec settles down)
* Typescript I’m undecided about. Its a bit of a pain to work with and tooling is still early days e.g. if you want to import a single js file/lib, you create a Type definition file (.tds) just for that. And if you don’t want to document every interface in that .tds, then you can give it an “Ambient” aka “whatevs” definition. But in that case it will not be retain its semantics.
* The new component router wasn’t ready for prime time 2 weeks ago. I doubt that has changed. And frankly, I feel a bit uncomfortable with how magical it is. That could change though, I know allot of effort is going into it.
* One of the best things is losing many of the hacky artifacts of Angular1 (pseudo-modules system, 9 types of component, config phases etc etc)
* IMHO the lack of opinion built into the framework will still cause allot of foot-shooting around the globe, especially compared to Ember or Aurelia.
That said, if I was going to start a large enterprise project right now, I’d SERIOUSLY consider the core being written in Angular 2 + Redux. I’d have to revisit Ember before I had that decision though, its been over two years …
Read more here: https://news.ycombinator.com/item?id=10743386
> this article brushes a very rosy picture of the Chinese language.
That’s a nice euphemism. From my experience Chinese is a historically grown mess.
Read more here: https://news.ycombinator.com/item?id=10743292
By coldtea
>I think Angular is more accessible than React. I don’t think React will be adopted as much by non-engineers.
Both are meant for engineers, if by that you mean developers.
Read more here: https://news.ycombinator.com/item?id=10743046
By astrange
If your triglyceride levels are too high you’re eating too many carbs and not enough fish. If they’re not, there is not as much evidence you really have a problem. But I hope you don’t have too much sugar in your diet.
Read more here: https://news.ycombinator.com/item?id=10742937
By etrackr
The key is generated and instantly outputted over SSL. Nothing is ever stored nor would I want that liability. Would it better if I did the private key generation on the client side so that your browser generates it? The only issue with that is that it’s a lot slower and browser compatibility isn’t great.
Read more here: https://news.ycombinator.com/item?id=10742804
By eric-hu
1 point, 0 comments
Read more here: http://www.rdio.com/farewell/instructions/
By chubot
Yeah but it just makes me more confused? How does that say anything about a computer then? There’s no human being who doesn’t understand something inside a computer.
Read more here: https://news.ycombinator.com/item?id=10742651
By train_robber
Yes the government is very involved. My mother worked as a nurse in the state government health service and from what I have personally seen; the quality of government care is good and very cheap (sometimes free). But its not just the government; there are a lot of private institutions too in the state that provide quality healthcare.
Read more here: https://news.ycombinator.com/item?id=10742282
By mcphage
“Doing X”, and “Managing people doing X”, are two pretty distinct skills—and interests. If you find someone really good at doing a thing, why would you pull them out of that position? Odds are they won’t be good at it, and they won’t enjoy it. There are people who enjoy both, but they’re rare.
Read more here: https://news.ycombinator.com/item?id=10742172
By kozukumi
Indeed. I also didn’t much like the comparison to the .kkrieger demo saying it was “only” 24KB more. Sure the raw exe is but it still needs GB of memory and a crazy fast CPU to do all the content generation at runtime.
He also used inconsistent mb/MB, etc. which always gets on my nerves in a technical post but now I am just being an asshole at it is 2am here
Read more here: https://news.ycombinator.com/item?id=10741964
By nextos
I’d really like to see autonomous watches with GPS, providing minimal smartphone functionality (navigation, calls and messages), plus serious fitness tracking.
But at the same time I’m hesitant to wear one of those devices without reasonable guarantees big brother is not collecting data. Therefore, something like AsteroidOS seems ideal: http://asteroidos.org/
Read more here: https://news.ycombinator.com/item?id=10741859
By bunderbunder
I hate being the guy to call fallacy,* but this reminds me of the Nirvana fallacy here.
You’re not comparing the level of scientific rigor in mainstream medicine to the level of scientific rigor in alternative medicine. You’re comparing it to the level of scientific rigor that we wish existed in a perfect world. Are you also willing to measure alternative medicine against the same standard so that they can be compared on an equal footing?
P-value fishing is hardly the exclusive province of mainstream medicine. And in the “funding their own studies” department the most notable difference between mainstream pharma and alt med is that the mainstream pharma companies are legally required to disclose this fact (and preregister their studies in order to discourage fishing, too), while in alt med it’s standard practice to use cute little financial engineering tricks to try and hide where the funding came from.
* But I don’t hate lying on occasion.
Read more here: https://news.ycombinator.com/item?id=10741643
By cwisecarver
This is a static site, at least from the examples given. Using MVC to build it is a way to go but it seems like his way is equally pointless.
Let’s take some strings and hardcode them into JS and make the user’s browser render this page dynamically every time it’s loaded instead of WRITING SOME STATIC HTML… It’s all well and good to try a new way of doing things but writing a blog post decrying MVC frameworks for a static site that you’re building dynamically with javascript is silly.
Read more here: https://news.ycombinator.com/item?id=10741546
By AnimalMuppet
It’s not that “I’m very important”. It’s not even that I don’t have time to read a long article. I don’t have time to read nearly as many long articles as there are out there, though.
And to me, it feels like the shoe’s on the other foot. To me, a long form article is the author deciding that he/she’s so important (or the content is) that I will find it worth the time to read the whole thing, and that it’s therefore fine to hide the main point somewhere in the length, because I’ll get the point so much better if I go through all the rest of it as well. That’s fine for those who like that kind of thing, but, well, let’s just say that it’s unattractive to more and more readers as we have more and more things that we want to read.
For it to be worth my while, this article has to be worth more than whatever I didn’t have time to read because I took the time to read this one. The longer the article is, the higher that bar is, because the more I could have read with the same time.
Read more here: https://news.ycombinator.com/item?id=10741427
By euyyn
I don’t see why can’t one attach a camera to an RC plane. You didn’t answer “what changed / why now”.
Read more here: https://news.ycombinator.com/item?id=10734896
By bigiain
See also politicians and societies…
Read more here: https://news.ycombinator.com/item?id=10734897
By twoodfin
Why does the safety net subsidize Walmart but not Costco, which hires far fewer employees per $ of revenue? Walmart is paying their low income workers something. Costco, where many of those workers would probably love to work instead, is paying them $0.
Read more here: https://news.ycombinator.com/item?id=10734369
By Rebelgecko
One thing I haven’t seen discussed is that the registration process is only open to US citizens. Am I misunderstanding something, or did the FAA just make citizenship a requirement for flying a $20 quadcopter in your backyard?
Read more here: https://news.ycombinator.com/item?id=10734130
By zurp
> We’re building a shitty internet, not an internet of shitty things
I think we’re building a shitty internet of shitty things.
Read more here: https://news.ycombinator.com/item?id=10733849
By daveguy
If you came here like I did, thinking “HEY! That’s old news!”. You are correct. This added bonus is an interview of Aaronson for MIT News about his response to the google paper (which he previously blogged about). The original blog post has an update from Aaronson:
”
MIT News now has a Q&A with me about the new Google paper. I’m really happy with how the Q&A turned out; people who had trouble understanding this blog post might find the Q&A easier. Thanks very much to Larry Hardesty for arranging it.”
Read more here: https://news.ycombinator.com/item?id=10733545
By knodi123
no, it’s less ethical the closer you get to the crime of bribery, “persuading someone to act in one’s favor, typically illegally or dishonestly, by a gift of money or other inducement.”
Clearly this is not legally bribery. But giving out free bacardi and t-shirts at a bar is likely to provide less influence, and less resulting material gain, than giving macbooks to the guys who buy props.
Read more here: https://news.ycombinator.com/item?id=10733327
By shostack
Not just that, but I can’t wait for the day I can only rent my appliances and have to have a monthly subscription to some GE “Smart Appliance Network” for them to even work.
Read more here: https://news.ycombinator.com/item?id=10733119
By davidw
The US health care system sucks. I’m generally happy to be back in the US, but not about this particular aspect of it.
It’s more bureaucratic than Italy, costs more, isn’t appreciably better, and wastes people’s time more.
What’s more, even though Italy has a single payer system, there is also private care available that is quick, cheap and efficient – which it has to be, since the competition is free.
The US has neither a free market, nor a good government provisioned system, but some mess that’s neither fish nor fowl.
Read more here: https://news.ycombinator.com/item?id=10732936
By chatmasta
I’m surprised you’re getting downvoted, because this seems like a valid criticism and was the first to pop into my head as well.
How is this not anti-competitive? Google is favoring the ranking of sites that use its own tech. According to the AMP docs on third-party components [0], only 5 ad networks are supported, most of them Google-owned.
[0] https://www.ampproject.org/docs/guides/third_party_component…
Read more here: https://news.ycombinator.com/item?id=10732688
By dragonwriter
Apparently, as the article references, the practice of the social expectation of participation in post-PE showers in high school (the actual requirement to do so had stopped most places by the 1980s, AFAIK) pretty much collapsed during the 1990s (why that happened might be an interesting question) — as a result, adults of the millennial generation haven’t been socialized into that being a context where nudity with strangers is normal. That really seems to be the whole of the effect.
Read more here: https://news.ycombinator.com/item?id=10732482
By OneOneOneOne
If true that would is a minor factor compared to differences birth control use, abortion rate and mothers age at first child.
Read more here: https://news.ycombinator.com/item?id=10732208
By nsxwolf
I’m a Gen-Xer and I went to great lengths to avoid getting naked in front of classmates. I still don’t like being naked in front of strangers.
I cringe when I hear stories about swimming naked in high school in the 1950s.
Read more here: https://news.ycombinator.com/item?id=10731951
By seivan
The racist part was the lack of sourcing for the statements above. I’m sure if the poster in question had stated sources for the various claims you would… Still call it racist?
Read more here: https://news.ycombinator.com/item?id=10731211
> We’re talking companies like youtube, facebook, google, poof gone.
You do realize that the internet and even the web existed way before all of those companies, right? And while you might not have been around then, it was great back then. Not saying some things haven’t improved, but all things considered, I think we would be better off if none of them had ever existed.
> Once google is gone, who are you going to use to search the web?
Another search engine?
Read more here: https://news.ycombinator.com/item?id=10731035
By SRSposter
And what people will be blamed when the eventual famine comes?
Read more here: https://news.ycombinator.com/item?id=10730883
By tremon
Fair choice. As for me, I don’t go out to watch movies at all, because Hollywood.
But then I would guess your aversion against the car industry to be more general, and that the recent revelations about emissions cheating have done little to sway your opinion. You’re basically using the actions of a single actor to reinforce your biases against an entire group.
I do hope you are aware enough not to use that same line of reasoning against racial, ethnic or religious groups though.
Read more here: https://news.ycombinator.com/item?id=10730505
By grondilu
That’s the kind of claim that is difficult to believe unless we have a footage of the driving from inside the car or something like that.
Read more here: https://news.ycombinator.com/item?id=10730300
By lmm
The browser is supposed to be the user’s agent. In the early documentation it was explicit that both the user and the browser were expected to apply their own styling to web content. IMO a lot of bad web design has come out of the wrongheaded idea that the designer should be able to lay out the page pixel-by-pixel and expect the browser to render it exactly the same way. If you want that, use PDF or Flash or some such.
Read more here: https://news.ycombinator.com/item?id=10730135
By panorama
I wrote a book that helps junior developers (e.g. bootcamp grads) land jobs: https://kokev.in/hired-fast
Decent income in 4 figures, but I didn’t do it for the money (it took me hundreds of hours from start to finish). However it’s a great feeling when you go out for dinner, check your email, and a new purchase essentially pays for dinner right then and there :P.
Read more here: https://news.ycombinator.com/item?id=10730009
Cool stuff. Works in Firefox on Android for me. Would like to see it made touch friendly.
Read more here: https://news.ycombinator.com/item?id=10729718
By Animats
Way too many years ago, I was trying to invent what should have been “object oriented constructive mathematics”, but we didn’t have object oriented programming yet.
There was an actual reason for this. I was working on program verification [1], and we’d put together a system which used the Oppen-Nelson prover in combination with the Boyer-Moore prover. We needed to prove that their theories were consistent.
The Oppen-Nelson prover is a complete, fast, automatic, decision procedure for expressions composed of addition, subtraction, multiplication by constants, conditionals, logical operators, and structure and array access. This subset of mathematics is completely decidable. (If you add multiplication of two variables, it becomes undecidable.) It can also accept “rules”, which are identities that it accepts as true. In our system, the Boyer-Moore prover was used to prove any new rules needed, which could then be imported into the Oppen-Nelson prover. Anything complicated involving loops usually required a new rule.
The Boyer-Moore system is completely constructive, and is based on recursive functions. Numbers are defined as (add1 (add1 (add1 (zero))), for example. One can then write recursive functions for addition and subtraction, and work up to multiplication and division. A few hundred theorems cover basic number theory.
Arrays, though, were a problem. There are four classic axioms, from McCarthy, which define basic array semantics. The Oppen-Nelson prover has those built in, but the Boyer-Moore system does not. We thus wanted to prove them in the Boyer-Moore system. If we could do that, it became safe to prove new things about arrays and import those rules into the Oppen-Nelson prover.
The axioms: arrays have two operations, SELECT and STORE. SELECT(array, index) returns the appropriate element from an array. STORE(array, index, newvalue) returns a new array where newvalue has replaced the element previously at index. We then have rules such as
SELECT(STORE(A, I, V), I) = V // what you store, you get back
or, in Boyer-Moore notation:
(implies (and (arrayp! A) (numberp I))
(equal (selecta! (storea! A I V) I)
V))
The rest can be seen at p. 129 of the manual[1] if you care.
Arrays had to be defined in the Boyer-Moore system as a list of (subscript, value) tuples. Not a set, a list. A set isn’t a constructive construct, because, informally, a set is a collection of unique values, the order of which is not significant. In the Boyer-Moore world, two values are equal iff they are identical. Two sets of tuples with a different order would not be equal.
So we had to define an array in the Boyer-Moore world as a list of (subscript, value) tuples ordered by increasing subscript. This is a clunky notation, because then we have to prove that the STORE operation preserved the correctness of the ordered list. Then we had to prove that all the rules for arrays were always true for that clunky representation. This required about 50 pages of machine proofs.
Back then (this was around 1981-1982), long machine proofs were not acceptable in mathematics. I had a JACM paper rejected for that reason. The approach was just too ugly.
Years later, I realized that what was needed was a kind of object oriented version of constructive mathematics. The key concept is that two things are equal if there is no way they can be distinguished. This comes from the theory of uninterpreted functions:
forall f, x: f(x) = f(y) implies x = y
So we would like to be able to define an type with public and private functions, one which exposes a new “equal” operation for the type. Then, if we can prove that the new “equal” function obeys the rule above for all public functions, and we disallow all further access to the private functions, we can construct a consistent theory with a new, more abstract notion of “equal”. Now we can write set theory in Boyer-Moore theory without adding new axioms.
Unfortunately, I figured this out about a decade too late. We didn’t really need that result to get a valid verification system, but it would have cleaned up the theory and made it publishable. But anyway, there’s a form of object oriented mathematics which could be potentially useful.
The verification system was never used much; it was for a dialect of Pascal for Ford engine control programs that was never used in production. We looked at extending it to Ada (too hard) and C (too ill-defined). DEC SRL did a similar system for Modula III, but that died with DEC SRL, DEC, and Modula III. Some of the ideas were reused, decades later, in Microsoft’s Spec#.
[1] http://www.animats.com/papers/verifier/verifiermanual.pdf
Read more here: https://news.ycombinator.com/item?id=10729510
By Swannie
Because running your own CA, on the internet, with correct support for revocation, and correctly securing it, is not easy.
Read more here: https://news.ycombinator.com/item?id=10729459
By fbbbbb
It is becoming more and more current and relevant. I’m assuming you saw the current 19th season. If you didn’t see it, or at least the last three episodes that form a “trilogy” or sorts, and talk about online ads and ad-blockers.
Read more here: https://news.ycombinator.com/item?id=10729382
By iamnothere
> I don’t think a messaging app should stop illegal usage at all. Similar to ISPs.
I agree, just saying that the article seems to suggest this. Like I said, there’s been a lot of attempts to scare people about Telegram lately.
Read more here: https://news.ycombinator.com/item?id=10729303
By eru
Sometimes even with political repercussions.
Read more here: https://news.ycombinator.com/item?id=10729172
By marcoperaza
> we have a whole industry which explicit purpose is figuring out the best way to abuse bugs in human psychology to part them with their money, I think some reaction is warranted.
Video games did not invent slimy salesmen. Learning to say “no” to salesmen has been a basic life skill for all of human history. Millions of people manage to do it every day. It’s one of the things that parents drill into their kids heads as they grow up.
We’re talking about video games, frivolous entertainment. If you spend all of next month’s rent on in-app purchases, you’ve thoroughly earned the consequences of your actions. And those consequences will serve as a potent lesson.
And the law has already gotten involved with recent developments in the game industry. The FTC and EU have already forced Apple and Google to ensure that children cannot make purchases without parental permission. With that in place, it’s now up to the parents to say “no” to their children. Another basic life skill, with consequences for those who ignore it.
Read more here: https://news.ycombinator.com/item?id=10729091
By mikeskim
Is there a private one shot hold out in this particular competition?
Read more here: https://news.ycombinator.com/item?id=10728969
By vezzy-fnord
Nothing like respecting individual rights by bringing the wrath of the criminal justice system on anyone who dares exercise their right to self-ownership by altering their state of consciousness.
The purpose of a drug policy is not to reduce consumption rates. Consumption is not intrinsically bad. My use of the dangerous and potent drug known as theobromine (translation: I eat chocolate) is not itself the problem. A higher rate of consumption of pure and unadulterated drugs with active health and rehabilitation initiatives is preferable to lower consumption but with autistically intervening in people’s self-ownership through use of the police and penal apparatus, disincentivizing health treatment as a result, bringing about organized crime and making addiction more dangerous because of tainted drugs that are peddled by unreliable black marketeers.
Paternalistic and destructive nonsense through and through.
(You did say illegal, not criminalized. Latter would be more humane in being a fine, but still unacceptable.)
Read more here: https://news.ycombinator.com/item?id=10728868
By xiaoma
Sounds great, got a link to the repo?
Read more here: https://news.ycombinator.com/item?id=10728682
By necessity
Almost seems like he’s… advertising it? Doing some mild “psychological thing” on the readers.
Read more here: https://news.ycombinator.com/item?id=10728539
By hackuser
I can’t tell you how excited I am to see it. It seems to me that there is no good reason end users shouldn’t control their social networking info, to use (through third party apps) and share as they see fit.
> threat model is advertisers and data-miners
So many threat models I see are hackers and malware. Those are important, but much more widespread are the threats you identify.
> It is part of a set of new applications we are building at SpiderOak.
This has me much more intersted in SpiderOak. What else is in the pipeline, if you can share?
> Kloak is more or less a lab experiment in the UX of private systems
Great. Even if Kloak itself doesn’t work out (and I hope it does) it could be a step forward for everyone. It seems like the path to building non-private system is very well-established, but those who want to give their users privacy have much more to invent on their own. So thanks for making it open source too.
Read more here: https://news.ycombinator.com/item?id=10721075
By argonaut
The burden of proof is on the people warning us of the impending AI apocalypse. The fact is we are nowhere close to AI. We don’t understand how the brain works. A review of the ML literature will also show we barely understand how neural nets work.
Read more here: https://news.ycombinator.com/item?id=10720806
By saosebastiao
Have you ever used F#’s type providers? The idea of an external environment (for example, a Web API or a specific SQL database and schema) lifted directly into the type system is pretty powerful. I’m familiar with Slick’s typed SQL statements (currently using them in a project) which use a hefty dose of implicits and macros, and it kinda approaches the power of the SQL type provider, but its still incredibly clunky and trying to debug anything is a huge PITA.
A co-effect system is like a type provider on steroids: any aspect of the environment in which a system executes can be lifted onto the type system. This could be anything from GPU or specialty sensor availability to data security requirements.
It would allow for things like code sharing between a scala & scalajs without needing to set up complicated SBT code sharing projects. You would have a scalajs main, and a scala main, and any piece of code whose type is permissible in both scalajs and scala is automatically shareable. It would also allow for cross-executable optimization. There is often a lot of code that could be optimized away from current executables if the compiler only knew more about side effects. You could eliminate dead code that goes across a wire between client and server because knowing exactly what the client/server interactions are, the compiler can know what is actually dead code.
Maybe it is possible to do some of the above with some implicit wizardry that I’m just not familiar with, and maybe it could be done with compiler and build system tricks without modifying the base language, but honestly even if it could I would still prefer co-effects. It took me one read of a blog post to really grok co-effects, whereas I’ve been using Scala for well over two years now and still have trouble understanding how implicits are working in the code I’m using.
[1] http://tomasp.net/blog/2014/why-coeffects-matter/
Read more here: https://news.ycombinator.com/item?id=10720652
By franciscop
I’ve met many people who were learning Spanish and now I get a “feeling” when something could be confusing, but I’m not sure of any general advice for determining it otherwise. It’s even more difficult when it’s a particular field like Statistics. In retrospective this is something I could have guessed normally. Just some ideas to answer in a more “general” way from my point of view:
- “Statisticians love urns and, guess what, our problem can be modeled as an extraction from two different urns.”
Something that might help is noting that it’s a typical problem like this:
+ “Statisticians love urns and, guess what, our problem can be modeled as an typical extraction from two different urns.”
Note the addition of “typical”. Just wording like that would give me a hint that it’s something that I’m unaware of. It’s just like talking about any other field. Compare these:
- The two prisoners is a case widely known for its… (what two prisoners? were they in the news? it could be anything and seems non-googleable)
+ The typical two prisoners problem is widely known for its… (oh, it’s a reference to a specific, famous problem, google gives a quick match)
Read more here: https://news.ycombinator.com/item?id=10720194
By cauterized
Maybe that’s because one can be reasonably confident that one’s committed partner doesn’t value one only or even primarily for sex.
Read more here: https://news.ycombinator.com/item?id=10719683
WhatsApp encryption is broken.
WhatsApp can just turn off encryption when they want, without users knowing:
That’s probably what happened in June:
“Investigators said earlier they had detained 16 people in the anti-terror raids after working with U.S. authorities to monitor suspects’ communications on WhatsApp Inc.’s messaging service.”
http://www.bloomberg.com/news/articles/2015-06-08/belgium-ar…
Read more here: https://news.ycombinator.com/item?id=10719475
